X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=src%2Flextest.ml;h=337b7928e7b793ebdd741ab18e2aa47744b6daff;hb=5c2d599b89c01c879f685655545a5e212a5cdcd2;hp=0c297ca11d4fb27a4d810d2c6bb15cf9a6bc247b;hpb=7d26a502050836784010cabae6acedee8aa9a46c;p=SXSI%2Fxpathcomp.git diff --git a/src/lextest.ml b/src/lextest.ml index 0c297ca..337b792 100644 --- a/src/lextest.ml +++ b/src/lextest.ml @@ -2,12 +2,13 @@ type index -external build_lex_index : Tree.t -> Tag.t -> index = "caml_build_lex_index" +external build_lex_index : Tree.tree_pointer -> Tag.t -> Tag.t -> index = "caml_build_lex_index" + external print_lex_index : index -> unit = "caml_print_lex_index" let main () = - if Array.length Sys.argv != 3 then + if Array.length Sys.argv != 4 then let () = Printf.eprintf "Error: invalid argument" in exit 1 else let file = Sys.argv.(1) in @@ -20,10 +21,12 @@ let main () = else let () = Printf.eprintf "Error: unrecognized extension" in exit 2 in - Printf.printf "Building lex index\n%!"; - let index = build_lex_index document (Tag.tag Sys.argv.(2)) in + Tag.init (Tree.tag_operations document); + Printf.printf "Building lex index for tags %s, %s\n%!" (Tag.to_string (Tag.tag Sys.argv.(2))) + (Tag.to_string (Tag.tag Sys.argv.(3))); + let index = build_lex_index (Tree.get_tree_pointer document) (Tag.tag Sys.argv.(2)) (Tag.tag Sys.argv.(3)) in Printf.printf "Printing lex index\n%!"; - print_lex_index index; + print_lex_index index; exit 0