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

diff --git a/helm/DEVEL/pxp/pxp/rtests/write/sample001.xml b/helm/DEVEL/pxp/pxp/rtests/write/sample001.xml
new file mode 100644
index 000000000..4973505fb
--- /dev/null
+++ b/helm/DEVEL/pxp/pxp/rtests/write/sample001.xml
@@ -0,0 +1,37 @@
+<!DOCTYPE a [
+
+<!ELEMENT a (b | (c, d)* | (e, f)+ | g?)>
+<!ELEMENT b (#PCDATA | a)*>
+<!ELEMENT c EMPTY>
+<!ELEMENT d ANY>
+<!ELEMENT e EMPTY>
+<!ELEMENT f EMPTY>
+<!ELEMENT g EMPTY>
+
+<!ATTLIST a u CDATA #IMPLIED
+            v NMTOKEN "huhu"
+            w (q|p)   #REQUIRED
+            x NOTATION (n1|n2) "n1"
+            y ENTITY #IMPLIED>
+
+<!NOTATION n1 SYSTEM "/bin/n1-processor">
+<!NOTATION n2 SYSTEM "/bin/n2-processor">
+
+<!ENTITY u1 SYSTEM "file-u1" NDATA n1>
+<!ENTITY u2 SYSTEM "file-u2" NDATA n2>
+
+<?pi1 args ...?>
+]>
+
+<a u="1" w="q" x="n2">
+  <b>
+    <?pi2 args ...?>
+    This is text!
+    <a w="p" y="u1">
+      <c/>
+      <d/>
+    </a>
+  </b>
+</a>
+
+<?pi3 args ...?>