X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=src%2Ftest.ml;h=16c96e58f166f631a221bd3798532578eed01a21;hb=eb490bfac81cf551554f996a3e1de1993c291acd;hp=1c0ac393a59f052a24374791c71420dafef257a7;hpb=7f20d23e406e81e6e7271d2621cb868d9fe63aae;p=tatoo.git

diff --git a/src/test.ml b/src/test.ml
index 1c0ac39..16c96e5 100644
--- a/src/test.ml
+++ b/src/test.ml
@@ -43,17 +43,25 @@ let query () =
 
 let build_asta query =
   let asta = Compil.trans query in
-  fprintf err_formatter "Compil OK !\n";
+  fprintf err_formatter "Compil OK ! ";
   asta
 
+let compute_run doc query = 
+  let run = Run.compute doc query in
+  fprintf err_formatter "Run OK ! \n";
+  run
+
 let () =
   let query = query () in
   let doc = doc () in
   let asta = build_asta query in
-  fprintf err_formatter "@[<v 0> ##### Query #####@.      %a@]@ "
+  let run = compute_run doc asta in
+  fprintf err_formatter "@[<v 0>##### Query #####@.  %a@]@ "
     XPath.Ast.print query;
+  output_string stderr "\n##### Doc #####\n";
+  Tree.print_xml stderr doc (Tree.root doc);
+  output_string stderr "\n";
   Asta.print err_formatter asta;
-  fprintf err_formatter "@[<v 0> ##### Doc #####@.%a@]@ "
-    Tree.print_xml doc (Tree.root doc);
+  fprintf err_formatter "@[<v 0> ##### Run #####@.  %a@]@ "
+    Run.print run;
   exit 0
-