/[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.4 by wakaba,
Mon Nov 12 12:45:49 2007 UTC
+revision 1.12 by wakaba,
Wed Nov 14 11:40:48 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">
  <div class="header">
- <h1>manakai's XML Conformance Checking</h1>
+ <h1>manakai's <abbr>XML</abbr> Conformance Checking</h1>
- <h2>Working Draft <time datetime=2007-11-12>12 November 2007</time></h2>
+ <h2>Working Draft <time datetime=2007-11-14>14 November 2007</time></h2>
  <dl class="versions-uri">
  <dt>This Version</dt>
-Line 111 
 In addition, the order in which <a href=
+Line 120 
 In addition, the order in which <a href=
  raised is undefined.</p>
  </div>
- <div class="section">
+ <div class=section id=parsing-xml>
- <h2 class=ed>Algorithms</h2>
+ <h2>Parsing <abbr>XML</abbr> Document</h2>
+ <ul>
+ <li>If the replacement text of an entity declaration is
+ <code>&lt;</code>, then raise an
+ <a href="#xml-misc-warning" id=xmw-entity-value-lt><code>xml-misc-warning</code></a>.<!--
+ "strongly advised to avoid" in a Note in Section 2.3 of [XML10], [XML11].
+ --></li>
+ </ul>
+ </div>
+ <div class="section" id=checking-dom>
+ <h2>Checking <abbr>DOM</abbr></h2>
  <p>The following algorithms and definitions are applied to
  <abbr>XML</abbr> documents; especially, they are not applied
  to <abbr>HTML</abbr> documents.<!-- TODO: ref to HTML5 --></p>
+ <div class=section id=error-categories>
+ <h3>Error Classification</h3>
  <p class=ed>If a <code>Document</code> node has no
  xml-well-formedness-error, entity-error, and unknown-error,
  then it is well-formed.  If a well-formed <code>Document</code>
-Line 147 
 can be easily serialized into a valid XM
+Line 171 
 can be easily serialized into a valid XM
    </dd>
  <dt><dfn id=round-trip-error><code>round-trip-error</code></dfn></dt>
    <dd class=ed>@@</dd>
+ <dt><dfn id=round-trip-warning><code>round-trip-warning</code></dfn></dt>
+   <dd>
+     <p>A <a href="#round-trip-warning"><code>round-trip-warning</code></a>
+     will be raised when a construct, which might not be restored to the same
+     construct when it is serialized and then re-parsed by a conforming
+     processor, is encountered.</p>
+     <div class="example memo">
+       <p>For a <code>Comment</code> node a
+       <a href="#round-trip-warning"><code>round-trip-warning</code></a> will
+       be raised, since <abbr>XML</abbr> processors are not required to
+       report texts of comments for applications.</p>
+     </div>
+   </dd>
  <dt class=ed><dfn id=unknown-error><code>unknown-error</code></dfn>?</dt>
    <dd class=ed>@@</dd>
  <dt><dfn id=xml-misc-error><code>xml-misc-error</code></dt>
-Line 182 
 can be easily serialized into a valid XM
+Line 219 
 can be easily serialized into a valid XM
  (MAY or MUST), #dt-compat for compatibility,
  #dt-interop for interoperability</p></div>
+ </div>
+ <div class=section id=definitions>
+ <h3>Definitions</h3>
  <p>The <dfn id=xml-version><abbr>XML</abbr> version</dfn> of a node is
  the <abbr>XML</abbr> version of the document to which the node belongs.
  For a <code>Documemt</code> node, the <abbr>XML</abbr> version
  of the document is the value of the <code>xmlVersion</code>
- attribute.  For a <code>DocumentType</code> node whose
+ attribute of the node.  For a <code>DocumentType</code> node whose
- <code>ownerDocument</code> is set to <code>null</code>,
+ <code>ownerDocument</code> attribute is set to <code>null</code>,
- the <abbr>XML</abbr> version of the document is <code>1.0</code>.
+ the <abbr>XML</abbr> version of the document is <code>1.0</code><!--
+ since createDocumentType [DOM3CORE] assumes XML 1.0 [XML10TE] -->.
  For any other node, the <abbr>XML</abbr> version of the document
  is that of the <code>Document</code> node contained in the
  <code>ownerDocument</code> attribute of the node.</p>
+ </div>
+ <div class=section id=checking-components>
+ <h3>Checking Components</h3>
+ <p>The algorithm
+ <dfn id=algorithm-to-validate-an-xml-character-data title-"to validate an XML character data">to
+ validate an <abbr>XML</abbr> character data
+ (<dfn id=var-s><var>s</var></dfn>)</dfn> is defined as following:</p>
+ <ol>
+ <li>If <var>s</var> contains a character that is <em>not</em> in
+ the character class <a href="#class-Char10"><code>Char10</code></a>,
+ then raise an
+ <a href="#xml-well-formedness-error" id=wfe-illegal-char><code>xml-well-formedness-error</code></a>.</li>
+ <li>If <var>s</var> contains a character that is in the character
+ class <a href="#class-CompatChar10"><code>CompatChar10</code></a>,
+ then raise an
+ <a href="#xml-misc-warning" id=xmw-compat-char><code>xml-misc-warning</code></a>.</li>
+ <li>If <var>s</var> contains a character that is in the character
+ class <a href="#class-ControlChar10"><code>ControlChar10</code></a>,
+ then raise an
+ <a href="#xml-misc-warning" id=xmw-control-char><code>xml-misc-warning</code></a>.</li>
+ <li class=ed>@@ XML 1.1 support</li>
+ <li class=ed>@@ If U+000D, round-trip-error</li>
+ </ol>
+ <p>The algorithm
+ <dfn id=algorithm-to-validate-a-name title="to validate a Name">to validate a
+ <code>Name</code> (<dfn id=var-name-s><var>s</var></dfn>)</dfn> is defined
+ as following:</p>
+ <ol>
+ <li>If <var>s</var> begins with the string <code>xml</code> (in any
+ case combination), then raise an
+ <a href="#xml-misc-warning" id=xmw-reserved-name><code>xml-misc-warning</code></a>.
+ <span class=ed>@@ except for attribute names <code>xml:lang</code>,
+ <code>xml:space</code>, <code>xml:base</code>, <code>xml:id</code>,
+ <code>xmlns</code>, <code>xmlns:<var>*</var></code>,
+ pi name <code>xml-stylesheet</code>.</span></li>
+ <!-- COLON in Name is a lowercase "should not" in a Note of [XML10],
+ [XML11]. -->
+ <li class=ed>@@</li>
+ </ol>
+ <p>The algorithm
+ <dfn id=algorithm-to-validate-a-ncname title="to validate an NCName">to
+ validate an <code>NCName</code> (<dfn id=var-name><var>name</var></dfn>)</dfn>
+ is defined as following:</p>
+ <ol>
+ <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=checking-node>
+ <h3>Checking <code>Node</code></h3>
  <p>The algorithm <dfn title="to check a node" id=algorithm-to-check-a-node>to
  check a node (<dfn id=var-n><var>n</var></dfn>)</dfn> is defined as
  following:</p>
-Line 205 
 following:</p>
+Line 329 
 following:</p>
      <li>If the <code>prefix</code> attribute value is different from
      <code>null</code>, then <a href="#algorithm-to-validate-a-ncname">validate
      the <code>prefix</code> attribute value as an <code>NCName</code></a>.</li>
-     <li>If the <code>childNodes</code> list of <var>n</var> contains
+     <li>For each node <dfn id=var-attr-nc><var>n<sub><var>c</var></sub></var></dfn> in the
-     a node which is <em>not</em> <code>Text</code> or
-     <code>EntityReference</code> node, then it is a
-     <a href="#xml-well-formedness-error" id=wfe-attr-child><code>xml-well-formedness-error</code></a>.</li>
-     <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>, in
      <code>childNodes</code> list of <var>n</var>,
-     which is different from <code>EntityReference</code> recursively.</li>
+       <ol>
+       <li>If <var>n<sub><var>c</var></sub></var> is <em>not</em> a
+       <code>Text</code> or <code>EntityReference</code> node, then it is an
+       <a href="#xml-well-formedness-error" id=wfe-attr-child><code>xml-well-formedness-error</code></a>.</li>
+       <li>Otherwise, if <var>n<sub><var>c</var></sub></var> is an
+       <code>EntityReference</code> node, then it is an
+       <a href="#entity-error" id=ee-attr-er><code>entity-error</code></a>.</li>
+       <li>Otherwise,
+       <a href="#algorithm-to-check-a-node" title="check a node">check
+       <var>n<sub><var>c</var></sub></var></a> recusrively.</li>
+       </ol></li>
      <li class=ed>@@ <code>specified</code>,
      <code>manakaiAttributeType</code></li>
      </ol>
    </dd>
  <dt>If <var>n</var> is an <code>AttributeDefinition</code> node</dt>
-   <dd class=ed></dd>
+   <dd>
+     <ol>
+     <li class=ed></li>
+     <li>For each node <dfn id=var-ad-nc><var>n<sub><var>c</var></sub></var></dfn> in the
+     <code>childNodes</code> list of <var>n</var>,
+       <ol>
+       <li>If <var>n<sub><var>c</var></sub></var> is <em>not</em> a
+       <code>Text</code> or <code>EntityReference</code> node, then it is an
+       <a href="#xml-well-formedness-error" id=wfe-at-child><code>xml-well-formedness-error</code></a>.</li>
+       <li>Otherwise, if <var>n<sub><var>c</var></sub></var> is an
+       <code>EntityReference</code> node, then it is an
+       <a href="#entity-error" id=ee-at-er><code>entity-error</code></a>.</li>
+       <li>Otherwise,
+       <a href="#algorithm-to-check-a-node" title="check a node">check
+       <var>n<sub><var>c</var></sub></var></a> recusrively.</li>
+       </ol></li>
+     </ol>
+   </dd>
  <dt>If <var>n</var> is a <code>CDATASection</code> node</dt>
    <dd>
      <ol>
-Line 228 
 following:</p>
+Line 372 
 following:</p>
      <code>data</code> attribute value as an <abbr>XML</abbr> character
      data</a>.</li>
      <li>If the <code>data</code> attribute value contains
-     a string <code>]]></code>, then it is a
+     a string <code>]]></code>, then raise an
-     <a href="#xml-well-formedness-error" id=wfe-cs-mse><code>xml-well-formedness-error</code></a>.</li>
+     <a href="#xml-well-formedness-error" id=wfe-cs-mse><code>xml-well-formedness-error</code></a>.<!-- "for compatibility" --></li>
      <li>If the <code>childNodes</code> list of <var>n</var> contains
      any nodes, they are in
