ajout d'un compteur pour compter le nombre de noeuds évalués
[tatoo.git] / src / table_options.ml
1 open Arg
2
3 let count = ref false
4 let input_file : string option ref = ref None
5 let output_file : string option ref = ref None
6 let queries = ref []
7
8
9
10 let set_string_option r s = r := Some s 
11
12 let specs = align [
13    "-c", Set count,
14         " write the number of results only";
15   "--count", Set count, " ";
16   "-d", String (set_string_option input_file),
17         " specify the input document file [default stdin]";
18   "--doc", String (set_string_option input_file), " ";
19   "-o", String (set_string_option output_file),
20         " specify the output file [default stdout]";
21   "--out", String (set_string_option output_file), " ";
22 ]
23
24 let usage_msg =
25   Printf.sprintf "usage: %s [options] query [query ... query]" Sys.argv.(0)
26
27 let usage () = usage specs usage_msg
28
29 let parse () =
30   parse specs (fun q -> queries := q :: !queries ) usage_msg;
31   match !queries with
32     [] -> raise (Arg.Bad "missing query")
33   | l -> queries := List.rev l