767cfdcc9d5856ef3b3e2ea1053efa7d405f053f
[tatoo.git] / src / table_driver.ml
1 open Table
2 open Table_options
3 open Query_tree
4
5 let parse_xpath p =
6   Xpath.Parser.parse (Ulexing.from_utf8_string p)
7
8 let main () = 
9   let () = Table_options.parse () in
10   let doc =
11     let fd, close_fd = match !Table_options.input_file with
12         None | Some "-" | Some "/dev/stdin" ->stdin,ignore 
13       | Some input ->
14         let fd = open_in input in fd, fun() -> close_in fd
15     in
16     (*let inc = open_in Sys.argv.(1) in*)
17     let doc = Naive_tree.load_xml_file fd in
18     close_fd(); 
19     doc
20   in
21   (*Hashtbl.clear Query_tree.table_query_tree;  il faut vider le hashtbl?????????????????*)
22   let queries =
23     List.map ( fun q ->
24       parse_xpath q) 
25       !Table_options.queries
26   in
27   let query_tree_list =
28     List.map (fun query -> compile_xpath query) queries
29   in
30   let mini_qtree_list = 
31     List.map (fun qtree -> Query_tree.minimize_qtree qtree) query_tree_list 
32   in
33   List.iter ( fun q -> 
34     let res = eval_qtree doc [ (Naive_tree.root doc) ] q in
35     print_string "<xml_result num=\"1\" >\n";
36     print_node_list doc res;
37     print_string "</xml_result>\n";
38   ) mini_qtree_list ;
39   
40   let _ = if !Table_options.count then 
41        Format.fprintf Format.std_formatter "there are %i nodes\n" !Query_tree.compteur;
42   in
43   exit 0
44
45
46 let () = main ()
47
48
49
50
51
52
53
54