-     <a href="#xml-well-formedness-error" id=wfe-cs-child><code>xml-well-formedness-error</code></a>s.</li>
+     <a href="#xml-well-formedness-error" id=wfe-cs-child><code>xml-well-formedness-error</code></a>.</li>
      </ol>
    </dd>
  <dt>If <var>n</var> is a <code>Comment</code> node</dt>
    <dd>
      <ol>
+     <li>Raise an
+     <a href="#round-trip-warning" id=rtw-comment><code>round-trip-warning</code></a>.</li>
      <li><a href="#algorithm-to-validate-an-xml-character-data">Validate the
      <code>data</code> attribute value as an <abbr>XML</abbr> character
      data</a>.</li>
      <li>If the <code>data</code> attribute value contains
      a string <code>--</code>, or if it ends with a character
-     <code>-</code>, then it is a
+     <code>-</code>, then raise an
-     <a href="#xml-well-formedness-error" id=wfe-comment-com><code>xml-well-formedness-error</code></a>.</li>
+     <a href="#xml-well-formedness-error" id=wfe-comment-com><code>xml-well-formedness-error</code></a>.<!--
+     "for compatibility" --></li>
      <li>If the <code>childNodes</code> list of <var>n</var> contains
      any nodes, they are in
-     <a href="#xml-well-formedness-error" id=wfe-comment-child><code>xml-well-formedness-error</code></a>s.</li>
+     <a href="#xml-well-formedness-error" id=wfe-comment-child><code>xml-well-formedness-error</code></a>.</li>
      </ol>
    </dd>
  <dt>If <var>n</var> is a <code>Document</code> node</dt>
