X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=src%2Ftest.ml;h=16c96e58f166f631a221bd3798532578eed01a21;hb=eb490bfac81cf551554f996a3e1de1993c291acd;hp=7d6bf58b480d14181036629168bc8a9fc1b9db3a;hpb=8d6d935051b853939a615a8a56fd9f7b8035c1cc;p=tatoo.git diff --git a/src/test.ml b/src/test.ml index 7d6bf58..16c96e5 100644 --- a/src/test.ml +++ b/src/test.ml @@ -43,18 +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 "@[ ##### Query #####@. %a@]@ " + let run = compute_run doc asta in + fprintf err_formatter "@[##### Query #####@. %a@]@ " XPath.Ast.print query; - Asta.print err_formatter asta; 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 "@[ ##### Run #####@. %a@]@ " + Run.print run; exit 0 -