X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;ds=sidebyside;f=tree.ml;h=ecd8e3b9ac317fe628e5e46f63eed1e64c9ac559;hb=eebef30070a951d852ce5811b289d8131a5300eb;hp=1b4ce2ecb26d79d1377b652d207173de8d63d508;hpb=c10ce35cd399aff15a49f3b24a31b38cb2191da0;p=SXSI%2Fxpathcomp.git diff --git a/tree.ml b/tree.ml index 1b4ce2e..ecd8e3b 100644 --- a/tree.ml +++ b/tree.ml @@ -44,12 +44,11 @@ struct external int_of_node : 'a node -> int = "%identity" - external parse_xml_uri : string -> t = "caml_call_shredder_uri" - let parse_xml_uri uri = parse_xml_uri uri - - external parse_xml_string : string -> t = "caml_call_shredder_string" - let parse_xml_string uri = parse_xml_string uri + external parse_xml_uri : string -> int -> bool -> bool -> t = "caml_call_shredder_uri" + + external parse_xml_string : string -> int -> bool -> bool -> t = "caml_call_shredder_string" + module Text = struct @@ -178,8 +177,13 @@ struct node = Node(NC (root t)) } - let parse_xml_uri str = node_of_t (parse_xml_uri str) - let parse_xml_string str = node_of_t (parse_xml_string str) + let parse_xml_uri str = node_of_t + (parse_xml_uri str + !Options.sample_factor !Options.index_empty_texts !Options.disable_text_collection) + + let parse_xml_string str = node_of_t + (parse_xml_string str + !Options.sample_factor !Options.index_empty_texts !Options.disable_text_collection) external pool : doc -> Tag.pool = "%identity" @@ -372,6 +376,8 @@ struct aux (first_child n); aux (next_sibling n) in aux t + + let print_stats _ = () end end