/[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.17 by wakaba,
Sat Dec  1 12:19:41 2007 UTC
+revision 1.19 by wakaba,
Sat Dec  1 14:51:45 2007 UTC
 Line 314 
 is that of the <code>Document</code> nod
  <div class=section id=checking-components>
- <h3>Checking Components</h3>
+ <h3>Conformance Checking Algorithms for Components</h3>
- <p>The algorithm
+ <p>To
- <dfn id=algorithm-to-validate-an-xml-character-data title-"to validate an XML character data">to
+ <dfn id=algorithm-to-validate-an-xml-character-data title="validate an XML string">to
- validate an <abbr>XML</abbr> character data
+ validate an <abbr>XML</abbr> string (<dfn id=var-s><var>s</var></dfn>)</dfn>,
- (<dfn id=var-s><var>s</var></dfn>)</dfn> is defined as following:</p>
+ the following algorithm <em class=rfc2119>MUST</em> be used:</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>,
 Line 344 
 U+000D will be serialized as &#x000D; (s
  will be raised).</span></li>
  </ol>
- <p>The algorithm
+ <p>To
- <dfn id=algorithm-to-validate-a-name title="to validate a Name">to validate a
+ <dfn id=algorithm-to-validate-a-name title="validate a Name">validate a
- <code>Name</code> (<dfn id=var-name-s><var>s</var></dfn>)</dfn> is defined
+ <code>Name</code> (<dfn id=var-name-s><var>s</var></dfn>)</dfn>, the following
- as following:</p>
+ algorithm <em class=rfc2119>MUST</em> be used:</p>
  <ol>
+ <li>If <var>s</var> is an empty string, then raise an
+ <a href="#xml-well-formedness-error" id=wfe-name-empty><code>xml-well-formedness-error</code></a>.
+ Abort these steps.</li>
+ <li><a href="#algorithm-to-validate-an-xml-character-data" title="validate an XML string">Validate
+ <var>s</var> as an <abbr>XML</abbr> string</a>.</li>
+ <li>If the first character in <var>s</var> is a character that is
+ <em>not</em> in the character class
+ <a href="#class-NameStartChar10"><code>NameStartChar10</code></a>, then raise
+ an
+ <a href="#xml-well-formedness-error" id=wfe-name-startchar><code>xml-well-formedness-error</code></a>.</li>
+ <li>If a character other than the first character in <var>s</var> is a
+ character that is <em>not</em> in the character class
+ <a href="#class-NameChar10"><code>NameChar10</code></a>, then raise an
+ <a href="#xml-well-formedness-error" id=wfe-name-char><code>xml-well-formedness-error</code></a>.</li>
  <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>.
-Line 357 
 case combination), then raise an
+Line 371 
 case combination), then raise an
  <code>xmlns</code>, <code>xmlns:<var>*</var></code>,
  pi name <code>xml-stylesheet</code>.</span><!--
  "names beginning with a match to (('X'|'x')('M'|'m')('L'|'l')) are reserved for standardization in this or future versions of this specification.":
- xml:base and xml:id specifications violate to this sentense!
+ xmlns, xml-stylesheet, xml:base and xml:id specifications violate to this sentense!
  --></li>
  <!-- COLON in Name is a lowercase "should not" in a Note of [XML10],
  [XML11]. -->
- <li class=ed>@@</li>
+ <li class=ed>@@ XML 1.1 support</li>
  </ol>
- <p>The algorithm
+ <p>To
- <dfn id=algorithm-to-validate-a-ncname title="to validate an NCName">to
+ <dfn id=algorithm-to-validate-an-ncname title="validate an NCName">validate
- validate an <code>NCName</code> (<dfn id=var-name><var>name</var></dfn>)</dfn>
+ an <code>NCName</code> (<dfn id=var-ncname-s><var>s</var></dfn>)</dfn>, the
- is defined as following:</p>
+ following algorithm <em class=rfc2119>MUST</em> be used:</p>
  <ol>
