/[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.10 by wakaba, Tue Nov 13 01:12:26 2007 UTC revision 1.17 by wakaba, Sat Dec 1 12:19:41 2007 UTC
# Line 17  Line 17 
17  <body class="has-abstract">  <body class="has-abstract">
18    
19  <div class="header">  <div class="header">
20  <h1>manakai's XML Conformance Checking</h1>  <h1>manakai's <abbr>XML</abbr> Conformance Checking</h1>
21  <h2>Working Draft <time datetime=2007-11-13>13 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 120  In addition, the order in which <a href= Line 120  In addition, the order in which <a href=
120  raised is undefined.</p>  raised is undefined.</p>
121  </div>  </div>
122    
 <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>  
123    
124  <div class=section id=error-categories>  <div class=section id=error-categories>
125  <h3>Error Classification</h3>  <h2>Error Classification</h2>
126    
127  <p class=ed>If a <code>Document</code> node has no  <p class=ed>If a <code>Document</code> node has no
128  xml-well-formedness-error, entity-error, and unknown-error,  xml-well-formedness-error, entity-error, and unknown-error,
# Line 141  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 159  can be easily serialized into a valid XM Line 156  can be easily serialized into a valid XM
156    </dd>    </dd>
157  <dt><dfn id=round-trip-error><code>round-trip-error</code></dfn></dt>  <dt><dfn id=round-trip-error><code>round-trip-error</code></dfn></dt>
158    <dd class=ed>@@</dd>    <dd class=ed>@@</dd>
159    <dt><dfn id=round-trip-warning><code>round-trip-warning</code></dfn></dt>
160      <dd>
161        <p>A <a href="#round-trip-warning"><code>round-trip-warning</code></a>
162        will be raised when a construct, which might not be restored to the same
163        construct when it is serialized and then re-parsed by a conforming
164        processor, is encountered.</p>
165        <div class="example memo">
166          <p>For a <code>Comment</code> node a
167          <a href="#round-trip-warning"><code>round-trip-warning</code></a> will
168          be raised, since <abbr>XML</abbr> processors are not required to
169          report texts of comments for applications.</p>
170        </div>
171      </dd>
172  <dt class=ed><dfn id=unknown-error><code>unknown-error</code></dfn>?</dt>  <dt class=ed><dfn id=unknown-error><code>unknown-error</code></dfn>?</dt>
173    <dd class=ed>@@</dd>    <dd class=ed>@@</dd>
174  <dt><dfn id=xml-misc-error><code>xml-misc-error</code></dt>  <dt><dfn id=xml-misc-error><code>xml-misc-error</code></dt>
# Line 179  can be easily serialized into a valid XM Line 189  can be easily serialized into a valid XM
189    <a href="@@/#dt-fatal">fatal error</a>)    <a href="@@/#dt-fatal">fatal error</a>)
190    that is not classified to any other <a href="#error-category">error    that is not classified to any other <a href="#error-category">error
191    category</a>. <span class=ed>@@ What errors fall into this category?</span></dd>    category</a>. <span class=ed>@@ What errors fall into this category?</span></dd>
192    <dt><dfn id=xml-misc-recommendation><code>xml-misc-recommendation</code></dfn></dt>
193      <dd>
194        <p>An
195        <a href="#xml-misc-recommendation"><code>xml-misc-recommendation</code></a>
196        will be raised if a <em class=rfc2119>SHOULD</em>$B!>(Blevel requirement
197        in <abbr>XML</abbr> specification is not met.</p>
198      </dd>
199  <dt><dfn id=xml-validity-error><code>xml-validity-error</code></dfn></dt>  <dt><dfn id=xml-validity-error><code>xml-validity-error</code></dfn></dt>
200    <dd>A violation of validity constraint in XML document.</dd>    <dd>A violation of validity constraint in XML document.</dd>
201  <dt><dfn id=xml-well-formedness-error><code>xml-well-formedness-error</code></dfn></dt>  <dt><dfn id=xml-well-formedness-error><code>xml-well-formedness-error</code></dfn></dt>
# Line 196  can be easily serialized into a valid XM Line 213  can be easily serialized into a valid XM
213    
214  </div>  </div>
215    
216    <div class=section id=parsing-xml>
217    <h2>Parsing <abbr>XML</abbr> Document</h2>
218    
219    <ul>
220    <li>If the <abbr>XML</abbr> document does not begin with an
221    <abbr>XML</abbr> declaration, then raise an
222    <a href="#xml-misc-recommentation" id=xmr-xml-decl><code>xml-misc-recommendation</code></a>.</li>
223    <li>If the replacement text of an entity declaration is
224    <code>&lt;</code>, then raise an
225    <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].
227    --></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
232    <code>xml:space</code> has <span class=ed>declared type different from
233    (default|preserve), (default), or (preserve)</span>, then raise an
234    <a href="#xml-misc-error" id=xme-ad-xml-space><code>xml-misc-error</code></a>.
235    <span class=ed>@@ duplication with
236    <a href="#xml-at-xml-space">#xml-at-xml-space</a>.<!--
237    <!ATTLIST e xml:space CDATA #IMPLIED xml:space CDATA #IMPLIED> --></span></li>
238    <li>If an empty-element tag is used for an element which is <em>not</em>
239    declared <code>EMPTY</code>, then raise an
240    <a href="#xml-misc-recommentation" id=xmr-emptyelemtag-not-empty><code>xml-misc-recommendation</code></a>.</li>
241    <li>If an empty-element tag is <em>not</em> used for an element which is
242    declared <code>EMPTY</code>, then raise an
243    <a href="#xml-misc-recommentation" id=xmr-empty-not-emptyelemtag><code>xml-misc-recommendation</code></a>.</li>
244    <!--
245    
246    #vc-PEinMarkupDecl Validity constraint: Proper Declaration/PE Nesting
247    #wfc-PEinInternalSubset Well-formedness constraint: PEs in Internal Subset
248    #ExtSubset Well-formedness constraint: External Subset
249    #PE-between-Decls Well-formedness constraint: PE Between Declarations
250    #GIMatch Well-formedness constraint: Element Type Match
251    #uniqattspec Well-formedness constraint: Unique Att Spec
252    #NoExternalRefs Well-formedness constraint: No External Entity References
253    #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
267    
268    #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>
289    </div>
290    
291    <div class="section" id=checking-dom>
292    <h2>Checking <abbr>DOM</abbr></h2>
293    
294    <p>The following algorithms and definitions are applied to
295    <abbr>XML</abbr> documents; especially, they are not applied
296    to <abbr>HTML</abbr> documents.<!-- TODO: ref to HTML5 --></p>
297    
298  <div class=section id=definitions>  <div class=section id=definitions>
299  <h3>Definitions</h3>  <h3>Definitions</h3>
300    
# Line 222  is that of the <code>Document</code> nod Line 321  is that of the <code>Document</code> nod
321  validate an <abbr>XML</abbr> character data  validate an <abbr>XML</abbr> character data
322  (<dfn id=var-s><var>s</var></dfn>)</dfn> is defined as following:</p>  (<dfn id=var-s><var>s</var></dfn>)</dfn> is defined as following:</p>
323  <ol>  <ol>
324  <li class=ed>@@</li>  <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>,
326    then raise an
327    <a href="#xml-well-formedness-error" id=wfe-illegal-char><code>xml-well-formedness-error</code></a>.</li>
328    <li>If <var>s</var> contains a character that is in the character
329    class <a href="#class-CompatChar10"><code>CompatChar10</code></a>,
330    then raise an
331    <a href="#xml-misc-warning" id=xmw-compat-char><code>xml-misc-warning</code></a>.</li>
332    <li>If <var>s</var> contains a character that is in the character
333    class <a href="#class-ControlChar10"><code>ControlChar10</code></a>,
334    then raise an
335    <a href="#xml-misc-warning" id=xmw-control-char><code>xml-misc-warning</code></a>.</li>
336    <li class=ed>@@ XML 1.1 support</li>
337    <li>If <var>s</var> contains a <code class=char>U+000D</code>
338    <code class=charname>CARRIAGE RETURN</code> character, then
339    raise a
340    <a href="#round-trip-error" id=rte-cr><code>round-trip-error</code></a>.
341    <span class=ed>@@ We should not raise duplicate errors for U+000D
342    in attribute values.  In addition, we should support a mode where
343    U+000D will be serialized as &#x000D; (so that no round-trip-error
344    will be raised).</span></li>
345  </ol>  </ol>
346    
347  <p>The algorithm  <p>The algorithm
348  <dfn id=algorithm-to-validate-a-name title="to validate a Name">to validate a  <dfn id=algorithm-to-validate-a-name title="to validate a Name">to validate a
349  <code>Name</code> (<dfn id=var-name><var>name</var></dfn>)</dfn> is defined  <code>Name</code> (<dfn id=var-name-s><var>s</var></dfn>)</dfn> is defined
350  as following:</p>  as following:</p>
351  <ol>  <ol>
352    <li>If <var>s</var> begins with the string <code>xml</code> (in any
353    case combination), then raise an
354    <a href="#xml-misc-warning" id=xmw-reserved-name><code>xml-misc-warning</code></a>.
355    <span class=ed>@@ except for attribute names <code>xml:lang</code>,
356    <code>xml:space</code>, <code>xml:base</code>, <code>xml:id</code>,
357    <code>xmlns</code>, <code>xmlns:<var>*</var></code>,
358    pi name <code>xml-stylesheet</code>.</span><!--
359    "names beginning with a match to (('X'|'x')('M'|'m')('L'|'l')) are reserved for standardization in this or future versions of this specification.":
360    xml:base and xml:id specifications violate to this sentense!
361    --></li>
362    <!-- COLON in Name is a lowercase "should not" in a Note of [XML10],
363    [XML11]. -->
364  <li class=ed>@@</li>  <li class=ed>@@</li>
365  </ol>  </ol>
366    
# Line 295  following:</p> Line 426  following:</p>
426        <a href="#algorithm-to-check-a-node" title="check a node">check        <a href="#algorithm-to-check-a-node" title="check a node">check
427        <var>n<sub><var>c</var></sub></var></a> recusrively.</li>        <var>n<sub><var>c</var></sub></var></a> recusrively.</li>
428        </ol></li>        </ol></li>
429        <li>If <code>nodeName</code> attribute of <var>n</var> is
430        <code>xml:space</code> <span class=ed>@@ or {xml namespace}:space ?</span>
431        and <code>value</code> attribute of <var>n</var> is neither
432        <code>default</code> nor <code>preserve</code>, then it is an
433        <a href="#xml-misc-error" id=xme-attr-xml-space><code>xml-misc-error</code></a>.<!--
434        Note that <!ATTLIST e xml:space (default|preserve) "a">...
435        <e xml:space="default"/> is conforming and valid. --></li>
436        <li class=ed>@@ xml:lang value is not a language tag [RFC 3066 or its
437        successor] or an empty string, then xml-misc-warning
438        (a "fact"-level error; not an XML error).</li>
439      <li class=ed>@@ <code>specified</code>,      <li class=ed>@@ <code>specified</code>,
440      <code>manakaiAttributeType</code></li>      <code>manakaiAttributeType</code> (#ValueType Validity constraint: Attribute Value Type)</li>
441        <!-- xml:space MUST be declared to be valid. -->
442        <li>Let <dfn id=var-v><var>v</var></dfn> be the value of the
443        attribute <code>value</code> of <var>n</var>.</li>
444        <li>Validate the <var>n</var> against the <span class=ed>declared
445        type</span> as following:
446          <dl class=switch>
447          <dt class=ed><code>ID_ATTR</code></dt>
448            <dd>
449              <ol>
450              <li><span class=ed>Validate <var>v</var> as an
451              <code>Name</code>.</span>  If it fails, then raise an
452              <a href="#xml-validity-error" id=vc-id-name><code>xml-validity-error</code></a>.</li>
453              <li><span class=ed>If <code>ID</code> <var>v</var> is defined,</span>
454              then raise an  
455              <a href="#xml-validity-error" id=vc-id-duplication><code>xml-validity-error</code></a>.</li>
456              </ol>
457            </dd>
458          <dt class=ed>IDREF_ATTR</dt>
459            <dd>
460              <ol>
461              <li><span class=ed>Validate <var>v</var> as an
462              <code>Name</code>.</span>  If it fails, then raise an
463              <a href="#xml-validity-error" id=vc-idref-name><code>xml-validity-error</code></a>.</li>
464              <li><span class=ed>If <code>ID</code> <var>v</var> is NOT
465              defined,</span> then raise an  
466              <a href="#xml-validity-error" id=vc-idref-match><code>xml-validity-error</code></a>.</li>
467              </ol>
468            </dd>
469          <dt class=ed>IDREFS_ATTR</dt>
470            <dd class=ed>@@</dd>
471          <dt class=ed>ENTITY_ATTR</dt>
472            <dd>
473              <ol>
474              <li><span class=ed>Validate <var>v</var> as an
475              <code>Name</code>.</span>  If it fails, then raise an
476              <a href="#xml-validity-error" id=vc-entname-name><code>xml-validity-error</code></a>.</li>
477              <li><span class=ed>If <code>Entity</code> <var>v</var> is NOT
478              defined,</span> then raise an  
479              <a href="#xml-validity-error" id=vc-entname-match><code>xml-validity-error</code></a>.</li>
480              </ol>
481            </dd>
482          <dt class=ed>ENTITIES_ATTR</dt>
483            <dd class=ed>@@</dd>
484          <dt class=ed>NMTOKEN_ATTR</dt>
485            <dd>
486              <ol>
487              <li><span class=ed>Validate <var>v</var> as an
488              <code>Nmtoken</code>.</span>  If it fails, then raise an
489              <a href="#xml-validity-error" id=vc-nmtok-name><code>xml-validity-error</code></a>.</li>
490              </ol>
491            </dd>
492          <dt class=ed>NMTOKENS_ATTR</dt>
493            <dd class=ed>@@</dd>
494          <dt class=ed>NOTATION_ATTR</dt>
495            <dd class=ed><var>v</var> must be one of enumerated values.
496            If not, then raise an
497            <a href="#xml-validity-error" id=vc-notatn-match><code>xml-validity-error</code></a>.</dd>
498          <dt class=ed>ENUMERATED_ATTR</dt>
499            <dd class=ed><var>v</var> must be one of enumerated values.
500            If not, then raise an
501            <a href="#xml-validity-error" id=vc-enum><code>xml-validity-error</code></a>.</dd>
502          <dt class=ed>@@</dt>
503          </dl>
504        </li>
505        <li>If <span class=ed>type ID and default is NOT #IMPLIED or #REQUIRED</span>, then
506        raise an
507        <a href="#xml-validity-error" id=vc-id-default><code>xml-validity-error</code></a>.</li>
508        <li class=ed>@@ #FixedAttr Validity constraint: Fixed Attribute Default</li>
509        <li class=ed>@@ strict serialization error for U+000D, U+000A, and
510        U+0009 characters, leading/trailing U+0020, and U+0020{2,} string?</li>
511      </ol>      </ol>
512    </dd>    </dd>
513  <dt>If <var>n</var> is an <code>AttributeDefinition</code> node</dt>  <dt>If <var>n</var> is an <code>AttributeDefinition</code> node</dt>
514    <dd>    <dd>
515      <ol>      <ol>
516      <li class=ed></li>      <li class=ed></li>
517        <li>If <code>nodeName</code> attribute of <var>n</var> is
518        <code>xml:space</code> <span class=ed>@@ or {xml namespace}:space ?</span>
519        and <span class=ed>its declared type is different from (default|preserve),
520        (default), or (preserve)</span>, then raise an
521        <a href="#xml-misc-error" id=xme-at-xml-space><code>xml-misc-error</code></a>.</li>
522      <li>For each node <dfn id=var-ad-nc><var>n<sub><var>c</var></sub></var></dfn> in the      <li>For each node <dfn id=var-ad-nc><var>n<sub><var>c</var></sub></var></dfn> in the
523      <code>childNodes</code> list of <var>n</var>,      <code>childNodes</code> list of <var>n</var>,
524        <ol>        <ol>
# Line 316  following:</p> Line 532  following:</p>
532        <a href="#algorithm-to-check-a-node" title="check a node">check        <a href="#algorithm-to-check-a-node" title="check a node">check
533        <var>n<sub><var>c</var></sub></var></a> recusrively.</li>        <var>n<sub><var>c</var></sub></var></a> recusrively.</li>
534        </ol></li>        </ol></li>
535        <li class=ed>If <code>NOTATION_ATTR</code>, enumerated values MUST
536        be declared.  If not, then raise an
537        <a href="#xml-validity-error" id=vc-notatn-declared><code>xml-validity-error</code></a>.</li>
538        <li class=ed>If <code>NOTATION_ATTR</code> or <code>ENUMERATED_ATTR</code>,
539        values MUST all be distinct.  If not, then raise an
540        <a href="#xml-validity-error" id=vc-no-duplicate-tokens><code>xml-validity-error</code></a>.</li>
541        <li class=ed>If <code>NOTATION_ATTR</code> on an <code>EMPTY</code>
542        element, then raise an
543        <a href="#xml-validity-error" id=vc-no-notation-empty><code>xml-validity-error</code></a>.</li>
544        <li class=ed>@@ #defattrvalid Validity constraint: Attribute Default Value Syntactically Correct</li>
545      </ol>      </ol>
546    </dd>    </dd>
547  <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 325  following:</p> Line 551  following:</p>
551      <code>data</code> attribute value as an <abbr>XML</abbr> character      <code>data</code> attribute value as an <abbr>XML</abbr> character
552      data</a>.</li>      data</a>.</li>
553      <li>If the <code>data</code> attribute value contains      <li>If the <code>data</code> attribute value contains
554      a string <code>]]></code>, then it is an      a string <code>]]></code>, then raise an
555      <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>
556      <li>If the <code>childNodes</code> list of <var>n</var> contains      <li>If the <code>childNodes</code> list of <var>n</var> contains
557      any nodes, they are in      any nodes, they are in
558      <a href="#xml-well-formedness-error" id=wfe-cs-child><code>xml-well-formedness-error</code></a>.</li>      <a href="#xml-well-formedness-error" id=wfe-cs-child><code>xml-well-formedness-error</code></a>.</li>
# Line 335  following:</p> Line 561  following:</p>
561  <dt>If <var>n</var> is a <code>Comment</code> node</dt>  <dt>If <var>n</var> is a <code>Comment</code> node</dt>
562    <dd>    <dd>
563      <ol>      <ol>
564        <li>Raise an
565        <a href="#round-trip-warning" id=rtw-comment><code>round-trip-warning</code></a>.</li>
566      <li><a href="#algorithm-to-validate-an-xml-character-data">Validate the      <li><a href="#algorithm-to-validate-an-xml-character-data">Validate the
567      <code>data</code> attribute value as an <abbr>XML</abbr> character      <code>data</code> attribute value as an <abbr>XML</abbr> character
568      data</a>.</li>      data</a>.</li>
569      <li>If the <code>data</code> attribute value contains      <li>If the <code>data</code> attribute value contains
570      a string <code>--</code>, or if it ends with a character      a string <code>--</code>, or if it ends with a character
571      <code>-</code>, then it is an      <code>-</code>, then raise an
572      <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>.<!--
573        "for compatibility" --></li>
574      <li>If the <code>childNodes</code> list of <var>n</var> contains      <li>If the <code>childNodes</code> list of <var>n</var> contains
575      any nodes, they are in      any nodes, they are in
576      <a href="#xml-well-formedness-error" id=wfe-comment-child><code>xml-well-formedness-error</code></a>.</li>      <a href="#xml-well-formedness-error" id=wfe-comment-child><code>xml-well-formedness-error</code></a>.</li>
# Line 403  following:</p> Line 632  following:</p>
632      <ol>      <ol>
633      <li><a href="#algorithm-to-validate-a-ncname">Validate the      <li><a href="#algorithm-to-validate-a-ncname">Validate the
634      <code>nodeName</code> attribute value as an <code>NCName</code></a>.</li>      <code>nodeName</code> attribute value as an <code>NCName</code></a>.</li>
635        <li>Follow the following substeps:
636          <ol>
637          <li>If <code>ownerDocument</code> attribute of <var>n</var> is
638          <code>null</code>, then abort these substeps.</li>
639          <li>If <code>documentElement</code> attribute of the node
640          set to <code>ownerDocument</code> attribute of <var>n</var> is
641          <code>null</code>, then abort these substeps.</li>
642          <li>If <code>nodeName</code> attribute of the node set to
643          <code>documentElement</code> attribute of the node set to
644          <code>ownerDocument</code> attribute of <var>n</var> is
645          different from <code>nodeName</code> of <var>n</var>,
646          then raise an
647          <a href="#xml-validity-error" id=vc-roottype><code>xml-validity-error</code></a>.</li></li>
648          </ol>
649        </li>
650      <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
651      the <code>publicId</code> attribute value as a public identifier</a>.</li>      the <code>publicId</code> attribute value as a public identifier</a>.</li>
652      <li>If the <code>systemId</code> attribute value contains      <li>If the <code>systemId</code> attribute value contains
653      both <code>"</code> and <code>'</code> characters, it is a      both <code>"</code> and <code>'</code> characters, it is a
654      <a href="#xml-well-formedness-error" id=wfe-dt-system-id><code>xml-well-formedness-error</code></a>.</li>      <a href="#xml-well-formedness-error" id=wfe-dt-system-id><code>xml-well-formedness-error</code></a>.</li>
655        <!-- @@ "It is an error for a fragment identifier (beginning with a # character) to be part of a system identifier." -->
656      <!-- publicId = non-null and systemId = null -->      <!-- publicId = non-null and systemId = null -->
657      <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>
658      in the <code>childNodes</code> list of <var>n</var>,      in the <code>childNodes</code> list of <var>n</var>,
# Line 448  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> recursively.</li>        <var>n<sub><var>c</var></sub></var></a> recursively.</li>
695        </ol></li>        </ol></li>
696        <li class=ed>@@ #elementvalid Validity constraint: Element Valid</li>
697        <li class=ed>@@ #uniqattspec Well-formedness constraint: Unique Att Spec</li>
698        <li class=ed>@@ #RequiredAttr Validity constraint: Required Attribute</li>
699      </ol>      </ol>
700    </dd>    </dd>
701  <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 457  following:</p> Line 705  following:</p>
705      <li>If the <code>childNodes</code> list of <var>n</var> contains      <li>If the <code>childNodes</code> list of <var>n</var> contains
706      any nodes, they are in      any nodes, they are in
707      <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>
708        <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>
709        <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>
710        <li class=ed>@@ #vc-MixedChildrenUnique
711        Validity constraint: No Duplicate Types</li>
712        <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>
713        <li>If there is more than one <code>AttributeDefinition</code> node
714        with <span class=ed>attribute type <code>ID</code></span> in the
715        <code>NamedNodeMap</code> list contained in the
716        <code>attributeDefinitions</code> attribute of <var>n</var>, then raise an
717        <a href="#xml-validity-error" id=vc-one-id-per-el><code>xml-validity-error</code></a>.</li>
718        <li>If there is more than one <code>AttributeDefinition</code> node
719        with <span class=ed>attribute type <code>NOTATION</code></span> in the
720        <code>NamedNodeMap</code> list contained in the
721        <code>attributeDefinitions</code> attribute of <var>n</var>, then raise an
722        <a href="#xml-validity-error" id=vc-one-notation-per><code>xml-validity-error</code></a>.</li>
723        <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>
724      </ol>      </ol>
725    </dd>    </dd>
726  <dt>If <var>n</var> is an <code>Entity</code> node</dt>  <dt>If <var>n</var> is an <code>Entity</code> node</dt>
# Line 472  following:</p> Line 736  following:</p>
736      <a href="#xml-well-formedness-error" id=wfe-dt-system-id><code>xml-well-formedness-error</code></a>.</li>      <a href="#xml-well-formedness-error" id=wfe-dt-system-id><code>xml-well-formedness-error</code></a>.</li>
737      <!-- publicId = non-null and systemId = null -->      <!-- publicId = non-null and systemId = null -->
738      <li class=ed>@@ <code>notationName</code></li>      <li class=ed>@@ <code>notationName</code></li>
739        <li class=ed>@@ #not-declared Validity constraint: Notation Declared</li>
740      <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>
741      in the <code>childNodes</code> list of <var>n</var>,      in the <code>childNodes</code> list of <var>n</var>,
742        <ol>        <ol>
# Line 532  following:</p> Line 797  following:</p>
797  <dt>If <var>n</var> is a <code>ProcessingInstruction</code> node</dt>  <dt>If <var>n</var> is a <code>ProcessingInstruction</code> node</dt>
798    <dd>    <dd>
799      <ol>      <ol>
800      <li><a href="#algorithm-to-validate-a-ncname">Validate the      <li>If the <code>target</code> attribute value matches to the string
801      <code>target</code> attribute value as an <code>NCName</code></a>.</li>      <code>xml</code> in any case combination, then raise a
     <li>If the <code>target</code> attribute value matches to  
     <code>XML</code> case-insensitively, then it is a  
