From 9c56424fe98c1182060170c724ef603392c82074 Mon Sep 17 00:00:00 2001
From: =?utf8?q?Kim=20Nguy=E1=BB=85n?= <kn@lri.fr>
Date: Sun, 24 Nov 2013 22:18:57 +0100
Subject: [PATCH] Add a tiny XML file to help debug automata behaviour.

---
 tests/tiny.xml                     | 1 +
 tests/tiny.xml.queries             | 2 ++
 tests/tiny.xml.results/T1_jaxp.log | 2 ++
 tests/tiny.xml.results/T1_jaxp.xml | 3 +++
 tests/tiny.xml.results/T2_jaxp.log | 2 ++
 tests/tiny.xml.results/T2_jaxp.xml | 2 ++
 6 files changed, 12 insertions(+)
 create mode 100644 tests/tiny.xml
 create mode 100644 tests/tiny.xml.queries
 create mode 100644 tests/tiny.xml.results/T1_jaxp.log
 create mode 100644 tests/tiny.xml.results/T1_jaxp.xml
 create mode 100644 tests/tiny.xml.results/T2_jaxp.log
 create mode 100644 tests/tiny.xml.results/T2_jaxp.xml

diff --git a/tests/tiny.xml b/tests/tiny.xml
new file mode 100644
index 0000000..fe1474f
--- /dev/null
+++ b/tests/tiny.xml
@@ -0,0 +1 @@
+<a><b><c></c></b></a>
diff --git a/tests/tiny.xml.queries b/tests/tiny.xml.queries
new file mode 100644
index 0000000..55ba351
--- /dev/null
+++ b/tests/tiny.xml.queries
@@ -0,0 +1,2 @@
+T1	/descendant::b [ not(d/preceding-sibling::c) ]
+T2	/descendant::b [ (not(c/following::e) or not(c/preceding::e)) or (c/following::e and c/preceding::e)]/d
diff --git a/tests/tiny.xml.results/T1_jaxp.log b/tests/tiny.xml.results/T1_jaxp.log
new file mode 100644
index 0000000..e212525
--- /dev/null
+++ b/tests/tiny.xml.results/T1_jaxp.log
@@ -0,0 +1,2 @@
+evaluation time: 75ms
+serialization time: 166ms
diff --git a/tests/tiny.xml.results/T1_jaxp.xml b/tests/tiny.xml.results/T1_jaxp.xml
new file mode 100644
index 0000000..eff93ba
--- /dev/null
+++ b/tests/tiny.xml.results/T1_jaxp.xml
@@ -0,0 +1,3 @@
+<xml_result num="1">
+<b><c/></b>
+</xml_result>
diff --git a/tests/tiny.xml.results/T2_jaxp.log b/tests/tiny.xml.results/T2_jaxp.log
new file mode 100644
index 0000000..dd20777
--- /dev/null
+++ b/tests/tiny.xml.results/T2_jaxp.log
@@ -0,0 +1,2 @@
+evaluation time: 75ms
+serialization time: 0ms
diff --git a/tests/tiny.xml.results/T2_jaxp.xml b/tests/tiny.xml.results/T2_jaxp.xml
new file mode 100644
index 0000000..25b9f37
--- /dev/null
+++ b/tests/tiny.xml.results/T2_jaxp.xml
@@ -0,0 +1,2 @@
+<xml_result num="1">
+</xml_result>
-- 
2.17.1