-Line 258 
 following:</p>
+Line 405 
 following:</p>
      then it is an <code class=ed>unknown-error?</code>.</li>
      <li>If the <code>xmlEncoding</code> attribute value does <em>not</em>
      match to <code>[A-Za-z] ([A-Za-z0-9._] | '-')*</code>
-     <span class=ed>@@ formal def</span>, then it is a
+     <span class=ed>@@ formal def</span>, then it is an
      <a href="#xml-well-formedness-error" id=wfe-encoding><code>xml-well-formedness-error</code></a>.</li>
      <li>The <code>childNodes</code> list of <var>n</var> have to
      consist of zero or more <code>Comment</code> and/or
-Line 268 
 following:</p>
+Line 415 
 following:</p>
      <code>ProcessingInstruction</code> nodes, followed by
      an <code>Element</code> node, followed
      by zero or more <code>Comment</code> and/or
-     <code>ProcessingInstruction</code> nodes.  Any violation to this is a
+     <code>ProcessingInstruction</code> nodes.  Any violation to this is an
      <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>, in
+     <li>For each node <dfn id=var-document-nc><var>n<sub><var>c</var></sub></var></dfn>
-     <code>childNodes</code> list of <var>n</var>,
+     in the <code>childNodes</code> list of <var>n</var>,
-     which is different from <code>EntityReference</code> recursively.</li>
+       <ol>
+       <li>If <var>n<sub><var>c</var></sub></var> is <em>not</em> an
+       <code>EntityReference</code> node, then
+       <a href="#algorithm-to-check-a-node" title="check a node">check
+       <var>n<sub><var>c</var></sub></var></a> recursively.</li>
+       </ol></li>
      <li class=ed>@@ <code>allDeclarationsProcessed</code></li>
      </ol>
    </dd>
  <dt>If <var>n</var> is a <code>DocumentFragment</code> node</dt>
    <dd>
      <ol>
