(******************************************************************************)
(*  SXSI : XPath evaluator                                                    *)
(*  Kim Nguyen (Kim.Nguyen@nicta.com.au)                                      *)
(*  Copyright NICTA 2008                                                      *)
(*  Distributed under the terms of the LGPL (see LICENCE)                     *)
(******************************************************************************)



if Array.length (Sys.argv) <> 2
then
  begin
    Printf.printf "usage: %s file.xml\n" (Sys.argv.(0));
    exit 1
  end

    
let doc = 
	try 
	  Tree.load Sys.argv.(1) 
	with
	  | _ -> 
	      (	    try
		      Tree.parse_xml_uri Sys.argv.(1) 
		    with
		      | _ ->(
			  
			  Printf.printf "Error parsing document\n";
			  exit 2))
;;


let full_traversal tree = 
  let rec loop t = 
    if Tree.is_node t 
    then
      begin
	(*ignore (Tree.tag t); *)
      loop (Tree.node_child t);
      loop (Tree.node_sibling t); 
    end
  in loop tree
;;
	

let _ = Tag.init (Tree.tag_pool doc)

let time f x =
  let t1 = Unix.gettimeofday () in
  let r = f x in
  let t2 = Unix.gettimeofday () in 
  let t = (1000. *.(t2 -. t1)) in
    Printf.eprintf "  %fms\n%!" t ;
    r
;;
let _ = Printf.eprintf "Timing traversal ... ";;
let _ = time (full_traversal) doc
;;