tree.mli

   1 (******************************************************************************)
   2 (*  SXSI : XPath evaluator                                                    *)
   3 (*  Kim Nguyen (Kim.Nguyen@nicta.com.au)                                      *)
   4 (*  Copyright NICTA 2008                                                      *)
   5 (*  Distributed under the terms of the LGPL (see LICENCE)                     *)
   6 (******************************************************************************)
   7 module type BINARY =
   8 sig
   9   type node_content
  10   type string_content
  11   type descr = Nil| Node of node_content | String of string_content
  12   type t
  13   val parse_xml_uri : string -> t
  14   val parse_xml_string : string -> t
  15   val string : t -> string
  16   val descr : t -> descr
  17   val left : t -> t
  18   val right : t -> t
  19   val parent : t -> t
  20   val id : t -> int
  21   val tag : t -> Tag.t
  22   val print_xml_fast : out_channel -> t -> unit
  23   val compare : t -> t -> int
  24   val equal : t -> t -> bool
  25   module DocIdSet : Set.S with type elt = string_content
  26   val string_below : t -> string_content -> bool
  27   val contains : t -> string -> DocIdSet.t
  28   val contains_old : t -> string -> bool
  29   val dump : t -> unit
  30 end
  31
  32 module Binary : BINARY
  33
  34 module DEBUGTREE : sig
  35   include BINARY
  36   val print_stats : Format.formatter -> unit
  37 end