-     <li>If the <code>childNodes</code> list of <var>n</var> contains
+     <li>For each node <dfn id=var-df-nc><var>n<sub><var>c</var></sub></var></dfn>
-     a node which is <em>not</em> <code>Element</code>,
+     in the <code>childNodes</code> list of <var>n</var>,
-     <code>Text</code>, <code>CDATASection</code>, <code>Comment</code>,
+       <ol>
-     <code>ProcessingInstruction</code>, or
+       <li>If <var>n<sub><var>c</var></sub></var> is <em>not</em> an
-     <code>EntityReference</code> node, then it is a
+       <code>Element</code>, <code>Text</code>, <code>CDATASection</code>,
-     <a href="#xml-well-formedness-error" id=wfe-df-child><code>xml-well-formedness-error</code></a>.</li>
+       <code>Comment</code>, <code>ProcessingInstruction</code>, or
-     <li>If the <code>childNodes</code> list of <var>n</var> contains
+       <code>EntityReference</code> node, then it is an
-     an <code>EntityReference</code> node, it is an
+       <a href="#xml-well-formedness-error" id=wfe-df-child><code>xml-well-formedness-error</code></a>.</li>
-     <a href="#entity-error" id=ee-er-in-df><code>entity-error</code></a>.</li>
+       <li>Otherwise, if <var>n<sub><var>c</var></sub></var> is an
-     <li><a href="#algorithm-to-check-a-node">Check each node</a>, in
+       <code>EntityReference</code> node, then it is an
-     <code>childNodes</code> list of <var>n</var>
+       <a href="#entity-error" id=ee-df-er><code>entity-error</code></a>.</li>
-     which is different from <code>EntityReference</code> recursively.</li>
+       <li>Otherwise,
+       <a href="#algorithm-to-check-a-node" title="check a node">check
+       <var>n<sub><var>c</var></sub></var></a> recursively.</li>
+       </ol></li>
      </ol>
    </dd>
  <dt>If <var>n</var> is a <code>DocumentType</code> node</dt>
-Line 298 
 following:</p>
+Line 453 
 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>
      <!-- publicId = non-null and systemId = null -->
