/[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.15 by wakaba, Thu Nov 15 10:03:02 2007 UTC revision 1.18 by wakaba, Sat Dec 1 14:32:30 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-15>15 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 222  can be easily serialized into a valid XM Line 225  can be easily serialized into a valid XM
225  <a href="#xml-misc-warning" id=xmw-entity-value-lt><code>xml-misc-warning</code></a>.<!--  <a href="#xml-misc-warning" id=xmw-entity-value-lt><code>xml-misc-warning</code></a>.<!--
226  "strongly advised to avoid" in a Note in Section 2.3 of [XML10], [XML11].  "strongly advised to avoid" in a Note in Section 2.3 of [XML10], [XML11].
227  --></li>  --></li>
228    <li>If there is an element type declaration whose <code>Name</code>
229    value is already declared, then raise an
230    <a href="#xml-validity-error" id=vc-edunique><code>xml-validity-error</code></a>.</li>
231  <li>If attribute definition whose <code>Name</code> is  <li>If attribute definition whose <code>Name</code> is
232  <code>xml:space</code> has <span class=ed>declared type different from  <code>xml:space</code> has <span class=ed>declared type different from
233  (default|preserve), (default), or (preserve)</span>, then raise an  (default|preserve), (default), or (preserve)</span>, then raise an
# Line 245  declared <code>EMPTY</code>, then raise Line 251  declared <code>EMPTY</code>, then raise
251  #uniqattspec Well-formedness constraint: Unique Att Spec  #uniqattspec Well-formedness constraint: Unique Att Spec
252  #NoExternalRefs Well-formedness constraint: No External Entity References  #NoExternalRefs Well-formedness constraint: No External Entity References
253  #CleanAttrVals Well-formedness constraint: No < in Attribute Values  #CleanAttrVals Well-formedness constraint: No < in Attribute Values
254    #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 ,)."
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."
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 331  xml:base and xml:id specifications viola Line 365  xml:base and xml:id specifications viola
365  </ol>  </ol>
366    
367  <p>The algorithm  <p>The algorithm
368  <dfn id=algorithm-to-validate-a-ncname title="to validate an NCName">to  <dfn id=algorithm-to-validate-an-ncname title="to validate an NCName">to
369  validate an <code>NCName</code> (<dfn id=var-name><var>name</var></dfn>)</dfn>  validate an <code>NCName</code> (<dfn id=var-name><var>name</var></dfn>)</dfn>
370  is defined as following:</p>  is defined as following:</p>
371  <ol>  <ol>
372  <li class=ed>@@</li>  <li class=ed>@@</li>
373  </ol>  </ol>
374    
375  <p>To <dfn id=algorithm-to-validate-a-public-identifier title="validate a public identifier">validate  <p>To
376    <dfn id=algorithm-to-validate-a-public-identifier title="validate a public identifier">validate
377  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
378  algorithm below <em class=rfc2119>MUST</em> be used:</p>  following algorithm <em class=rfc2119>MUST</em> be used:</p>
379  <ol>  <ol>
380      <li>If <var>pid</var> is <code>null</code>, abort these steps.</li>
381    <li>If <var>pid</var> contains any character    <li>If <var>pid</var> contains any character
382    that is outside of the range of <code>#x20 | #xD | #xA |    that is outside of the range of <code>#x20 | #xD | #xA |
383    [a-zA-Z0-9] | [-'()+,./:=?;!*#@$_%]</code><!-- @@ TODO: formal def -->,    [a-zA-Z0-9] | [-'()+,./:=?;!*#@$_%]</code><!-- @@ TODO: formal def -->,
# Line 358  algorithm below <em class=rfc2119>MUST</ Line 394  algorithm below <em class=rfc2119>MUST</
394    <code class=char>U+0020</code> <code class=charname>SPACE</code> character    <code class=char>U+0020</code> <code class=charname>SPACE</code> character
395    immediately followed by another <code class=char>U+0020</code>    immediately followed by another <code class=char>U+0020</code>
396    <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
397    <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>.
398      <span class=ed>Is this really a roundtripness problem?  XML spec
399      does only define the way to match public identifiers in fact, no
400      canonical form.</span></li>
401    <li class=ed>@@ Should we check formal-public-identifierness?</li>    <li class=ed>@@ Should we check formal-public-identifierness?</li>
402  </ol>  </ol>
403    
404    <p>To
405    <dfn id=algorithm-to-validate-a-system-identifier title="validate a system identifier">validate
406    a system identifier (<dfn id=var-sid><var>sid</var></dfn>)</dfn>, the
407    following algorithm <em class=rfc2119>MUST</em> be used:</p>
408    <ol>
409      <li>If <var>sid</var> is <code>null</code>, abort these steps.</li>
410      <li>If <var>sid</var> contains both <code class=char>U+0022</code>
411      <code class=charname>QUOTATION MARK</code> (<code class=char>"</code>) and
412      <code class=char>U+0027</code> <code class=charname>APOSTROPHE</code>
413      (<code class=char>'</code>) characters, raise an
414      <a href="#xml-well-formedness-error" id=wfe-sid-lit><code>xml-well-formedness-error</code></a>.</li>
415      <li>If <var>sid</var> contains at least one <code class=char>U+0023</code>
416      <code class=charname>NUMBER SIGN</code> (<code class=char>#</code>)
417      character, then raise an
418      <a href="#xml-misc-error" id=xme-sid-fragment><code>xml-misc-error</code></a>.</li>
419      <li class=ed>@@ If <var>sid</var> cannot be converted to a URI
420      reference, then raise a fact-level error (xml-misc-warning?).<!--
421      XML 1.0 has no conformance language for system identifier being
422      a URI reference. --></li>
423    </ol>
424    
425  </div>  </div>
426    
427  <div class=section id=checking-node>  <div class=section id=checking-node>
# Line 374  following:</p> Line 434  following:</p>
434  <dt>If <var>n</var> is an <code>Attr</code> node</dt>  <dt>If <var>n</var> is an <code>Attr</code> node</dt>
435    <dd>    <dd>
436      <ol>      <ol>
437      <li><a href="#algorithm-to-validate-a-ncname">Validate the      <li><a href="#algorithm-to-validate-an-ncname">Validate the
438      <code>localName</code> attribute value as an <code>NCName</code></a>.</li>      <code>localName</code> attribute value as an <code>NCName</code></a>.</li>
439      <li>If the <code>prefix</code> attribute value is different from      <li>If the <code>prefix</code> attribute value is different from
440      <code>null</code>, then <a href="#algorithm-to-validate-a-ncname">validate      <code>null</code>, then <a href="#algorithm-to-validate-an-ncname">validate
441      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>
442      <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
443      <code>childNodes</code> list of <var>n</var>,      <code>childNodes</code> list of <var>n</var>,
# Line 405  following:</p> Line 465  following:</p>
465      <li class=ed>@@ <code>specified</code>,      <li class=ed>@@ <code>specified</code>,
466      <code>manakaiAttributeType</code> (#ValueType Validity constraint: Attribute Value Type)</li>      <code>manakaiAttributeType</code> (#ValueType Validity constraint: Attribute Value Type)</li>
467      <!-- xml:space MUST be declared to be valid. -->      <!-- xml:space MUST be declared to be valid. -->
468        <li>Let <dfn id=var-v><var>v</var></dfn> be the value of the
469        attribute <code>value</code> of <var>n</var>.</li>
470        <li>Validate the <var>n</var> against the <span class=ed>declared
471        type</span> as following:
472          <dl class=switch>
473          <dt class=ed><code>ID_ATTR</code></dt>
474            <dd>
475              <ol>
476              <li><span class=ed>Validate <var>v</var> as an
477              <code>Name</code>.</span>  If it fails, then raise an
478              <a href="#xml-validity-error" id=vc-id-name><code>xml-validity-error</code></a>.</li>
479              <li><span class=ed>If <code>ID</code> <var>v</var> is defined,</span>
480              then raise an  
481              <a href="#xml-validity-error" id=vc-id-duplication><code>xml-validity-error</code></a>.</li>
482              </ol>
483            </dd>
484          <dt class=ed>IDREF_ATTR</dt>
485            <dd>
486              <ol>
487              <li><span class=ed>Validate <var>v</var> as an
488              <code>Name</code>.</span>  If it fails, then raise an
489              <a href="#xml-validity-error" id=vc-idref-name><code>xml-validity-error</code></a>.</li>
490              <li><span class=ed>If <code>ID</code> <var>v</var> is NOT
491              defined,</span> then raise an  
492              <a href="#xml-validity-error" id=vc-idref-match><code>xml-validity-error</code></a>.</li>
493              </ol>
494            </dd>
495          <dt class=ed>IDREFS_ATTR</dt>
496            <dd class=ed>@@</dd>
497          <dt class=ed>ENTITY_ATTR</dt>
498            <dd>
499              <ol>
500              <li><span class=ed>Validate <var>v</var> as an
501              <code>Name</code>.</span>  If it fails, then raise an
502              <a href="#xml-validity-error" id=vc-entname-name><code>xml-validity-error</code></a>.</li>
503              <li><span class=ed>If <code>Entity</code> <var>v</var> is NOT
504              defined,</span> then raise an  
505              <a href="#xml-validity-error" id=vc-entname-match><code>xml-validity-error</code></a>.</li>
506              </ol>
507            </dd>
508          <dt class=ed>ENTITIES_ATTR</dt>
509            <dd class=ed>@@</dd>
510          <dt class=ed>NMTOKEN_ATTR</dt>
511            <dd>
512              <ol>
513              <li><span class=ed>Validate <var>v</var> as an
514              <code>Nmtoken</code>.</span>  If it fails, then raise an
515              <a href="#xml-validity-error" id=vc-nmtok-name><code>xml-validity-error</code></a>.</li>
516              </ol>
517            </dd>
518          <dt class=ed>NMTOKENS_ATTR</dt>
519            <dd class=ed>@@</dd>
520          <dt class=ed>NOTATION_ATTR</dt>
521            <dd class=ed><var>v</var> must be one of enumerated values.
522            If not, then raise an
523            <a href="#xml-validity-error" id=vc-notatn-match><code>xml-validity-error</code></a>.</dd>
524          <dt class=ed>ENUMERATED_ATTR</dt>
525            <dd class=ed><var>v</var> must be one of enumerated values.
526            If not, then raise an
527            <a href="#xml-validity-error" id=vc-enum><code>xml-validity-error</code></a>.</dd>
528          <dt class=ed>@@</dt>
529          </dl>
530        </li>
531        <li>If <span class=ed>type ID and default is NOT #IMPLIED or #REQUIRED</span>, then
532        raise an
533        <a href="#xml-validity-error" id=vc-id-default><code>xml-validity-error</code></a>.</li>
534        <li class=ed>@@ #FixedAttr Validity constraint: Fixed Attribute Default</li>
535        <li class=ed>@@ strict serialization error for U+000D, U+000A, and
536        U+0009 characters, leading/trailing U+0020, and U+0020{2,} string?</li>
537      </ol>      </ol>
538    </dd>    </dd>
539  <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 429  following:</p> Line 558  following:</p>
558        <a href="#algorithm-to-check-a-node" title="check a node">check        <a href="#algorithm-to-check-a-node" title="check a node">check
559        <var>n<sub><var>c</var></sub></var></a> recusrively.</li>        <var>n<sub><var>c</var></sub></var></a> recusrively.</li>
560        </ol></li>        </ol></li>
561        <li class=ed>If <code>NOTATION_ATTR</code>, enumerated values MUST
562        be declared.  If not, then raise an
563        <a href="#xml-validity-error" id=vc-notatn-declared><code>xml-validity-error</code></a>.</li>
564        <li class=ed>If <code>NOTATION_ATTR</code> or <code>ENUMERATED_ATTR</code>,
565        values MUST all be distinct.  If not, then raise an
566        <a href="#xml-validity-error" id=vc-no-duplicate-tokens><code>xml-validity-error</code></a>.</li>
567        <li class=ed>If <code>NOTATION_ATTR</code> on an <code>EMPTY</code>
568        element, then raise an
569        <a href="#xml-validity-error" id=vc-no-notation-empty><code>xml-validity-error</code></a>.</li>
570        <li class=ed>@@ #defattrvalid Validity constraint: Attribute Default Value Syntactically Correct</li>
571      </ol>      </ol>
572    </dd>    </dd>
573  <dt>If <var>n</var> is a <code>CDATASection</code> node</dt>  <dt>If <var>n</var> is a <code>CDATASection</code> node</dt>
# Line 517  following:</p> Line 656  following:</p>
656  <dt>If <var>n</var> is a <code>DocumentType</code> node</dt>  <dt>If <var>n</var> is a <code>DocumentType</code> node</dt>
657    <dd>    <dd>
658      <ol>      <ol>
659      <li><a href="#algorithm-to-validate-a-ncname">Validate the      <li><a href="#algorithm-to-validate-an-ncname">Validate the
660      <code>nodeName</code> attribute value as an <code>NCName</code></a>.</li>      <code>nodeName</code> attribute value as an <code>NCName</code></a>.</li>
661      <li>Follow the following substeps:      <li>Follow the following substeps:
662        <ol>        <ol>
# Line 536  following:</p> Line 675  following:</p>
675      </li>      </li>
676      <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
677      the <code>publicId</code> attribute value as a public identifier</a>.</li>      the <code>publicId</code> attribute value as a public identifier</a>.</li>
678      <li>If the <code>systemId</code> attribute value contains      <li><a href="#algorithm-to-validate-a-system-identifier" title="validate a system identifier">Validate
679      both <code>"</code> and <code>'</code> characters, it is a      the <code>systemId</code> attribute value as a system identifier</a>.</li>
680      <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
681      <!-- publicId = non-null and systemId = null -->      <em>not</em> <code>null</code> and the <code>systemId</code> attribute
682        value of <var>n</var> is <code>null</code>, then raise an
683        <a href="#xml-well-formedness-error" id=wfe-dt-sid><code>xml-well-formedness-error</code></a>.
684        <span class=ed>@@ publicId == null?  Or, publicId == ""</span></li>
685      <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>
686      in the <code>childNodes</code> list of <var>n</var>,      in the <code>childNodes</code> list of <var>n</var>,
687        <ol>        <ol>
# Line 551  following:</p> Line 693  following:</p>
693        <a href="#algorithm-to-check-a-node" title="check a node">check        <a href="#algorithm-to-check-a-node" title="check a node">check
694        <var>n<sub><var>c</var></sub></var></a> recusrively.</li>        <var>n<sub><var>c</var></sub></var></a> recusrively.</li>
695        </ol></li>        </ol></li>
696      <li class=ed>@@ <code>entities</code>, <code>notations</code>,      <li>For each node in the <code>entities</code>, <code>notations</code>,
697      <code>elementTypes</code>, externally declared?</li>      and <code>elementTypes</code> lists of <var>n</var>,
698        <a href="#algorithm-to-check-a-node" title="check a node">check the
699        node</a> recursively.</li>
700        <li class=ed>@@ externally declared?</li>
701      </ol>      </ol>
702    </dd>    </dd>
703  <dt>If <var>n</var> is an <code>Element</code> node</dt>  <dt>If <var>n</var> is an <code>Element</code> node</dt>
704    <dd>    <dd>
705      <ol>      <ol>
706      <li><a href="#algorithm-to-validate-a-ncname">Validate the      <li><a href="#algorithm-to-validate-an-ncname">Validate the
707      <code>localName</code> attribute value as an <code>NCName</code></a>.</li>      <code>localName</code> attribute value as an <code>NCName</code></a>.</li>
708      <li>If the <code>prefix</code> attribute value is different from      <li>If the <code>prefix</code> attribute value is different from
709      <code>null</code>, then <a href="#algorithm-to-validate-a-ncname">validate      <code>null</code>, then <a href="#algorithm-to-validate-an-ncname">validate
710      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>
711      <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>
712      in the <code>childNodes</code> list of <var>n</var>,      in the <code>childNodes</code> list of <var>n</var>,
# Line 580  following:</p> Line 725  following:</p>
725        <var>n<sub><var>c</var></sub></var></a> recursively.</li>        <var>n<sub><var>c</var></sub></var></a> recursively.</li>
726        </ol></li>        </ol></li>
727      <li class=ed>@@ #elementvalid Validity constraint: Element Valid</li>      <li class=ed>@@ #elementvalid Validity constraint: Element Valid</li>
728      <li class=ed>@@ #uniqattspec Well-formedness constraint: Unique Att Spec</li>      <li>Let <var>attrs</var> be the value of the <code>attribute</code>
729        attribute of <var>n</var>.  Check conformance of <var>attrs</var>
730        as following:
731          <ol>
732          <li>If <var>attrs</var> contains an <code>Attr</code> node whose
733          <code>nodeName</code> attribute value is equal to that of another
734          <code>Attr</code> node in <var>attrs</var>, then raise an
735          <a href="#xml-well-formedness-error" id=wfe-uniqattspec><code>xml-well-formedness-error</code></a>.<!--
736          #uniqattspec Well-formedness constraint: Unique Att Spec --></li>
737          <li class=ed>@@ #RequiredAttr Validity constraint: Required Attribute</li>
738          </ol>
739        </li>
740      </ol>      </ol>
741    </dd>    </dd>
742  <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 590  following:</p> Line 746  following:</p>
746      <li>If the <code>childNodes</code> list of <var>n</var> contains      <li>If the <code>childNodes</code> list of <var>n</var> contains
747      any nodes, they are in      any nodes, they are in
748      <a href="#xml-well-formedness-error" id=wfe-et-child><code>xml-well-formedness-error</code></a>.</li>      <a href="#xml-well-formedness-error" id=wfe-et-child><code>xml-well-formedness-error</code></a>.</li>
749      </ol>      <li class=ed>@@ <q cite="http://www.w3.org/TR/2006/REC-xml-20060816/#elemdecls">At user option, an XML processor MAY issue a warning when a declaration mentions an element type for which no declaration is provided, but this is not an error.</q></li>
750    </dd>      <li class=ed>@@ <q cite="http://www.w3.org/TR/2006/REC-xml-20060816/#sec-element-content">For compatibility, it is an error if the content model allows an element to match more than one occurrence of an element type in the content model. </q></li>
751  <dt>If <var>n</var> is an <code>Entity</code> node</dt>      <li class=ed>@@ #vc-MixedChildrenUnique
752        Validity constraint: No Duplicate Types</li>
753        <li class=ed>@@ <q cite="http://www.w3.org/TR/2006/REC-xml-20060816/#attdecls">At user option, an XML processor MAY issue a warning if attributes are declared for an element type not itself declared, but this is not an error.</q></li>
754        <li>If there is more than one <code>AttributeDefinition</code> node
755        with <span class=ed>attribute type <code>ID</code></span> in the
756        <code>NamedNodeMap</code> list contained in the
757        <code>attributeDefinitions</code> attribute of <var>n</var>, then raise an
758        <a href="#xml-validity-error" id=vc-one-id-per-el><code>xml-validity-error</code></a>.</li>
759        <li>If there is more than one <code>AttributeDefinition</code> node
760        with <span class=ed>attribute type <code>NOTATION</code></span> in the
761        <code>NamedNodeMap</code> list contained in the
762        <code>attributeDefinitions</code> attribute of <var>n</var>, then raise an
763        <a href="#xml-validity-error" id=vc-one-notation-per><code>xml-validity-error</code></a>.</li>
764        <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>
765        </ol>
766      </dd>
767    <dt>If <var>n</var> is an <code>Entity</code> node whose
768    <code>notationName</code> attribute value is <code>null</code> (i.e. a
769    parsed entity)</dt>
770    <dd>    <dd>
771      <ol>      <ol>
772      <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
773      <li><a href="#algorithm-to-validate-a-ncname">Validate the      <a href="#entity-error" id=ee-entity-node><code>entity-error</code></a>.</li>
774        <li><a href="#algorithm-to-validate-an-ncname">Validate the
775      <code>nodeName</code> attribute value as an <code>NCName</code></a>.</li>      <code>nodeName</code> attribute value as an <code>NCName</code></a>.</li>
776      <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
777      the <code>publicId</code> attribute value as a public identifier</a>.</li>      the <code>publicId</code> attribute value as a public identifier</a>.</li>
778      <li>If the <code>systemId</code> attribute value contains      <li><a href="#algorithm-to-validate-a-system-identifier" title="validate a system identifier">Validate
779      both <code>"</code> and <code>'</code> characters, it is a      the <code>systemId</code> attribute value as a system identifier</a>.</li>
780      <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
781      <!-- publicId = non-null and systemId = null -->      <em>not</em> <code>null</code> and the <code>systemId</code> attribute
782      <li class=ed>@@ <code>notationName</code></li>      value of <var>n</var> is <code>null</code>, then raise an
783        <a href="#xml-well-formedness-error" id=wfe-entity-sid><code>xml-well-formedness-error</code></a>.</li>
784      <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>
785      in the <code>childNodes</code> list of <var>n</var>,      in the <code>childNodes</code> list of <var>n</var>,
786        <ol>        <ol>
# Line 623  following:</p> Line 799  following:</p>
799        </ol></li>        </ol></li>
800      </ol>      </ol>
801    </dd>    </dd>
802    <dt>If <var>n</var> is an <code>Entity</code> node whose
803    <code>notationName</code> attribute value is <em>not</em> <code>null</code>
804    (i.e. an unparsed entity)</dt>
805      <dd>
806        <ol>
807        <li><a href="#algorithm-to-validate-an-ncname">Validate the
808        <code>nodeName</code> attribute value as an <code>NCName</code></a>.</li>
809        <li><a href="#algorithm-to-validate-a-public-identifier" title="validate a public identifier">Validate
810        the <code>publicId</code> attribute value as a public identifier</a>.</li>
811        <li><a href="#algorithm-to-validate-a-system-identifier" title="validate a system identifier">Validate
812        the <code>systemId</code> attribute value as a system identifier</a>.</li>
813        <li>If the <code>systemId</code> attribute value of <var>n</var> is
814        <code>null</code>, then raise an
815        <a href="#xml-well-formedness-error" id=wfe-uentity-sid><code>xml-well-formedness-error</code></a>.</li>
816        <li><a href="#algorithm-to-validate-an-ncname">Validate the
817        <code>notationName</code> attribute value of <var>n</var> as an
818        <code>NCName</code></a>.</li>
819        <li class=ed>@@ #not-declared Validity constraint: Notation Declared</li>
820        <li>If the <code>childNodes</code> list of <var>n</var> contains
821        any nodes, they are in
822        <a href="#xml-well-formedness-error" id=wfe-uentity-child><code>xml-well-formedness-error</code></a>.</li>
823        </ol>
824      </dd>
825  <dt>If <var>n</var> is an <code>EntityReference</code> node</dt>  <dt>If <var>n</var> is an <code>EntityReference</code> node</dt>
826    <dd>    <dd>
827      <ol>      <ol>
828      <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>
829      <li><a href="#algorithm-to-validate-a-ncname">Validate the      <li><a href="#algorithm-to-validate-an-ncname">Validate the
830      <code>nodeName</code> attribute value as an <code>NCName</code></a>.</li>      <code>nodeName</code> attribute value as an <code>NCName</code></a>.</li>
831      <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>
832      in the <code>childNodes</code> list of <var>n</var>,      in the <code>childNodes</code> list of <var>n</var>,
# Line 650  following:</p> Line 849  following:</p>
849  <dt>If <var>n</var> is a <code>Notation</code> node</dt>  <dt>If <var>n</var> is a <code>Notation</code> node</dt>
850    <dd>    <dd>
851      <ol>      <ol>
852      <li><a href="#algorithm-to-validate-a-ncname">Validate the      <li><a href="#algorithm-to-validate-an-ncname">Validate the
853      <code>nodeName</code> attribute value as an <code>NCName</code></a>.</li>      <code>nodeName</code> attribute value as an <code>NCName</code></a>.</li>
854      <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
855      the <code>publicId</code> attribute value as a public identifier</a>.</li>      the <code>publicId</code> attribute value as a public identifier</a>.</li>
856      <li>If the <code>systemId</code> attribute value contains      <li><a href="#algorithm-to-validate-a-system-identifier" title="validate a system identifier">Validate
857      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>  
858      <li>If the <code>childNodes</code> list of <var>n</var> contains      <li>If the <code>childNodes</code> list of <var>n</var> contains
859      any nodes, they are in      any nodes, they are in
860      <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 668  following:</p> Line 866  following:</p>
866      <li>If the <code>target</code> attribute value matches to the string      <li>If the <code>target</code> attribute value matches to the string
867      <code>xml</code> in any case combination, then raise a      <code>xml</code> in any case combination, then raise a
868      <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>
869      <li>Otherwise, <a href="#algorithm-to-validate-a-ncname">validate the      <li>Otherwise, <a href="#algorithm-to-validate-an-ncname">validate the
870      <code>target</code> attribute value as an <code>NCName</code></a>.</li>      <code>target</code> attribute value as an <code>NCName</code></a>.</li>
871      <li>Then,      <li>Then,
872      <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 character data">validate
Legend:
Removed from v.1.15  
changed lines
  Added in v.1.18
admin@suikawiki.org
 ViewVC Help
Powered by ViewVC 1.1.24