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>, |
1068 |
(<code class=char>.</code>)</li> |
(<code class=char>.</code>)</li> |
1069 |
<li><code class=char>U+002F</code> <code class=charname>SOLIDUS</code> |
<li><code class=char>U+002F</code> <code class=charname>SOLIDUS</code> |
1070 |
(<code class=char>/</code>)</li> |
(<code class=char>/</code>)</li> |
1071 |
|
<li><code class=char>U+0030</code> <code class=charname>DIGIT ZERO</code> |
1072 |
|
(<code class=char>0</code>) .. <code class=char>U+0039</code> |
1073 |
|
<code class=charname>DIGIT NINE</code> (<code class=char>9</code>)</li> |
1074 |
<li><code class=char>U+003A</code> <code class=charname>COLON</code> |
<li><code class=char>U+003A</code> <code class=charname>COLON</code> |
1075 |
(<code class=char>:</code>)</li> |
(<code class=char>:</code>)</li> |
1076 |
<li><code class=char>U+003B</code> <code class=charname>SEMICOLON</code> |
<li><code class=char>U+003B</code> <code class=charname>SEMICOLON</code> |
1081 |
(<code class=char>?</code>)</li> |
(<code class=char>?</code>)</li> |
1082 |
<li><code class=char>U+0040</code> <code class=charname>COMMERCIAL AT</code> |
<li><code class=char>U+0040</code> <code class=charname>COMMERCIAL AT</code> |
1083 |
(<code class=char>@</code>)</li> |
(<code class=char>@</code>)</li> |
1084 |
|
<li><code class=char>U+0041</code> <code class=charname>LATIN CAPITAL LETTER |
1085 |
|
A</code> (<code class=char>A</code>) .. <code class=char>U+005A</code> |
1086 |
|
<code class=charname>LATIN CAPITAL LETTER Z</code> |
1087 |
|
(<code class=char>Z</code>)</li> |
1088 |
<li><code class=char>U+005F</code> <code class=charname>LOW LINE</code> |
<li><code class=char>U+005F</code> <code class=charname>LOW LINE</code> |
1089 |
(<code class=char>_</code>)</li> |
(<code class=char>_</code>)</li> |
1090 |
|
<li><code class=char>U+0061</code> <code class=charname>LATIN CAPITAL LETTER |
1091 |
|
A</code> (<code class=char>A</code>) .. <code class=char>U+007A</code> |
1092 |
|
<code class=charname>LATIN CAPITAL LETTER Z</code> |
1093 |
|
(<code class=char>Z</code>)</li> |
1094 |
</ul> |
</ul> |
1095 |
<div class="note memo"> |
<div class="note memo"> |
1096 |
<p>This character class contains all characters allowed in the production rule |
<p>This character class contains all characters allowed in the production rule |