Merged from branch stable-succint-refactor

[SXSI/xpathcomp.git] / tree.mli

diff --git a/tree.mli b/tree.mli
index eb13139..a2ad7f3 100644 (file)
--- a/tree.mli
+++ b/tree.mli
@@ -17,8 +17,11 @@ sig
   val tag_pool : t -> Tag.pool
   val string : t -> string
   val descr : t -> descr
+  val is_node : t -> bool
   val left : t -> t
   val right : t -> t
+  val first_child : t -> t
+  val next_sibling : t -> t
   val parent : t -> t
   val id : t -> int
   val tag : t -> Tag.t
@@ -34,6 +37,12 @@ sig
   val contains_old : t -> string -> bool
   val dump : t -> unit 
   val get_string : t -> string_content -> string
+  val has_tagged_desc : t -> Tag.t -> bool
+  val has_tagged_foll : t -> Tag.t -> bool
+  val tagged_desc : t -> Tag.t -> t
+  val tagged_foll : t -> Tag.t -> t
+  val tagged_next : t -> Tag.t -> t
+  val subtree_tags : t -> Tag.t -> int
 end
 
 module Binary : BINARY