src/tree.mli

   1
   2 type node = [ `Tree ] Node.t
   3 type t
   4 (** The type for documents *)
   5
   6 val parse_xml_uri : string -> t
   7 val parse_xml_string : string -> t
   8 val save : t -> string ->  unit
   9 val load : ?sample:int -> ?load_text:bool -> string -> t
  10
  11
  12 val nil : node
  13 val root : node
  14 val size : t -> int
  15 val is_root : node -> bool
  16 val is_nil : node -> bool
  17
  18 type unordered_set
  19
  20 val unordered_set_of_set : Ptset.Int.t -> unordered_set
  21
  22 val first_child : t -> node -> node
  23 val first_element : t -> node -> node
  24 val tagged_child : t -> node -> Tag.t -> node
  25 val select_child : t -> node -> unordered_set -> node
  26
  27
  28 val next_sibling : t -> node -> node
  29 val prev_sibling : t -> node -> node
  30 val next_element : t -> node -> node
  31 val next_node_before : t -> node -> node -> node
  32 val tagged_following_sibling : t -> node ->  Tag.t -> node
  33 val select_following_sibling : t -> node -> unordered_set -> node
  34
  35 val tagged_descendant : t -> node -> Tag.t -> node
  36 val tagged_next : t -> node -> Tag.t -> node
  37 val select_descendant : t -> node -> unordered_set -> node
  38
  39 val tagged_following_before : t -> node -> Tag.t -> node ->  node
  40 val select_following_before : t -> node -> unordered_set -> node -> node
  41
  42 val parent : t -> node -> node
  43 val binary_parent : t -> node -> node
  44 val is_first_child : t -> node -> bool
  45 val is_right_descendant : t -> node -> node -> bool
  46
  47 val tag : t -> node -> Tag.t
  48
  49 val attribute_tags : t -> Ptset.Int.t
  50
  51 val element_tags : t -> Ptset.Int.t
  52
  53 val node_tags : t -> Ptset.Int.t
  54
  55 val tags : t ->  Tag.t  -> Ptset.Int.t*Ptset.Int.t*Ptset.Int.t*Ptset.Int.t
  56
  57 val dump_tag_table : t -> unit
  58
  59 val subtree_tags : t -> node -> Tag.t -> int
  60
  61 val subtree_size : t -> node -> int
  62
  63 val subtree_elements : t -> node -> int
  64
  65 val closing : t -> node -> node
  66
  67 val stats : t -> unit
  68
  69 val num_tags : t -> int
  70
  71 val tag_operations : t -> Tag.operations
  72
  73 val print_xml : t -> node -> Unix.file_descr -> unit
  74 val flush : t -> Unix.file_descr -> unit
  75
  76 module Predicate : Hcons.S with type data = (t -> node -> bool) ref
  77
  78 val mk_pred : [ `Prefix | `Suffix | `Equals | `Contains ] -> string -> Predicate.t
  79
  80 val full_text_query : [ `Prefix | `Suffix | `Equals | `Contains ] -> t -> string -> node array
  81
  82 val full_text_prefix : t -> string -> node array
  83
  84 val full_text_suffix : t -> string -> node array
  85
  86 val full_text_equals : t -> string -> node array
  87
  88 val full_text_contains : t -> string -> node array
  89
  90 type bit_vector
  91 val bit_vector_create : int -> bit_vector
  92 val bit_vector_unsafe_set : bit_vector -> int -> bool -> unit
  93 val bit_vector_unsafe_get : bit_vector -> int -> bool