projects
/
SXSI
/
xpathcomp.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Refresh the installation procedure.
[SXSI/xpathcomp.git]
/
src
/
l2JIT.mli
diff --git
a/src/l2JIT.mli
b/src/l2JIT.mli
index
f269fc6
..
3e1641d
100644
(file)
--- a/
src/l2JIT.mli
+++ b/
src/l2JIT.mli
@@
-6,12
+6,12
@@
type jump =
| NEXT_ELEMENT of StateSet.t
| TAGGED_DESCENDANT of StateSet.t * Tag.t
| TAGGED_FOLLOWING of StateSet.t * Tag.t
| NEXT_ELEMENT of StateSet.t
| TAGGED_DESCENDANT of StateSet.t * Tag.t
| TAGGED_FOLLOWING of StateSet.t * Tag.t
- | SELECT_DESCENDANT of StateSet.t * Ptset.Int.t * Tree.
unordered_se
t
- | SELECT_FOLLOWING of StateSet.t * Ptset.Int.t * Tree.
unordered_se
t
+ | SELECT_DESCENDANT of StateSet.t * Ptset.Int.t * Tree.
tag_lis
t
+ | SELECT_FOLLOWING of StateSet.t * Ptset.Int.t * Tree.
tag_lis
t
| TAGGED_CHILD of StateSet.t * Tag.t
| TAGGED_SIBLING of StateSet.t * Tag.t
| TAGGED_CHILD of StateSet.t * Tag.t
| TAGGED_SIBLING of StateSet.t * Tag.t
- | SELECT_CHILD of StateSet.t * Ptset.Int.t * Tree.
unordered_se
t
- | SELECT_SIBLING of StateSet.t * Ptset.Int.t * Tree.
unordered_se
t
+ | SELECT_CHILD of StateSet.t * Ptset.Int.t * Tree.
tag_lis
t
+ | SELECT_SIBLING of StateSet.t * Ptset.Int.t * Tree.
tag_lis
t
| TAGGED_SUBTREE of StateSet.t * Tag.t
| ELEMENT_SUBTREE of StateSet.t
| TAGGED_SUBTREE of StateSet.t * Tag.t
| ELEMENT_SUBTREE of StateSet.t
@@
-23,11
+23,11
@@
val print_jump : Format.formatter -> jump -> unit
val jump_stat_summary : Format.formatter -> unit
type opcode =
val jump_stat_summary : Format.formatter -> unit
type opcode =
- CACHE
- | RETURN
+ | RETURN of unit
| LEFT of Translist.t * jump
| RIGHT of Translist.t * jump
| BOTH of Translist.t * jump * jump
| LEFT of Translist.t * jump
| RIGHT of Translist.t * jump
| BOTH of Translist.t * jump * jump
+ | CACHE of unit
type t = opcode Cache.Lvl2.t
type t = opcode Cache.Lvl2.t
@@
-44,3
+44,4
@@
val add : t -> int -> StateSet.Node.t -> opcode -> unit
val compile : t -> Ata.t -> Tree.t -> TagSet.elt -> StateSet.t -> opcode
val get_transitions : opcode -> Translist.t
val compile : t -> Ata.t -> Tree.t -> TagSet.elt -> StateSet.t -> opcode
val get_transitions : opcode -> Translist.t
+val init : unit -> unit