From 5e6e859cd104ffdaa08bca3f1edeaa6f21edccf8 Mon Sep 17 00:00:00 2001
From: Lucca Hirschi <lucca.hirschi@gmail.com>
Date: Tue, 3 Jul 2012 14:27:16 +0200
Subject: [PATCH] + result

---
 run_tests               |  3 ++-
 tests/results/my.result | 35 +++++++++++++++++++++++++++++++++++
 2 files changed, 37 insertions(+), 1 deletion(-)
 create mode 100644 tests/results/my.result

diff --git a/run_tests b/run_tests
index 6408496..79d9c7b 100755
--- a/run_tests
+++ b/run_tests
@@ -4,4 +4,5 @@ echo "__________________________________________________________________________
 echo "________________________________________________________________________________"
 ./test.native ./tests/docs/tiny.xml '/descendant::listitem[not(descendant::keyword/child::emph)]/descendant::parlist'
 echo "________________________________________________________________________________"
-./test.native ./tests/docs/tiny.xml -f ./tests/queries/my.queries
\ No newline at end of file
+./test.native ./tests/docs/tiny.xml -f ./tests/queries/my.queries
+./test.native ./tests/docs/tiny.xml -f ./tests/queries/my.queries 2> tests/results/my.result
\ No newline at end of file
diff --git a/tests/results/my.result b/tests/results/my.result
new file mode 100644
index 0000000..25e0974
--- /dev/null
+++ b/tests/results/my.result
@@ -0,0 +1,35 @@
+Parse query OK ! Parse Tree OK ! Compil OK !
+ ##### Query #####
+      /descendant::a[descendant::c[child::e and not descendant::f[not descendant::e]/descendant::g]]/descendant::b[child::g]
+ ##### ASTA #####
+ # Query states: { q₁ q₂ q₈ q₉ }
+ # Recognizing states: { q₀ q₃ q₄ q₅ q₆ q₇ }
+ # Selecting states: { q₁ }
+ # Bottom states: { q₁ q₂ q₈ }
+ # Tom states: { q₉ }
+ # Queries transitions:
+   |  q₁ ----F(b)---> ↓₁q₀
+   |  q₂ ----Cof(ø)---> ↓₁q₂ ∨ ↓₂q₂ ∨ ↓₁q₁ ∨ ↓₂q₁
+   |  q₈ ----F(a)---> (↓₁q₂ ∨ ↓₁q₁) ∧ ↓₁q₇
+   |  q₈ ----Cof(ø)---> ↓₁q₈ ∨ ↓₂q₈
+   |  q₉ ----Cof(ø)---> ↓₁q₈  
+ # Recognizing transitions:
+   |  q₀ ----F(g)---> ⊤ |  q₀ ----Cof(ø)---> ↓₂q₀
+   |  q₃ ----F(g)---> ⊤ |  q₃ ----Cof(ø)---> ↓₁q₃ ∨ ↓₂q₃
+   |  q₄ ----F(e)---> ⊤ |  q₄ ----Cof(ø)---> ↓₁q₄ ∨ ↓₂q₄
+   |  q₅ ----F(f)---> ̅↓̅₁̅q̅₄ ∧ ↓₁q₃
+   |  q₅ ----Cof(ø)---> ↓₁q₅ ∨ ↓₂q₅ |  q₆ ----F(e)---> ⊤
+   |  q₆ ----Cof(ø)---> ↓₂q₆
+   |  q₇ ----F(c)---> ↓₁q₆ ∧ ̅↓̅₁̅q̅₅
+   |  q₇ ----Cof(ø)---> ↓₁q₇ ∨ ↓₂q₇
+##### Doc #####
+<#document><a>
+  <b/>
+  <c/>
+  <d/>
+  <e>
+    <f id="1" value="2"> <g/> <h/> </f>
+    <i> </i>
+  </e>
+  <j> <k/> <l/> <m/> </j>
+</a></#document>
-- 
2.17.1