/[suikacvs]/markup/xml/xmlcc/xmlcc-work.en.html
Suika

Contents of /markup/xml/xmlcc/xmlcc-work.en.html

Parent Directory Parent Directory | Revision Log Revision Log


Revision 1.8 - (hide annotations) (download) (as text)
Mon Nov 12 13:54:44 2007 UTC (17 years ago) by wakaba
Branch: MAIN
Changes since 1.7: +129 -79 lines
File MIME type: text/html
children clauses revised

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">&lt;<a href="http://suika.fam.cx/www/markup/xml/xmlcc/xmlcc-work"
26     >http://suika.fam.cx/www/markup/xml/xmlcc/xmlcc-work</a>&gt;</code></dd>
27 wakaba 1.1 <dt>Latest Version</dt>
28 wakaba 1.2 <dd><code class="URI">&lt;<a href="http://suika.fam.cx/www/markup/xml/xmlcc/xmlcc"
29     >http://suika.fam.cx/www/markup/xml/xmlcc/xmlcc</a>&gt;</code></dd>
30 wakaba 1.1 <dt>Latest Working Draft</dt>
31 wakaba 1.2 <dd><code class="URI">&lt;<a href="http://suika.fam.cx/www/markup/xml/xmlcc/xmlcc-work"
32     >http://suika.fam.cx/www/markup/xml/xmlcc/xmlcc-work</a>&gt;</code></dd>
33 wakaba 1.1 <!-- <dt>Previous Version</dt> -->
34     <dt>Version History</dt>
35 wakaba 1.2 <dd><code class=URI>&lt;<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>&gt;</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">&lt;<a href="mailto:w@suika.fam.cx" rel="author"
42     >w@suika.fam.cx</a>&gt;</code></dd>
43     </dl>
44    
45     <p class="copyright" lang="en">&#xA9; <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">&lt;<a
56     href="http://www.gnu.org/copyleft/fdl.html"
57     rel="license">http://www.gnu.org/copyleft/fdl.html</a>&gt;</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>&lt;<a href="http://www.w3.org/TR/xml">http://www.w3.org/TR/xml</a>&gt;</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>&lt;<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&amp;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>&lt;<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&amp;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>&lt;<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>&lt;<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>&lt;<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>

admin@suikawiki.org
ViewVC Help
Powered by ViewVC 1.1.24