802      <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>
803      <li><a href="#algorithm-to-validate-an-xml-character-data">Validate the      <li>Otherwise, <a href="#algorithm-to-validate-a-ncname">validate the
804      <code>data</code> attribute value as an <abbr>XML</abbr> character      <code>target</code> attribute value as an <code>NCName</code></a>.</li>
805        <li>Then,
806        <a href="#algorithm-to-validate-an-xml-character-data" title="validate an XML character data">validate
807        the <code>data</code> attribute value as an <abbr>XML</abbr> character
808      data</a>.</li>      data</a>.</li>
809      <li>If the <code>data</code> attribute value contains      <li>If the <code>data</code> attribute value contains a string
810      a string <code>?></code>, or starts with either      <code>?></code>, then raise a
811      <code class=char>U+0009</code>, <code class=char>U+000A</code>,      <a href="#xml-well-formedness-error" id=wfe-pi-pic><code>xml-well-formedness-error</code></a>.</li>
812      <code class=char>U+000D</code>, or <code class=char>U+0020</code>      <li>If the <code>data</code> attribute value starts with either
813      character, then it is a      <code class=char>U+0009</code> <code class=charname>CHARACTER
814      <a href="#round-trip-error" id=rte-pi-data><code>round-trip-error</code></a>.</li>      TABULATION</code>, <code class=char>U+000A</code> <code class=charname>LINE
815        FEED</code>, <code class=char>U+000D</code> <code class=charname>CARRIAGE
816        RETURN</code>, or <code class=char>U+0020</code>
817        <code class=charname>SPACE</code> character, then raise a
818        <a href="#round-trip-error" id=rte-pi-s><code>round-trip-error</code></a>.</li>
819      <li>If the <code>childNodes</code> list of <var>n</var> contains      <li>If the <code>childNodes</code> list of <var>n</var> contains
820      any nodes, they are in      any nodes, then raise an
821      <a href="#xml-well-formedness-error" id=wfe-pi-child><code>xml-well-formedness-error</code></a>.</li>      <a href="#xml-well-formedness-error" id=wfe-pi-child><code>xml-well-formedness-error</code></a>.</li>
822      </ol>      </ol>
823    </dd>    </dd>
# Line 569  following:</p> Line 839  following:</p>
839  </div>  </div>
840    
841  </div>  </div>
842    
843    <div id=classes class=section>
844    <h2>Character Classes</h2>
845    
846    <p>This section defines a couple of character classes.
847    These classes are referred to by algorithms specified above.</p>
848    
849    <p>Character class <dfn id=class-Char10><code>Char10</code></dfn>
850    contains the following characters:</p>
851    <ul>
852    <li><code class=char>U+0009</code> <code class=charname>CHARACTER
853    TABULATION</code></li>
854    <li><code class=char>U+000A</code> <code class=charname>LINE FEED</code></li>
855    <li><code class=char>U+000D</code> <code class=charname>CARRIAGE
856    RETURN</code></li>
857    <li><code class=char>U+0020</code> <code class=charname>SPACE</code>
858    .. <code class=char>U+D7FF</code></li>
859    <li><code class=char>U+E000</code> .. <code class=char>U+FFFD</code>
860    <code class=charname>REPLACEMENT CHARACTER</code></li>
861    <li><code class=char>U+10000</code> .. <code class=char>U+10FFFF</code></li>
862    </ul>
863    <div class="note memo">
864    <p>This character class contains all characters allowed in the production rule
865    <a href="http://www.w3.org/TR/2006/REC-xml-20060816/#NT-Char"><code>Char</code></a>
866    of <abbr>XML</abbr> 1.0
867    <cite class="bibref normative">[<a href="#ref-XML10">XML10</a>]</cite>.</p>
868    </div>
869    
870    <p>Character class <dfn id=class-CompatChar10><code>CompatChar10</code></dfn>
871    contains the following characters:</p>
872    <ul>
873    <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>
874    </ul>
875    
876    <p>Character class <dfn id=class-ControlChar10><code>ControlChar10</code></dfn>
877    contains the following characters:</p>
878    <ul>
879    <li><code class=char>U+007F</code> <code class=charname>DELETE</code> ..
880    <code class=char>U+0084</code> <code class=charname>INDEX</code></li>
881    <li><code class=char>U+0086</code> <code class=charname>START OF SELECTED
882    AREA</code> .. <code class=char>U+009F</code> <code class=charname>APPLICATION
883    PROGRAM COMMAND</code></li>
884    <li><code class=char>U+FDD0</code> .. <code class=char>U+FDEF</code></li>
885    <li><code class=char>U+1FFFE</code> .. <code class=char>U+1FFFF</code></li>
886    <li><code class=char>U+2FFFE</code> .. <code class=char>U+2FFFF</code></li>
887    <li><code class=char>U+3FFFE</code> .. <code class=char>U+3FFFF</code></li>
888    <li><code class=char>U+4FFFE</code> .. <code class=char>U+4FFFF</code></li>
889    <li><code class=char>U+5FFFE</code> .. <code class=char>U+5FFFF</code></li>
890    <li><code class=char>U+6FFFE</code> .. <code class=char>U+6FFFF</code></li>
891    <li><code class=char>U+7FFFE</code> .. <code class=char>U+7FFFF</code></li>
892    <li><code class=char>U+8FFFE</code> .. <code class=char>U+8FFFF</code></li>
893    <li><code class=char>U+9FFFE</code> .. <code class=char>U+9FFFF</code></li>
894    <li><code class=char>U+AFFFE</code> .. <code class=char>U+AFFFF</code></li>
895    <li><code class=char>U+BFFFE</code> .. <code class=char>U+BFFFF</code></li>
896    <li><code class=char>U+CFFFE</code> .. <code class=char>U+CFFFF</code></li>
897    <li><code class=char>U+DFFFE</code> .. <code class=char>U+DFFFF</code></li>
898    <li><code class=char>U+EFFFE</code> .. <code class=char>U+EFFFF</code></li>
899    <li><code class=char>U+FFFFE</code> .. <code class=char>U+FFFFF</code></li>
900    <li><code class=char>U+10FFFE</code> .. <code class=char>U+10FFFF</code></li>
901    </ul>
902    <div class="note memo">
903    <p>This character class contains the characters listed in the Note in
904    <a href="http://www.w3.org/TR/2006/REC-xml-20060816/#charsets">Section 2.2</a>
905    of <abbr>XML</abbr> 1.0
906    <cite class="bibref normative">[<a href="#ref-XML10">XML10</a>]</cite>,
907    as amended by
908    <a href="http://www.w3.org/XML/xml-V10-4e-errata#E02">errata</a>.</p>
909    </div>
910    
911    </div>
912    
913  <div id="references" class="section reference">  <div id="references" class="section reference">
914  <h2>References</h2>  <h2>References</h2>
Legend:
Removed from v.1.10  
changed lines
  Added in v.1.17
admin@suikawiki.org
 ViewVC Help
Powered by ViewVC 1.1.24