projects
/
tatoo.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Found two bugs by rewriting the compilation in the thesis.
[tatoo.git]
/
src
/
test.ml
diff --git
a/src/test.ml
b/src/test.ml
index
1c0ac39
..
16c96e5
100644
(file)
--- a/
src/test.ml
+++ b/
src/test.ml
@@
-43,17
+43,25
@@
let query () =
let build_asta query =
let asta = Compil.trans query in
let build_asta query =
let asta = Compil.trans query in
- fprintf err_formatter "Compil OK !
\n
";
+ fprintf err_formatter "Compil OK !
";
asta
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
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;
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;
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
exit 0
-