+let main () =
+ let () = Options.parse () in
+ let doc =
+ let fd = open_in !Options.input_file in
+ let d = time Naive_tree.load_xml_file fd "parsing xml document" in
+ close_in fd; d
+ in
+ let query =
+ time
+ Xpath.Parser.parse
+ (Ulexing.from_latin1_string !Options.query)
+ "parsing XPath query"
+ in
+ let auto =
+ time Xpath.Compile.path query "compiling XPath query"
+ in
+ let output =
+ match !Options.output_file with
+ | None | Some "-" | Some "/dev/stdout" -> stdout
+ | Some f -> open_out f
+ in
+ if !Options.stats then begin
+ Logger.msg `STATS "Query: %a " Xpath.Ast.print_path query;
+ Logger.msg `STATS "@[Automaton: @\n%a@]" Ata.print auto;
+ end;
+
+ let module Naive = Eval.Make(Naive_tree) in
+ let results =
+ time (Naive.eval auto doc) (Naive_tree.root doc) "evaluating query"
+ in
+ time (fun () ->
+ output_string output "<xml_result>\n";
+ if !Options.count then begin
+ output_string output (string_of_int (List.length results));
+ output_char output '\n';
+ end else
+ List.iter (fun n ->
+ Naive_tree.print_xml output doc n;
+ output_char output '\n'
+ ) results;
+ output_string output "</xml_result>\n";
+ flush output;
+ if output != stdout then close_out output
+
+) () "serializing results"