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

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

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 1.16 by wakaba, Mon Nov 26 12:38:53 2007 UTC revision 1.19 by wakaba, Sat Dec 1 14:51:45 2007 UTC
# Line 18  Line 18 
18    
19  <div class="header">  <div class="header">
20  <h1>manakai's <abbr>XML</abbr> Conformance Checking</h1>  <h1>manakai's <abbr>XML</abbr> Conformance Checking</h1>
21  <h2>Working Draft <time datetime=2007-11-26>26 November 2007</time></h2>  <h2>Working Draft <time datetime=2007-12-01>1 December 2007</time></h2>
22    
23  <dl class="versions-uri">  <dl class="versions-uri">
24  <dt>This Version</dt>  <dt>This Version</dt>
# Line 135  into a well$B!>(Bformed XML document. Line 135  into a well$B!>(Bformed XML document.
135  can be easily serialized into a valid XML document.</p>  can be easily serialized into a valid XML document.</p>
136  </div>  </div>
137    
138    <p class=ed>To be a conforming <a href="http://www.w3.org/TR/2006/REC-xml-20060816/#dt-validating">validating XML processor</a>,
139    ...</p>
140    
141  <p>Errors are classified into these  <p>Errors are classified into these
142  <dfn id=error-category title="error category">error categories</dfn>:</p>  <dfn id=error-category title="error category">error categories</dfn>:</p>
143    
# Line 251  declared <code>EMPTY</code>, then raise Line 254  declared <code>EMPTY</code>, then raise
254  #vc-PEinGroup Validity constraint: Proper Group/PE Nesting  #vc-PEinGroup Validity constraint: Proper Group/PE Nesting
255  "For interoperability, if a parameter-entity reference appears in a choice, seq, or Mixed construct, its replacement text SHOULD contain at least one non-blank character, and neither the first nor last non-blank character of the replacement text SHOULD be a connector (| or ,)."  "For interoperability, if a parameter-entity reference appears in a choice, seq, or Mixed construct, its replacement text SHOULD contain at least one non-blank character, and neither the first nor last non-blank character of the replacement text SHOULD be a connector (| or ,)."
256  "For interoperability, an XML processor MAY at user option issue a warning when more than one attribute-list declaration is provided for a given element type, or more than one attribute definition is provided for a given attribute, but this is not an error."  "For interoperability, an XML processor MAY at user option issue a warning when more than one attribute-list declaration is provided for a given element type, or more than one attribute definition is provided for a given attribute, but this is not an error."
257    #condsec-nesting Validity constraint: Proper Conditional Section/PE Nesting
258    #wf-Legalchar Well-formedness constraint: Legal Character
259    #textent Well-formedness constraint: Parsed Entity
260    #norecursion Well-formedness constraint: No Recursion
261    #indtd Well-formedness constraint: In DTD
262    "External parsed entities SHOULD each begin with a text declaration."
263    "It is an error for a reference to an unparsed entity to appear in the EntityValue in an entity declaration."
264    #UniqueNotationName Validity constraint: Unique Notation Name
265    
266  @@ Need detailed review, but maybe should be in parsing phase  @@ Need detailed review, but maybe should be in parsing phase
267    
268  #vc-check-rmd Validity constraint: Standalone Document Declaration  #vc-check-rmd Validity constraint: Standalone Document Declaration
269    
270    @@ Need dtailed review
271    
272    #wf-entdeclared Well-formedness constraint: Entity Declared
273    #vc-entdeclared Validity constraint: Entity Declared
274    "For interoperability, valid documents SHOULD declare the entities amp, lt, gt, apos, quot, in the form specified in 4.6 Predefined Entities."
275    "If the entities lt or amp are declared, they MUST be declared as internal entities whose replacement text is a character reference to the respective character (less-than sign or ampersand) being escaped; the double escaping is REQUIRED for these entities so that references to them produce a well-formed result. If the entities gt, apos, or quot are declared, they MUST be declared as internal entities whose replacement text is the single character being escaped (or a character reference to that character; the double escaping here is OPTIONAL but harmless)."
276    
277    @@ flaged and then reported in DOM check phase
278    
279    "Entities encoded in UTF-16 MUST and entities encoded in UTF-8 MAY begin with the Byte Order Mark"
280    "In the absence of external character encoding information (such as MIME headers), parsed entities which are stored in an encoding other than UTF-8 or UTF-16 MUST begin with a text declaration"
281    "In an encoding declaration, the values "UTF-8", "UTF-16", "ISO-10646-UCS-2", and "ISO-10646-UCS-4" SHOULD be used for the various encodings and transformations of Unicode / ISO/IEC 10646, the values "ISO-8859-1", "ISO-8859-2", ... "ISO-8859-n" (where n is the part number) SHOULD be used for the parts of ISO 8859, and the values "ISO-2022-JP", "Shift_JIS", and "EUC-JP" SHOULD be used for the various encoded forms of JIS X-0208-1997. It is RECOMMENDED that character encodings registered (as charsets) with the Internet Assigned Numbers Authority [IANA-CHARSETS], other than those just listed, be referred to using their registered names; other encodings SHOULD use names starting with an "x-" prefix."
282    
283    @@ in parsing phase
284    
285    "It is a fatal error when an XML processor encounters an entity with an encoding that it is unable to process. It is a fatal error if an XML entity is determined (via default, encoding declaration, or higher-level protocol) to be in a certain encoding but contains byte sequences that are not legal in that encoding."
286    
287  -->  -->
288  </ul>  </ul>
289  </div>  </div>
# Line 286  is that of the <code>Document</code> nod Line 314  is that of the <code>Document</code> nod
314    
315    
316  <div class=section id=checking-components>  <div class=section id=checking-components>
317  <h3>Checking Components</h3>  <h3>Conformance Checking Algorithms for Components</h3>
318    
319  <p>The algorithm  <p>To
320  <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
321  validate an <abbr>XML</abbr> character data  validate an <abbr>XML</abbr> string (<dfn id=var-s><var>s</var></dfn>)</dfn>,
322  (<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>
323  <ol>  <ol>
324  <li>If <var>s</var> contains a character that is <em>not</em> in  <li>If <var>s</var> contains a character that is <em>not</em> in
325  the character class <a href="#class-Char10"><code>Char10</code></a>,  the character class <a href="#class-Char10"><code>Char10</code></a>,
# Line 316  U+000D will be serialized as &#x000D; (s Line 344  U+000D will be serialized as &#x000D; (s
344  will be raised).</span></li>  will be raised).</span></li>
345  </ol>  </ol>
346    
347  <p>The algorithm  <p>To
348  <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
349  <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
350  as following:</p>  algorithm <em class=rfc2119>MUST</em> be used:</p>
351  <ol>  <ol>
352    <li>If <var>s</var> is an empty string, then raise an
353    <a href="#xml-well-formedness-error" id=wfe-name-empty><code>xml-well-formedness-error</code></a>.
354    Abort these steps.</li>
355    <li><a href="#algorithm-to-validate-an-xml-character-data" title="validate an XML string">Validate
356    <var>s</var> as an <abbr>XML</abbr> string</a>.</li>
357    <li>If the first character in <var>s</var> is a character that is
358    <em>not</em> in the character class
359    <a href="#class-NameStartChar10"><code>NameStartChar10</code></a>, then raise
360    an
361    <a href="#xml-well-formedness-error" id=wfe-name-startchar><code>xml-well-formedness-error</code></a>.</li>
362    <li>If a character other than the first character in <var>s</var> is a
363    character that is <em>not</em> in the character class
364    <a href="#class-NameChar10"><code>NameChar10</code></a>, then raise an
365    <a href="#xml-well-formedness-error" id=wfe-name-char><code>xml-well-formedness-error</code></a>.</li>
366  <li>If <var>s</var> begins with the string <code>xml</code> (in any  <li>If <var>s</var> begins with the string <code>xml</code> (in any
367  case combination), then raise an  case combination), then raise an
368  <a href="#xml-misc-warning" id=xmw-reserved-name><code>xml-misc-warning</code></a>.  <a href="#xml-misc-warning" id=xmw-reserved-name><code>xml-misc-warning</code></a>.
# Line 329  case combination), then raise an Line 371  case combination), then raise an
371  <code>xmlns</code>, <code>xmlns:<var>*</var></code>,  <code>xmlns</code>, <code>xmlns:<var>*</var></code>,
372  pi name <code>xml-stylesheet</code>.</span><!--  pi name <code>xml-stylesheet</code>.</span><!--
373  "names beginning with a match to (('X'|'x')('M'|'m')('L'|'l')) are reserved for standardization in this or future versions of this specification.":  "names beginning with a match to (('X'|'x')('M'|'m')('L'|'l')) are reserved for standardization in this or future versions of this specification.":
374  xml:base and xml:id specifications violate to this sentense!  xmlns, xml-stylesheet, xml:base and xml:id specifications violate to this sentense!
375  --></li>  --></li>
376  <!-- COLON in Name is a lowercase "should not" in a Note of [XML10],  <!-- COLON in Name is a lowercase "should not" in a Note of [XML10],
377  [XML11]. -->  [XML11]. -->
378  <li class=ed>@@</li>  <li class=ed>@@ XML 1.1 support</li>
379  </ol>  </ol>
380    
381  <p>The algorithm  <p>To
382  <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
383  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
384  is defined as following:</p>  following algorithm <em class=rfc2119>MUST</em> be used:</p>
385  <ol>  <ol>
386    <li><a href="#algorithm-to-validate-a-name" title="validate a Name">Validate
387    <var>s</var> as a <code>Name</code></a>.</li>
388  <li class=ed>@@</li>  <li class=ed>@@</li>
389  </ol>  </ol>
390    
391  <p>To <dfn id=algorithm-to-validate-a-public-identifier title="validate a public identifier">validate  <p>To
392    <dfn id=algorithm-to-validate-a-public-identifier title="validate a public identifier">validate
393  a public identifier (<dfn id=var-pid><var>pid</var></dfn>)</dfn>, the  a public identifier (<dfn id=var-pid><var>pid</var></dfn>)</dfn>, the
394  algorithm below <em class=rfc2119>MUST</em> be used:</p>  following algorithm <em class=rfc2119>MUST</em> be used:</p>
395  <ol>  <ol>
396      <li>If <var>pid</var> is <code>null</code>, abort these steps.</li>
397    <li>If <var>pid</var> contains any character    <li>If <var>pid</var> contains any character
398    that is outside of the range of <code>#x20 | #xD | #xA |    that is outside of the range of <code>#x20 | #xD | #xA |
399    [a-zA-Z0-9] | [-'()+,./:=?;!*#@$_%]</code><!-- @@ TODO: formal def -->,    [a-zA-Z0-9] | [-'()+,./:=?;!*#@$_%]</code><!-- @@ TODO: formal def -->,
# Line 364  algorithm below <em class=rfc2119>MUST</ Line 410  algorithm below <em class=rfc2119>MUST</
410    <code class=char>U+0020</code> <code class=charname>SPACE</code> character    <code class=char>U+0020</code> <code class=charname>SPACE</code> character
411    immediately followed by another <code class=char>U+0020</code>    immediately followed by another <code class=char>U+0020</code>
412    <code class=charname>SPACE</code> character in <var>pid</var>, then it is a    <code class=charname>SPACE</code> character in <var>pid</var>, then it is a
413    <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>.
414      <span class=ed>Is this really a roundtripness problem?  XML spec
415      does only define the way to match public identifiers in fact, no
416      canonical form.</span></li>
417    <li class=ed>@@ Should we check formal-public-identifierness?</li>    <li class=ed>@@ Should we check formal-public-identifierness?</li>
418  </ol>  </ol>
419    
420    <p>To
421    <dfn id=algorithm-to-validate-a-system-identifier title="validate a system identifier">validate
422    a system identifier (<dfn id=var-sid><var>sid</var></dfn>)</dfn>, the
423    following algorithm <em class=rfc2119>MUST</em> be used:</p>
424    <ol>
425      <li>If <var>sid</var> is <code>null</code>, abort these steps.</li>
426    <li><a href="#algorithm-to-validate-an-xml-character-data" title="validate an XML string">Validate
427    <var>sid</var> as an <abbr>XML</abbr> string</a>.</li>
428      <li>If <var>sid</var> contains both <code class=char>U+0022</code>
429      <code class=charname>QUOTATION MARK</code> (<code class=char>"</code>) and
430      <code class=char>U+0027</code> <code class=charname>APOSTROPHE</code>
431      (<code class=char>'</code>) characters, raise an
432      <a href="#xml-well-formedness-error" id=wfe-sid-lit><code>xml-well-formedness-error</code></a>.</li>
433      <li>If <var>sid</var> contains at least one <code class=char>U+0023</code>
434      <code class=charname>NUMBER SIGN</code> (<code class=char>#</code>)
435      character, then raise an
436      <a href="#xml-misc-error" id=xme-sid-fragment><code>xml-misc-error</code></a>.</li>
437      <li class=ed>@@ If <var>sid</var> cannot be converted to a URI
438      reference, then raise a fact-level error (xml-misc-warning?).<!--
439      XML 1.0 has no conformance language for system identifier being
440      a URI reference. --></li>
441    </ol>
442    
443  </div>  </div>
444    
445  <div class=section id=checking-node>  <div class=section id=checking-node>
# Line 380  following:</p> Line 452  following:</p>
452  <dt>If <var>n</var> is an <code>Attr</code> node</dt>  <dt>If <var>n</var> is an <code>Attr</code> node</dt>
453    <dd>    <dd>
454      <ol>      <ol>
455      <li><a href="#algorithm-to-validate-a-ncname">Validate the      <li><a href="#algorithm-to-validate-an-ncname">Validate the
456      <code>localName</code> attribute value as an <code>NCName</code></a>.</li>      <code>localName</code> attribute value as an <code>NCName</code></a>.</li>
457      <li>If the <code>prefix</code> attribute value is different from      <li>If the <code>prefix</code> attribute value is different from
458      <code>null</code>, then <a href="#algorithm-to-validate-a-ncname">validate      <code>null</code>, then <a href="#algorithm-to-validate-an-ncname">validate
459      the <code>prefix</code> attribute value as an <code>NCName</code></a>.</li>      the <code>prefix</code> attribute value as an <code>NCName</code></a>.</li>
460      <li>For each node <dfn id=var-attr-nc><var>n<sub><var>c</var></sub></var></dfn> in the      <li>For each node <dfn id=var-attr-nc><var>n<sub><var>c</var></sub></var></dfn> in the
461      <code>childNodes</code> list of <var>n</var>,      <code>childNodes</code> list of <var>n</var>,
# Line 474  following:</p> Line 546  following:</p>
546        <dt class=ed>@@</dt>        <dt class=ed>@@</dt>
547        </dl>        </dl>
548      </li>      </li>
549      <li>If <span class=ed>default is NOT #IMPLIED or #REQUIRED</span>, then      <li>If <span class=ed>type ID and default is NOT #IMPLIED or #REQUIRED</span>, then
550      raise an      raise an
551      <a href="#xml-validity-error" id=vc-id-default><code>xml-validity-error</code></a>.</li>      <a href="#xml-validity-error" id=vc-id-default><code>xml-validity-error</code></a>.</li>
552        <li class=ed>@@ #FixedAttr Validity constraint: Fixed Attribute Default</li>
553        <li class=ed>@@ strict serialization error for U+000D, U+000A, and
554        U+0009 characters, leading/trailing U+0020, and U+0020{2,} string?</li>
555      </ol>      </ol>
556    </dd>    </dd>
557  <dt>If <var>n</var> is an <code>AttributeDefinition</code> node</dt>  <dt>If <var>n</var> is an <code>AttributeDefinition</code> node</dt>
# Line 510  following:</p> Line 585  following:</p>
585      <li class=ed>If <code>NOTATION_ATTR</code> on an <code>EMPTY</code>      <li class=ed>If <code>NOTATION_ATTR</code> on an <code>EMPTY</code>
586      element, then raise an      element, then raise an
587      <a href="#xml-validity-error" id=vc-no-notation-empty><code>xml-validity-error</code></a>.</li>      <a href="#xml-validity-error" id=vc-no-notation-empty><code>xml-validity-error</code></a>.</li>
588        <li class=ed>@@ #defattrvalid Validity constraint: Attribute Default Value Syntactically Correct</li>
589      </ol>      </ol>
590    </dd>    </dd>
591  <dt>If <var>n</var> is a <code>CDATASection</code> node</dt>  <dt>If <var>n</var> is a <code>CDATASection</code> node</dt>
592    <dd>    <dd>
593      <ol>      <ol>
594      <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
595      <code>data</code> attribute value as an <abbr>XML</abbr> character      <code>data</code> attribute value as an <abbr>XML</abbr> character
596      data</a>.</li>      data</a>.</li>
597      <li>If the <code>data</code> attribute value contains      <li>If the <code>data</code> attribute value contains
# Line 531  following:</p> Line 607  following:</p>
607      <ol>      <ol>
608      <li>Raise an      <li>Raise an
609      <a href="#round-trip-warning" id=rtw-comment><code>round-trip-warning</code></a>.</li>      <a href="#round-trip-warning" id=rtw-comment><code>round-trip-warning</code></a>.</li>
610      <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
611      <code>data</code> attribute value as an <abbr>XML</abbr> character      <code>data</code> attribute value as an <abbr>XML</abbr> character
612      data</a>.</li>      data</a>.</li>
613      <li>If the <code>data</code> attribute value contains      <li>If the <code>data</code> attribute value contains
# Line 598  following:</p> Line 674  following:</p>
674  <dt>If <var>n</var> is a <code>DocumentType</code> node</dt>  <dt>If <var>n</var> is a <code>DocumentType</code> node</dt>
675    <dd>    <dd>
676      <ol>      <ol>
677      <li><a href="#algorithm-to-validate-a-ncname">Validate the      <li><a href="#algorithm-to-validate-an-ncname">Validate the
678      <code>nodeName</code> attribute value as an <code>NCName</code></a>.</li>      <code>nodeName</code> attribute value as an <code>NCName</code></a>.</li>
679      <li>Follow the following substeps:      <li>Follow the following substeps:
680        <ol>        <ol>
# Line 617  following:</p> Line 693  following:</p>
693      </li>      </li>
694      <li><a href="#algorithm-to-validate-a-public-identifier" title="validate a public identifier">Validate      <li><a href="#algorithm-to-validate-a-public-identifier" title="validate a public identifier">Validate
695      the <code>publicId</code> attribute value as a public identifier</a>.</li>      the <code>publicId</code> attribute value as a public identifier</a>.</li>
696      <li>If the <code>systemId</code> attribute value contains      <li><a href="#algorithm-to-validate-a-system-identifier" title="validate a system identifier">Validate
697      both <code>"</code> and <code>'</code> characters, it is a      the <code>systemId</code> attribute value as a system identifier</a>.</li>
698      <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
699      <!-- publicId = non-null and systemId = null -->      <em>not</em> <code>null</code> and the <code>systemId</code> attribute
700        value of <var>n</var> is <code>null</code>, then raise an
701        <a href="#xml-well-formedness-error" id=wfe-dt-sid><code>xml-well-formedness-error</code></a>.
702        <span class=ed>@@ publicId == null?  Or, publicId == ""</span></li>
703      <li>For each node <dfn id=var-dt-nc><var>n<sub><var>c</var></sub></var></dfn>      <li>For each node <dfn id=var-dt-nc><var>n<sub><var>c</var></sub></var></dfn>
704      in the <code>childNodes</code> list of <var>n</var>,      in the <code>childNodes</code> list of <var>n</var>,
705        <ol>        <ol>
# Line 632  following:</p> Line 711  following:</p>
711        <a href="#algorithm-to-check-a-node" title="check a node">check        <a href="#algorithm-to-check-a-node" title="check a node">check
712        <var>n<sub><var>c</var></sub></var></a> recusrively.</li>        <var>n<sub><var>c</var></sub></var></a> recusrively.</li>
713        </ol></li>        </ol></li>
714      <li class=ed>@@ <code>entities</code>, <code>notations</code>,      <li>For each node in the <code>entities</code>, <code>notations</code>,
715      <code>elementTypes</code>, externally declared?</li>      and <code>elementTypes</code> lists of <var>n</var>,
716        <a href="#algorithm-to-check-a-node" title="check a node">check the
717        node</a> recursively.</li>
718        <li class=ed>@@ externally declared?</li>
719      </ol>      </ol>
720    </dd>    </dd>
721  <dt>If <var>n</var> is an <code>Element</code> node</dt>  <dt>If <var>n</var> is an <code>Element</code> node</dt>
722    <dd>    <dd>
723      <ol>      <ol>
724      <li><a href="#algorithm-to-validate-a-ncname">Validate the      <li><a href="#algorithm-to-validate-an-ncname">Validate the
725      <code>localName</code> attribute value as an <code>NCName</code></a>.</li>      <code>localName</code> attribute value as an <code>NCName</code></a>.</li>
726      <li>If the <code>prefix</code> attribute value is different from      <li>If the <code>prefix</code> attribute value is different from
727      <code>null</code>, then <a href="#algorithm-to-validate-a-ncname">validate      <code>null</code>, then <a href="#algorithm-to-validate-an-ncname">validate
728      the <code>prefix</code> attribute value as an <code>NCName</code></a>.</li>      the <code>prefix</code> attribute value as an <code>NCName</code></a>.</li>
729      <li>For each node <dfn id=var-element-nc><var>n<sub><var>c</var></sub></var></dfn>      <li>For each node <dfn id=var-element-nc><var>n<sub><var>c</var></sub></var></dfn>
730      in the <code>childNodes</code> list of <var>n</var>,      in the <code>childNodes</code> list of <var>n</var>,
# Line 661  following:</p> Line 743  following:</p>
743        <var>n<sub><var>c</var></sub></var></a> recursively.</li>        <var>n<sub><var>c</var></sub></var></a> recursively.</li>
744        </ol></li>        </ol></li>
745      <li class=ed>@@ #elementvalid Validity constraint: Element Valid</li>      <li class=ed>@@ #elementvalid Validity constraint: Element Valid</li>
746      <li class=ed>@@ #uniqattspec Well-formedness constraint: Unique Att Spec</li>      <li>Let <var>attrs</var> be the value of the <code>attribute</code>
747        attribute of <var>n</var>.  Check conformance of <var>attrs</var>
748        as following:
749          <ol>
750          <li>If <var>attrs</var> contains an <code>Attr</code> node whose
751          <code>nodeName</code> attribute value is equal to that of another
752          <code>Attr</code> node in <var>attrs</var>, then raise an
753          <a href="#xml-well-formedness-error" id=wfe-uniqattspec><code>xml-well-formedness-error</code></a>.<!--
754          #uniqattspec Well-formedness constraint: Unique Att Spec --></li>
755          <li class=ed>@@ #RequiredAttr Validity constraint: Required Attribute</li>
756          </ol>
757        </li>
758      </ol>      </ol>
759    </dd>    </dd>
760  <dt>If <var>n</var> is an <code>ElementTypeDefinition</code> node</dt>  <dt>If <var>n</var> is an <code>ElementTypeDefinition</code> node</dt>
# Line 689  following:</p> Line 782  following:</p>
782      <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>      <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>
783      </ol>      </ol>
784    </dd>    </dd>
785  <dt>If <var>n</var> is an <code>Entity</code> node</dt>  <dt>If <var>n</var> is an <code>Entity</code> node whose
786    <code>notationName</code> attribute value is <code>null</code> (i.e. a
787    parsed entity)</dt>
788    <dd>    <dd>
789      <ol>      <ol>
790      <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
791      <li><a href="#algorithm-to-validate-a-ncname">Validate the      <a href="#entity-error" id=ee-entity-node><code>entity-error</code></a>.</li>
792        <li><a href="#algorithm-to-validate-an-ncname">Validate the
793      <code>nodeName</code> attribute value as an <code>NCName</code></a>.</li>      <code>nodeName</code> attribute value as an <code>NCName</code></a>.</li>
794      <li><a href="#algorithm-to-validate-a-public-identifier" title="validate a public identifier">Validate      <li><a href="#algorithm-to-validate-a-public-identifier" title="validate a public identifier">Validate
795      the <code>publicId</code> attribute value as a public identifier</a>.</li>      the <code>publicId</code> attribute value as a public identifier</a>.</li>
796      <li>If the <code>systemId</code> attribute value contains      <li><a href="#algorithm-to-validate-a-system-identifier" title="validate a system identifier">Validate
797      both <code>"</code> and <code>'</code> characters, it is a      the <code>systemId</code> attribute value as a system identifier</a>.</li>
798      <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
799      <!-- publicId = non-null and systemId = null -->      <em>not</em> <code>null</code> and the <code>systemId</code> attribute
800      <li class=ed>@@ <code>notationName</code></li>      value of <var>n</var> is <code>null</code>, then raise an
801        <a href="#xml-well-formedness-error" id=wfe-entity-sid><code>xml-well-formedness-error</code></a>.</li>
802      <li>For each node <dfn id=var-entity-nc><var>n<sub><var>c</var></sub></var></dfn>      <li>For each node <dfn id=var-entity-nc><var>n<sub><var>c</var></sub></var></dfn>
803      in the <code>childNodes</code> list of <var>n</var>,      in the <code>childNodes</code> list of <var>n</var>,
804        <ol>        <ol>
# Line 720  following:</p> Line 817  following:</p>
817        </ol></li>        </ol></li>
818      </ol>      </ol>
819    </dd>    </dd>
820    <dt>If <var>n</var> is an <code>Entity</code> node whose
821    <code>notationName</code> attribute value is <em>not</em> <code>null</code>
822    (i.e. an unparsed entity)</dt>
823      <dd>
824        <ol>
825        <li><a href="#algorithm-to-validate-an-ncname">Validate the
826        <code>nodeName</code> attribute value as an <code>NCName</code></a>.</li>
827        <li><a href="#algorithm-to-validate-a-public-identifier" title="validate a public identifier">Validate
828        the <code>publicId</code> attribute value as a public identifier</a>.</li>
829        <li><a href="#algorithm-to-validate-a-system-identifier" title="validate a system identifier">Validate
830        the <code>systemId</code> attribute value as a system identifier</a>.</li>
831        <li>If the <code>systemId</code> attribute value of <var>n</var> is
832        <code>null</code>, then raise an
833        <a href="#xml-well-formedness-error" id=wfe-uentity-sid><code>xml-well-formedness-error</code></a>.</li>
834        <li><a href="#algorithm-to-validate-an-ncname">Validate the
835        <code>notationName</code> attribute value of <var>n</var> as an
836        <code>NCName</code></a>.</li>
837        <li class=ed>@@ #not-declared Validity constraint: Notation Declared</li>
838        <li>If the <code>childNodes</code> list of <var>n</var> contains
839        any nodes, they are in
840        <a href="#xml-well-formedness-error" id=wfe-uentity-child><code>xml-well-formedness-error</code></a>.</li>
841        </ol>
842      </dd>
843  <dt>If <var>n</var> is an <code>EntityReference</code> node</dt>  <dt>If <var>n</var> is an <code>EntityReference</code> node</dt>
844    <dd>    <dd>
845      <ol>      <ol>
846      <li>An <a href="#entity-error" id=ee-er-node><code>entity-error</code></a>.</li>      <li>An <a href="#entity-error" id=ee-er-node><code>entity-error</code></a>.</li>
847      <li><a href="#algorithm-to-validate-a-ncname">Validate the      <li><a href="#algorithm-to-validate-an-ncname">Validate the
848      <code>nodeName</code> attribute value as an <code>NCName</code></a>.</li>      <code>nodeName</code> attribute value as an <code>NCName</code></a>.</li>
849      <li>For each node <dfn id=var-er-nc><var>n<sub><var>c</var></sub></var></dfn>      <li>For each node <dfn id=var-er-nc><var>n<sub><var>c</var></sub></var></dfn>
850      in the <code>childNodes</code> list of <var>n</var>,      in the <code>childNodes</code> list of <var>n</var>,
# Line 747  following:</p> Line 867  following:</p>
867  <dt>If <var>n</var> is a <code>Notation</code> node</dt>  <dt>If <var>n</var> is a <code>Notation</code> node</dt>
868    <dd>    <dd>
869      <ol>      <ol>
870      <li><a href="#algorithm-to-validate-a-ncname">Validate the      <li><a href="#algorithm-to-validate-an-ncname">Validate the
871      <code>nodeName</code> attribute value as an <code>NCName</code></a>.</li>      <code>nodeName</code> attribute value as an <code>NCName</code></a>.</li>
872      <li><a href="#algorithm-to-validate-a-public-identifier" title="validate a public identifier">Validate      <li><a href="#algorithm-to-validate-a-public-identifier" title="validate a public identifier">Validate
873      the <code>publicId</code> attribute value as a public identifier</a>.</li>      the <code>publicId</code> attribute value as a public identifier</a>.</li>
874      <li>If the <code>systemId</code> attribute value contains      <li><a href="#algorithm-to-validate-a-system-identifier" title="validate a system identifier">Validate
875      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>  
876      <li>If the <code>childNodes</code> list of <var>n</var> contains      <li>If the <code>childNodes</code> list of <var>n</var> contains
877      any nodes, they are in      any nodes, they are in
878      <a href="#xml-well-formedness-error" id=wfe-notation-child><code>xml-well-formedness-error</code></a>.</li>      <a href="#xml-well-formedness-error" id=wfe-notation-child><code>xml-well-formedness-error</code></a>.</li>
# Line 765  following:</p> Line 884  following:</p>
884      <li>If the <code>target</code> attribute value matches to the string      <li>If the <code>target</code> attribute value matches to the string
885      <code>xml</code> in any case combination, then raise a      <code>xml</code> in any case combination, then raise a
886      <a href="#xml-well-formedness-error" id=wfe-pi-xml><code>xml-well-formedness-error</code></a>.</li>      <a href="#xml-well-formedness-error" id=wfe-pi-xml><code>xml-well-formedness-error</code></a>.</li>
887      <li>Otherwise, <a href="#algorithm-to-validate-a-ncname">validate the      <li>Otherwise, <a href="#algorithm-to-validate-an-ncname">validate the
888      <code>target</code> attribute value as an <code>NCName</code></a>.</li>      <code>target</code> attribute value as an <code>NCName</code></a>.</li>
889      <li>Then,      <li>Then,
890      <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
891      the <code>data</code> attribute value as an <abbr>XML</abbr> character      the <code>data</code> attribute value as an <abbr>XML</abbr> character
892      data</a>.</li>      data</a>.</li>
893      <li>If the <code>data</code> attribute value contains a string      <li>If the <code>data</code> attribute value contains a string
# Line 789  following:</p> Line 908  following:</p>
908  <dt>If <var>n</var> is a <code>Text</code> node</dt>  <dt>If <var>n</var> is a <code>Text</code> node</dt>
909    <dd>    <dd>
910      <ol>      <ol>
911      <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
912      <code>data</code> attribute value as an <abbr>XML</abbr> character      <code>data</code> attribute value as an <abbr>XML</abbr> character
913      data</a>.</li>      data</a>.</li>
914      <li>If the <code>childNodes</code> list of <var>n</var> contains      <li>If the <code>childNodes</code> list of <var>n</var> contains
# Line 873  as amended by Line 992  as amended by
992  <a href="http://www.w3.org/XML/xml-V10-4e-errata#E02">errata</a>.</p>  <a href="http://www.w3.org/XML/xml-V10-4e-errata#E02">errata</a>.</p>
993  </div>  </div>
994    
995    <p>The character class <dfn id=class-NameStartChar10><code>NameStartChar10</code></dfn>
996    contains the following characters:</p>
997    <ul class=ed>
998    </ul>
999    
1000    <p>The character class <dfn id=class-NameChar10><code>NameChar10</code></dfn>
1001    contains the following characters:</p>
1002    <ul>
1003    <li>The characters in the character class
1004    <a href="#class-NameStartChar10">NameStartChar10</a>.</li>
1005    <li class=ed></li>
1006    </ul>
1007    
1008  </div>  </div>
1009    
1010  <div id="references" class="section reference">  <div id="references" class="section reference">
Legend:
Removed from v.1.16  
changed lines
  Added in v.1.19
admin@suikawiki.org
 ViewVC Help
Powered by ViewVC 1.1.24