-     <li>If the <code>childNodes</code> list of <var>n</var> contains
+     <li>For each node <dfn id=var-dt-nc><var>n<sub><var>c</var></sub></var></dfn>
-     a node which is <em>not</em> <code>ProcessingInstruction</code> node,
+     in the <code>childNodes</code> list of <var>n</var>,
-     then it is a
+       <ol>
-     <a href="#xml-well-formedness-error" id=wfe-dt-child><code>xml-well-formedness-error</code></a>.
+       <li>If <var>n<sub><var>c</var></sub></var> is <em>not</em> a
-     <span class=ed>@@ ref to manakai's extensions</span></li>
+       <code>ProcessingInstruction</code> node, then it is an
-     <li><a href="#algorithm-to-check-a-node">Check each node</a>, in
+       <a href="#xml-well-formedness-error" id=wfe-dt-child><code>xml-well-formedness-error</code></a>.
-     <code>childNodes</code> list of <var>n</var>,
+       <span class=ed>@@ ref to manakai's extensions</span></li>
-     which is different from <code>EntityReference</code> recursively.</li>
+       <li>Otherwise, <!-- if n_c is not an EntityReference node, -->
+       <a href="#algorithm-to-check-a-node" title="check a node">check
+       <var>n<sub><var>c</var></sub></var></a> recusrively.</li>
+       </ol></li>
      <li class=ed>@@ <code>entities</code>, <code>notations</code>,
      <code>elementTypes</code>, externally declared?</li>
      </ol>
-Line 330 
 following:</p>
+Line 482 
 following:</p>
      <li>If the <code>prefix</code> attribute value is different from
      <code>null</code>, then <a href="#algorithm-to-validate-a-ncname">validate
      the <code>prefix</code> attribute value as an <code>NCName</code></a>.</li>
-     <li>If the <code>childNodes</code> list of <var>n</var> contains
+     <li>For each node <dfn id=var-element-nc><var>n<sub><var>c</var></sub></var></dfn>
-     a node which is <em>not</em> <code>Element</code>,
+     in the <code>childNodes</code> list of <var>n</var>,
-     <code>Text</code>, <code>CDATASection</code>, <code>Comment</code>,
+       <ol>
-     <code>ProcessingInstruction</code>, or
+       <li>If <var>n<sub><var>c</var></sub></var> is <em>not</em> an
-     <code>EntityReference</code> node, then it is a
+       <code>Element</code>,
-     <a href="#xml-well-formedness-error" id=wfe-element-child><code>xml-well-formedness-error</code></a>.</li>
+       <code>Text</code>, <code>CDATASection</code>, <code>Comment</code>,
-     <li>If the <code>childNodes</code> list of <var>n</var> contains
+       <code>ProcessingInstruction</code>, or
-     an <code>EntityReference</code> node, it is an
+       <code>EntityReference</code> node, then it is an
-     <a href="#entity-error" id=ee-er-in-element><code>entity-error</code></a>.</li>
+       <a href="#xml-well-formedness-error" id=wfe-element-child><code>xml-well-formedness-error</code></a>.</li>
-     <li><a href="#algorithm-to-check-a-node">Check each node</a>, in
+       <li>Otherwise, if <var>n<sub><var>c</var></sub></var> is an
-     <code>childNodes</code> list of <var>n</var>,
+       <code>EntityReference</code> node, then it is an
-     which is different from <code>EntityReference</code> recursively.</li>
+       <a href="#entity-error" id=ee-element-er><code>entity-error</code></a>.</li>
+       <li>Otherwise,
+       <a href="#algorithm-to-check-a-node" title="check a node">check
+       <var>n<sub><var>c</var></sub></var></a> recursively.</li>
+       </ol></li>
      </ol>
    </dd>
  <dt>If <var>n</var> is an <code>ElementTypeDefinition</code> node</dt>
-   <dd class=ed></dd>
+   <dd>
+     <ol>
+     <li class=ed></li>
+     <li>If the <code>childNodes</code> list of <var>n</var> contains
+     any nodes, they are in
+     <a href="#xml-well-formedness-error" id=wfe-et-child><code>xml-well-formedness-error</code></a>.</li>
+     </ol>
+   </dd>
  <dt>If <var>n</var> is an <code>Entity</code> node</dt>
    <dd>
      <ol>
      <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>
      <!-- publicId = non-null and systemId = null -->
      <li class=ed>@@ <code>notationName</code></li>
