]> matita.cs.unibo.it Git - helm.git/blob - helm/DEVEL/pxp/pxp/rtests/negative/data_invalid/070.xml
Initial revision
[helm.git] / helm / DEVEL / pxp / pxp / rtests / negative / data_invalid / 070.xml
1 <?xml version="1.0" standalone="yes"?>
2
3 <!DOCTYPE any [
4 <!ELEMENT any ANY>
5 <!ELEMENT inner EMPTY>
6 <!ELEMENT outer1 (inner)>
7 <!ENTITY % declare_outer2 '<!ELEMENT outer2 (inner)>'>
8 %declare_outer2;
9 <!ENTITY % declare_outer3 SYSTEM "070.ent">
10 %declare_outer3;
11 ]>
12
13 <any>
14   <any><outer1><inner/></outer1></any>
15   <any><outer2><inner/></outer2></any>
16   <any><outer3><inner/></outer3></any>
17   <any><outer1><inner/> </outer1></any>
18   <any><outer2><inner/> </outer2></any>
19   <any><outer3><inner/> </outer3></any>
20 </any>
21