| 18 |
|
|
| 19 |
<div class="header"> |
<div class="header"> |
| 20 |
<h1>manakai's <abbr>XML</abbr> Conformance Checking</h1> |
<h1>manakai's <abbr>XML</abbr> Conformance Checking</h1> |
| 21 |
<h2>Working Draft <time datetime=2007-11-14>14 November 2007</time></h2> |
<h2>Working Draft <time datetime=2007-11-15>15 November 2007</time></h2> |
| 22 |
|
|
| 23 |
<dl class="versions-uri"> |
<dl class="versions-uri"> |
| 24 |
<dt>This Version</dt> |
<dt>This Version</dt> |
| 229 |
<span class=ed>@@ duplication with |
<span class=ed>@@ duplication with |
| 230 |
<a href="#xml-at-xml-space">#xml-at-xml-space</a>.<!-- |
<a href="#xml-at-xml-space">#xml-at-xml-space</a>.<!-- |
| 231 |
<!ATTLIST e xml:space CDATA #IMPLIED xml:space CDATA #IMPLIED> --></span></li> |
<!ATTLIST e xml:space CDATA #IMPLIED xml:space CDATA #IMPLIED> --></span></li> |
| 232 |
|
<li>If an empty-element tag is used for an element which is <em>not</em> |
| 233 |
|
declared <code>EMPTY</code>, then raise an |
| 234 |
|
<a href="#xml-misc-recommentation" id=xmr-emptyelemtag-not-empty><code>xml-misc-recommendation</code></a>.</li> |
| 235 |
|
<li>If an empty-element tag is <em>not</em> used for an element which is |
| 236 |
|
declared <code>EMPTY</code>, then raise an |
| 237 |
|
<a href="#xml-misc-recommentation" id=xmr-empty-not-emptyelemtag><code>xml-misc-recommendation</code></a>.</li> |
| 238 |
<!-- |
<!-- |
| 239 |
|
|
| 240 |
#vc-PEinMarkupDecl Validity constraint: Proper Declaration/PE Nesting |
#vc-PEinMarkupDecl Validity constraint: Proper Declaration/PE Nesting |
| 241 |
#wfc-PEinInternalSubset Well-formedness constraint: PEs in Internal Subset |
#wfc-PEinInternalSubset Well-formedness constraint: PEs in Internal Subset |
| 242 |
#ExtSubset Well-formedness constraint: External Subset |
#ExtSubset Well-formedness constraint: External Subset |
| 243 |
#PE-between-Decls Well-formedness constraint: PE Between Declarations |
#PE-between-Decls Well-formedness constraint: PE Between Declarations |
| 244 |
|
#GIMatch Well-formedness constraint: Element Type Match |
| 245 |
|
#uniqattspec Well-formedness constraint: Unique Att Spec |
| 246 |
|
#NoExternalRefs Well-formedness constraint: No External Entity References |
| 247 |
|
#CleanAttrVals Well-formedness constraint: No < in Attribute Values |
| 248 |
|
|
| 249 |
@@ Need detailed review, but maybe should be in parsing phase |
@@ Need detailed review, but maybe should be in parsing phase |
| 250 |
|
|
| 321 |
<span class=ed>@@ except for attribute names <code>xml:lang</code>, |
<span class=ed>@@ except for attribute names <code>xml:lang</code>, |
| 322 |
<code>xml:space</code>, <code>xml:base</code>, <code>xml:id</code>, |
<code>xml:space</code>, <code>xml:base</code>, <code>xml:id</code>, |
| 323 |
<code>xmlns</code>, <code>xmlns:<var>*</var></code>, |
<code>xmlns</code>, <code>xmlns:<var>*</var></code>, |
| 324 |
pi name <code>xml-stylesheet</code>.</span></li> |
pi name <code>xml-stylesheet</code>.</span><!-- |
| 325 |
|
"names beginning with a match to (('X'|'x')('M'|'m')('L'|'l')) are reserved for standardization in this or future versions of this specification.": |
| 326 |
|
xml:base and xml:id specifications violate to this sentense! |
| 327 |
|
--></li> |
| 328 |
<!-- COLON in Name is a lowercase "should not" in a Note of [XML10], |
<!-- COLON in Name is a lowercase "should not" in a Note of [XML10], |
| 329 |
[XML11]. --> |
[XML11]. --> |
| 330 |
<li class=ed>@@</li> |
<li class=ed>@@</li> |
| 403 |
successor] or an empty string, then xml-misc-warning |
successor] or an empty string, then xml-misc-warning |
| 404 |
(a "fact"-level error; not an XML error).</li> |
(a "fact"-level error; not an XML error).</li> |
| 405 |
<li class=ed>@@ <code>specified</code>, |
<li class=ed>@@ <code>specified</code>, |
| 406 |
<code>manakaiAttributeType</code></li> |
<code>manakaiAttributeType</code> (#ValueType Validity constraint: Attribute Value Type)</li> |
| 407 |
<!-- xml:space MUST be declared to be valid. --> |
<!-- xml:space MUST be declared to be valid. --> |
| 408 |
</ol> |
</ol> |
| 409 |
</dd> |
</dd> |
| 579 |
<a href="#algorithm-to-check-a-node" title="check a node">check |
<a href="#algorithm-to-check-a-node" title="check a node">check |
| 580 |
<var>n<sub><var>c</var></sub></var></a> recursively.</li> |
<var>n<sub><var>c</var></sub></var></a> recursively.</li> |
| 581 |
</ol></li> |
</ol></li> |
| 582 |
|
<li class=ed>@@ #elementvalid Validity constraint: Element Valid</li> |
| 583 |
|
<li class=ed>@@ #uniqattspec Well-formedness constraint: Unique Att Spec</li> |
| 584 |
</ol> |
</ol> |
| 585 |
</dd> |
</dd> |
| 586 |
<dt>If <var>n</var> is an <code>ElementTypeDefinition</code> node</dt> |
<dt>If <var>n</var> is an <code>ElementTypeDefinition</code> node</dt> |