1 (******************************************************************************)
2 (* SXSI : XPath evaluator *)
3 (* Kim Nguyen (Kim.Nguyen@nicta.com.au) *)
4 (* Copyright NICTA 2008 *)
5 (* Distributed under the terms of the LGPL (see LICENCE) *)
6 (******************************************************************************)
10 if Array.length (Sys.argv) <> 2
13 Printf.printf "usage: %s file.xml\n" (Sys.argv.(0));
20 Tree.load Sys.argv.(1)
24 Tree.parse_xml_uri Sys.argv.(1)
28 Printf.printf "Error parsing document\n";
33 let full_traversal tree =
38 (*ignore (Tree.tag t); *)
39 loop (Tree.node_child t);
40 loop (Tree.node_sibling t);
46 let _ = Tag.init (Tree.tag_pool doc)
49 let t1 = Unix.gettimeofday () in
51 let t2 = Unix.gettimeofday () in
52 let t = (1000. *.(t2 -. t1)) in
53 Printf.eprintf " %fms\n%!" t ;
56 let _ = Printf.eprintf "Timing traversal ... ";;
57 let _ = time (full_traversal) doc