X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=options.ml;h=43f665fed103fc02da693d371237e6265a8e13dc;hb=d2cbab156c2b74051cf831dc3ac634aedc8f2c2f;hp=ff4fdbeebe33e56936747c58f66f3390834fa853;hpb=6b03c8ef3dac4b1de06ca577e8e0ee07c6c3eae7;p=SXSI%2Fxpathcomp.git

diff --git a/options.ml b/options.ml
index ff4fdbe..43f665f 100644
--- a/options.ml
+++ b/options.ml
@@ -1,11 +1,14 @@
 let index_empty_texts = ref false
 let sample_factor = ref 64
 let disable_text_collection = ref false
+let tc_threshold = ref 60000
 
 let query = ref ""
 let input_file = ref ""
 let output_file = ref None
 let save_file = ref ""
+let count_only = ref false
+let time = ref false
 
 let usage_msg = Printf.sprintf "%s <input.{xml|srx}> 'query' [output]" Sys.argv.(0)
 
@@ -18,11 +21,14 @@ let anon_fun =
     | 2 -> output_file := Some s; incr pos
     | _ -> raise (Arg.Bad(s))
 
-let spec = [ "-f", Arg.Set_int(sample_factor),"sample factor [default=64]";
-	     "-i", Arg.Set(index_empty_texts),"index empty texts [default=false]";
-	     "-d", Arg.Set(disable_text_collection),"Disable text collection[default=false]"; 
-	     "-s", Arg.Set_string(save_file),"Save the intermediate representation into file.srx"; 
-	   ] 
+let spec = [ "-c", Arg.Set(count_only), "counting only (don't materialize the result set)";
+	     "-t", Arg.Set(time), "print timing statistics";
+	     "-max-tc", Arg.Set_int(tc_threshold), "set maximum count for which the TextCollection is used";
+             "-f", Arg.Set_int(sample_factor), "sample factor [default=64]";
+	     "-i", Arg.Set(index_empty_texts), "index empty texts [default=false]";
+	     "-d", Arg.Set(disable_text_collection), "disable text collection[default=false]"; 
+	     "-s", Arg.Set_string(save_file), "save the intermediate representation into file.srx"; 
+	   ]
 
 let parse_cmdline() = 
   let _ = Arg.parse spec anon_fun usage_msg