X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Fpxp%2Fpxp%2Frtests%2Fnegative%2Fdata_invalid%2F070.xml;fp=helm%2FDEVEL%2Fpxp%2Fpxp%2Frtests%2Fnegative%2Fdata_invalid%2F070.xml;h=85e400abdc9aed6bab5b299f5a3024bd268ee864;hb=c03d2c1fdab8d228cb88aaba5ca0f556318bebc5;hp=0000000000000000000000000000000000000000;hpb=758057e85325f94cd88583feb1fdf6b038e35055;p=helm.git

diff --git a/helm/DEVEL/pxp/pxp/rtests/negative/data_invalid/070.xml b/helm/DEVEL/pxp/pxp/rtests/negative/data_invalid/070.xml
new file mode 100644
index 000000000..85e400abd
--- /dev/null
+++ b/helm/DEVEL/pxp/pxp/rtests/negative/data_invalid/070.xml
@@ -0,0 +1,21 @@
+<?xml version="1.0" standalone="yes"?>
+
+<!DOCTYPE any [
+<!ELEMENT any ANY>
+<!ELEMENT inner EMPTY>
+<!ELEMENT outer1 (inner)>
+<!ENTITY % declare_outer2 '<!ELEMENT outer2 (inner)>'>
+%declare_outer2;
+<!ENTITY % declare_outer3 SYSTEM "070.ent">
+%declare_outer3;
+]>
+
+<any>
+  <any><outer1><inner/></outer1></any>
+  <any><outer2><inner/></outer2></any>
+  <any><outer3><inner/></outer3></any>
+  <any><outer1><inner/> </outer1></any>
+  <any><outer2><inner/> </outer2></any>
+  <any><outer3><inner/> </outer3></any>
+</any>
+