]> matita.cs.unibo.it Git - helm.git/blob - helm/DEVEL/pxp/pxp/rtests/canonxml/data_valid/conditional/INDEX
- the mathql interpreter is not helm-dependent any more
[helm.git] / helm / DEVEL / pxp / pxp / rtests / canonxml / data_valid / conditional / INDEX
1 001     IGNORE works: <![IGNORE[ ... ]]>
2 002     [precondition for 003] The first ATTLIST declaration for the same
3         attribute counts
4 003     INCLUDE works: <![INCLUDE[ ... ]]>
5 004     IGNORE works: <![%e;[ ... ]]> with e="IGNORE"
6 005     INCLUDE works: <![%e;[ ... ]]> with e="INCLUDE"
7 006     IGNORE works: <![IGNORE[ ... ]]> ignoring a section that would
8         be illegal
9 007     Within ignored sections references to parameter references are
10         not resolved.
11         NOTE: You cannot derive this directly from the XML spec. because a 
12         precise definition what "ignoring" means is missing. This property
13         is an interpretation of the statement about reliable parsing in
14         section 3.4.
15 008     Ignored sections may contain string literals containing "]]>".
16         NOTE: same problem with XML spec as 007
17 009     Ignored sections may contain comments containing "]]>".
18         NOTE: same problem with XML spec as 007
19 010     Nested conditional sections with outermost IGNORE
20 011     Nested conditional sections with outermost INCLUDE