| 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-12-01>1 December 2007</time></h2> |
<h2>Working Draft <time datetime=2008-03-16>16 March 2008</time></h2> |
| 22 |
|
|
| 23 |
<dl class="versions-uri"> |
<dl class="versions-uri"> |
| 24 |
<dt>This Version</dt> |
<dt>This Version</dt> |
| 42 |
>w@suika.fam.cx</a>></code></dd> |
>w@suika.fam.cx</a>></code></dd> |
| 43 |
</dl> |
</dl> |
| 44 |
|
|
| 45 |
<p class="copyright" lang="en">© <time>2007</time> <a |
<p class="copyright" lang="en">© <time>2007</time>$B!>(B<time>2008</time> <a |
| 46 |
href="http://suika.fam.cx/~wakaba/who?" rel="author">Wakaba</a>. |
href="http://suika.fam.cx/~wakaba/who?" rel="author">Wakaba</a>. |
| 47 |
Permission is granted to copy, distribute and/or modify this document |
Permission is granted to copy, distribute and/or modify this document |
| 48 |
under the terms of the <a rel="license" |
under the terms of the <a rel="license" |
| 118 |
<p><span class=ed>Algorithm is normative but non-normative</span>. |
<p><span class=ed>Algorithm is normative but non-normative</span>. |
| 119 |
In addition, the order in which <a href="#errors">errors</a> are |
In addition, the order in which <a href="#errors">errors</a> are |
| 120 |
raised is undefined.</p> |
raised is undefined.</p> |
| 121 |
|
|
| 122 |
|
<p>This document sometimes cites parts of <abbr>XML</abbr> 1.0 specification |
| 123 |
|
by hyperlinks. When the document being processed is an <abbr>XML</abbr> 1.1 |
| 124 |
|
document, however, corresponding parts of the <abbr>XML</abbr> 1.1 |
| 125 |
|
specification should be consulted instead.</p> |
| 126 |
</div> |
</div> |
| 127 |
|
|
| 128 |
|
|
| 221 |
<div class=section id=parsing-xml> |
<div class=section id=parsing-xml> |
| 222 |
<h2>Parsing <abbr>XML</abbr> Document</h2> |
<h2>Parsing <abbr>XML</abbr> Document</h2> |
| 223 |
|
|
| 224 |
<ul> |
<p>When an <abbr>XML</abbr> document is parsed, the following clauses |
| 225 |
<li>If the <abbr>XML</abbr> document does not begin with an |
are applied:</p> |
| 226 |
<abbr>XML</abbr> declaration, then raise an |
<dl> |
| 227 |
<a href="#xml-misc-recommentation" id=xmr-xml-decl><code>xml-misc-recommendation</code></a>.</li> |
<dt>For each document |
| 228 |
<li>If the replacement text of an entity declaration is |
<dd>If the <abbr>XML</abbr> document does not begin with an |
| 229 |
<code><</code>, then raise an |
<abbr>XML</abbr> declaration, then the parser <em class=rfc2119>MUST</em> |
| 230 |
<a href="#xml-misc-warning" id=xmw-entity-value-lt><code>xml-misc-warning</code></a>.<!-- |
raise an |
| 231 |
|
<a href="#xml-misc-recommentation" id=xmr-xml-decl><code>xml-misc-recommendation</code></a>. |
| 232 |
|
<dt>For each internal general entity declaration processed by the parser |
| 233 |
|
<dd>If the |
| 234 |
|
<a href="http://www.w3.org/TR/2006/REC-xml-20060816/#NT-EntityValue"><code>EntityValue</code></a> |
| 235 |
|
part of the general entity declaration contains a bare <code>U+003C</code> |
| 236 |
|
<code>LESS-THAN SIGN</code> (<code><</code>) character, then the parser |
| 237 |
|
<em class=rfc2119>MUST</em> raise an |
| 238 |
|
<a href="#xml-misc-warning" id=xmw-entity-value-lt><code>xml-misc-warning</code></a>.<!-- |
| 239 |
"strongly advised to avoid" in a Note in Section 2.3 of [XML10], [XML11]. |
"strongly advised to avoid" in a Note in Section 2.3 of [XML10], [XML11]. |
| 240 |
--></li> |
--> |
| 241 |
<li>If there is an element type declaration whose <code>Name</code> |
<dt>For each element type declaration processed by the parser |
| 242 |
value is already declared, then raise an |
<dd>If there is another element type declaration whose <code>Name</code> |
| 243 |
<a href="#xml-validity-error" id=vc-edunique><code>xml-validity-error</code></a>.</li> |
is equal to the <code>Name</code> of the element type declaration, then |
| 244 |
<li>If attribute definition whose <code>Name</code> is |
the parser <em class=rfc2119>MUST</em> raise an |
| 245 |
<code>xml:space</code> has <span class=ed>declared type different from |
<a href="#xml-validity-error" id=vc-edunique><code>xml-validity-error</code></a>. |
| 246 |
(default|preserve), (default), or (preserve)</span>, then raise an |
<!-- |
| 247 |
<a href="#xml-misc-error" id=xme-ad-xml-space><code>xml-misc-error</code></a>. |
NOTE: <!ATTLIST a xml:space (default) #IMPLIED xml:space CDATA #IMPLIED> |
| 248 |
<span class=ed>@@ duplication with |
will not be warned. |
| 249 |
<a href="#xml-at-xml-space">#xml-at-xml-space</a>.<!-- |
--> |
| 250 |
<!ATTLIST e xml:space CDATA #IMPLIED xml:space CDATA #IMPLIED> --></span></li> |
<dt>For each empty-element tag |
| 251 |
<li>If an empty-element tag is used for an element which is <em>not</em> |
<dd>If the <code>Name</code> of the tag is not declared by a processed |
| 252 |
declared <code>EMPTY</code>, then raise an |
element type declaration as <code>EMPTY</code> content, then the parser |
| 253 |
<a href="#xml-misc-recommentation" id=xmr-emptyelemtag-not-empty><code>xml-misc-recommendation</code></a>.</li> |
<em class=rfc2119>MUST</em> raise an |
| 254 |
<li>If an empty-element tag is <em>not</em> used for an element which is |
<a href="#xml-misc-recommentation" id=xmr-emptyelemtag-not-empty><code>xml-misc-recommendation</code></a>. |
| 255 |
declared <code>EMPTY</code>, then raise an |
<dt>For each start-tag |
| 256 |
<a href="#xml-misc-recommentation" id=xmr-empty-not-emptyelemtag><code>xml-misc-recommendation</code></a>.</li> |
<dd>If the <code>Name</code> of the tag is declared by a processed element |
| 257 |
|
type declaration as <code>EMPTY</code> content, then the parser |
| 258 |
|
<em class=rfc2119>MUST</em> raise an |
| 259 |
|
<a href="#xml-misc-recommentation" id=xmr-empty-not-emptyelemtag><code>xml-misc-recommendation</code></a>. |
| 260 |
<!-- |
<!-- |
| 261 |
|
|
| 262 |
#vc-PEinMarkupDecl Validity constraint: Proper Declaration/PE Nesting |
#vc-PEinMarkupDecl Validity constraint: Proper Declaration/PE Nesting |
| 301 |
"It is a fatal error when an XML processor encounters an entity with an encoding that it is unable to process. It is a fatal error if an XML entity is determined (via default, encoding declaration, or higher-level protocol) to be in a certain encoding but contains byte sequences that are not legal in that encoding." |
"It is a fatal error when an XML processor encounters an entity with an encoding that it is unable to process. It is a fatal error if an XML entity is determined (via default, encoding declaration, or higher-level protocol) to be in a certain encoding but contains byte sequences that are not legal in that encoding." |
| 302 |
|
|
| 303 |
--> |
--> |
| 304 |
</ul> |
</dl> |
| 305 |
</div> |
</div> |
| 306 |
|
|
| 307 |
<div class="section" id=checking-dom> |
<div class="section" id=checking-dom> |
| 575 |
<li>If <code>nodeName</code> attribute of <var>n</var> is |
<li>If <code>nodeName</code> attribute of <var>n</var> is |
| 576 |
<code>xml:space</code> <span class=ed>@@ or {xml namespace}:space ?</span> |
<code>xml:space</code> <span class=ed>@@ or {xml namespace}:space ?</span> |
| 577 |
and <span class=ed>its declared type is different from (default|preserve), |
and <span class=ed>its declared type is different from (default|preserve), |
| 578 |
(default), or (preserve)</span>, then raise an |
(preserve|default), (default), or (preserve)</span>, then raise an |
| 579 |
<a href="#xml-misc-error" id=xme-at-xml-space><code>xml-misc-error</code></a>.</li> |
<a href="#xml-misc-error" id=xme-at-xml-space><code>xml-misc-error</code></a>.</li> |
| 580 |
<li>For each node <dfn id=var-ad-nc><var>n<sub><var>c</var></sub></var></dfn> in the |
<li>For each node <dfn id=var-ad-nc><var>n<sub><var>c</var></sub></var></dfn> in the |
| 581 |
<code>childNodes</code> list of <var>n</var>, |
<code>childNodes</code> list of <var>n</var>, |