projects
/
SXSI
/
xpathcomp.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
New run function based on rank2 grammars:
[SXSI/xpathcomp.git]
/
src
/
grammar2.mli
diff --git
a/src/grammar2.mli
b/src/grammar2.mli
index
a775780
..
e2efc85
100644
(file)
--- a/
src/grammar2.mli
+++ b/
src/grammar2.mli
@@
-15,8
+15,11
@@
type tn_symbol = [ any_type ] Node.t
type partial =
Leaf of node
type partial =
Leaf of node
- | Node of tn_symbol * partial array
+ | Node0 of tn_symbol
+ | Node1 of tn_symbol * partial
+ | Node2 of tn_symbol * partial * partial
+type conf = C0 | C1 | C2 | C3 | C4 | C5 | C6
val parse : string -> t
val save : t -> string -> unit
val parse : string -> t
val save : t -> string -> unit
@@
-33,6
+36,7
@@
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 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_rank : rhs -> int
val get_id1_rank : rhs -> int
val get_id2_rank : rhs -> int