]> matita.cs.unibo.it Git - helm.git/blob - helm/DEVEL/pxp/pxp/rtests/write/sample001.xml
- the mathql interpreter is not helm-dependent any more
[helm.git] / helm / DEVEL / pxp / pxp / rtests / write / sample001.xml
1 <!DOCTYPE a [
2
3 <!ELEMENT a (b | (c, d)* | (e, f)+ | g?)>
4 <!ELEMENT b (#PCDATA | a)*>
5 <!ELEMENT c EMPTY>
6 <!ELEMENT d ANY>
7 <!ELEMENT e EMPTY>
8 <!ELEMENT f EMPTY>
9 <!ELEMENT g EMPTY>
10
11 <!ATTLIST a u CDATA #IMPLIED
12             v NMTOKEN "huhu"
13             w (q|p)   #REQUIRED
14             x NOTATION (n1|n2) "n1"
15             y ENTITY #IMPLIED>
16
17 <!NOTATION n1 SYSTEM "/bin/n1-processor">
18 <!NOTATION n2 SYSTEM "/bin/n2-processor">
19
20 <!ENTITY u1 SYSTEM "file-u1" NDATA n1>
21 <!ENTITY u2 SYSTEM "file-u2" NDATA n2>
22
23 <?pi1 args ...?>
24 ]>
25
26 <a u="1" w="q" x="n2">
27   <b>
28     <?pi2 args ...?>
29     This is text!
30     <a w="p" y="u1">
31       <c/>
32       <d/>
33     </a>
34   </b>
35 </a>
36
37 <?pi3 args ...?>