Safety before Techfest

[SXSI/xpathcomp.git] / tree.mli

diff --git a/tree.mli b/tree.mli
index e4bbd2d..8cffd18 100644 (file)
--- a/tree.mli
+++ b/tree.mli
@@ -1,13 +1,13 @@
 type t 
 
-val init_contains : t -> string -> unit
+val init_textfun : [ `CONTAINS | `STARTSWITH | `ENDSWITH | `EQUALS ] -> t -> string -> unit
 val init_naive_contains : t -> string -> unit
 
 
 val parse_xml_uri : string -> t
 val parse_xml_string : string -> t
 val save : t -> string -> unit
-val load : ?sample:int -> string -> t
+val load : ?sample:int -> ?load_text:bool -> string -> t
 val tag_pool : t -> Tag.pool
 
 
@@ -71,7 +71,7 @@ val is_left : t ->  [`Tree] node -> bool
 val binary_parent : t ->  [`Tree] node -> [`Tree] node 
 
 val count_contains : t -> string -> int
-val unsorted_contains : t -> string -> unit
+(* val unsorted_contains : t -> string -> unit *)
 val text_size : t -> int
 val doc_ids : t ->  [`Tree] node ->  [`Text] node *  [`Text] node 
 val subtree_tags : t -> Tag.t ->  [`Tree] node -> int