fixing bug #172215 about foreign namespaces by adding support for negated

* xmlregexp.c xmlschemas.c include/libxml/xmlautomata.h: fixing
  bug #172215 about foreign namespaces by adding support for
  negated string transitions. Error messages still need to be
  improved.
* test/schemas/any5* result/schemas/any5*: adding regression
  tests for this.
Daniel

28 files changed, 25 insertions, 0 deletions

diff --git a/result/schemas/any5_0_0 b/result/schemas/any5_0_0
new file mode 100644
index 00000000..910f8bbd
--- /dev/null
+++ b/result/schemas/any5_0_0
@@ -0,0 +1 @@
+./test/schemas/any5_0.xml fails to validate
diff --git a/result/schemas/any5_0_0.err b/result/schemas/any5_0_0.err
new file mode 100644
index 00000000..f9c434f1
--- /dev/null
+++ b/result/schemas/any5_0_0.err
@@ -0,0 +1 @@
+./test/schemas/any5_0.xml:4: element foo: Schemas validity error : Element '{urn:test:foo}foo': Missing child element(s).
diff --git a/result/schemas/any5_0_1 b/result/schemas/any5_0_1
new file mode 100644
index 00000000..5e2c461d
--- /dev/null
+++ b/result/schemas/any5_0_1
@@ -0,0 +1 @@
+./test/schemas/any5_1.xml fails to validate
diff --git a/result/schemas/any5_0_1.err b/result/schemas/any5_0_1.err
new file mode 100644
index 00000000..79d7e35b
--- /dev/null
+++ b/result/schemas/any5_0_1.err
@@ -0,0 +1 @@
+./test/schemas/any5_1.xml:11: element boo: Schemas validity error : Element '{urn:test:bar}boo': This element is not expected.
diff --git a/result/schemas/any5_0_2 b/result/schemas/any5_0_2
new file mode 100644
index 00000000..b049478c
--- /dev/null
+++ b/result/schemas/any5_0_2
@@ -0,0 +1 @@
+./test/schemas/any5_2.xml fails to validate
diff --git a/result/schemas/any5_0_2.err b/result/schemas/any5_0_2.err
new file mode 100644
index 00000000..68d77f1d
--- /dev/null
+++ b/result/schemas/any5_0_2.err
@@ -0,0 +1 @@
+./test/schemas/any5_2.xml:4: element foo: Schemas validity error : Element '{urn:test:foo}foo': Missing child element(s).
diff --git a/result/schemas/any5_0_3 b/result/schemas/any5_0_3
new file mode 100644
index 00000000..8cfb94e6
--- /dev/null
+++ b/result/schemas/any5_0_3
@@ -0,0 +1 @@
+./test/schemas/any5_3.xml validates
diff --git a/result/schemas/any5_0_3.err b/result/schemas/any5_0_3.err
new file mode 100644
index 00000000..e69de29b
--- /dev/null
+++ b/result/schemas/any5_0_3.err
diff --git a/result/schemas/any5_0_4 b/result/schemas/any5_0_4
new file mode 100644
index 00000000..0a4bce06
--- /dev/null
+++ b/result/schemas/any5_0_4
@@ -0,0 +1 @@
+./test/schemas/any5_4.xml fails to validate
diff --git a/result/schemas/any5_0_4.err b/result/schemas/any5_0_4.err
new file mode 100644
index 00000000..74a6bda1
--- /dev/null
+++ b/result/schemas/any5_0_4.err
@@ -0,0 +1 @@
+./test/schemas/any5_4.xml:11: element boo: Schemas validity error : Element '{urn:test:bar}boo': This element is not expected.
diff --git a/result/schemas/any5_0_5 b/result/schemas/any5_0_5
new file mode 100644
index 00000000..6c15d25d
--- /dev/null
+++ b/result/schemas/any5_0_5
@@ -0,0 +1 @@
+./test/schemas/any5_5.xml fails to validate
diff --git a/result/schemas/any5_0_5.err b/result/schemas/any5_0_5.err
new file mode 100644
index 00000000..e50113f4
--- /dev/null
+++ b/result/schemas/any5_0_5.err
@@ -0,0 +1 @@
+./test/schemas/any5_5.xml:11: element boo: Schemas validity error : Element '{urn:test:foo}boo': This element is not expected.
diff --git a/result/schemas/any5_0_6 b/result/schemas/any5_0_6
new file mode 100644
index 00000000..c9df5626
--- /dev/null
+++ b/result/schemas/any5_0_6
@@ -0,0 +1 @@
+./test/schemas/any5_6.xml fails to validate
diff --git a/result/schemas/any5_0_6.err b/result/schemas/any5_0_6.err
new file mode 100644
index 00000000..b64cd4fb
--- /dev/null
+++ b/result/schemas/any5_0_6.err
@@ -0,0 +1 @@
+./test/schemas/any5_6.xml:11: element boo: Schemas validity error : Element '{urn:test:bar}boo': This element is not expected.
diff --git a/result/schemas/any5_1_0 b/result/schemas/any5_1_0
new file mode 100644
index 00000000..910f8bbd
--- /dev/null
+++ b/result/schemas/any5_1_0
@@ -0,0 +1 @@
+./test/schemas/any5_0.xml fails to validate
diff --git a/result/schemas/any5_1_0.err b/result/schemas/any5_1_0.err
new file mode 100644
index 00000000..f9c434f1
--- /dev/null
+++ b/result/schemas/any5_1_0.err
@@ -0,0 +1 @@
+./test/schemas/any5_0.xml:4: element foo: Schemas validity error : Element '{urn:test:foo}foo': Missing child element(s).
diff --git a/result/schemas/any5_1_1 b/result/schemas/any5_1_1
new file mode 100644
index 00000000..5e2c461d
--- /dev/null
+++ b/result/schemas/any5_1_1
@@ -0,0 +1 @@
+./test/schemas/any5_1.xml fails to validate
diff --git a/result/schemas/any5_1_1.err b/result/schemas/any5_1_1.err
new file mode 100644
index 00000000..bbfccb44
--- /dev/null
+++ b/result/schemas/any5_1_1.err
@@ -0,0 +1 @@
+./test/schemas/any5_1.xml:11: element boo: Schemas validity error : Element '{urn:test:bar}boo': This element is not expected. Expected is ( {urn:test:foo}boo ).
diff --git a/result/schemas/any5_1_2 b/result/schemas/any5_1_2
new file mode 100644
index 00000000..6eab2bb1
--- /dev/null
+++ b/result/schemas/any5_1_2
@@ -0,0 +1 @@
+./test/schemas/any5_2.xml validates
diff --git a/result/schemas/any5_1_2.err b/result/schemas/any5_1_2.err
new file mode 100644
index 00000000..e69de29b
--- /dev/null
+++ b/result/schemas/any5_1_2.err
diff --git a/result/schemas/any5_1_3 b/result/schemas/any5_1_3
new file mode 100644
index 00000000..f114a670
--- /dev/null
+++ b/result/schemas/any5_1_3
@@ -0,0 +1 @@
+./test/schemas/any5_3.xml fails to validate
diff --git a/result/schemas/any5_1_3.err b/result/schemas/any5_1_3.err
new file mode 100644
index 00000000..e6c07b28
--- /dev/null
+++ b/result/schemas/any5_1_3.err
@@ -0,0 +1 @@
+./test/schemas/any5_3.xml:4: element foo: Schemas validity error : Element '{urn:test:foo}foo': Missing child element(s).
diff --git a/result/schemas/any5_1_4 b/result/schemas/any5_1_4
new file mode 100644
index 00000000..0a4bce06
--- /dev/null
+++ b/result/schemas/any5_1_4
@@ -0,0 +1 @@
+./test/schemas/any5_4.xml fails to validate
diff --git a/result/schemas/any5_1_4.err b/result/schemas/any5_1_4.err
new file mode 100644
index 00000000..6d89773d
--- /dev/null
+++ b/result/schemas/any5_1_4.err
@@ -0,0 +1 @@
+./test/schemas/any5_4.xml:11: element boo: Schemas validity error : Element '{urn:test:bar}boo': This element is not expected. Expected is ( {urn:test:foo}boo ).
diff --git a/result/schemas/any5_1_5 b/result/schemas/any5_1_5
new file mode 100644
index 00000000..e573d46d
--- /dev/null
+++ b/result/schemas/any5_1_5
@@ -0,0 +1 @@
+./test/schemas/any5_5.xml validates
diff --git a/result/schemas/any5_1_5.err b/result/schemas/any5_1_5.err
new file mode 100644
index 00000000..e69de29b
--- /dev/null
+++ b/result/schemas/any5_1_5.err
diff --git a/result/schemas/any5_1_6 b/result/schemas/any5_1_6
new file mode 100644
index 00000000..c9df5626
--- /dev/null
+++ b/result/schemas/any5_1_6
@@ -0,0 +1 @@
+./test/schemas/any5_6.xml fails to validate
diff --git a/result/schemas/any5_1_6.err b/result/schemas/any5_1_6.err
new file mode 100644
index 00000000..8c3f020a
--- /dev/null
+++ b/result/schemas/any5_1_6.err
@@ -0,0 +1 @@
+./test/schemas/any5_6.xml:11: element boo: Schemas validity error : Element '{urn:test:bar}boo': This element is not expected. Expected is ( {urn:test:foo}boo ).