-     <li>If the <code>childNodes</code> list of <var>n</var> contains
+     <li>For each node <dfn id=var-entity-nc><var>n<sub><var>c</var></sub></var></dfn>
-     a node which is <em>not</em> <code>Element</code>,
+     in the <code>childNodes</code> list of <var>n</var>,
-     <code>Text</code>, <code>CDATASection</code>, <code>Comment</code>,
+       <ol>
-     <code>ProcessingInstruction</code>, or
+       <li>If <var>n<sub><var>c</var></sub></var> is <em>not</em> an
-     <code>EntityReference</code> node, then it is a
+       <code>Element</code>,
-     <a href="#xml-well-formedness-error" id=wfe-entity-child><code>xml-well-formedness-error</code></a>.</li>
+       <code>Text</code>, <code>CDATASection</code>, <code>Comment</code>,
-     <li>If the <code>childNodes</code> list of <var>n</var> contains
+       <code>ProcessingInstruction</code>, or <code>EntityReference</code>
-     an <code>EntityReference</code> node, it is an
+       node, then it is an
-     <a href="#entity-error" id=ee-er-in-er><code>entity-error</code></a>.</li>
+       <a href="#xml-well-formedness-error" id=wfe-entity-child><code>xml-well-formedness-error</code></a>.</li>
-     <li><a href="#algorithm-to-check-a-node">Check each node</a>, in
+       <li>Otherwise, if <var>n<sub><var>c</var></sub></var> is an
-     <code>childNodes</code> list of <var>n</var>,
+       <code>EntityReference</code> node, then it is an
-     which is different from <code>EntityReference</code> recursively.</li>
+       <a href="#entity-error" id=ee-er-er><code>entity-error</code></a>.</li>
+       <li>Otherwise,
+       <a href="#algorithm-to-check-a-node" title="check a node">check
+       <var>n<sub><var>c</var></sub></var></a> recursively.</li>
+       </ol></li>
      </ol>
    </dd>
  <dt>If <var>n</var> is an <code>EntityReference</code> node</dt>
-Line 385 
 following:</p>
+Line 546 
 following:</p>
      <li>An <a href="#entity-error" id=ee-er-node><code>entity-error</code></a>.</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>childNodes</code> list of <var>n</var> contains
+     <li>For each node <dfn id=var-er-nc><var>n<sub><var>c</var></sub></var></dfn>
-     a node which is <em>not</em> <code>Element</code>,
+     in the <code>childNodes</code> list of <var>n</var>,
-     <code>Text</code>, <code>CDATASection</code>, <code>Comment</code>,
+       <ol>
-     <code>ProcessingInstruction</code>, or
+       <li>If <var>n<sub><var>c</var></sub></var> is <em>not</em> an
-     <code>EntityReference</code> node, then it is a
+       <code>Element</code>,
-     <a href="#xml-well-formedness-error" id=wfe-er-child><code>xml-well-formedness-error</code></a>.</li>
+       <code>Text</code>, <code>CDATASection</code>, <code>Comment</code>,
-     <li>If the <code>childNodes</code> list of <var>n</var> contains
+       <code>ProcessingInstruction</code>, or <code>EntityReference</code>
-     an <code>EntityReference</code> node, it is an
+       node, then it is an
-     <a href="#entity-error" id=ee-er-in-entity><code>entity-error</code></a>.</li>
+       <a href="#xml-well-formedness-error" id=wfe-er-child><code>xml-well-formedness-error</code></a>.</li>
-     <li><a href="#algorithm-to-check-a-node">Check each node</a>, in
+       <li>Otherwise, if <var>n<sub><var>c</var></sub></var> is <em>not</em> an
-     <code>childNodes</code> list of <var>n</var>,
+       <code>EntityReference</code> node, then it is an
-     which is different from <code>EntityReference</code> recursively.</li>
+       <a href="#entity-error" id=ee-entity-er><code>entity-error</code></a>.</li>
+       <li>Otherwise,
+       <a href="#algorithm-to-check-a-node" title="check a node">check
+       <var>n<sub><var>c</var></sub></var></a> recursively.</li>
+       </ol></li>
      </ol>
    </dd>
  <dt>If <var>n</var> is a <code>Notation</code> node</dt>
