projects
/
tatoo.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Minors (srry for the noise)
[tatoo.git]
/
tests
/
results
/
my.result
diff --git
a/tests/results/my.result
b/tests/results/my.result
index
57e54c1
..
63faaef
100644
(file)
--- a/
tests/results/my.result
+++ b/
tests/results/my.result
@@
-1,6
+1,7
@@
Parse query OK ! Parse Tree OK ! Compil OK ! Run OK !
##### Query #####
/descendant::a[descendant::c[child::e and not descendant::f[not descendant::e]/descendant::g]]/descendant::b[child::g]
Parse query OK ! Parse Tree OK ! Compil OK ! Run OK !
##### Query #####
/descendant::a[descendant::c[child::e and not descendant::f[not descendant::e]/descendant::g]]/descendant::b[child::g]
+
##### Doc #####
<#document><a>
<b/>
##### Doc #####
<#document><a>
<b/>
@@
-13,7
+14,7
@@
Parse query OK ! Parse Tree OK ! Compil OK ! Run OK !
<j> <k/> <l/> <m/> </j>
</a></#document>
<j> <k/> <l/> <m/> </j>
</a></#document>
-
##### ASTA #####
+##### ASTA #####
# Query states: { q₁ q₂ q₈ q₉ }
# Recognizing states: { q₀ q₃ q₄ q₅ q₆ q₇ }
# Selecting states: { q₁ }
# Query states: { q₁ q₂ q₈ q₉ }
# Recognizing states: { q₀ q₃ q₄ q₅ q₆ q₇ }
# Selecting states: { q₁ }
@@
-36,5
+37,5
@@
Parse query OK ! Parse Tree OK ! Compil OK ! Run OK !
| q₆ ----F(e)---> ⊤ | q₆ ----Cof(ø)---> ↓₂q₆
| q₇ ----F(c)---> ↓₁q₆ ∧ ̅↓̅₁̅q̅₅
| q₇ ----Cof(ø)---> ↓₁q₇ ∨ ↓₂q₇
| q₆ ----F(e)---> ⊤ | q₆ ----Cof(ø)---> ↓₂q₆
| q₇ ----F(c)---> ↓₁q₆ ∧ ̅↓̅₁̅q̅₅
| q₇ ----Cof(ø)---> ↓₁q₇ ∨ ↓₂q₇
-
-
##### Run #####
+
+##### Run #####