PSVI output

Display colors:

<!--* <!DOCTYPE doc [ <!ELEMENT doc (e | e_nil | e_non | strict | lax)* > <!ATTLIST doc xmlns CDATA #IMPLIED xmlns:xsi CDATA #IMPLIED xsi:schemaLocation CDATA #IMPLIED > <!ELEMENT e ANY> <!ELEMENT strict ANY> <!ELEMENT lax ANY> <!ELEMENT e_nil ANY> <!ELEMENT e_non ANY> ]> *-->
<{http://example.com/XMLSchema/svae}doc xsi:schemaLocation="http://example.com/XMLSchema/svae svae2004-10-27.xsd">
<{http://example.com/XMLSchema/svae}e>First, let's try e_nil and e_non where we know what their context-determined declarations will be.</{http://example.com/XMLSchema/svae}e>
<{http://example.com/XMLSchema/svae}e>Type declaration tests</{http://example.com/XMLSchema/svae}e>
<{http://example.com/XMLSchema/svae}e>The following are OK according to the element decl</{http://example.com/XMLSchema/svae}e>
<{http://example.com/XMLSchema/svae}e_nil xsi:type="T1">
<{http://example.com/XMLSchema/svae}e></{http://example.com/XMLSchema/svae}e>
</{http://example.com/XMLSchema/svae}e_nil>
<{http://example.com/XMLSchema/svae}e_non xsi:type="T1">
<{http://example.com/XMLSchema/svae}e></{http://example.com/XMLSchema/svae}e>
</{http://example.com/XMLSchema/svae}e_non>
<{http://example.com/XMLSchema/svae}e_nil xsi:type="T2">
<{http://example.com/XMLSchema/svae}e></{http://example.com/XMLSchema/svae}e>
</{http://example.com/XMLSchema/svae}e_nil>
<{http://example.com/XMLSchema/svae}e_non xsi:type="T2">
<{http://example.com/XMLSchema/svae}e></{http://example.com/XMLSchema/svae}e>
</{http://example.com/XMLSchema/svae}e_non>
<{http://example.com/XMLSchema/svae}e>The following are NOT OK according to the element decl</{http://example.com/XMLSchema/svae}e>
<{http://example.com/XMLSchema/svae}e_nil xsi:type="T3">
<{http://example.com/XMLSchema/svae}e></{http://example.com/XMLSchema/svae}e>
</{http://example.com/XMLSchema/svae}e_nil>
<{http://example.com/XMLSchema/svae}e_non xsi:type="T3">
<{http://example.com/XMLSchema/svae}e></{http://example.com/XMLSchema/svae}e>
</{http://example.com/XMLSchema/svae}e_non>
<!--* *-->
<{http://example.com/XMLSchema/svae}e>Nillability tests</{http://example.com/XMLSchema/svae}e>
<{http://example.com/XMLSchema/svae}e>The following are OK according to the element decl</{http://example.com/XMLSchema/svae}e>
<{http://example.com/XMLSchema/svae}e_nil xsi:nil="false" xsi:type="T1">
<{http://example.com/XMLSchema/svae}e></{http://example.com/XMLSchema/svae}e>
</{http://example.com/XMLSchema/svae}e_nil>
<{http://example.com/XMLSchema/svae}e_nil xsi:nil="true" xsi:type="T1"></{http://example.com/XMLSchema/svae}e_nil>
<{http://example.com/XMLSchema/svae}e>The following are NOT OK according to the element decl</{http://example.com/XMLSchema/svae}e>
<{http://example.com/XMLSchema/svae}e_non xsi:nil="true" xsi:type="T1"></{http://example.com/XMLSchema/svae}e_non>
<{http://example.com/XMLSchema/svae}e_non xsi:nil="false" xsi:type="T1">
<{http://example.com/XMLSchema/svae}e></{http://example.com/XMLSchema/svae}e>
</{http://example.com/XMLSchema/svae}e_non>
<!--* *-->
<{http://example.com/XMLSchema/svae}e>Next, let's try e_nil and e_non against a strict wildcard.</{http://example.com/XMLSchema/svae}e>
<{http://example.com/XMLSchema/svae}strict>
<{http://example.com/XMLSchema/svae}e>Type declaration tests</{http://example.com/XMLSchema/svae}e>
<{http://example.com/XMLSchema/svae}e>The following are OK according to the element decl</{http://example.com/XMLSchema/svae}e>
<{http://example.com/XMLSchema/svae}e_nil xsi:type="T1">
<{http://example.com/XMLSchema/svae}e></{http://example.com/XMLSchema/svae}e>
</{http://example.com/XMLSchema/svae}e_nil>
<{http://example.com/XMLSchema/svae}e_non xsi:type="T1">
<{http://example.com/XMLSchema/svae}e></{http://example.com/XMLSchema/svae}e>
</{http://example.com/XMLSchema/svae}e_non>
<{http://example.com/XMLSchema/svae}e_nil xsi:type="T2">
<{http://example.com/XMLSchema/svae}e></{http://example.com/XMLSchema/svae}e>
</{http://example.com/XMLSchema/svae}e_nil>
<{http://example.com/XMLSchema/svae}e_non xsi:type="T2">
<{http://example.com/XMLSchema/svae}e></{http://example.com/XMLSchema/svae}e>
</{http://example.com/XMLSchema/svae}e_non>
<{http://example.com/XMLSchema/svae}e>The following are NOT OK according to the element decl</{http://example.com/XMLSchema/svae}e>
<{http://example.com/XMLSchema/svae}e_nil xsi:type="T3">
<{http://example.com/XMLSchema/svae}e></{http://example.com/XMLSchema/svae}e>
</{http://example.com/XMLSchema/svae}e_nil>
<{http://example.com/XMLSchema/svae}e_non xsi:type="T3">
<{http://example.com/XMLSchema/svae}e></{http://example.com/XMLSchema/svae}e>
</{http://example.com/XMLSchema/svae}e_non>
<!--* *-->
<{http://example.com/XMLSchema/svae}e>Nillability tests</{http://example.com/XMLSchema/svae}e>
<{http://example.com/XMLSchema/svae}e>The following are OK according to the element decl</{http://example.com/XMLSchema/svae}e>
<{http://example.com/XMLSchema/svae}e_nil xsi:nil="false" xsi:type="T1">
<{http://example.com/XMLSchema/svae}e></{http://example.com/XMLSchema/svae}e>
</{http://example.com/XMLSchema/svae}e_nil>
<{http://example.com/XMLSchema/svae}e_nil xsi:nil="true" xsi:type="T1"></{http://example.com/XMLSchema/svae}e_nil>
<{http://example.com/XMLSchema/svae}e>The following are NOT OK according to the element decl</{http://example.com/XMLSchema/svae}e>
<{http://example.com/XMLSchema/svae}e_non xsi:nil="true" xsi:type="T1"></{http://example.com/XMLSchema/svae}e_non>
<{http://example.com/XMLSchema/svae}e_non xsi:nil="false" xsi:type="T1">
<{http://example.com/XMLSchema/svae}e></{http://example.com/XMLSchema/svae}e>
</{http://example.com/XMLSchema/svae}e_non>
</{http://example.com/XMLSchema/svae}strict>
<!--* *-->
<{http://example.com/XMLSchema/svae}e>Next, let's try e_nil and e_non against a lax wildcard.</{http://example.com/XMLSchema/svae}e>
<{http://example.com/XMLSchema/svae}lax>
<{http://example.com/XMLSchema/svae}e>Type declaration tests</{http://example.com/XMLSchema/svae}e>
<{http://example.com/XMLSchema/svae}e>The following are OK according to the element decl</{http://example.com/XMLSchema/svae}e>
<{http://example.com/XMLSchema/svae}e_nil xsi:type="T1">
<{http://example.com/XMLSchema/svae}e></{http://example.com/XMLSchema/svae}e>
</{http://example.com/XMLSchema/svae}e_nil>
<{http://example.com/XMLSchema/svae}e_non xsi:type="T1">
<{http://example.com/XMLSchema/svae}e></{http://example.com/XMLSchema/svae}e>
</{http://example.com/XMLSchema/svae}e_non>
<{http://example.com/XMLSchema/svae}e_nil xsi:type="T2">
<{http://example.com/XMLSchema/svae}e></{http://example.com/XMLSchema/svae}e>
</{http://example.com/XMLSchema/svae}e_nil>
<{http://example.com/XMLSchema/svae}e_non xsi:type="T2">
<{http://example.com/XMLSchema/svae}e></{http://example.com/XMLSchema/svae}e>
</{http://example.com/XMLSchema/svae}e_non>
<{http://example.com/XMLSchema/svae}e>The following are NOT OK according to the element decl</{http://example.com/XMLSchema/svae}e>
<{http://example.com/XMLSchema/svae}e_nil xsi:type="T3">
<{http://example.com/XMLSchema/svae}e></{http://example.com/XMLSchema/svae}e>
</{http://example.com/XMLSchema/svae}e_nil>
<{http://example.com/XMLSchema/svae}e_non xsi:type="T3">
<{http://example.com/XMLSchema/svae}e></{http://example.com/XMLSchema/svae}e>
</{http://example.com/XMLSchema/svae}e_non>
<!--* *-->
<{http://example.com/XMLSchema/svae}e>Nillability tests</{http://example.com/XMLSchema/svae}e>
<{http://example.com/XMLSchema/svae}e>The following are OK according to the element decl</{http://example.com/XMLSchema/svae}e>
<{http://example.com/XMLSchema/svae}e_nil xsi:nil="false" xsi:type="T1">
<{http://example.com/XMLSchema/svae}e></{http://example.com/XMLSchema/svae}e>
</{http://example.com/XMLSchema/svae}e_nil>
<{http://example.com/XMLSchema/svae}e_nil xsi:nil="true" xsi:type="T1"></{http://example.com/XMLSchema/svae}e_nil>
<{http://example.com/XMLSchema/svae}e>The following are NOT OK according to the element decl</{http://example.com/XMLSchema/svae}e>
<{http://example.com/XMLSchema/svae}e_non xsi:nil="true" xsi:type="T1"></{http://example.com/XMLSchema/svae}e_non>
<{http://example.com/XMLSchema/svae}e_non xsi:nil="false" xsi:type="T1">
<{http://example.com/XMLSchema/svae}e></{http://example.com/XMLSchema/svae}e>
</{http://example.com/XMLSchema/svae}e_non>
</{http://example.com/XMLSchema/svae}lax>
<!--* *-->
<{http://example.com/XMLSchema/svae}e>Finally, let's try them against a skip wildcard. NONE of the following elements should be validated: they match a SKIP wilcard.</{http://example.com/XMLSchema/svae}e>
<{http://example.com/XMLSchema/svae}skip>
<{http://example.com/XMLSchema/svae}e>Type declaration tests</{http://example.com/XMLSchema/svae}e>
<{http://example.com/XMLSchema/svae}e>The following are OK according to the element decl</{http://example.com/XMLSchema/svae}e>
<{http://example.com/XMLSchema/svae}e_nil xsi:type="T1">
<{http://example.com/XMLSchema/svae}e></{http://example.com/XMLSchema/svae}e>
</{http://example.com/XMLSchema/svae}e_nil>
<{http://example.com/XMLSchema/svae}e_non xsi:type="T1">
<{http://example.com/XMLSchema/svae}e></{http://example.com/XMLSchema/svae}e>
</{http://example.com/XMLSchema/svae}e_non>
<{http://example.com/XMLSchema/svae}e_nil xsi:type="T2">
<{http://example.com/XMLSchema/svae}e></{http://example.com/XMLSchema/svae}e>
</{http://example.com/XMLSchema/svae}e_nil>
<{http://example.com/XMLSchema/svae}e_non xsi:type="T2">
<{http://example.com/XMLSchema/svae}e></{http://example.com/XMLSchema/svae}e>
</{http://example.com/XMLSchema/svae}e_non>
<{http://example.com/XMLSchema/svae}e>The following are NOT OK according to the element decl</{http://example.com/XMLSchema/svae}e>
<{http://example.com/XMLSchema/svae}e_nil xsi:type="T3">
<{http://example.com/XMLSchema/svae}e></{http://example.com/XMLSchema/svae}e>
</{http://example.com/XMLSchema/svae}e_nil>
<{http://example.com/XMLSchema/svae}e_non xsi:type="T3">
<{http://example.com/XMLSchema/svae}e></{http://example.com/XMLSchema/svae}e>
</{http://example.com/XMLSchema/svae}e_non>
<!--* *-->
<{http://example.com/XMLSchema/svae}e>Nillability tests</{http://example.com/XMLSchema/svae}e>
<{http://example.com/XMLSchema/svae}e>The following are OK according to the element decl</{http://example.com/XMLSchema/svae}e>
<{http://example.com/XMLSchema/svae}e_nil xsi:nil="false" xsi:type="T1">
<{http://example.com/XMLSchema/svae}e></{http://example.com/XMLSchema/svae}e>
</{http://example.com/XMLSchema/svae}e_nil>
<{http://example.com/XMLSchema/svae}e_nil xsi:nil="true" xsi:type="T1"></{http://example.com/XMLSchema/svae}e_nil>
<{http://example.com/XMLSchema/svae}e>The following are NOT OK according to the element decl</{http://example.com/XMLSchema/svae}e>
<{http://example.com/XMLSchema/svae}e_non xsi:nil="true" xsi:type="T1"></{http://example.com/XMLSchema/svae}e_non>
<{http://example.com/XMLSchema/svae}e_non xsi:nil="false" xsi:type="T1">
<{http://example.com/XMLSchema/svae}e></{http://example.com/XMLSchema/svae}e>
</{http://example.com/XMLSchema/svae}e_non>
</{http://example.com/XMLSchema/svae}skip>
</{http://example.com/XMLSchema/svae}doc>