-Line 404 
 following:</p>
+Line 569 
 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>
      <li>If the <code>childNodes</code> list of <var>n</var> contains
      any nodes, they are in
-     <a href="#xml-well-formedness-error" id=wfe-notation-child><code>xml-well-formedness-error</code></a>s.</li>
+     <a href="#xml-well-formedness-error" id=wfe-notation-child><code>xml-well-formedness-error</code></a>.</li>
      </ol>
    </dd>
  <dt>If <var>n</var> is a <code>ProcessingInstruction</code> node</dt>
-Line 439 
 following:</p>
+Line 598 
 following:</p>
      <a href="#round-trip-error" id=rte-pi-data><code>round-trip-error</code></a>.</li>
      <li>If the <code>childNodes</code> list of <var>n</var> contains
      any nodes, they are in
-     <a href="#xml-well-formedness-error" id=wfe-pi-child><code>xml-well-formedness-error</code></a>s.</li>
+     <a href="#xml-well-formedness-error" id=wfe-pi-child><code>xml-well-formedness-error</code></a>.</li>
      </ol>
    </dd>
  <dt>If <var>n</var> is a <code>Text</code> node</dt>
-Line 450 
 following:</p>
+Line 609 
 following:</p>
      data</a>.</li>
      <li>If the <code>childNodes</code> list of <var>n</var> contains
      any nodes, they are in
-     <a href="#xml-well-formedness-error" id=wfe-text-child><code>xml-well-formedness-error</code></a>s.</li>
+     <a href="#xml-well-formedness-error" id=wfe-text-child><code>xml-well-formedness-error</code></a>.</li>
      </ol>
    </dd>
  <dt>Otherwise</dt>
    <dd><span class=ed>xml-well-formedness-error?  unknown-error?</span></dd>
  </dl>
- <p>The algorithm
- <dfn id=algorithm-to-validate-an-xml-character-data title-"to validate an XML character data">to
- validate an <abbr>XML</abbr> character data
- (<dfn id=var-s><var>s</var></dfn>)</dfn> is defined as following:</p>
- <ol>
- <li class=ed>@@</li>
- </ol>
- <p>The algorithm
- <dfn id=algorithm-to-validate-a-name title="to validate a Name">to validate a
- <code>Name</code> (<dfn id=var-name><var>name</var></dfn>)</dfn> is defined
- as following:</p>
- <ol>
- <li class=ed>@@</li>
- </ol>
- <p>The algorithm
- <dfn id=algorithm-to-validate-a-ncname title="to validate an NCName">to
- validate an <code>NCName</code> (<dfn id=var-name><var>name</var></dfn>)</dfn>
- is defined as following:</p>
- <ol>
- <li class=ed>@@</li>
- </ol>
  </div>
