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

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

Parent Directory | Revision Log | View Patch Patch

-revision 1.2 by wakaba,
Mon Nov 12 12:26:27 2007 UTC
+revision 1.6 by wakaba,
Mon Nov 12 13:14:13 2007 UTC
 Line 4
  <title>manakai's XML Conformance Checking</title>
  <link rel="stylesheet" href="http://suika.fam.cx/www/style/html/spec">
  <link rel="license" href="http://suika.fam.cx/c/gnu/fdl">
+ <style>
+   a[id]::before {
+     content: "[" attr(id) "]";
+     color: gray;
+     font-size: 70%;
+     font-family: Courier New, monospace;
+     vertical-align: 60%;
+   }
+ </style>
  </head>
  <body class="has-abstract">
-Line 134 
 can be easily serialized into a valid XM
+Line 143 
 can be easily serialized into a valid XM
  <dl id=errors>
  <dt><dfn id=entity-error><code>entity-error</code></dfn></dt>
-   <dd class=ed>@@</dd>
+   <dd>
+     <p class=ed>@@</p>
+     <div class="note memo">
+       <p>This <span class=ed>algorithm</span> does not support
+       <abbr>DOM</abbr> tree with one or more <code>EntityReference</code>
+       nodes.  It is expected that any entity references are expanded
+       at the parse time and any unexpandable entity references
+       make parse time errors raised so that never result in
+       <abbr>DOM</abbr> tree with <code>EntityReference</code> nodes.</p>
+     </div>
+   </dd>
  <dt><dfn id=round-trip-error><code>round-trip-error</code></dfn></dt>
    <dd class=ed>@@</dd>
  <dt class=ed><dfn id=unknown-error><code>unknown-error</code></dfn>?</dt>
-Line 202 
 following:</p>
+Line 221 
 following:</p>
      <li>If the <code>childNodes</code> list of <var>n</var> contains
      an <code>EntityReference</code> node, it is an
      <a href="#entity-error" id=ee-er-in-attr><code>entity-error</code></a>.</li>
-     <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
-     which is different from <code>EntityReference</code> in
+     <code>childNodes</code> list of <var>n</var>,
-     <code>childNodes</code> list of <var>n</var> recursively.</li>
+     which is different from <code>EntityReference</code> recursively.</li>
      <li class=ed>@@ <code>specified</code>,
      <code>manakaiAttributeType</code></li>
      </ol>
-Line 260 
 following:</p>
+Line 279 
 following:</p>
      by zero or more <code>Comment</code> and/or
      <code>ProcessingInstruction</code> nodes.  Any violation to this is a
      <a href="#xml-well-formedness-error" id=wfe-document-child><code>xml-well-formedness-error</code></a>.</li>
-     <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
-     which is different from <code>EntityReference</code> in
+     <code>childNodes</code> list of <var>n</var>,
-     <code>childNodes</code> list of <var>n</var> recursively.</li>
+     which is different from <code>EntityReference</code> recursively.</li>
      <li class=ed>@@ <code>allDeclarationsProcessed</code></li>
      </ol>
    </dd>
-Line 278 
 following:</p>
+Line 297 
 following:</p>
      <li>If the <code>childNodes</code> list of <var>n</var> contains
      an <code>EntityReference</code> node, it is an
      <a href="#entity-error" id=ee-er-in-df><code>entity-error</code></a>.</li>
-     <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
-     which is different from <code>EntityReference</code> in
+     <code>childNodes</code> list of <var>n</var>
-     <code>childNodes</code> list of <var>n</var> recursively.</li>
+     which is different from <code>EntityReference</code> recursively.</li>
      </ol>
    </dd>
  <dt>If <var>n</var> is a <code>DocumentType</code> node</dt>
-Line 288 
 following:</p>
+Line 307 
 following:</p>
      <ol>
      <li><a href="#algorithm-to-validate-a-ncname">Validate the
      <code>nodeName</code> attribute value as an <code>NCName</code></a>.</li>
