1 |
<!DOCTYPE html> |
<!DOCTYPE html> |
2 |
<html lang="en" class="formal-specification status-work-in-progress"> |
<html lang="en" class="formal-specification status-work-in-progress"> |
3 |
<head> |
<head> |
4 |
<title class=ed>DOM XML Checking</title> |
<title>manakai's XML Conformance Checking</title> |
5 |
<link rel="stylesheet" href="http://suika.fam.cx/www/style/html/spec"> |
<link rel="stylesheet" href="http://suika.fam.cx/www/style/html/spec"> |
6 |
<link rel="license" href="http://suika.fam.cx/c/gnu/fdl"> |
<link rel="license" href="http://suika.fam.cx/c/gnu/fdl"> |
7 |
</head> |
</head> |
8 |
<body class="has-abstract"> |
<body class="has-abstract"> |
9 |
|
|
10 |
<div class="header"> |
<div class="header"> |
11 |
<h1 class=ed>DOM XML Checking</h1> |
<h1>manakai's XML Conformance Checking</h1> |
12 |
<h2>Working Draft <time datetime=2007-10-27>27 October 2007</time></h2> |
<h2>Working Draft <time datetime=2007-11-12>12 November 2007</time></h2> |
13 |
|
|
14 |
<dl class="versions-uri ed"> |
<dl class="versions-uri"> |
15 |
<dt>This Version</dt> |
<dt>This Version</dt> |
16 |
<dd><code class="URI"><<a href="http://suika.fam.cx/www/markup/selectors/ssft/ssft" |
<dd><code class="URI"><<a href="http://suika.fam.cx/www/markup/xml/xmlcc/xmlcc-work" |
17 |
>http://suika.fam.cx/www/markup/selectors/ssft/ssft</a>></code></dd> |
>http://suika.fam.cx/www/markup/xml/xmlcc/xmlcc-work</a>></code></dd> |
18 |
<dt>Latest Version</dt> |
<dt>Latest Version</dt> |
19 |
<dd><code class="URI"><<a href="http://suika.fam.cx/www/markup/selectors/ssft/ssft" |
<dd><code class="URI"><<a href="http://suika.fam.cx/www/markup/xml/xmlcc/xmlcc" |
20 |
>http://suika.fam.cx/www/markup/selectors/ssft/ssft</a>></code></dd> |
>http://suika.fam.cx/www/markup/xml/xmlcc/xmlcc</a>></code></dd> |
|
<!-- |
|
21 |
<dt>Latest Working Draft</dt> |
<dt>Latest Working Draft</dt> |
22 |
--> |
<dd><code class="URI"><<a href="http://suika.fam.cx/www/markup/xml/xmlcc/xmlcc-work" |
23 |
|
>http://suika.fam.cx/www/markup/xml/xmlcc/xmlcc-work</a>></code></dd> |
24 |
<!-- <dt>Previous Version</dt> --> |
<!-- <dt>Previous Version</dt> --> |
25 |
<dt>Version History</dt> |
<dt>Version History</dt> |
26 |
<dd><code class=URI><<a href="http://suika.fam.cx/gate/cvs/markup/selectors/ssft/ssft.en.html">http://suika.fam.cx/gate/cvs/markup/selectors/ssft/ssft.en.html</a>></code></dd> |
<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> |
27 |
</dl> |
</dl> |
28 |
<dl class="authors" id="author"> |
<dl class="authors" id="author"> |
29 |
<dt>Author</dt> |
<dt>Author</dt> |
134 |
|
|
135 |
<dl id=errors> |
<dl id=errors> |
136 |
<dt><dfn id=entity-error><code>entity-error</code></dfn></dt> |
<dt><dfn id=entity-error><code>entity-error</code></dfn></dt> |
137 |
<dd class=ed>@@</dd> |
<dd> |
138 |
|
<p class=ed>@@</p> |
139 |
|
<div class="note memo"> |
140 |
|
<p>This <span class=ed>algorithm</span> does not support |
141 |
|
<abbr>DOM</abbr> tree with one or more <code>EntityReference</code> |
142 |
|
nodes. It is expected that any entity references are expanded |
143 |
|
at the parse time and any unexpandable entity references |
144 |
|
make parse time errors raised so that never result in |
145 |
|
<abbr>DOM</abbr> tree with <code>EntityReference</code> nodes.</p> |
146 |
|
</div> |
147 |
|
</dd> |
148 |
<dt><dfn id=round-trip-error><code>round-trip-error</code></dfn></dt> |
<dt><dfn id=round-trip-error><code>round-trip-error</code></dfn></dt> |
149 |
<dd class=ed>@@</dd> |
<dd class=ed>@@</dd> |
150 |
<dt class=ed><dfn id=unknown-error><code>unknown-error</code></dfn>?</dt> |
<dt class=ed><dfn id=unknown-error><code>unknown-error</code></dfn>?</dt> |
212 |
<li>If the <code>childNodes</code> list of <var>n</var> contains |
<li>If the <code>childNodes</code> list of <var>n</var> contains |
213 |
an <code>EntityReference</code> node, it is an |
an <code>EntityReference</code> node, it is an |
214 |
<a href="#entity-error" id=ee-er-in-attr><code>entity-error</code></a>.</li> |
<a href="#entity-error" id=ee-er-in-attr><code>entity-error</code></a>.</li> |
215 |
<li><a href="#algorithm-to-check-a-node">Check each node</a> |
<li><a href="#algorithm-to-check-a-node">Check each node</a>, in |
216 |
which is different from <code>EntityReference</code> in |
<code>childNodes</code> list of <var>n</var>, |
217 |
<code>childNodes</code> list of <var>n</var> recursively.</li> |
which is different from <code>EntityReference</code> recursively.</li> |
218 |
<li class=ed>@@ <code>specified</code>, |
<li class=ed>@@ <code>specified</code>, |
219 |
<code>manakaiAttributeType</code></li> |
<code>manakaiAttributeType</code></li> |
220 |
</ol> |
</ol> |
270 |
by zero or more <code>Comment</code> and/or |
by zero or more <code>Comment</code> and/or |
271 |
<code>ProcessingInstruction</code> nodes. Any violation to this is a |
<code>ProcessingInstruction</code> nodes. Any violation to this is a |
272 |
<a href="#xml-well-formedness-error" id=wfe-document-child><code>xml-well-formedness-error</code></a>.</li> |
<a href="#xml-well-formedness-error" id=wfe-document-child><code>xml-well-formedness-error</code></a>.</li> |
273 |
<li><a href="#algorithm-to-check-a-node">Check each node</a> |
<li><a href="#algorithm-to-check-a-node">Check each node</a>, in |
274 |
which is different from <code>EntityReference</code> in |
<code>childNodes</code> list of <var>n</var>, |
275 |
<code>childNodes</code> list of <var>n</var> recursively.</li> |
which is different from <code>EntityReference</code> recursively.</li> |
276 |
<li class=ed>@@ <code>allDeclarationsProcessed</code></li> |
<li class=ed>@@ <code>allDeclarationsProcessed</code></li> |
277 |
</ol> |
</ol> |
278 |
</dd> |
</dd> |
288 |
<li>If the <code>childNodes</code> list of <var>n</var> contains |
<li>If the <code>childNodes</code> list of <var>n</var> contains |
289 |
an <code>EntityReference</code> node, it is an |
an <code>EntityReference</code> node, it is an |
290 |
<a href="#entity-error" id=ee-er-in-df><code>entity-error</code></a>.</li> |
<a href="#entity-error" id=ee-er-in-df><code>entity-error</code></a>.</li> |
291 |
<li><a href="#algorithm-to-check-a-node">Check each node</a> |
<li><a href="#algorithm-to-check-a-node">Check each node</a>, in |
292 |
which is different from <code>EntityReference</code> in |
<code>childNodes</code> list of <var>n</var> |
293 |
<code>childNodes</code> list of <var>n</var> recursively.</li> |
which is different from <code>EntityReference</code> recursively.</li> |
294 |
</ol> |
</ol> |
295 |
</dd> |
</dd> |
296 |
<dt>If <var>n</var> is a <code>DocumentType</code> node</dt> |
<dt>If <var>n</var> is a <code>DocumentType</code> node</dt> |
315 |
then it is a |
then it is a |
316 |
<a href="#xml-well-formedness-error" id=wfe-dt-child><code>xml-well-formedness-error</code></a>. |
<a href="#xml-well-formedness-error" id=wfe-dt-child><code>xml-well-formedness-error</code></a>. |
317 |
<span class=ed>@@ ref to manakai's extensions</span></li> |
<span class=ed>@@ ref to manakai's extensions</span></li> |
318 |
<li><a href="#algorithm-to-check-a-node">Check each node</a> |
<li><a href="#algorithm-to-check-a-node">Check each node</a>, in |
319 |
which is different from <code>EntityReference</code> in |
<code>childNodes</code> list of <var>n</var>, |
320 |
<code>childNodes</code> list of <var>n</var> recursively.</li> |
which is different from <code>EntityReference</code> recursively.</li> |
321 |
<li class=ed>@@ <code>entities</code>, <code>notations</code>, |
<li class=ed>@@ <code>entities</code>, <code>notations</code>, |
322 |
<code>elementTypes</code>, externally declared?</li> |
<code>elementTypes</code>, externally declared?</li> |
323 |
</ol> |
</ol> |
339 |
<li>If the <code>childNodes</code> list of <var>n</var> contains |
<li>If the <code>childNodes</code> list of <var>n</var> contains |
340 |
an <code>EntityReference</code> node, it is an |
an <code>EntityReference</code> node, it is an |
341 |
<a href="#entity-error" id=ee-er-in-element><code>entity-error</code></a>.</li> |
<a href="#entity-error" id=ee-er-in-element><code>entity-error</code></a>.</li> |
342 |
<li><a href="#algorithm-to-check-a-node">Check each node</a> |
<li><a href="#algorithm-to-check-a-node">Check each node</a>, in |
343 |
which is different from <code>EntityReference</code> in |
<code>childNodes</code> list of <var>n</var>, |
344 |
<code>childNodes</code> list of <var>n</var> recursively.</li> |
which is different from <code>EntityReference</code> recursively.</li> |
345 |
</ol> |
</ol> |
346 |
</dd> |
</dd> |
347 |
<dt>If <var>n</var> is an <code>ElementTypeDefinition</code> node</dt> |
<dt>If <var>n</var> is an <code>ElementTypeDefinition</code> node</dt> |
374 |
<li>If the <code>childNodes</code> list of <var>n</var> contains |
<li>If the <code>childNodes</code> list of <var>n</var> contains |
375 |
an <code>EntityReference</code> node, it is an |
an <code>EntityReference</code> node, it is an |
376 |
<a href="#entity-error" id=ee-er-in-er><code>entity-error</code></a>.</li> |
<a href="#entity-error" id=ee-er-in-er><code>entity-error</code></a>.</li> |
377 |
<li><a href="#algorithm-to-check-a-node">Check each node</a> |
<li><a href="#algorithm-to-check-a-node">Check each node</a>, in |
378 |
which is different from <code>EntityReference</code> in |
<code>childNodes</code> list of <var>n</var>, |
379 |
<code>childNodes</code> list of <var>n</var> recursively.</li> |
which is different from <code>EntityReference</code> recursively.</li> |
380 |
</ol> |
</ol> |
381 |
</dd> |
</dd> |
382 |
<dt>If <var>n</var> is an <code>EntityReference</code> node</dt> |
<dt>If <var>n</var> is an <code>EntityReference</code> node</dt> |
394 |
<li>If the <code>childNodes</code> list of <var>n</var> contains |
<li>If the <code>childNodes</code> list of <var>n</var> contains |
395 |
an <code>EntityReference</code> node, it is an |
an <code>EntityReference</code> node, it is an |
396 |
<a href="#entity-error" id=ee-er-in-entity><code>entity-error</code></a>.</li> |
<a href="#entity-error" id=ee-er-in-entity><code>entity-error</code></a>.</li> |
397 |
<li><a href="#algorithm-to-check-a-node">Check each node</a> |
<li><a href="#algorithm-to-check-a-node">Check each node</a>, in |
398 |
which is different from <code>EntityReference</code> in |
<code>childNodes</code> list of <var>n</var>, |
399 |
<code>childNodes</code> list of <var>n</var> recursively.</li> |
which is different from <code>EntityReference</code> recursively.</li> |
400 |
</ol> |
</ol> |
401 |
</dd> |
</dd> |
402 |
<dt>If <var>n</var> is a <code>Notation</code> node</dt> |
<dt>If <var>n</var> is a <code>Notation</code> node</dt> |
507 |
<h3>Normative References</h3> |
<h3>Normative References</h3> |
508 |
|
|
509 |
<dl> |
<dl> |
510 |
|
<dt id=ref-DOM3CORE>DOM3CORE</dt> |
511 |
|
<dd class=ed>@@ W3C DOM Level 3 Core</dd> |
512 |
|
<dt id=ref-DOMDTDEF>DOMDTDEF</dt> |
513 |
|
<dd class=ed>@@ manakai's extension to DOM for document type definitions</dd> |
514 |
<dt id="ref-KEYWORDS">KEYWORDS</dt> |
<dt id="ref-KEYWORDS">KEYWORDS</dt> |
515 |
<dd><cite><a href="urn:ietf:rfc:2119">Key words for use in |
<dd><cite><a href="urn:ietf:rfc:2119">Key words for use in |
516 |
<abbr>RFCs</abbr> to Indicate Requirement Levels</a></cite>, |
<abbr>RFCs</abbr> to Indicate Requirement Levels</a></cite>, |
573 |
<abbr title="World Wide Web Consortium">W3C</abbr>$B!>(Bpublished |
<abbr title="World Wide Web Consortium">W3C</abbr>$B!>(Bpublished |
574 |
version of the specification is available at |
version of the specification is available at |
575 |
<code class=URI><<a href="http://www.w3.org/TR/xbl/">http://www.w3.org/TR/xbl/</a>></code>.</dd> |
<code class=URI><<a href="http://www.w3.org/TR/xbl/">http://www.w3.org/TR/xbl/</a>></code>.</dd> |
576 |
|
<dt id=ref-XML5>XML5</dt> |
577 |
|
<dd class=ed>@@</dd> |
578 |
</dl> |
</dl> |
579 |
</div> |
</div> |
580 |
|
|