4 let index_empty_texts = ref false
5 let sample_factor = ref 64
6 let disable_text_collection = ref false
7 let tc_threshold = ref 60000
10 let input_file = ref ""
11 let output_file = ref None
12 let save_file = ref ""
13 let count_only = ref false
15 let bottom_up = ref false
16 let no_jump = ref false
17 let verbose = ref false
18 let text_index_type = ref 0
19 let do_perf = ref false
20 let twopass = ref false
22 let set_index_type = function
23 | "default" -> text_index_type := 0
24 | "swcsa" -> text_index_type := 1
25 | "rlcsa" -> text_index_type := 2
26 | s -> raise (Arg.Bad(s))
28 let usage_msg = Printf.sprintf "%s [options] <input.{xml|srx}> 'query' [output]" Sys.argv.(0)
32 fun s -> match !pos with
33 | 0 -> input_file:= s;incr pos
34 | 1 -> query := s; incr pos
35 | 2 -> output_file := Some s; incr pos
36 | _ -> raise (Arg.Bad(s))
42 match String.explode t ':' with
44 let l = try int_of_string lvl with _ -> raise (Arg.Bad (lvl)) in
45 if Logger.is_logger tr then Logger.activate tr l
46 else raise (Arg.Bad (t))
47 | _ -> raise (Arg.Bad (t))
48 ) (String.explode s ',')
50 let pretty_loggers () =
51 ignore(flush_str_formatter());
54 (fun f s -> fprintf f "%s" s)
56 (Logger.available ());
57 flush_str_formatter ()
60 [ "-c", Arg.Set(count_only),
61 " counting only (don't materialize the result set)";
63 "-two", Arg.Set(twopass),
64 " Use twopass algorithm";
66 "-f", Arg.Set_int(sample_factor),
67 "<n> sample factor [default=64]";
69 "-i", Arg.Set(index_empty_texts),
70 " index empty texts [default=false]";
72 "-d", Arg.Set(disable_text_collection),
73 " disable text collection[default=false]";
75 "-s", Arg.Set_string(save_file),
76 "<save_file> save the intermediate representation into file.srx";
78 "-b", Arg.Set(bottom_up), " real bottom up run";
80 "-nj", Arg.Set(no_jump), " disable jumping";
82 "-p", Arg.Set(do_perf), " dump perf counters (Linux only)";
84 "-index-type", Arg.Symbol ([ "default"; "swcsa"; "rlcsa" ],
86 " choose text index type";
88 "-v", Arg.Set(verbose), " verbose mode"; ] @
91 "-log", Arg.String (set_tracer),
92 "<logger1:l1,...,loggern:ln> enable logging with the specified level. Valid loggers are: "
100 let _ = Arg.parse spec anon_fun usage_msg
102 if (!pos > 3 || !pos < 2)
103 then begin Arg.usage spec usage_msg; exit 1 end