-     <li>If the <code>publicId</code> attribute value contains any character
+     <li><a href="#algorithm-to-validate-a-public-identifier" title="validate a public identifier">Validate
-     that is outside of the range of <code>#x20 | <!--#xD | #xA |-->
+     the <code>publicId</code> attribute value as a public identifier</a>.</li>
-     [a-zA-Z0-9] | [-'()+,./:=?;!*#@$_%]</code><!-- @@ TODO: formal def -->,
-     or contains a leading <code class=char>U+0020</code> character,
-     a trailing <code class=char>U+0020</code> character, or a
-     sequence of two or more <code class=char>U+0020</code> characters,
-     then it is a
-     <a href="#xml-well-formedness-error" id=wfe-dt-public-id><code>xml-well-formedness-error</code></a>.</li>
      <li>If the <code>systemId</code> attribute value contains
      both <code>"</code> and <code>'</code> characters, it is a
      <a href="#xml-well-formedness-error" id=wfe-dt-system-id><code>xml-well-formedness-error</code></a>.</li>
-Line 305 
 following:</p>
+Line 318 
 following:</p>
      then it is a
      <a href="#xml-well-formedness-error" id=wfe-dt-child><code>xml-well-formedness-error</code></a>.
      <span class=ed>@@ ref to manakai's extensions</span></li>
-     <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
-     which is different from <code>EntityReference</code> in
+     <code>childNodes</code> list of <var>n</var>,
-     <code>childNodes</code> list of <var>n</var> recursively.</li>
+     which is different from <code>EntityReference</code> recursively.</li>
      <li class=ed>@@ <code>entities</code>, <code>notations</code>,
      <code>elementTypes</code>, externally declared?</li>
      </ol>
-Line 329 
 following:</p>
+Line 342 
 following:</p>
      <li>If the <code>childNodes</code> list of <var>n</var> contains
      an <code>EntityReference</code> node, it is an
      <a href="#entity-error" id=ee-er-in-element><code>entity-error</code></a>.</li>
-     <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
-     which is different from <code>EntityReference</code> in
+     <code>childNodes</code> list of <var>n</var>,
-     <code>childNodes</code> list of <var>n</var> recursively.</li>
+     which is different from <code>EntityReference</code> recursively.</li>
      </ol>
    </dd>
  <dt>If <var>n</var> is an <code>ElementTypeDefinition</code> node</dt>
-Line 342 
 following:</p>
+Line 355 
 following:</p>
      <li>An <a href="#entity-error" id=ee-entity-node><code>entity-error</code></a> <span class=ed>@@ if !notationName</span>.</li>
      <li><a href="#algorithm-to-validate-a-ncname">Validate the
      <code>nodeName</code> attribute value as an <code>NCName</code></a>.</li>
-     <li>If the <code>publicId</code> attribute value contains any character
+     <li><a href="#algorithm-to-validate-a-public-identifier" title="validate a public identifier">Validate
-     that is outside of the range of <code>#x20 | <!--#xD | #xA |-->
+     the <code>publicId</code> attribute value as a public identifier</a>.</li>
-     [a-zA-Z0-9] | [-'()+,./:=?;!*#@$_%]</code><!-- @@ TODO: formal def -->,
-     or contains a leading <code class=char>U+0020</code> character,
-     a trailing <code class=char>U+0020</code> character, or a
-     sequence of two or more <code class=char>U+0020</code> characters,
-     then it is a
-     <a href="#xml-well-formedness-error" id=wfe-dt-public-id><code>xml-well-formedness-error</code></a>.</li>
      <li>If the <code>systemId</code> attribute value contains
      both <code>"</code> and <code>'</code> characters, it is a
      <a href="#xml-well-formedness-error" id=wfe-dt-system-id><code>xml-well-formedness-error</code></a>.</li>
-Line 364 
 following:</p>
+Line 371 
 following:</p>
      <li>If the <code>childNodes</code> list of <var>n</var> contains
      an <code>EntityReference</code> node, it is an
      <a href="#entity-error" id=ee-er-in-er><code>entity-error</code></a>.</li>
-     <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
-     which is different from <code>EntityReference</code> in
+     <code>childNodes</code> list of <var>n</var>,
-     <code>childNodes</code> list of <var>n</var> recursively.</li>
+     which is different from <code>EntityReference</code> recursively.</li>
      </ol>
    </dd>
  <dt>If <var>n</var> is an <code>EntityReference</code> node</dt>
-Line 384 
 following:</p>
+Line 391 
 following:</p>
      <li>If the <code>childNodes</code> list of <var>n</var> contains
      an <code>EntityReference</code> node, it is an
      <a href="#entity-error" id=ee-er-in-entity><code>entity-error</code></a>.</li>
-     <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
-     which is different from <code>EntityReference</code> in
+     <code>childNodes</code> list of <var>n</var>,
-     <code>childNodes</code> list of <var>n</var> recursively.</li>
+     which is different from <code>EntityReference</code> recursively.</li>
      </ol>
    </dd>
  <dt>If <var>n</var> is a <code>Notation</code> node</dt>
-Line 394 
 following:</p>
+Line 401 
 following:</p>
      <ol>
      <li><a href="#algorithm-to-validate-a-ncname">Validate the
      <code>nodeName</code> attribute value as an <code>NCName</code></a>.</li>
-     <li>If the <code>publicId</code> attribute value contains any character
+     <li><a href="#algorithm-to-validate-a-public-identifier" title="validate a public identifier">Validate
-     that is outside of the range of <code>#x20 | <!--#xD | #xA |-->
+     the <code>publicId</code> attribute value as a public identifier</a>.</li>
-     [a-zA-Z0-9] | [-'()+,./:=?;!*#@$_%]</code><!-- @@ TODO: formal def -->,
-     or contains a leading <code class=char>U+0020</code> character,
-     a trailing <code class=char>U+0020</code> character, or a
-     sequence of two or more <code class=char>U+0020</code> characters,
-     then it is a
-     <a href="#xml-well-formedness-error" id=wfe-dt-public-id><code>xml-well-formedness-error</code></a>.</li>
      <li>If the <code>systemId</code> attribute value contains
      both <code>"</code> and <code>'</code> characters, it is a
      <a href="#xml-well-formedness-error" id=wfe-dt-system-id><code>xml-well-formedness-error</code></a>.</li>
-Line 471 
 is defined as following:</p>
+Line 472 
 is defined as following:</p>
  <li class=ed>@@</li>
  </ol>
+ <p>To <dfn id=algorithm-to-validate-a-public-identifier title="validate a public identifier">validate
+ a public identifier (<dfn id=var-pid><var>pid</var></dfn>)</dfn>, the
+ algorithm below <em class=rfc2119>MUST</em> be used:</p>
+ <ol>
+   <li>If <var>pid</var> contains any character
+   that is outside of the range of <code>#x20 | #xD | #xA |
+   [a-zA-Z0-9] | [-'()+,./:=?;!*#@$_%]</code><!-- @@ TODO: formal def -->,
+   then it is an
+   <a href="#xml-well-formedness-error" id=wfe-pubid-char><code>xml-well-formedness-error</code></a>.</li>
+   <li>If <var>pid</var> contains one of <code class=char>U+0009</code>
+   <code class=charname>CHARACTER TABULATION</code>,
+   <code class=char>U+000A</code> <code class=charname>CARRIAGE RETURN</code>,
+   and <code class=char>U+000D</code> <code class=charname>LINE FEED</code>
+   characters, if the first character of <var>pid</var> is
+   <code class=char>U+0020</code> <code class=charname>SPACE</code> character,
+   if the last character of <var>pid</var> is <code class=char>U+0020</code>
+   <code class=charname>SPACE</code> character, or if there is a
+   <code class=char>U+0020</code> <code class=charname>SPACE</code> character
+   immediately followed by another <code class=char>U+0020</code>
+   <code class=charname>SPACE</code> character in <var>pid</var>, then it is a
+   <a href="#round-trip-error" id=rte-pubid-space><code>round-trip-error</code></a>.</li>
+   <li class=ed>@@ Should we check formal-public-identifierness?</li>
+ </ol>
  </div>
  <div class="section" id="examples">
-Line 497 
 is defined as following:</p>
+Line 522 
 is defined as following:</p>
  <h3>Normative References</h3>
  <dl>
+ <dt id=ref-DOM3CORE>DOM3CORE</dt>
+   <dd class=ed>@@ W3C DOM Level 3 Core</dd>
+ <dt id=ref-DOMDTDEF>DOMDTDEF</dt>
+   <dd class=ed>@@ manakai's extension to DOM for document type definitions</dd>
  <dt id="ref-KEYWORDS">KEYWORDS</dt>
    <dd><cite><a href="urn:ietf:rfc:2119">Key words for use in
    <abbr>RFCs</abbr> to Indicate Requirement Levels</a></cite>,
-Line 559 
 is defined as following:</p>
+Line 588 
 is defined as following:</p>
    <abbr title="World Wide Web Consortium">W3C</abbr>$B!>(Bpublished
    version of the specification is available at
    <code class=URI>&lt;<a href="http://www.w3.org/TR/xbl/">http://www.w3.org/TR/xbl/</a>></code>.</dd>
+ <dt id=ref-XML5>XML5</dt>
+   <dd class=ed>@@</dd>
  </dl>
  </div>

 Legend:



Removed from v.1.2
 


changed lines


 
Added in v.1.6
 Legend:



Removed from v.1.2
 


changed lines


 
Added in v.1.6
-Removed from v.1.2
+Added in v.1.6

admin@suikawiki.org	ViewVC Help
Powered by ViewVC 1.1.24