- <div class="section" id="examples">
+ </div>
- <h2>Examples</h2>
- <p class=section-info>This section is <em>non$B!>(Bnormative</em>.</p>
- <div class="ed issue">
+ <div id=classes class=section>
+ <h2>Character Classes</h2>
- <div class="example figure block">
+ <p>This section defines a couple of character classes.
- <div class="caption">...</div>
+ These classes are referred to by algorithms specified above.</p>
- <pre><code>...</code></pre>
+ <p>Character class <dfn id=class-Char10><code>Char10</code></dfn>
+ contains the following characters:</p>
+ <ul>
+ <li><code class=char>U+0009</code> <code class=charname>CHARACTER
+ TABULATION</code></li>
+ <li><code class=char>U+000A</code> <code class=charname>LINE FEED</code></li>
+ <li><code class=char>U+000D</code> <code class=charname>CARRIAGE
+ RETURN</code></li>
+ <li><code class=char>U+0020</code> <code class=charname>SPACE</code>
+ .. <code class=char>U+D7FF</code></li>
+ <li><code class=char>U+E000</code> .. <code class=char>U+FFFD</code>
+ <code class=charname>REPLACEMENT CHARACTER</code></li>
+ <li><code class=char>U+10000</code> .. <code class=char>U+10FFFF</code></li>
+ </ul>
+ <div class="note memo">
+ <p>This character class contains all characters allowed in the production rule
+ <a href="http://www.w3.org/TR/2006/REC-xml-20060816/#NT-Char"><code>Char</code></a>
+ of <abbr>XML</abbr> 1.0
+ <cite class="bibref normative">[<a href="#ref-XML10">XML10</a>]</cite>.</p>
  </div>
+ <p>Character class <dfn id=class-CompatChar10><code>CompatChar10</code></dfn>
+ contains the following characters:</p>
+ <ul>
+ <li class=ed>@@ <q>Document authors are encouraged to avoid "compatibility characters", as defined in section 6.8 of [Unicode @@ Unicode 2.0 @@] (see also D21 in section 3.6 of [Unicode3]).</q></li>
+ </ul>
+ <p>Character class <dfn id=class-ControlChar10><code>ControlChar10</code></dfn>
+ contains the following characters:</p>
+ <ul>
+ <li><code class=char>U+007F</code> <code class=charname>DELETE</code> ..
+ <code class=char>U+0084</code> <code class=charname>INDEX</code></li>
+ <li><code class=char>U+0086</code> <code class=charname>START OF SELECTED
+ AREA</code> .. <code class=char>U+009F</code> <code class=charname>APPLICATION
+ PROGRAM COMMAND</code></li>
+ <li><code class=char>U+FDD0</code> .. <code class=char>U+FDEF</code></li>
+ <li><code class=char>U+1FFFE</code> .. <code class=char>U+1FFFF</code></li>
+ <li><code class=char>U+2FFFE</code> .. <code class=char>U+2FFFF</code></li>
+ <li><code class=char>U+3FFFE</code> .. <code class=char>U+3FFFF</code></li>
+ <li><code class=char>U+4FFFE</code> .. <code class=char>U+4FFFF</code></li>
+ <li><code class=char>U+5FFFE</code> .. <code class=char>U+5FFFF</code></li>
+ <li><code class=char>U+6FFFE</code> .. <code class=char>U+6FFFF</code></li>
+ <li><code class=char>U+7FFFE</code> .. <code class=char>U+7FFFF</code></li>
+ <li><code class=char>U+8FFFE</code> .. <code class=char>U+8FFFF</code></li>
+ <li><code class=char>U+9FFFE</code> .. <code class=char>U+9FFFF</code></li>
+ <li><code class=char>U+AFFFE</code> .. <code class=char>U+AFFFF</code></li>
+ <li><code class=char>U+BFFFE</code> .. <code class=char>U+BFFFF</code></li>
+ <li><code class=char>U+CFFFE</code> .. <code class=char>U+CFFFF</code></li>
+ <li><code class=char>U+DFFFE</code> .. <code class=char>U+DFFFF</code></li>
+ <li><code class=char>U+EFFFE</code> .. <code class=char>U+EFFFF</code></li>
+ <li><code class=char>U+FFFFE</code> .. <code class=char>U+FFFFF</code></li>
+ <li><code class=char>U+10FFFE</code> .. <code class=char>U+10FFFF</code></li>
+ </ul>
+ <div class="note memo">
+ <p>This character class contains the characters listed in the Note in
+ <a href="http://www.w3.org/TR/2006/REC-xml-20060816/#charsets">Section 2.2</a>
+ of <abbr>XML</abbr> 1.0
+ <cite class="bibref normative">[<a href="#ref-XML10">XML10</a>]</cite>,
+ as amended by
+ <a href="http://www.w3.org/XML/xml-V10-4e-errata#E02">errata</a>.</p>
  </div>
  </div>

 Legend:



Removed from v.1.4
 


changed lines


 
Added in v.1.12
 Legend:



Removed from v.1.4
 


changed lines


 
Added in v.1.12
-Removed from v.1.4
+Added in v.1.12

admin@suikawiki.org	ViewVC Help
Powered by ViewVC 1.1.24