X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=src%2Fgrammar2.mli;h=c884ff1359e6ab730b7b3e0ce21a81122f0f4570;hb=2a7218fd2a985ed57732f9f7b9a0b62f4b2c83df;hp=8d84e4e66966bc04259594e3b49ff6aabb6eab47;hpb=3dc9065cb7e4b38bf25e6fb50017efa5b11de4ff;p=SXSI%2Fxpathcomp.git

diff --git a/src/grammar2.mli b/src/grammar2.mli
index 8d84e4e..c884ff1 100644
--- a/src/grammar2.mli
+++ b/src/grammar2.mli
@@ -1,4 +1,56 @@
 type t
+
+type node = [ `Start ] Node.t
+
+type n_type = [ `NonTerminal ]
+type t_type = [ `Terminal ]
+type r_type = [ `Rule ]
+type any_type = [ n_type | t_type ]
+type rhs = [ r_type ] Node.t
+
+type n_symbol = n_type Node.t
+type t_symbol = t_type Node.t
+type tn_symbol = [ any_type ] Node.t
+
+type 'a partial =
+  | Cache of 'a
+  | Leaf of int*int * StateSet.t array * node
+  | Node0 of tn_symbol (* No parameters *)
+  | Node1 of tn_symbol * 'a partial
+  | Node2 of tn_symbol * 'a partial * 'a partial
+
+type conf = C0 | C1 | C2 | C3 | C4 | C5 | C6
+
 val parse : string -> t
 val save : t -> string -> unit
 val load : string -> t
+val tag_operations : t -> Tag.operations
+
+val start_tag : t -> node -> tn_symbol
+val is_terminal : t -> [< any_type ] Node.t -> bool
+val is_non_terminal : t -> [< any_type ] Node.t -> bool
+external terminal : [< any_type ] Node.t -> t_symbol = "%identity"
+external non_terminal : [< any_type ] Node.t -> n_symbol = "%identity"
+val nil_symbol : t_symbol
+val tag : t_symbol -> Tag.t
+val start_first_child : t -> node -> node
+val start_next_sibling : t -> node -> node
+val get_rule : t -> n_symbol -> rhs
+val get_conf : rhs ->  conf
+val get_rank : rhs -> int
+val get_id1_rank : rhs -> int
+val get_id2_rank : rhs -> int
+val get_id2_pos : rhs -> int
+val get_id1 : rhs -> tn_symbol
+val get_id2 : rhs -> tn_symbol
+
+val is_attribute : t -> Tag.t -> bool
+(*
+val start_skip : t -> node -> int -> int
+val rule_skip : t -> n_symbol -> 'a partial -> 'a partial -> int -> int
+*)
+val dummy_param : 'a partial
+(*
+val dispatch_param0 : conf -> tn_symbol -> 'a partial -> 'a partial -> 'a partial
+val dispatch_param1 : conf -> tn_symbol -> 'a partial -> 'a partial -> 'a partial
+*)