| 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 |
|
|