X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=src%2Flextest.ml;h=337b7928e7b793ebdd741ab18e2aa47744b6daff;hb=5c2d599b89c01c879f685655545a5e212a5cdcd2;hp=77701cba884d94c351fa0ffc8a195ef064c10c24;hpb=43501e355e50f60c34999cefe9d44e3678dfb056;p=SXSI%2Fxpathcomp.git diff --git a/src/lextest.ml b/src/lextest.ml index 77701cb..337b792 100644 --- a/src/lextest.ml +++ b/src/lextest.ml @@ -2,13 +2,13 @@ type index -external build_lex_index : Tree.tree_pointer -> 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 @@ -22,10 +22,11 @@ let main () = let () = Printf.eprintf "Error: unrecognized extension" in exit 2 in Tag.init (Tree.tag_operations document); - Printf.printf "Building lex index for tag %s\n%!" (Tag.to_string (Tag.tag Sys.argv.(2))); - let index = build_lex_index (Tree.get_tree_pointer document) (Tag.tag Sys.argv.(2)) in + 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