1 |
wakaba |
1.1 |
<!DOCTYPE html> |
2 |
|
|
<html lang="en" class="formal-specification status-work-in-progress"> |
3 |
|
|
<head> |
4 |
wakaba |
1.2 |
<title>manakai's XML Conformance Checking</title> |
5 |
wakaba |
1.1 |
<link rel="stylesheet" href="http://suika.fam.cx/www/style/html/spec"> |
6 |
|
|
<link rel="license" href="http://suika.fam.cx/c/gnu/fdl"> |
7 |
wakaba |
1.6 |
<style> |
8 |
|
|
a[id]::before { |
9 |
|
|
content: "[" attr(id) "]"; |
10 |
|
|
color: gray; |
11 |
|
|
font-size: 70%; |
12 |
|
|
font-family: Courier New, monospace; |
13 |
|
|
vertical-align: 60%; |
14 |
|
|
} |
15 |
|
|
</style> |
16 |
wakaba |
1.1 |
</head> |
17 |
|
|
<body class="has-abstract"> |
18 |
|
|
|
19 |
|
|
<div class="header"> |
20 |
wakaba |
1.2 |
<h1>manakai's XML Conformance Checking</h1> |
21 |
|
|
<h2>Working Draft <time datetime=2007-11-12>12 November 2007</time></h2> |
22 |
wakaba |
1.1 |
|
23 |
wakaba |
1.2 |
<dl class="versions-uri"> |
24 |
wakaba |
1.1 |
<dt>This Version</dt> |
25 |
wakaba |
1.2 |
<dd><code class="URI"><<a href="http://suika.fam.cx/www/markup/xml/xmlcc/xmlcc-work" |
26 |
|
|
>http://suika.fam.cx/www/markup/xml/xmlcc/xmlcc-work</a>></code></dd> |
27 |
wakaba |
1.1 |
<dt>Latest Version</dt> |
28 |
wakaba |
1.2 |
<dd><code class="URI"><<a href="http://suika.fam.cx/www/markup/xml/xmlcc/xmlcc" |
29 |
|
|
>http://suika.fam.cx/www/markup/xml/xmlcc/xmlcc</a>></code></dd> |
30 |
wakaba |
1.1 |
<dt>Latest Working Draft</dt> |
31 |
wakaba |
1.2 |
<dd><code class="URI"><<a href="http://suika.fam.cx/www/markup/xml/xmlcc/xmlcc-work" |
32 |
|
|
>http://suika.fam.cx/www/markup/xml/xmlcc/xmlcc-work</a>></code></dd> |
33 |
wakaba |
1.1 |
<!-- <dt>Previous Version</dt> --> |
34 |
|
|
<dt>Version History</dt> |
35 |
wakaba |
1.2 |
<dd><code class=URI><<a href="http://suika.fam.cx/gate/cvs/markup/xml/xmlcc/xmlcc-work.en.html">http://suika.fam.cx/gate/cvs/markup/xml/xmlcc/xmlcc-work.en.html</a>></code></dd> |
36 |
wakaba |
1.1 |
</dl> |
37 |
|
|
<dl class="authors" id="author"> |
38 |
|
|
<dt>Author</dt> |
39 |
|
|
<dd><a href="http://suika.fam.cx/~wakaba/who?" rel="author" |
40 |
|
|
lang=ja>Wakaba</a> |
41 |
|
|
<code class="mail"><<a href="mailto:w@suika.fam.cx" rel="author" |
42 |
|
|
>w@suika.fam.cx</a>></code></dd> |
43 |
|
|
</dl> |
44 |
|
|
|
45 |
|
|
<p class="copyright" lang="en">© <time>2007</time> <a |
46 |
|
|
href="http://suika.fam.cx/~wakaba/who?" rel="author">Wakaba</a>. |
47 |
|
|
Permission is granted to copy, distribute and/or modify this document |
48 |
|
|
under the terms of the <a rel="license" |
49 |
|
|
href="http://www.gnu.org/copyleft/fdl.html">GNU Free Documentation License</a>, |
50 |
|
|
Version 1.2 |
51 |
|
|
or any later version published by the <a |
52 |
|
|
href="http://www.fsf.org/">Free Software Foundation</a>; |
53 |
|
|
with no Invariant Sections, no Front$B!>(BCover Texts, and no Back$B!>(BCover |
54 |
|
|
Texts. A copy of the license is |
55 |
|
|
available at <code class="URI"><<a |
56 |
|
|
href="http://www.gnu.org/copyleft/fdl.html" |
57 |
|
|
rel="license">http://www.gnu.org/copyleft/fdl.html</a>></code>.</p> |
58 |
|
|
</div> |
59 |
|
|
|
60 |
|
|
<div id="abstract" class="section"> |
61 |
|
|
<h2>Abstract</h2> |
62 |
|
|
|
63 |
|
|
<div class="ed issue">...</div> |
64 |
|
|
|
65 |
|
|
</div> |
66 |
|
|
|
67 |
|
|
<div id="status" class="section"> |
68 |
|
|
<h2>Status of This Document</h2> |
69 |
|
|
|
70 |
|
|
<p class=section-info><em>This section describes the status of this document |
71 |
|
|
at the time of its publication. Other documents |
72 |
|
|
might supersede this document.</em></p> |
73 |
|
|
|
74 |
|
|
<p>This document is a working draft, produced as part of the |
75 |
|
|
<a href="http://suika.fam.cx/www/markup/html/whatpm/readme">Whatpm</a> |
76 |
|
|
subproject of the |
77 |
|
|
<a href="http://suika.fam.cx/www/manakai-core/doc/web/">manakai</a> |
78 |
|
|
project. It might be updated, replaced, or obsoleted by |
79 |
|
|
other documents at any time. It is inappropriate to |
80 |
|
|
cite this document as other than <q>work in progress</q>.</p> |
81 |
|
|
|
82 |
|
|
<p>Comments on this document are welcome and |
83 |
|
|
may be sent to the <a href="#author">author</a>.</p> |
84 |
|
|
|
85 |
|
|
<p>Translations of thie document might be available. |
86 |
|
|
The English version of the document is the only |
87 |
|
|
normative version.</p> |
88 |
|
|
</div> |
89 |
|
|
|
90 |
|
|
<div id="introduction" class="section"> |
91 |
|
|
<h2>Introduction</h2> |
92 |
|
|
|
93 |
|
|
<p class=section-info>This section is <em>non$B!>(Bnormative</em>.</p> |
94 |
|
|
|
95 |
|
|
<div class="issue ed">...</div> |
96 |
|
|
|
97 |
|
|
|
98 |
|
|
</div> |
99 |
|
|
|
100 |
|
|
<div class="section" id="terminology"> |
101 |
|
|
<h2>Terminology</h2> |
102 |
|
|
|
103 |
|
|
<p>The key words <q><em class="rfc2119">MUST</em></q>, |
104 |
|
|
<q><em class="rfc2119">MUST NOT</em></q>, |
105 |
|
|
<q><em class="rfc2119">SHOULD</em></q>, |
106 |
|
|
<q><em class="rfc2119">SHOULD NOT</em></q>, and |
107 |
|
|
<q><em class=rfc2119>MAY</em></q> in this |
108 |
|
|
document are to be interpreted as described in |
109 |
|
|
<a href="urn:ietf:rfc:2119"><abbr title="Request for Comments">RFC</abbr> |
110 |
|
|
2119</a> |
111 |
|
|
<cite class="bibref normative">[<a href="#ref-KEYWORDS">KEYWORDS</a>]</cite>.</p> |
112 |
|
|
|
113 |
|
|
<!-- Strictly speaking the paragraph below is not part of terminology. --> |
114 |
|
|
<p>All examples and notes in this specification are non$B!>(Bnormative, |
115 |
|
|
as are all sections explicitly marked non$B!>(Bnormative. Everything |
116 |
|
|
else in this specification is normative.</p> |
117 |
|
|
|
118 |
|
|
<p><span class=ed>Algorithm is normative but non-normative</span>. |
119 |
|
|
In addition, the order in which <a href="#errors">errors</a> are |
120 |
|
|
raised is undefined.</p> |
121 |
|
|
</div> |
122 |
|
|
|
123 |
|
|
<div class="section"> |
124 |
|
|
<h2 class=ed>Algorithms</h2> |
125 |
|
|
|
126 |
|
|
<p>The following algorithms and definitions are applied to |
127 |
|
|
<abbr>XML</abbr> documents; especially, they are not applied |
128 |
|
|
to <abbr>HTML</abbr> documents.<!-- TODO: ref to HTML5 --></p> |
129 |
|
|
|
130 |
|
|
<p class=ed>If a <code>Document</code> node has no |
131 |
|
|
xml-well-formedness-error, entity-error, and unknown-error, |
132 |
|
|
then it is well-formed. If a well-formed <code>Document</code> |
133 |
|
|
node has no xml-validity-error, it is valid.</p> |
134 |
|
|
|
135 |
|
|
<div class="note memo"> |
136 |
|
|
<p>A well$B!>(Bformed <code>Document</code> can be safely serialized |
137 |
|
|
into a well$B!>(Bformed XML document. A valid <code>Document</code> |
138 |
|
|
can be easily serialized into a valid XML document.</p> |
139 |
|
|
</div> |
140 |
|
|
|
141 |
|
|
<p>Errors are classified into these |
142 |
|
|
<dfn id=error-category title="error category">error categories</dfn>:</p> |
143 |
|
|
|
144 |
|
|
<dl id=errors> |
145 |
|
|
<dt><dfn id=entity-error><code>entity-error</code></dfn></dt> |
146 |
wakaba |
1.4 |
<dd> |
147 |
|
|
<p class=ed>@@</p> |
148 |
|
|
<div class="note memo"> |
149 |
|
|
<p>This <span class=ed>algorithm</span> does not support |
150 |
|
|
<abbr>DOM</abbr> tree with one or more <code>EntityReference</code> |
151 |
|
|
nodes. It is expected that any entity references are expanded |
152 |
|
|
at the parse time and any unexpandable entity references |
153 |
|
|
make parse time errors raised so that never result in |
154 |
|
|
<abbr>DOM</abbr> tree with <code>EntityReference</code> nodes.</p> |
155 |
|
|
</div> |
156 |
|
|
</dd> |
157 |
wakaba |
1.1 |
<dt><dfn id=round-trip-error><code>round-trip-error</code></dfn></dt> |
158 |
|
|
<dd class=ed>@@</dd> |
159 |
|
|
<dt class=ed><dfn id=unknown-error><code>unknown-error</code></dfn>?</dt> |
160 |
|
|
<dd class=ed>@@</dd> |
161 |
|
|
<dt><dfn id=xml-misc-error><code>xml-misc-error</code></dt> |
162 |
|
|
<dd>An <abbr>XML</abbr> <i>error</i> (<abbr>XML</abbr> 1.0 |
163 |
|
|
<cite class="bibref normative">[<a href="#ref-XML10">XML10</a>]</cite> |
164 |
|
|
<a href="http://www.w3.org/TR/2006/REC-xml-20060816/#dt-error">error</a> / |
165 |
|
|
<abbr>XML</abbr> 1.1 |
166 |
|
|
<cite class="bibref normative">[<a href="#ref-XML11">XML11</a>]</cite> |
167 |
|
|
<a href="@@/#dt-error">error</a>) |
168 |
|
|
that is not classified to any other <a href="#error-category">error |
169 |
|
|
category</a>.</dd> |
170 |
|
|
<dt><dfn id=xml-misc-fatal-error><code>xml-misc-fatal-error</code></dt> |
171 |
|
|
<dd>An <abbr>XML</abbr> <i>fatal error</i> (<abbr>XML</abbr> 1.0 |
172 |
|
|
<cite class="bibref normative">[<a href="#ref-XML10">XML10</a>]</cite> |
173 |
|
|
<a href="http://www.w3.org/TR/2006/REC-xml-20060816/#dt-fatal">fatal |
174 |
|
|
error</a> / <abbr>XML</abbr> 1.1 |
175 |
|
|
<cite class="bibref normative">[<a href="#ref-XML11">XML11</a>]</cite> |
176 |
|
|
<a href="@@/#dt-fatal">fatal error</a>) |
177 |
|
|
that is not classified to any other <a href="#error-category">error |
178 |
|
|
category</a>. <span class=ed>@@ What errors fall into this category?</span></dd> |
179 |
|
|
<dt><dfn id=xml-validity-error><code>xml-validity-error</code></dfn></dt> |
180 |
|
|
<dd>A violation of validity constraint in XML document.</dd> |
181 |
|
|
<dt><dfn id=xml-well-formedness-error><code>xml-well-formedness-error</code></dfn></dt> |
182 |
|
|
<dd><p>If an <code>xml-well-formedness-error</code> is raised, |
183 |
|
|
it would not be possible to generate an XML serialization that |
184 |
|
|
would match to the appropriate production rule and that would not |
185 |
|
|
violate to any well$B!>(Bformedness constraint in XML |
186 |
|
|
specification <cite class="bibref normative">[<a href="#ref-XML10">XML10</a>, |
187 |
|
|
<a href="#ref-XML11">XML11</a>]</cite>.</p></dd> |
188 |
|
|
</dl> |
189 |
|
|
|
190 |
|
|
<div class=ed><p>@@ TODO: #dt-atuseroption at user option |
191 |
|
|
(MAY or MUST), #dt-compat for compatibility, |
192 |
|
|
#dt-interop for interoperability</p></div> |
193 |
|
|
|
194 |
|
|
<p>The <dfn id=xml-version><abbr>XML</abbr> version</dfn> of a node is |
195 |
|
|
the <abbr>XML</abbr> version of the document to which the node belongs. |
196 |
|
|
For a <code>Documemt</code> node, the <abbr>XML</abbr> version |
197 |
|
|
of the document is the value of the <code>xmlVersion</code> |
198 |
|
|
attribute. For a <code>DocumentType</code> node whose |
199 |
|
|
<code>ownerDocument</code> is set to <code>null</code>, |
200 |
|
|
the <abbr>XML</abbr> version of the document is <code>1.0</code>. |
201 |
|
|
For any other node, the <abbr>XML</abbr> version of the document |
202 |
|
|
is that of the <code>Document</code> node contained in the |
203 |
|
|
<code>ownerDocument</code> attribute of the node.</p> |
204 |
|
|
|
205 |
|
|
<p>The algorithm <dfn title="to check a node" id=algorithm-to-check-a-node>to |
206 |
|
|
check a node (<dfn id=var-n><var>n</var></dfn>)</dfn> is defined as |
207 |
|
|
following:</p> |
208 |
|
|
<dl class=switch> |
209 |
|
|
<dt>If <var>n</var> is an <code>Attr</code> node</dt> |
210 |
|
|
<dd> |
211 |
|
|
<ol> |
212 |
|
|
<li><a href="#algorithm-to-validate-a-ncname">Validate the |
213 |
|
|
<code>localName</code> attribute value as an <code>NCName</code></a>.</li> |
214 |
|
|
<li>If the <code>prefix</code> attribute value is different from |
215 |
|
|
<code>null</code>, then <a href="#algorithm-to-validate-a-ncname">validate |
216 |
|
|
the <code>prefix</code> attribute value as an <code>NCName</code></a>.</li> |
217 |
wakaba |
1.8 |
<li>For each node <dfn id=var-attr-nc><var>n<sub><var>c</var></sub></var></dfn> in the |
218 |
wakaba |
1.4 |
<code>childNodes</code> list of <var>n</var>, |
219 |
wakaba |
1.8 |
<ol> |
220 |
|
|
<li>If <var>n<sub><var>c</var></sub></var> is <em>not</em> a |
221 |
|
|
<code>Text</code> or <code>EntityReference</code> node, then it is an |
222 |
|
|
<a href="#xml-well-formedness-error" id=wfe-attr-child><code>xml-well-formedness-error</code></a>.</li> |
223 |
|
|
<li>Otherwise, if <var>n<sub><var>c</var></sub></var> is an |
224 |
|
|
<code>EntityReference</code> node, then it is an |
225 |
|
|
<a href="#entity-error" id=ee-attr-er><code>entity-error</code></a>.</li> |
226 |
|
|
<li>Otherwise, |
227 |
|
|
<a href="#algorithm-to-check-a-node" title="check a node">check |
228 |
|
|
<var>n<sub><var>c</var></sub></var></a> recusrively.</li> |
229 |
|
|
</ol></li> |
230 |
wakaba |
1.1 |
<li class=ed>@@ <code>specified</code>, |
231 |
|
|
<code>manakaiAttributeType</code></li> |
232 |
|
|
</ol> |
233 |
|
|
</dd> |
234 |
|
|
<dt>If <var>n</var> is an <code>AttributeDefinition</code> node</dt> |
235 |
wakaba |
1.8 |
<dd> |
236 |
|
|
<ol> |
237 |
|
|
<li class=ed></li> |
238 |
|
|
<li>For each node <dfn id=var-ad-nc><var>n<sub><var>c</var></sub></var></dfn> in the |
239 |
|
|
<code>childNodes</code> list of <var>n</var>, |
240 |
|
|
<ol> |
241 |
|
|
<li>If <var>n<sub><var>c</var></sub></var> is <em>not</em> a |
242 |
|
|
<code>Text</code> or <code>EntityReference</code> node, then it is an |
243 |
|
|
<a href="#xml-well-formedness-error" id=wfe-at-child><code>xml-well-formedness-error</code></a>.</li> |
244 |
|
|
<li>Otherwise, if <var>n<sub><var>c</var></sub></var> is an |
245 |
|
|
<code>EntityReference</code> node, then it is an |
246 |
|
|
<a href="#entity-error" id=ee-at-er><code>entity-error</code></a>.</li> |
247 |
|
|
<li>Otherwise, |
248 |
|
|
<a href="#algorithm-to-check-a-node" title="check a node">check |
249 |
|
|
<var>n<sub><var>c</var></sub></var></a> recusrively.</li> |
250 |
|
|
</ol></li> |
251 |
|
|
</ol> |
252 |
|
|
</dd> |
253 |
wakaba |
1.1 |
<dt>If <var>n</var> is a <code>CDATASection</code> node</dt> |
254 |
|
|
<dd> |
255 |
|
|
<ol> |
256 |
|
|
<li><a href="#algorithm-to-validate-an-xml-character-data">Validate the |
257 |
|
|
<code>data</code> attribute value as an <abbr>XML</abbr> character |
258 |
|
|
data</a>.</li> |
259 |
|
|
<li>If the <code>data</code> attribute value contains |
260 |
wakaba |
1.8 |
a string <code>]]></code>, then it is an |
261 |
wakaba |
1.1 |
<a href="#xml-well-formedness-error" id=wfe-cs-mse><code>xml-well-formedness-error</code></a>.</li> |
262 |
|
|
<li>If the <code>childNodes</code> list of <var>n</var> contains |
263 |
|
|
any nodes, they are in |
264 |
wakaba |
1.8 |
<a href="#xml-well-formedness-error" id=wfe-cs-child><code>xml-well-formedness-error</code></a>.</li> |
265 |
wakaba |
1.1 |
</ol> |
266 |
|
|
</dd> |
267 |
|
|
<dt>If <var>n</var> is a <code>Comment</code> node</dt> |
268 |
|
|
<dd> |
269 |
|
|
<ol> |
270 |
|
|
<li><a href="#algorithm-to-validate-an-xml-character-data">Validate the |
271 |
|
|
<code>data</code> attribute value as an <abbr>XML</abbr> character |
272 |
|
|
data</a>.</li> |
273 |
|
|
<li>If the <code>data</code> attribute value contains |
274 |
|
|
a string <code>--</code>, or if it ends with a character |
275 |
wakaba |
1.8 |
<code>-</code>, then it is an |
276 |
wakaba |
1.1 |
<a href="#xml-well-formedness-error" id=wfe-comment-com><code>xml-well-formedness-error</code></a>.</li> |
277 |
|
|
<li>If the <code>childNodes</code> list of <var>n</var> contains |
278 |
|
|
any nodes, they are in |
279 |
wakaba |
1.8 |
<a href="#xml-well-formedness-error" id=wfe-comment-child><code>xml-well-formedness-error</code></a>.</li> |
280 |
wakaba |
1.1 |
</ol> |
281 |
|
|
</dd> |
282 |
|
|
<dt>If <var>n</var> is a <code>Document</code> node</dt> |
283 |
|
|
<dd> |
284 |
|
|
<ol> |
285 |
|
|
<li>If <a href="#xml-version"><abbr>XML</abbr> version</a> of <var>n</var> |
286 |
|
|
is different from <code>1.0</code> or <code>1.1</code>, |
287 |
|
|
then it is an <code class=ed>unknown-error?</code>.</li> |
288 |
|
|
<li>If the <code>xmlEncoding</code> attribute value does <em>not</em> |
289 |
|
|
match to <code>[A-Za-z] ([A-Za-z0-9._] | '-')*</code> |
290 |
wakaba |
1.8 |
<span class=ed>@@ formal def</span>, then it is an |
291 |
wakaba |
1.1 |
<a href="#xml-well-formedness-error" id=wfe-encoding><code>xml-well-formedness-error</code></a>.</li> |
292 |
|
|
<li>The <code>childNodes</code> list of <var>n</var> have to |
293 |
|
|
consist of zero or more <code>Comment</code> and/or |
294 |
|
|
<code>ProcessingInstruction</code> nodes, followed by |
295 |
|
|
an optional <code>DocumentType</code> node, followed |
296 |
|
|
by zero or more <code>Comment</code> and/or |
297 |
|
|
<code>ProcessingInstruction</code> nodes, followed by |
298 |
|
|
an <code>Element</code> node, followed |
299 |
|
|
by zero or more <code>Comment</code> and/or |
300 |
wakaba |
1.8 |
<code>ProcessingInstruction</code> nodes. Any violation to this is an |
301 |
wakaba |
1.1 |
<a href="#xml-well-formedness-error" id=wfe-document-child><code>xml-well-formedness-error</code></a>.</li> |
302 |
wakaba |
1.8 |
<li>For each node <dfn id=var-document-nc><var>n<sub><var>c</var></sub></var></dfn> |
303 |
|
|
in the <code>childNodes</code> list of <var>n</var>, |
304 |
|
|
<ol> |
305 |
|
|
<li>If <var>n<sub><var>c</var></sub></var> is <em>not</em> an |
306 |
|
|
<code>EntityReference</code> node, then |
307 |
|
|
<a href="#algorithm-to-check-a-node" title="check a node">check |
308 |
|
|
<var>n<sub><var>c</var></sub></var></a> recursively.</li> |
309 |
|
|
</ol></li> |
310 |
wakaba |
1.1 |
<li class=ed>@@ <code>allDeclarationsProcessed</code></li> |
311 |
|
|
</ol> |
312 |
|
|
</dd> |
313 |
|
|
<dt>If <var>n</var> is a <code>DocumentFragment</code> node</dt> |
314 |
|
|
<dd> |
315 |
|
|
<ol> |
316 |
wakaba |
1.8 |
<li>For each node <dfn id=var-df-nc><var>n<sub><var>c</var></sub></var></dfn> |
317 |
|
|
in the <code>childNodes</code> list of <var>n</var>, |
318 |
|
|
<ol> |
319 |
|
|
<li>If <var>n<sub><var>c</var></sub></var> is <em>not</em> an |
320 |
|
|
<code>Element</code>, <code>Text</code>, <code>CDATASection</code>, |
321 |
|
|
<code>Comment</code>, <code>ProcessingInstruction</code>, or |
322 |
|
|
<code>EntityReference</code> node, then it is an |
323 |
|
|
<a href="#xml-well-formedness-error" id=wfe-df-child><code>xml-well-formedness-error</code></a>.</li> |
324 |
|
|
<li>Otherwise, if <var>n<sub><var>c</var></sub></var> is an |
325 |
|
|
<code>EntityReference</code> node, then it is an |
326 |
|
|
<a href="#entity-error" id=ee-df-er><code>entity-error</code></a>.</li> |
327 |
|
|
<li>Otherwise, |
328 |
|
|
<a href="#algorithm-to-check-a-node" title="check a node">check |
329 |
|
|
<var>n<sub><var>c</var></sub></var></a> recursively.</li> |
330 |
|
|
</ol></li> |
331 |
wakaba |
1.1 |
</ol> |
332 |
|
|
</dd> |
333 |
|
|
<dt>If <var>n</var> is a <code>DocumentType</code> node</dt> |
334 |
|
|
<dd> |
335 |
|
|
<ol> |
336 |
|
|
<li><a href="#algorithm-to-validate-a-ncname">Validate the |
337 |
|
|
<code>nodeName</code> attribute value as an <code>NCName</code></a>.</li> |
338 |
wakaba |
1.5 |
<li><a href="#algorithm-to-validate-a-public-identifier" title="validate a public identifier">Validate |
339 |
|
|
the <code>publicId</code> attribute value as a public identifier</a>.</li> |
340 |
wakaba |
1.1 |
<li>If the <code>systemId</code> attribute value contains |
341 |
|
|
both <code>"</code> and <code>'</code> characters, it is a |
342 |
|
|
<a href="#xml-well-formedness-error" id=wfe-dt-system-id><code>xml-well-formedness-error</code></a>.</li> |
343 |
|
|
<!-- publicId = non-null and systemId = null --> |
344 |
wakaba |
1.8 |
<li>For each node <dfn id=var-dt-nc><var>n<sub><var>c</var></sub></var></dfn> |
345 |
|
|
in the <code>childNodes</code> list of <var>n</var>, |
346 |
|
|
<ol> |
347 |
|
|
<li>If <var>n<sub><var>c</var></sub></var> is <em>not</em> a |
348 |
|
|
<code>ProcessingInstruction</code> node, then it is an |
349 |
|
|
<a href="#xml-well-formedness-error" id=wfe-dt-child><code>xml-well-formedness-error</code></a>. |
350 |
|
|
<span class=ed>@@ ref to manakai's extensions</span></li> |
351 |
|
|
<li>Otherwise, <!-- if n_c is not an EntityReference node, --> |
352 |
|
|
<a href="#algorithm-to-check-a-node" title="check a node">check |
353 |
|
|
<var>n<sub><var>c</var></sub></var></a> recusrively.</li> |
354 |
|
|
</ol></li> |
355 |
wakaba |
1.1 |
<li class=ed>@@ <code>entities</code>, <code>notations</code>, |
356 |
|
|
<code>elementTypes</code>, externally declared?</li> |
357 |
|
|
</ol> |
358 |
|
|
</dd> |
359 |
|
|
<dt>If <var>n</var> is an <code>Element</code> node</dt> |
360 |
|
|
<dd> |
361 |
|
|
<ol> |
362 |
|
|
<li><a href="#algorithm-to-validate-a-ncname">Validate the |
363 |
|
|
<code>localName</code> attribute value as an <code>NCName</code></a>.</li> |
364 |
|
|
<li>If the <code>prefix</code> attribute value is different from |
365 |
|
|
<code>null</code>, then <a href="#algorithm-to-validate-a-ncname">validate |
366 |
|
|
the <code>prefix</code> attribute value as an <code>NCName</code></a>.</li> |
367 |
wakaba |
1.8 |
<li>For each node <dfn id=var-element-nc><var>n<sub><var>c</var></sub></var></dfn> |
368 |
|
|
in the <code>childNodes</code> list of <var>n</var>, |
369 |
|
|
<ol> |
370 |
|
|
<li>If <var>n<sub><var>c</var></sub></var> is <em>not</em> an |
371 |
|
|
<code>Element</code>, |
372 |
|
|
<code>Text</code>, <code>CDATASection</code>, <code>Comment</code>, |
373 |
|
|
<code>ProcessingInstruction</code>, or |
374 |
|
|
<code>EntityReference</code> node, then it is an |
375 |
|
|
<a href="#xml-well-formedness-error" id=wfe-element-child><code>xml-well-formedness-error</code></a>.</li> |
376 |
|
|
<li>Otherwise, if <var>n<sub><var>c</var></sub></var> is an |
377 |
|
|
<code>EntityReference</code> node, then it is an |
378 |
|
|
<a href="#entity-error" id=ee-element-er><code>entity-error</code></a>.</li> |
379 |
|
|
<li>Otherwise, |
380 |
|
|
<a href="#algorithm-to-check-a-node" title="check a node">check |
381 |
|
|
<var>n<sub><var>c</var></sub></var></a> recursively.</li> |
382 |
|
|
</ol></li> |
383 |
|
|
</ol> |
384 |
|
|
</dd> |
385 |
|
|
<dt>If <var>n</var> is an <code>ElementTypeDefinition</code> node</dt> |
386 |
|
|
<dd> |
387 |
|
|
<ol> |
388 |
|
|
<li class=ed></li> |
389 |
wakaba |
1.1 |
<li>If the <code>childNodes</code> list of <var>n</var> contains |
390 |
wakaba |
1.8 |
any nodes, they are in |
391 |
|
|
<a href="#xml-well-formedness-error" id=wfe-et-child><code>xml-well-formedness-error</code></a>.</li> |
392 |
wakaba |
1.1 |
</ol> |
393 |
|
|
</dd> |
394 |
|
|
<dt>If <var>n</var> is an <code>Entity</code> node</dt> |
395 |
|
|
<dd> |
396 |
|
|
<ol> |
397 |
|
|
<li>An <a href="#entity-error" id=ee-entity-node><code>entity-error</code></a> <span class=ed>@@ if !notationName</span>.</li> |
398 |
|
|
<li><a href="#algorithm-to-validate-a-ncname">Validate the |
399 |
|
|
<code>nodeName</code> attribute value as an <code>NCName</code></a>.</li> |
400 |
wakaba |
1.5 |
<li><a href="#algorithm-to-validate-a-public-identifier" title="validate a public identifier">Validate |
401 |
|
|
the <code>publicId</code> attribute value as a public identifier</a>.</li> |
402 |
wakaba |
1.1 |
<li>If the <code>systemId</code> attribute value contains |
403 |
|
|
both <code>"</code> and <code>'</code> characters, it is a |
404 |
|
|
<a href="#xml-well-formedness-error" id=wfe-dt-system-id><code>xml-well-formedness-error</code></a>.</li> |
405 |
|
|
<!-- publicId = non-null and systemId = null --> |
406 |
|
|
<li class=ed>@@ <code>notationName</code></li> |
407 |
wakaba |
1.8 |
<li>For each node <dfn id=var-entity-nc><var>n<sub><var>c</var></sub></var></dfn> |
408 |
|
|
in the <code>childNodes</code> list of <var>n</var>, |
409 |
|
|
<ol> |
410 |
|
|
<li>If <var>n<sub><var>c</var></sub></var> is <em>not</em> an |
411 |
|
|
<code>Element</code>, |
412 |
|
|
<code>Text</code>, <code>CDATASection</code>, <code>Comment</code>, |
413 |
|
|
<code>ProcessingInstruction</code>, or <code>EntityReference</code> |
414 |
|
|
node, then it is an |
415 |
|
|
<a href="#xml-well-formedness-error" id=wfe-entity-child><code>xml-well-formedness-error</code></a>.</li> |
416 |
|
|
<li>Otherwise, if <var>n<sub><var>c</var></sub></var> is an |
417 |
|
|
<code>EntityReference</code> node, then it is an |
418 |
|
|
<a href="#entity-error" id=ee-er-er><code>entity-error</code></a>.</li> |
419 |
|
|
<li>Otherwise, |
420 |
|
|
<a href="#algorithm-to-check-a-node" title="check a node">check |
421 |
|
|
<var>n<sub><var>c</var></sub></var></a> recursively.</li> |
422 |
|
|
</ol></li> |
423 |
wakaba |
1.1 |
</ol> |
424 |
|
|
</dd> |
425 |
|
|
<dt>If <var>n</var> is an <code>EntityReference</code> node</dt> |
426 |
|
|
<dd> |
427 |
|
|
<ol> |
428 |
|
|
<li>An <a href="#entity-error" id=ee-er-node><code>entity-error</code></a>.</li> |
429 |
|
|
<li><a href="#algorithm-to-validate-a-ncname">Validate the |
430 |
|
|
<code>nodeName</code> attribute value as an <code>NCName</code></a>.</li> |
431 |
wakaba |
1.8 |
<li>For each node <dfn id=var-er-nc><var>n<sub><var>c</var></sub></var></dfn> |
432 |
|
|
in the <code>childNodes</code> list of <var>n</var>, |
433 |
|
|
<ol> |
434 |
|
|
<li>If <var>n<sub><var>c</var></sub></var> is <em>not</em> an |
435 |
|
|
<code>Element</code>, |
436 |
|
|
<code>Text</code>, <code>CDATASection</code>, <code>Comment</code>, |
437 |
|
|
<code>ProcessingInstruction</code>, or <code>EntityReference</code> |
438 |
|
|
node, then it is an |
439 |
|
|
<a href="#xml-well-formedness-error" id=wfe-er-child><code>xml-well-formedness-error</code></a>.</li> |
440 |
|
|
<li>Otherwise, if <var>n<sub><var>c</var></sub></var> is <em>not</em> an |
441 |
|
|
<code>EntityReference</code> node, then it is an |
442 |
|
|
<a href="#entity-error" id=ee-entity-er><code>entity-error</code></a>.</li> |
443 |
|
|
<li>Otherwise, |
444 |
|
|
<a href="#algorithm-to-check-a-node" title="check a node">check |
445 |
|
|
<var>n<sub><var>c</var></sub></var></a> recursively.</li> |
446 |
|
|
</ol></li> |
447 |
wakaba |
1.1 |
</ol> |
448 |
|
|
</dd> |
449 |
|
|
<dt>If <var>n</var> is a <code>Notation</code> node</dt> |
450 |
|
|
<dd> |
451 |
|
|
<ol> |
452 |
|
|
<li><a href="#algorithm-to-validate-a-ncname">Validate the |
453 |
|
|
<code>nodeName</code> attribute value as an <code>NCName</code></a>.</li> |
454 |
wakaba |
1.5 |
<li><a href="#algorithm-to-validate-a-public-identifier" title="validate a public identifier">Validate |
455 |
|
|
the <code>publicId</code> attribute value as a public identifier</a>.</li> |
456 |
wakaba |
1.1 |
<li>If the <code>systemId</code> attribute value contains |
457 |
|
|
both <code>"</code> and <code>'</code> characters, it is a |
458 |
|
|
<a href="#xml-well-formedness-error" id=wfe-dt-system-id><code>xml-well-formedness-error</code></a>.</li> |
459 |
|
|
<li>If the <code>childNodes</code> list of <var>n</var> contains |
460 |
|
|
any nodes, they are in |
461 |
wakaba |
1.8 |
<a href="#xml-well-formedness-error" id=wfe-notation-child><code>xml-well-formedness-error</code></a>.</li> |
462 |
wakaba |
1.1 |
</ol> |
463 |
|
|
</dd> |
464 |
|
|
<dt>If <var>n</var> is a <code>ProcessingInstruction</code> node</dt> |
465 |
|
|
<dd> |
466 |
|
|
<ol> |
467 |
|
|
<li><a href="#algorithm-to-validate-a-ncname">Validate the |
468 |
|
|
<code>target</code> attribute value as an <code>NCName</code></a>.</li> |
469 |
|
|
<li>If the <code>target</code> attribute value matches to |
470 |
|
|
<code>XML</code> case-insensitively, then it is a |
471 |
|
|
<a href="#xml-well-formedness-error" id=wfe-pi-xml><code>xml-well-formedness-error</code></a>.</li> |
472 |
|
|
<li><a href="#algorithm-to-validate-an-xml-character-data">Validate the |
473 |
|
|
<code>data</code> attribute value as an <abbr>XML</abbr> character |
474 |
|
|
data</a>.</li> |
475 |
|
|
<li>If the <code>data</code> attribute value contains |
476 |
|
|
a string <code>?></code>, or starts with either |
477 |
|
|
<code class=char>U+0009</code>, <code class=char>U+000A</code>, |
478 |
|
|
<code class=char>U+000D</code>, or <code class=char>U+0020</code> |
479 |
|
|
character, then it is a |
480 |
|
|
<a href="#round-trip-error" id=rte-pi-data><code>round-trip-error</code></a>.</li> |
481 |
|
|
<li>If the <code>childNodes</code> list of <var>n</var> contains |
482 |
|
|
any nodes, they are in |
483 |
wakaba |
1.8 |
<a href="#xml-well-formedness-error" id=wfe-pi-child><code>xml-well-formedness-error</code></a>.</li> |
484 |
wakaba |
1.1 |
</ol> |
485 |
|
|
</dd> |
486 |
|
|
<dt>If <var>n</var> is a <code>Text</code> node</dt> |
487 |
|
|
<dd> |
488 |
|
|
<ol> |
489 |
|
|
<li><a href="#algorithm-to-validate-an-xml-character-data">Validate the |
490 |
|
|
<code>data</code> attribute value as an <abbr>XML</abbr> character |
491 |
|
|
data</a>.</li> |
492 |
|
|
<li>If the <code>childNodes</code> list of <var>n</var> contains |
493 |
|
|
any nodes, they are in |
494 |
wakaba |
1.8 |
<a href="#xml-well-formedness-error" id=wfe-text-child><code>xml-well-formedness-error</code></a>.</li> |
495 |
wakaba |
1.1 |
</ol> |
496 |
|
|
</dd> |
497 |
|
|
<dt>Otherwise</dt> |
498 |
|
|
<dd><span class=ed>xml-well-formedness-error? unknown-error?</span></dd> |
499 |
|
|
</dl> |
500 |
|
|
|
501 |
|
|
<p>The algorithm |
502 |
|
|
<dfn id=algorithm-to-validate-an-xml-character-data title-"to validate an XML character data">to |
503 |
|
|
validate an <abbr>XML</abbr> character data |
504 |
|
|
(<dfn id=var-s><var>s</var></dfn>)</dfn> is defined as following:</p> |
505 |
|
|
<ol> |
506 |
|
|
<li class=ed>@@</li> |
507 |
|
|
</ol> |
508 |
|
|
|
509 |
|
|
<p>The algorithm |
510 |
|
|
<dfn id=algorithm-to-validate-a-name title="to validate a Name">to validate a |
511 |
|
|
<code>Name</code> (<dfn id=var-name><var>name</var></dfn>)</dfn> is defined |
512 |
|
|
as following:</p> |
513 |
|
|
<ol> |
514 |
|
|
<li class=ed>@@</li> |
515 |
|
|
</ol> |
516 |
|
|
|
517 |
|
|
<p>The algorithm |
518 |
|
|
<dfn id=algorithm-to-validate-a-ncname title="to validate an NCName">to |
519 |
|
|
validate an <code>NCName</code> (<dfn id=var-name><var>name</var></dfn>)</dfn> |
520 |
|
|
is defined as following:</p> |
521 |
|
|
<ol> |
522 |
|
|
<li class=ed>@@</li> |
523 |
wakaba |
1.5 |
</ol> |
524 |
|
|
|
525 |
|
|
<p>To <dfn id=algorithm-to-validate-a-public-identifier title="validate a public identifier">validate |
526 |
|
|
a public identifier (<dfn id=var-pid><var>pid</var></dfn>)</dfn>, the |
527 |
|
|
algorithm below <em class=rfc2119>MUST</em> be used:</p> |
528 |
|
|
<ol> |
529 |
wakaba |
1.6 |
<li>If <var>pid</var> contains any character |
530 |
|
|
that is outside of the range of <code>#x20 | #xD | #xA | |
531 |
|
|
[a-zA-Z0-9] | [-'()+,./:=?;!*#@$_%]</code><!-- @@ TODO: formal def -->, |
532 |
|
|
then it is an |
533 |
|
|
<a href="#xml-well-formedness-error" id=wfe-pubid-char><code>xml-well-formedness-error</code></a>.</li> |
534 |
|
|
<li>If <var>pid</var> contains one of <code class=char>U+0009</code> |
535 |
|
|
<code class=charname>CHARACTER TABULATION</code>, |
536 |
|
|
<code class=char>U+000A</code> <code class=charname>CARRIAGE RETURN</code>, |
537 |
|
|
and <code class=char>U+000D</code> <code class=charname>LINE FEED</code> |
538 |
|
|
characters, if the first character of <var>pid</var> is |
539 |
|
|
<code class=char>U+0020</code> <code class=charname>SPACE</code> character, |
540 |
|
|
if the last character of <var>pid</var> is <code class=char>U+0020</code> |
541 |
|
|
<code class=charname>SPACE</code> character, or if there is a |
542 |
|
|
<code class=char>U+0020</code> <code class=charname>SPACE</code> character |
543 |
|
|
immediately followed by another <code class=char>U+0020</code> |
544 |
|
|
<code class=charname>SPACE</code> character in <var>pid</var>, then it is a |
545 |
|
|
<a href="#round-trip-error" id=rte-pubid-space><code>round-trip-error</code></a>.</li> |
546 |
|
|
<li class=ed>@@ Should we check formal-public-identifierness?</li> |
547 |
wakaba |
1.1 |
</ol> |
548 |
|
|
|
549 |
|
|
</div> |
550 |
|
|
|
551 |
|
|
<div class="section" id="examples"> |
552 |
|
|
<h2>Examples</h2> |
553 |
|
|
|
554 |
|
|
<p class=section-info>This section is <em>non$B!>(Bnormative</em>.</p> |
555 |
|
|
|
556 |
|
|
<div class="ed issue"> |
557 |
|
|
|
558 |
|
|
<div class="example figure block"> |
559 |
|
|
<div class="caption">...</div> |
560 |
|
|
|
561 |
|
|
<pre><code>...</code></pre> |
562 |
|
|
</div> |
563 |
|
|
|
564 |
|
|
</div> |
565 |
|
|
|
566 |
|
|
</div> |
567 |
|
|
|
568 |
|
|
<div id="references" class="section reference"> |
569 |
|
|
<h2>References</h2> |
570 |
|
|
|
571 |
|
|
<div id="normative-references" class="section normative reference"> |
572 |
|
|
<h3>Normative References</h3> |
573 |
|
|
|
574 |
|
|
<dl> |
575 |
wakaba |
1.3 |
<dt id=ref-DOM3CORE>DOM3CORE</dt> |
576 |
|
|
<dd class=ed>@@ W3C DOM Level 3 Core</dd> |
577 |
|
|
<dt id=ref-DOMDTDEF>DOMDTDEF</dt> |
578 |
|
|
<dd class=ed>@@ manakai's extension to DOM for document type definitions</dd> |
579 |
wakaba |
1.1 |
<dt id="ref-KEYWORDS">KEYWORDS</dt> |
580 |
|
|
<dd><cite><a href="urn:ietf:rfc:2119">Key words for use in |
581 |
|
|
<abbr>RFCs</abbr> to Indicate Requirement Levels</a></cite>, |
582 |
|
|
<abbr title="Internet Engineering Task Force">IETF</abbr> |
583 |
|
|
<a href="urn:ietf:bcp:14"><abbr title="Best Current Practice">BCP</abbr> |
584 |
|
|
14</a>, <abbr title="Request for Comments">RFC</abbr> 2119, |
585 |
|
|
<time datetime=1997-03>March 1997</time>. |
586 |
|
|
<em>This</em> version of the specification is referenced.</dd> |
587 |
|
|
<dt id=ref-INFOSET>INFOSET</dt> |
588 |
|
|
<dd class=ed>@@</dd> |
589 |
|
|
<dt id=ref-XML10">XML10</dt> |
590 |
|
|
<dd><cite><a href="http://www.w3.org/TR/2006/REC-xml-20060816">Extensible |
591 |
|
|
Markup Language (<abbr>XML</abbr>) 1.0 (Fourth Edition)</a></cite>, |
592 |
|
|
<abbr>W3C</abbr> Recommendation, <time datetime=2006-08-16>16 August |
593 |
|
|
2006</time>, edited in place <time datetime=2006-09-29>29 September |
594 |
|
|
2006</time>. Tje latest version of the specification is available at |
595 |
|
|
<code class=uri><<a href="http://www.w3.org/TR/xml">http://www.w3.org/TR/xml</a>></code>. |
596 |
|
|
<em>This</em> version of the specification is referenced.</dd> |
597 |
|
|
<dt id=ref-XML11>XML11</dt> |
598 |
|
|
<dd class=ed>@@</dd> |
599 |
|
|
</dl> |
600 |
|
|
</div> |
601 |
|
|
|
602 |
|
|
<div id="informative-references" class="section informative reference"> |
603 |
|
|
<h3>Non$B!>(Bnormative References</h3> |
604 |
|
|
|
605 |
|
|
<dl class=ed> |
606 |
|
|
<dt id=ref-CSS>CSS</dt> |
607 |
|
|
<dd><cite><a href="http://www.w3.org/TR/2007/CR-CSS21-20070719">Cascading |
608 |
|
|
Style Sheets Level 2 Revision 1 (<abbr>CSS</abbr> 2.1) |
609 |
|
|
Specification</a></cite>, |
610 |
|
|
<abbr title="World Wide Web Consortium">W3C</abbr> Candidate |
611 |
|
|
Recommendation, <time datetime=2007-07-19>19 July 2007</time>. |
612 |
|
|
Work in progress. The latest version of the specification is |
613 |
|
|
available at |
614 |
|
|
<code class=URI><<a href="http://www.w3.org/TR/CSS21">http://www.w3.org/TR/CSS21</a>></code>.</dd> |
615 |
|
|
<dt id=ref-CSSOM>CSSOM</dt> |
616 |
|
|
<dd><cite><a href="http://dev.w3.org/cvsweb/~checkout~/csswg/cssom/Overview.html?rev=1.55&content-type=text/html;%20charset=utf-8">Cascading |
617 |
|
|
Style Sheets Object Model (<abbr>CSSOM</abbr>)</a></cite>, |
618 |
|
|
<abbr title="World Wide Web Consortium">W3C</abbr> Editor's Draft, |
619 |
|
|
<time datetime=2007-06-18>18 June 2007</time>. Work in progress. |
620 |
|
|
The latest Editor's Draft of the specification is available at |
621 |
|
|
<code class=URI><<a href="http://dev.w3.org/csswg/cssom/Overview.html">http://dev.w3.org/csswg/cssom/Overview.html</a>></code>.</dd> |
622 |
|
|
<dt id=ref-HTML5>HTML5</dt> |
623 |
|
|
<dd><cite><a href="http://whatwg.org/html5"><abbr>HTML</abbr> 5</a></cite>, |
624 |
|
|
<abbr title="Web Hypertext Application Technology Working Group">WHATWG</abbr> |
625 |
|
|
Working Draft. Work in progress.</dd> |
626 |
|
|
<dt id=ref-SAPI>SAPI</dt> |
627 |
|
|
<dd><cite><a href="http://dev.w3.org/cvsweb/~checkout~/2006/webapi/selectors-api/Overview.html?rev=1.28&content-type=text/html;%20charset=utf-8">Selectors <abbr>API</abbr></a></cite>, |
628 |
|
|
<abbr title="World Wide Web Consortium">W3C</abbr> Editor's Draft, |
629 |
|
|
<time datetime=2007-08-29>29 August 2007</time>. Work in progress. |
630 |
|
|
The latest Editor's Draft of the specification is available at |
631 |
|
|
<code class=URI><<a href="http://dev.w3.org/2006/webapi/selectors-api/Overview.html">http://dev.w3.org/2006/webapi/selectors-api/Overview.html</a>></code>. |
632 |
|
|
The latest published version of the specification is available at |
633 |
|
|
<code class=URI><<a href="http://www.w3.org/TR/selectors-api/">http://www.w3.org/TR/selectors-api/</a>></code>.</dd> |
634 |
|
|
<dt id=XBL2>XBL2</dt> |
635 |
|
|
<dd><cite><a href="http://www.mozilla.org/projects/xbl/xbl2.html"><abbr>XBL</abbr> |
636 |
|
|
2.0</a></cite>, Mozilla.org, <time datetime=2007-03-15>15 Mar 2007</time>. |
637 |
|
|
Work in progress. The latest |
638 |
|
|
<abbr title="World Wide Web Consortium">W3C</abbr>$B!>(Bpublished |
639 |
|
|
version of the specification is available at |
640 |
|
|
<code class=URI><<a href="http://www.w3.org/TR/xbl/">http://www.w3.org/TR/xbl/</a>></code>.</dd> |
641 |
wakaba |
1.3 |
<dt id=ref-XML5>XML5</dt> |
642 |
|
|
<dd class=ed>@@</dd> |
643 |
wakaba |
1.1 |
</dl> |
644 |
|
|
</div> |
645 |
|
|
|
646 |
|
|
</div> |
647 |
|
|
|
648 |
|
|
</body> |
649 |
|
|
</html> |