License

[tatoo.git] / tests / results / my.result

diff --git a/tests/results/my.result b/tests/results/my.result
index 227e738..53567dc 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 ! 
+Parse Tree OK ! Parse query 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/>
@@ -13,12 +14,12 @@ Parse query OK ! Parse Tree OK ! Compil OK ! Run OK !
   <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₁ }
-  # Bottom states: { qâ\82\81 qâ\82\82 qâ\82\88 }
-  # Tom states: { q₉ }
+  # Bottom states: { qâ\82\82 qâ\82\88 qâ\82\89 }
+  # Top states: { q₉ }
   # Queries transitions:
     |  q₁ ----F(b)---> ↓₁q₀  
     |  q₂ ----Cof(ø)---> ↓₁q₂ ∨ ↓₂q₂ ∨ ↓₁q₁ ∨ ↓₂q₁  
@@ -36,5 +37,22 @@ 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₇    
-  
-  ##### Run #####
+ 
+##### RUN ##### 
+  # Mapping:
+   |  14-->({ ø }, { ø })   |  16-->({ ø }, { ø })  
+   |  21-->({ ø }, { ø })   |  24-->({ ø }, { ø })  
+   |  25-->({ ø }, { ø })   |  34-->({ ø }, { ø })  
+   |  35-->({ ø }, { ø })   
+
+  # Doc: 
+<#document '0><a '1>
+  '2<b '3/>
+  '4<c '5/>
+  '6<d '7/>
+  '8<e '9>
+    '10<f '11 id="1" value="2"> '17<g '18/> '19<h '20/> '21</f>
+    '22<i '23> '24</i>
+  '25</e>
+  '26<j '27> '28<k '29/> '30<l '31/> '32<m '33/> '34</j>
+'35</a></#document>
\ No newline at end of file