From: kim Date: Mon, 13 Feb 2012 15:22:55 +0000 (+0000) Subject: Revert changes for following-sibling jumping function for now. X-Git-Url: http://git.nguyen.vg/gitweb/?a=commitdiff_plain;h=b0f6895e9398185757f2587aacf3c47e0c236e32;p=SXSI%2Fxpathcomp.git Revert changes for following-sibling jumping function for now. git-svn-id: svn+ssh://idea.nguyen.vg/svn/sxsi/branches/xpathcomp/trace-refactor@1211 3cdefd35-fc62-479d-8e8d-bae585ffb9ca --- diff --git a/src/runtime.ml b/src/runtime.ml index 101aceb..8337d2a 100644 --- a/src/runtime.ml +++ b/src/runtime.ml @@ -260,12 +260,12 @@ DEFINE LOOP_TAG (t, states, tag, ctx) = ( match instr with | L2JIT.NOP () -> nil_res | L2JIT.FIRST_CHILD s -> LOOP ((Tree.first_child tree t), s, ctx) -(* | L2JIT.NEXT_SIBLING s -> LOOP ((Tree.next_sibling tree t), s, ctx) *) - | L2JIT.NEXT_SIBLING s -> LOOP ((Tree.next_node_before tree t ctx), s, ctx) + | L2JIT.NEXT_SIBLING s -> LOOP ((Tree.next_sibling tree t), s, ctx) +(* | L2JIT.NEXT_SIBLING s -> LOOP ((Tree.next_node_before tree t ctx), s, ctx) *) | L2JIT.FIRST_ELEMENT s -> LOOP ((Tree.first_element tree t), s, ctx) -(* | L2JIT.NEXT_ELEMENT s -> LOOP ((Tree.next_element tree t), s, ctx) *) - | L2JIT.NEXT_ELEMENT s -> LOOP ((Tree.next_node_before tree t ctx), s, ctx) + | L2JIT.NEXT_ELEMENT s -> LOOP ((Tree.next_element tree t), s, ctx) +(* | L2JIT.NEXT_ELEMENT s -> LOOP ((Tree.next_node_before tree t ctx), s, ctx) *) | L2JIT.TAGGED_DESCENDANT (s, tag) -> LOOP_TAG ((Tree.tagged_descendant tree t tag), s, tag, ctx)