Big refactoring of libxml-tree, part (1) (everything compiles)

[SXSI/xpathcomp.git] / src / l2JIT.mli

diff --git a/src/l2JIT.mli b/src/l2JIT.mli
index 9575f34..f269fc6 100644 (file)
--- a/src/l2JIT.mli
+++ b/src/l2JIT.mli
@@ -9,9 +9,9 @@ type jump =
   | SELECT_DESCENDANT of StateSet.t * Ptset.Int.t * Tree.unordered_set
   | SELECT_FOLLOWING of StateSet.t * Ptset.Int.t * Tree.unordered_set
   | TAGGED_CHILD of StateSet.t * Tag.t
-  | TAGGED_FOLLOWING_SIBLING of StateSet.t * Tag.t
+  | TAGGED_SIBLING of StateSet.t * Tag.t
   | SELECT_CHILD of StateSet.t * Ptset.Int.t * Tree.unordered_set
-  | SELECT_FOLLOWING_SIBLING of StateSet.t * Ptset.Int.t * Tree.unordered_set
+  | SELECT_SIBLING of StateSet.t * Ptset.Int.t * Tree.unordered_set
   | TAGGED_SUBTREE of StateSet.t * Tag.t
   | ELEMENT_SUBTREE of StateSet.t
 
@@ -23,8 +23,8 @@ val print_jump : Format.formatter -> jump -> unit
 val jump_stat_summary : Format.formatter -> unit
 
 type opcode =
-    CACHE of unit
-  | RETURN of unit
+    CACHE
+  | RETURN
   | LEFT of Translist.t * jump
   | RIGHT of Translist.t * jump
   | BOTH of Translist.t * jump * jump
@@ -35,7 +35,7 @@ val dummy : opcode
 
 val create : unit -> t
 
-val stats : Format.formatter -> t -> unit
+(*val stats : Format.formatter -> t -> unit *)
 
 val find : t -> int -> StateSet.Node.t -> opcode