+ <li><a href="#algorithm-to-validate-a-name" title="validate a Name">Validate
+ <var>s</var> as a <code>Name</code></a>.</li>
  <li class=ed>@@</li>
  </ol>
- <p>To <dfn id=algorithm-to-validate-a-public-identifier title="validate a public identifier">validate
+ <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>
+ following algorithm <em class=rfc2119>MUST</em> be used:</p>
  <ol>
+   <li>If <var>pid</var> is <code>null</code>, abort these steps.</li>
    <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 -->,
-Line 392 
 algorithm below <em class=rfc2119>MUST</
+Line 410 
 algorithm below <em class=rfc2119>MUST</
    <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>
+   <a href="#round-trip-error" id=rte-pubid-space><code>round-trip-error</code></a>.
+   <span class=ed>Is this really a roundtripness problem?  XML spec
+   does only define the way to match public identifiers in fact, no
+   canonical form.</span></li>
    <li class=ed>@@ Should we check formal-public-identifierness?</li>
  </ol>
+ <p>To
+ <dfn id=algorithm-to-validate-a-system-identifier title="validate a system identifier">validate
+ a system identifier (<dfn id=var-sid><var>sid</var></dfn>)</dfn>, the
+ following algorithm <em class=rfc2119>MUST</em> be used:</p>
+ <ol>
+   <li>If <var>sid</var> is <code>null</code>, abort these steps.</li>
+ <li><a href="#algorithm-to-validate-an-xml-character-data" title="validate an XML string">Validate
+ <var>sid</var> as an <abbr>XML</abbr> string</a>.</li>
+   <li>If <var>sid</var> contains both <code class=char>U+0022</code>
+   <code class=charname>QUOTATION MARK</code> (<code class=char>"</code>) and
+   <code class=char>U+0027</code> <code class=charname>APOSTROPHE</code>
+   (<code class=char>'</code>) characters, raise an
+   <a href="#xml-well-formedness-error" id=wfe-sid-lit><code>xml-well-formedness-error</code></a>.</li>
+   <li>If <var>sid</var> contains at least one <code class=char>U+0023</code>
+   <code class=charname>NUMBER SIGN</code> (<code class=char>#</code>)
+   character, then raise an
+   <a href="#xml-misc-error" id=xme-sid-fragment><code>xml-misc-error</code></a>.</li>
+   <li class=ed>@@ If <var>sid</var> cannot be converted to a URI
+   reference, then raise a fact-level error (xml-misc-warning?).<!--
+   XML 1.0 has no conformance language for system identifier being
+   a URI reference. --></li>
+ </ol>
  </div>
  <div class=section id=checking-node>
-Line 408 
 following:</p>
+Line 452 
 following:</p>
  <dt>If <var>n</var> is an <code>Attr</code> node</dt>
    <dd>
      <ol>
-     <li><a href="#algorithm-to-validate-a-ncname">Validate the
+     <li><a href="#algorithm-to-validate-an-ncname">Validate the
      <code>localName</code> attribute value as an <code>NCName</code></a>.</li>
      <li>If the <code>prefix</code> attribute value is different from
-     <code>null</code>, then <a href="#algorithm-to-validate-a-ncname">validate
+     <code>null</code>, then <a href="#algorithm-to-validate-an-ncname">validate
      the <code>prefix</code> attribute value as an <code>NCName</code></a>.</li>
      <li>For each node <dfn id=var-attr-nc><var>n<sub><var>c</var></sub></var></dfn> in the
      <code>childNodes</code> list of <var>n</var>,
-Line 547 
 following:</p>
+Line 591 
 following:</p>
  <dt>If <var>n</var> is a <code>CDATASection</code> node</dt>
    <dd>
      <ol>
-     <li><a href="#algorithm-to-validate-an-xml-character-data">Validate the
+     <li><a href="#algorithm-to-validate-an-xml-character-data" title="validate an XML string">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
-Line 563 
 following:</p>
+Line 607 
 following:</p>
      <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
+     <li><a href="#algorithm-to-validate-an-xml-character-data" title="validate an XML string">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
-Line 630 
 following:</p>
+Line 674 
 following:</p>
  <dt>If <var>n</var> is a <code>DocumentType</code> node</dt>
    <dd>
      <ol>
-     <li><a href="#algorithm-to-validate-a-ncname">Validate the
+     <li><a href="#algorithm-to-validate-an-ncname">Validate the
      <code>nodeName</code> attribute value as an <code>NCName</code></a>.</li>
      <li>Follow the following substeps:
        <ol>
-Line 649 
 following:</p>
+Line 693 
 following:</p>
      </li>
      <li><a href="#algorithm-to-validate-a-public-identifier" title="validate a public identifier">Validate
      the <code>publicId</code> attribute value as a public identifier</a>.</li>
-     <li>If the <code>systemId</code> attribute value contains
+     <li><a href="#algorithm-to-validate-a-system-identifier" title="validate a system identifier">Validate
-     both <code>"</code> and <code>'</code> characters, it is a
+     the <code>systemId</code> attribute value as a system identifier</a>.</li>
-     <a href="#xml-well-formedness-error" id=wfe-dt-system-id><code>xml-well-formedness-error</code></a>.</li>
+     <li>If the <code>publicId</code> attribute value of <var>n</var> is
-     <!-- @@ "It is an error for a fragment identifier (beginning with a # character) to be part of a system identifier." -->
+     <em>not</em> <code>null</code> and the <code>systemId</code> attribute
-     <!-- publicId = non-null and systemId = null -->
+     value of <var>n</var> is <code>null</code>, then raise an
+     <a href="#xml-well-formedness-error" id=wfe-dt-sid><code>xml-well-formedness-error</code></a>.
+     <span class=ed>@@ publicId == null?  Or, publicId == ""</span></li>
      <li>For each node <dfn id=var-dt-nc><var>n<sub><var>c</var></sub></var></dfn>
      in the <code>childNodes</code> list of <var>n</var>,
        <ol>
-Line 665 
 following:</p>
+Line 711 
 following:</p>
        <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>,
+     <li>For each node in the <code>entities</code>, <code>notations</code>,
-     <code>elementTypes</code>, externally declared?</li>
+     and <code>elementTypes</code> lists of <var>n</var>,
+     <a href="#algorithm-to-check-a-node" title="check a node">check the
+     node</a> recursively.</li>
+     <li class=ed>@@ externally declared?</li>
      </ol>
    </dd>
  <dt>If <var>n</var> is an <code>Element</code> node</dt>
    <dd>
      <ol>
-     <li><a href="#algorithm-to-validate-a-ncname">Validate the
+     <li><a href="#algorithm-to-validate-an-ncname">Validate the
      <code>localName</code> attribute value as an <code>NCName</code></a>.</li>
      <li>If the <code>prefix</code> attribute value is different from
-     <code>null</code>, then <a href="#algorithm-to-validate-a-ncname">validate
+     <code>null</code>, then <a href="#algorithm-to-validate-an-ncname">validate
      the <code>prefix</code> attribute value as an <code>NCName</code></a>.</li>
      <li>For each node <dfn id=var-element-nc><var>n<sub><var>c</var></sub></var></dfn>
      in the <code>childNodes</code> list of <var>n</var>,
-Line 694 
 following:</p>
+Line 743 
 following:</p>
        <var>n<sub><var>c</var></sub></var></a> recursively.</li>
        </ol></li>
      <li class=ed>@@ #elementvalid Validity constraint: Element Valid</li>
-     <li class=ed>@@ #uniqattspec Well-formedness constraint: Unique Att Spec</li>
+     <li>Let <var>attrs</var> be the value of the <code>attribute</code>
-     <li class=ed>@@ #RequiredAttr Validity constraint: Required Attribute</li>
+     attribute of <var>n</var>.  Check conformance of <var>attrs</var>
+     as following:
+       <ol>
+       <li>If <var>attrs</var> contains an <code>Attr</code> node whose
+       <code>nodeName</code> attribute value is equal to that of another
+       <code>Attr</code> node in <var>attrs</var>, then raise an
+       <a href="#xml-well-formedness-error" id=wfe-uniqattspec><code>xml-well-formedness-error</code></a>.<!--
+       #uniqattspec Well-formedness constraint: Unique Att Spec --></li>
+       <li class=ed>@@ #RequiredAttr Validity constraint: Required Attribute</li>
+       </ol>
+     </li>
      </ol>
    </dd>
  <dt>If <var>n</var> is an <code>ElementTypeDefinition</code> node</dt>
-Line 723 
 following:</p>
+Line 782 
 following:</p>
      <li class=ed>"For interoperability, the same Nmtoken  SHOULD NOT occur more than once in the enumerated attribute types of a single element type."</li>
      </ol>
    </dd>
- <dt>If <var>n</var> is an <code>Entity</code> node</dt>
+ <dt>If <var>n</var> is an <code>Entity</code> node whose
+ <code>notationName</code> attribute value is <code>null</code> (i.e. a
+ parsed entity)</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>Raise an
-     <li><a href="#algorithm-to-validate-a-ncname">Validate the
+     <a href="#entity-error" id=ee-entity-node><code>entity-error</code></a>.</li>
+     <li><a href="#algorithm-to-validate-an-ncname">Validate the
      <code>nodeName</code> attribute value as an <code>NCName</code></a>.</li>
      <li><a href="#algorithm-to-validate-a-public-identifier" title="validate a public identifier">Validate
      the <code>publicId</code> attribute value as a public identifier</a>.</li>
-     <li>If the <code>systemId</code> attribute value contains
+     <li><a href="#algorithm-to-validate-a-system-identifier" title="validate a system identifier">Validate
-     both <code>"</code> and <code>'</code> characters, it is a
+     the <code>systemId</code> attribute value as a system identifier</a>.</li>
-     <a href="#xml-well-formedness-error" id=wfe-dt-system-id><code>xml-well-formedness-error</code></a>.</li>
+     <li>If the <code>publicId</code> attribute value of <var>n</var> is
-     <!-- publicId = non-null and systemId = null -->
+     <em>not</em> <code>null</code> and the <code>systemId</code> attribute
-     <li class=ed>@@ <code>notationName</code></li>
+     value of <var>n</var> is <code>null</code>, then raise an
-     <li class=ed>@@ #not-declared Validity constraint: Notation Declared</li>
+     <a href="#xml-well-formedness-error" id=wfe-entity-sid><code>xml-well-formedness-error</code></a>.</li>
      <li>For each node <dfn id=var-entity-nc><var>n<sub><var>c</var></sub></var></dfn>
      in the <code>childNodes</code> list of <var>n</var>,
        <ol>
-Line 755 
 following:</p>
+Line 817 
 following:</p>
        </ol></li>
      </ol>
    </dd>
+ <dt>If <var>n</var> is an <code>Entity</code> node whose
+ <code>notationName</code> attribute value is <em>not</em> <code>null</code>
+ (i.e. an unparsed entity)</dt>
+   <dd>
+     <ol>
+     <li><a href="#algorithm-to-validate-an-ncname">Validate the
+     <code>nodeName</code> attribute value as an <code>NCName</code></a>.</li>
+     <li><a href="#algorithm-to-validate-a-public-identifier" title="validate a public identifier">Validate
+     the <code>publicId</code> attribute value as a public identifier</a>.</li>
+     <li><a href="#algorithm-to-validate-a-system-identifier" title="validate a system identifier">Validate
+     the <code>systemId</code> attribute value as a system identifier</a>.</li>
+     <li>If the <code>systemId</code> attribute value of <var>n</var> is
+     <code>null</code>, then raise an
+     <a href="#xml-well-formedness-error" id=wfe-uentity-sid><code>xml-well-formedness-error</code></a>.</li>
+     <li><a href="#algorithm-to-validate-an-ncname">Validate the
+     <code>notationName</code> attribute value of <var>n</var> as an
+     <code>NCName</code></a>.</li>
+     <li class=ed>@@ #not-declared Validity constraint: Notation Declared</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-uentity-child><code>xml-well-formedness-error</code></a>.</li>
+     </ol>
+   </dd>
  <dt>If <var>n</var> is an <code>EntityReference</code> node</dt>
    <dd>
      <ol>
      <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
+     <li><a href="#algorithm-to-validate-an-ncname">Validate the
      <code>nodeName</code> attribute value as an <code>NCName</code></a>.</li>
      <li>For each node <dfn id=var-er-nc><var>n<sub><var>c</var></sub></var></dfn>
      in the <code>childNodes</code> list of <var>n</var>,
-Line 782 
 following:</p>
+Line 867 
 following:</p>
  <dt>If <var>n</var> is a <code>Notation</code> node</dt>
    <dd>
      <ol>
-     <li><a href="#algorithm-to-validate-a-ncname">Validate the
+     <li><a href="#algorithm-to-validate-an-ncname">Validate the
      <code>nodeName</code> attribute value as an <code>NCName</code></a>.</li>
      <li><a href="#algorithm-to-validate-a-public-identifier" title="validate a public identifier">Validate
      the <code>publicId</code> attribute value as a public identifier</a>.</li>
-     <li>If the <code>systemId</code> attribute value contains
+     <li><a href="#algorithm-to-validate-a-system-identifier" title="validate a system identifier">Validate
-     both <code>"</code> and <code>'</code> characters, it is a
+     the <code>systemId</code> attribute value as a system identifier</a>.</li>
-     <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>.</li>
-Line 800 
 following:</p>
+Line 884 
 following:</p>
      <li>If the <code>target</code> attribute value matches to the string
      <code>xml</code> in any case combination, then raise a
      <a href="#xml-well-formedness-error" id=wfe-pi-xml><code>xml-well-formedness-error</code></a>.</li>
-     <li>Otherwise, <a href="#algorithm-to-validate-a-ncname">validate the
+     <li>Otherwise, <a href="#algorithm-to-validate-an-ncname">validate the
      <code>target</code> attribute value as an <code>NCName</code></a>.</li>
      <li>Then,
-     <a href="#algorithm-to-validate-an-xml-character-data" title="validate an XML character data">validate
+     <a href="#algorithm-to-validate-an-xml-character-data" title="validate an XML string">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
-Line 824 
 following:</p>
+Line 908 
 following:</p>
  <dt>If <var>n</var> is a <code>Text</code> node</dt>
    <dd>
      <ol>
-     <li><a href="#algorithm-to-validate-an-xml-character-data">Validate the
+     <li><a href="#algorithm-to-validate-an-xml-character-data" title="validate an XML string">Validate the
      <code>data</code> attribute value as an <abbr>XML</abbr> character
      data</a>.</li>
      <li>If the <code>childNodes</code> list of <var>n</var> contains
-Line 908 
 as amended by
+Line 992 
 as amended by
  <a href="http://www.w3.org/XML/xml-V10-4e-errata#E02">errata</a>.</p>
  </div>
+ <p>The character class <dfn id=class-NameStartChar10><code>NameStartChar10</code></dfn>
+ contains the following characters:</p>
+ <ul class=ed>
+ </ul>
+ <p>The character class <dfn id=class-NameChar10><code>NameChar10</code></dfn>
+ contains the following characters:</p>
+ <ul>
+ <li>The characters in the character class
+ <a href="#class-NameStartChar10">NameStartChar10</a>.</li>
+ <li class=ed></li>
+ </ul>
  </div>
  <div id="references" class="section reference">

 Legend:



Removed from v.1.17
 


changed lines


 
Added in v.1.19
 Legend:



Removed from v.1.17
 


changed lines


 
Added in v.1.19
-Removed from v.1.17
+Added in v.1.19

admin@suikawiki.org	ViewVC Help
Powered by ViewVC 1.1.24