/[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.4 by wakaba, Mon Nov 12 12:45:49 2007 UTC revision 1.23 by wakaba, Sun Mar 16 12:37:17 2008 UTC
# Line 4  Line 4 
4  <title>manakai's XML Conformance Checking</title>  <title>manakai's XML Conformance Checking</title>
5  <link rel="stylesheet" href="http://suika.fam.cx/www/style/html/spec">  <link rel="stylesheet" href="http://suika.fam.cx/www/style/html/spec">
6  <link rel="license" href="http://suika.fam.cx/c/gnu/fdl">  <link rel="license" href="http://suika.fam.cx/c/gnu/fdl">
7    <style>
8      a[id]::before {
9        content: "[" attr(id) "]";
10        color: gray;
11        font-size: 70%;
12        font-family: Courier New, monospace;
13        vertical-align: 60%;
14      }
15    </style>
16  </head>  </head>
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-12>12 November 2007</time></h2>  <h2>Working Draft <time datetime=2008-03-16>16 March 2008</time></h2>
22    
23  <dl class="versions-uri">  <dl class="versions-uri">
24  <dt>This Version</dt>  <dt>This Version</dt>
# Line 33  Line 42 
42        >w@suika.fam.cx</a>&gt;</code></dd>        >w@suika.fam.cx</a>&gt;</code></dd>
43  </dl>  </dl>
44    
45  <p class="copyright" lang="en">&#xA9; <time>2007</time> <a  <p class="copyright" lang="en">&#xA9; <time>2007</time>$B!>(B<time>2008</time> <a
46      href="http://suika.fam.cx/~wakaba/who?" rel="author">Wakaba</a>.      href="http://suika.fam.cx/~wakaba/who?" rel="author">Wakaba</a>.
47  Permission is granted to copy, distribute and/or modify this document  Permission is granted to copy, distribute and/or modify this document
48  under the terms of the <a rel="license"  under the terms of the <a rel="license"
# Line 109  else in this specification is normative. Line 118  else in this specification is normative.
118  <p><span class=ed>Algorithm is normative but non-normative</span>.  <p><span class=ed>Algorithm is normative but non-normative</span>.
119  In addition, the order in which <a href="#errors">errors</a> are  In addition, the order in which <a href="#errors">errors</a> are
120  raised is undefined.</p>  raised is undefined.</p>
121    
122    <p>This document sometimes cites parts of <abbr>XML</abbr> 1.0 specification
123    by hyperlinks.  When the document being processed is an <abbr>XML</abbr> 1.1
124    document, however, corresponding parts of the <abbr>XML</abbr> 1.1
125    specification should be consulted instead.</p>
126  </div>  </div>
127    
 <div class="section">  
 <h2 class=ed>Algorithms</h2>  
128    
129  <p>The following algorithms and definitions are applied to  <div class=section id=error-categories>
130  <abbr>XML</abbr> documents; especially, they are not applied  <h2>Error Classification</h2>
 to <abbr>HTML</abbr> documents.<!-- TODO: ref to HTML5 --></p>  
131    
132  <p class=ed>If a <code>Document</code> node has no  <p class=ed>If a <code>Document</code> node has no
133  xml-well-formedness-error, entity-error, and unknown-error,  xml-well-formedness-error, entity-error, and unknown-error,
# Line 129  into a well$B!>(Bformed XML document. Line 140  into a well$B!>(Bformed XML document.
140  can be easily serialized into a valid XML document.</p>  can be easily serialized into a valid XML document.</p>
141  </div>  </div>
142    
143    <p class=ed>To be a conforming <a href="http://www.w3.org/TR/2006/REC-xml-20060816/#dt-validating">validating XML processor</a>,
144    ...</p>
145    
146  <p>Errors are classified into these  <p>Errors are classified into these
147  <dfn id=error-category title="error category">error categories</dfn>:</p>  <dfn id=error-category title="error category">error categories</dfn>:</p>
148    
# Line 147  can be easily serialized into a valid XM Line 161  can be easily serialized into a valid XM
161    </dd>    </dd>
162  <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>
163    <dd class=ed>@@</dd>    <dd class=ed>@@</dd>
164    <dt><dfn id=round-trip-warning><code>round-trip-warning</code></dfn></dt>
165      <dd>
166        <p>A <a href="#round-trip-warning"><code>round-trip-warning</code></a>
167        will be raised when a construct, which might not be restored to the same
168        construct when it is serialized and then re-parsed by a conforming
169        processor, is encountered.</p>
170        <div class="example memo">
171          <p>For a <code>Comment</code> node a
172          <a href="#round-trip-warning"><code>round-trip-warning</code></a> will
173          be raised, since <abbr>XML</abbr> processors are not required to
174          report texts of comments for applications.</p>
175        </div>
176      </dd>
177  <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>
178    <dd class=ed>@@</dd>    <dd class=ed>@@</dd>
179  <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 167  can be easily serialized into a valid XM Line 194  can be easily serialized into a valid XM
194    <a href="@@/#dt-fatal">fatal error</a>)    <a href="@@/#dt-fatal">fatal error</a>)
195    that is not classified to any other <a href="#error-category">error    that is not classified to any other <a href="#error-category">error
196    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>
197    <dt><dfn id=xml-misc-recommendation><code>xml-misc-recommendation</code></dfn></dt>
198      <dd>
199        <p>An
200        <a href="#xml-misc-recommendation"><code>xml-misc-recommendation</code></a>
201        will be raised if a <em class=rfc2119>SHOULD</em>$B!>(Blevel requirement
202        in <abbr>XML</abbr> specification is not met.</p>
203      </dd>
204  <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>
205    <dd>A violation of validity constraint in XML document.</dd>    <dd>A violation of validity constraint in XML document.</dd>
206  <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 180  can be easily serialized into a valid XM Line 214  can be easily serialized into a valid XM
214    
215  <div class=ed><p>@@ TODO: #dt-atuseroption at user option  <div class=ed><p>@@ TODO: #dt-atuseroption at user option
216  (MAY or MUST), #dt-compat for compatibility,  (MAY or MUST), #dt-compat for compatibility,
217  #dt-interop for interoperability</p></div>  #dt-interop for interoperability</p>
218    
219    <p>TODO: XML 1.1, XML Namespace 1.0/1.1, xml:base, xml:id
220    </div>
221    
222    </div>
223    
224    <div class=section id=parsing-xml>
225    <h2>Parsing <abbr>XML</abbr> Document</h2>
226    
227    <p>When an <abbr>XML</abbr> document is parsed, the following clauses
228    are applied:</p>
229    <dl>
230    <dt>For each document
231      <dd>If the <abbr>XML</abbr> document does not begin with an
232      <abbr>XML</abbr> declaration, then the parser <em class=rfc2119>MUST</em>
233      raise an
234      <a href="#xml-misc-recommentation" id=xmr-xml-decl><code>xml-misc-recommendation</code></a>.
235    <dt>For each internal general entity declaration processed by the parser
236      <dd>If the
237      <a href="http://www.w3.org/TR/2006/REC-xml-20060816/#NT-EntityValue"><code>EntityValue</code></a>
238      part of the general entity declaration contains a bare <code>U+003C</code>
239      <code>LESS-THAN SIGN</code> (<code>&lt;</code>) character, then the parser
240      <em class=rfc2119>MUST</em> raise an
241      <a href="#xml-misc-warning" id=xmw-entity-value-lt><code>xml-misc-warning</code></a>.<!--
242    "strongly advised to avoid" in a Note in Section 2.3 of [XML10], [XML11].
243    -->
244    <dt>For each element type declaration processed by the parser
245      <dd>If there is another element type declaration whose <code>Name</code>
246      is equal to the <code>Name</code> of the element type declaration, then
247      the parser <em class=rfc2119>MUST</em> raise an
248      <a href="#xml-validity-error" id=vc-edunique><code>xml-validity-error</code></a>.
249    <!--
250      NOTE: <!ATTLIST a xml:space (default) #IMPLIED xml:space CDATA #IMPLIED>
251      will not be warned.
252    -->
253    <dt>For each empty-element tag
254      <dd>If the <code>Name</code> of the tag is not declared by a processed
255      element type declaration as <code>EMPTY</code> content, then the parser
256      <em class=rfc2119>MUST</em> raise an
257      <a href="#xml-misc-recommentation" id=xmr-emptyelemtag-not-empty><code>xml-misc-recommendation</code></a>.
258    <dt>For each start-tag
259      <dd>If the <code>Name</code> of the tag is declared by a processed element
260      type declaration as <code>EMPTY</code> content, then the parser
261      <em class=rfc2119>MUST</em> raise an
262      <a href="#xml-misc-recommentation" id=xmr-empty-not-emptyelemtag><code>xml-misc-recommendation</code></a>.
263    <!--
264    
265    #vc-PEinMarkupDecl Validity constraint: Proper Declaration/PE Nesting
266    #wfc-PEinInternalSubset Well-formedness constraint: PEs in Internal Subset
267    #ExtSubset Well-formedness constraint: External Subset
268    #PE-between-Decls Well-formedness constraint: PE Between Declarations
269    #GIMatch Well-formedness constraint: Element Type Match
270    #uniqattspec Well-formedness constraint: Unique Att Spec
271    #NoExternalRefs Well-formedness constraint: No External Entity References
272    #CleanAttrVals Well-formedness constraint: No < in Attribute Values
273    #vc-PEinGroup Validity constraint: Proper Group/PE Nesting
274    "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 ,)."
275    "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."
276    #condsec-nesting Validity constraint: Proper Conditional Section/PE Nesting
277    #wf-Legalchar Well-formedness constraint: Legal Character
278    #textent Well-formedness constraint: Parsed Entity
279    #norecursion Well-formedness constraint: No Recursion
280    #indtd Well-formedness constraint: In DTD
281    "External parsed entities SHOULD each begin with a text declaration."
282    "It is an error for a reference to an unparsed entity to appear in the EntityValue in an entity declaration."
283    #UniqueNotationName Validity constraint: Unique Notation Name
284    
285    @@ Need detailed review, but maybe should be in parsing phase
286    
287    #vc-check-rmd Validity constraint: Standalone Document Declaration
288    
289    @@ Need dtailed review
290    
291    #wf-entdeclared Well-formedness constraint: Entity Declared
292    #vc-entdeclared Validity constraint: Entity Declared
293    "For interoperability, valid documents SHOULD declare the entities amp, lt, gt, apos, quot, in the form specified in 4.6 Predefined Entities."
294    "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)."
295    
296    @@ flaged and then reported in DOM check phase
297    
298    "Entities encoded in UTF-16 MUST and entities encoded in UTF-8 MAY begin with the Byte Order Mark"
299    "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"
300    "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."
301    
302    @@ in parsing phase
303    
304    "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."
305    
306    @@ We should phrase out what the parser should do where the XML specification
307    left undefined.  For example: Comment must be converted to a Comment node,
308    illegal xml:space value must be preserved, so on.
309    
310    -->
311    </dl>
312    </div>
313    
314    <div class="section" id=checking-dom>
315    <h2>Checking <abbr>DOM</abbr></h2>
316    
317    <p>The following algorithms and definitions are applied to
318    <abbr>XML</abbr> documents; especially, they are not applied
319    to <abbr>HTML</abbr> documents.<!-- TODO: ref to HTML5 --></p>
320    
321    <div class=section id=definitions>
322    <h3>Definitions</h3>
323    
324  <p>The <dfn id=xml-version><abbr>XML</abbr> version</dfn> of a node is  <p>The <dfn id=xml-version><abbr>XML</abbr> version</dfn> of a node is
325  the <abbr>XML</abbr> version of the document to which the node belongs.  the <abbr>XML</abbr> version of the document to which the node belongs.
326  For a <code>Documemt</code> node, the <abbr>XML</abbr> version  For a <code>Documemt</code> node, the <abbr>XML</abbr> version
327  of the document is the value of the <code>xmlVersion</code>  of the document is the value of the <code>xmlVersion</code>
328  attribute.  For a <code>DocumentType</code> node whose  attribute of the node.  For a <code>DocumentType</code> node whose
329  <code>ownerDocument</code> is set to <code>null</code>,  <code>ownerDocument</code> attribute is set to <code>null</code>,
330  the <abbr>XML</abbr> version of the document is <code>1.0</code>.  the <abbr>XML</abbr> version of the document is <code>1.0</code><!--
331    since createDocumentType [DOM3CORE] assumes XML 1.0 [XML10TE] -->.
332  For any other node, the <abbr>XML</abbr> version of the document  For any other node, the <abbr>XML</abbr> version of the document
333  is that of the <code>Document</code> node contained in the  is that of the <code>Document</code> node contained in the
334  <code>ownerDocument</code> attribute of the node.</p>  <code>ownerDocument</code> attribute of the node.</p>
335    
336    </div>
337    
338    
339    <div class=section id=checking-components>
340    <h3>Conformance Checking Algorithms for Components</h3>
341    
342    <p>To
343    <dfn id=algorithm-to-validate-an-xml-character-data title="validate an XML string">to
344    validate an <abbr>XML</abbr> string (<dfn id=var-s><var>s</var></dfn>)</dfn>,
345    the following algorithm <em class=rfc2119>MUST</em> be used:</p>
346    <ol>
347    <li>If <var>s</var> contains a character that is <em>not</em> in
348    the character class <a href="#class-Char10"><code>Char10</code></a>,
349    then raise an
350    <a href="#xml-well-formedness-error" id=wfe-illegal-char><code>xml-well-formedness-error</code></a>.</li>
351    <li>If <var>s</var> contains a character that is in the character
352    class <a href="#class-CompatChar10"><code>CompatChar10</code></a>,
353    then raise an
354    <a href="#xml-misc-warning" id=xmw-compat-char><code>xml-misc-warning</code></a>.</li>
355    <li>If <var>s</var> contains a character that is in the character
356    class <a href="#class-ControlChar10"><code>ControlChar10</code></a>,
357    then raise an
358    <a href="#xml-misc-warning" id=xmw-control-char><code>xml-misc-warning</code></a>.</li>
359    <li class=ed>@@ XML 1.1 support</li>
360    <li>If <var>s</var> contains a <code class=char>U+000D</code>
361    <code class=charname>CARRIAGE RETURN</code> character, then
362    raise a
363    <a href="#round-trip-error" id=rte-cr><code>round-trip-error</code></a>.
364    <span class=ed>@@ We should not raise duplicate errors for U+000D
365    in attribute values.  In addition, we should support a mode where
366    U+000D will be serialized as &#x000D; (so that no round-trip-error
367    will be raised).</span></li>
368    </ol>
369    
370    <p>To
371    <dfn id=algorithm-to-validate-a-name title="validate a Name">validate a
372    <code>Name</code> (<dfn id=var-name-s><var>s</var></dfn>)</dfn>, the following
373    algorithm <em class=rfc2119>MUST</em> be used:</p>
374    <ol>
375    <li>If <var>s</var> is an empty string, then raise an
376    <a href="#xml-well-formedness-error" id=wfe-name-empty><code>xml-well-formedness-error</code></a>.
377    Abort these steps.</li>
378    <li><a href="#algorithm-to-validate-an-xml-character-data" title="validate an XML string">Validate
379    <var>s</var> as an <abbr>XML</abbr> string</a>.</li>
380    <li>If the first character in <var>s</var> is a character that is
381    <em>not</em> in the character class
382    <a href="#class-NameStartChar10"><code>NameStartChar10</code></a>, then raise
383    an
384    <a href="#xml-well-formedness-error" id=wfe-name-startchar><code>xml-well-formedness-error</code></a>.</li>
385    <li>If a character other than the first character in <var>s</var> is a
386    character that is <em>not</em> in the character class
387    <a href="#class-NameChar10"><code>NameChar10</code></a>, then raise an
388    <a href="#xml-well-formedness-error" id=wfe-name-char><code>xml-well-formedness-error</code></a>.</li>
389    <li>If <var>s</var> begins with the string <code>xml</code> (in any
390    case combination), then raise an
391    <a href="#xml-misc-warning" id=xmw-reserved-name><code>xml-misc-warning</code></a>.
392    <span class=ed>@@ except for attribute names <code>xml:lang</code>,
393    <code>xml:space</code>, <code>xml:base</code>, <code>xml:id</code>,
394    <code>xmlns</code>, <code>xmlns:<var>*</var></code>,
395    pi name <code>xml-stylesheet</code>.</span><!--
396    "names beginning with a match to (('X'|'x')('M'|'m')('L'|'l')) are reserved for standardization in this or future versions of this specification.":
397    xmlns, xml-stylesheet, xml:base and xml:id specifications violate to this sentense!
398    --></li>
399    <!-- COLON in Name is a lowercase "should not" in a Note of [XML10],
400    [XML11]. -->
401    <li class=ed>@@ XML 1.1 support</li>
402    </ol>
403    
404    <p>To
405    <dfn id=algorithm-to-validate-an-ncname title="validate an NCName">validate
406    an <code>NCName</code> (<dfn id=var-ncname-s><var>s</var></dfn>)</dfn>, the
407    following algorithm <em class=rfc2119>MUST</em> be used:</p>
408    <ol>
409    <li><a href="#algorithm-to-validate-a-name" title="validate a Name">Validate
410    <var>s</var> as a <code>Name</code></a>.</li>
411    <li class=ed>@@</li>
412    </ol>
413    
414    <p>To
415    <dfn id=algorithm-to-validate-a-public-identifier title="validate a public identifier">validate
416    a public identifier (<dfn id=var-pid><var>pid</var></dfn>)</dfn>, the
417    following algorithm <em class=rfc2119>MUST</em> be used:</p>
418    <ol>
419    <li>If <var>pid</var> is <code>null</code>, abort these steps.</li>
420    <li>If <var>pid</var> contains a character that is <em>not</em> in the
421    character class <a href="#class-PubidChar"><code>PubidChar</code></a>, then
422    raise an
423    <a href="#xml-well-formedness-error" id=wfe-pubid-char><code>xml-well-formedness-error</code></a>.</li>
424      <li>If <var>pid</var> contains one of <code class=char>U+0009</code>
425      <code class=charname>CHARACTER TABULATION</code>,
426      <code class=char>U+000A</code> <code class=charname>CARRIAGE RETURN</code>,
427      and <code class=char>U+000D</code> <code class=charname>LINE FEED</code>
428      characters, if the first character of <var>pid</var> is
429      <code class=char>U+0020</code> <code class=charname>SPACE</code> character,
430      if the last character of <var>pid</var> is <code class=char>U+0020</code>
431      <code class=charname>SPACE</code> character, or if there is a
432      <code class=char>U+0020</code> <code class=charname>SPACE</code> character
433      immediately followed by another <code class=char>U+0020</code>
434      <code class=charname>SPACE</code> character in <var>pid</var>, then it is a
435      <a href="#round-trip-error" id=rte-pubid-space><code>round-trip-error</code></a>.
436      <span class=ed>Is this really a roundtripness problem?  XML spec
437      does only define the way to match public identifiers in fact, no
438      canonical form.</span></li>
439    </ol>
440    
441    <p>To
442    <dfn id=algorithm-to-validate-a-system-identifier title="validate a system identifier">validate
443    a system identifier (<dfn id=var-sid><var>sid</var></dfn>)</dfn>, the
444    following algorithm <em class=rfc2119>MUST</em> be used:</p>
445    <ol>
446      <li>If <var>sid</var> is <code>null</code>, abort these steps.</li>
447    <li><a href="#algorithm-to-validate-an-xml-character-data" title="validate an XML string">Validate
448    <var>sid</var> as an <abbr>XML</abbr> string</a>.</li>
449      <li>If <var>sid</var> contains both <code class=char>U+0022</code>
450      <code class=charname>QUOTATION MARK</code> (<code class=char>"</code>) and
451      <code class=char>U+0027</code> <code class=charname>APOSTROPHE</code>
452      (<code class=char>'</code>) characters, raise an
453      <a href="#xml-well-formedness-error" id=wfe-sid-lit><code>xml-well-formedness-error</code></a>.</li>
454      <li>If <var>sid</var> contains at least one <code class=char>U+0023</code>
455      <code class=charname>NUMBER SIGN</code> (<code class=char>#</code>)
456      character, then raise an
457      <a href="#xml-misc-error" id=xme-sid-fragment><code>xml-misc-error</code></a>.</li>
458      <li class=ed>@@ If <var>sid</var> cannot be converted to a URI
459      reference, then raise a fact-level error (xml-misc-warning?).<!--
460      XML 1.0 has no conformance language for system identifier being
461      a URI reference. --></li>
462    </ol>
463    
464    </div>
465    
466    <div class=section id=checking-node>
467    <h3>Checking <code>Node</code></h3>
468    
469  <p>The algorithm <dfn title="to check a node" id=algorithm-to-check-a-node>to  <p>The algorithm <dfn title="to check a node" id=algorithm-to-check-a-node>to
470  check a node (<dfn id=var-n><var>n</var></dfn>)</dfn> is defined as  check a node (<dfn id=var-n><var>n</var></dfn>)</dfn> is defined as
471  following:</p>  following:</p>
# Line 200  following:</p> Line 473  following:</p>
473  <dt>If <var>n</var> is an <code>Attr</code> node</dt>  <dt>If <var>n</var> is an <code>Attr</code> node</dt>
474    <dd>    <dd>
475      <ol>      <ol>
476      <li><a href="#algorithm-to-validate-a-ncname">Validate the      <li><a href="#algorithm-to-validate-an-ncname">Validate the
477      <code>localName</code> attribute value as an <code>NCName</code></a>.</li>      <code>localName</code> attribute value as an <code>NCName</code></a>.</li>
478      <li>If the <code>prefix</code> attribute value is different from      <li>If the <code>prefix</code> attribute value is different from
479      <code>null</code>, then <a href="#algorithm-to-validate-a-ncname">validate      <code>null</code>, then <a href="#algorithm-to-validate-an-ncname">validate
480      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>
481      <li>If the <code>childNodes</code> list of <var>n</var> contains      <li>For each node <dfn id=var-attr-nc><var>n<sub><var>c</var></sub></var></dfn> in the
     a node which is <em>not</em> <code>Text</code> or  
     <code>EntityReference</code> node, then it is a  
     <a href="#xml-well-formedness-error" id=wfe-attr-child><code>xml-well-formedness-error</code></a>.</li>  
     <li>If the <code>childNodes</code> list of <var>n</var> contains  
     an <code>EntityReference</code> node, it is an  
     <a href="#entity-error" id=ee-er-in-attr><code>entity-error</code></a>.</li>  
     <li><a href="#algorithm-to-check-a-node">Check each node</a>, in  
482      <code>childNodes</code> list of <var>n</var>,      <code>childNodes</code> list of <var>n</var>,
483      which is different from <code>EntityReference</code> recursively.</li>        <ol>
484          <li>If <var>n<sub><var>c</var></sub></var> is <em>not</em> a
485          <code>Text</code> or <code>EntityReference</code> node, then it is an
486          <a href="#xml-well-formedness-error" id=wfe-attr-child><code>xml-well-formedness-error</code></a>.</li>
487          <li>Otherwise, if <var>n<sub><var>c</var></sub></var> is an
488          <code>EntityReference</code> node, then it is an
489          <a href="#entity-error" id=ee-attr-er><code>entity-error</code></a>.</li>
490          <li>Otherwise,
491          <a href="#algorithm-to-check-a-node" title="check a node">check
492          <var>n<sub><var>c</var></sub></var></a> recusrively.</li>
493          </ol></li>
494        <li>If <code>nodeName</code> attribute of <var>n</var> is
495        <code>xml:space</code> <span class=ed>@@ or {xml namespace}:space ?</span>
496        and <code>value</code> attribute of <var>n</var> is neither
497        <code>default</code> nor <code>preserve</code>, then it is an
498        <a href="#xml-misc-error" id=xme-attr-xml-space><code>xml-misc-error</code></a>.<!--
499        Note that <!ATTLIST e xml:space (default|preserve) "a">...
500        <e xml:space="default"/> is conforming and valid. --></li>
501        <li class=ed>@@ xml:lang value is not a language tag [RFC 3066 or its
502        successor] or an empty string, then xml-misc-warning
503        (a "fact"-level error; not an XML error).</li>
504      <li class=ed>@@ <code>specified</code>,      <li class=ed>@@ <code>specified</code>,
505      <code>manakaiAttributeType</code></li>      <code>manakaiAttributeType</code> (#ValueType Validity constraint: Attribute Value Type)</li>
506        <!-- xml:space MUST be declared to be valid. -->
507        <li>Let <dfn id=var-v><var>v</var></dfn> be the value of the
508        attribute <code>value</code> of <var>n</var>.</li>
509        <li>Validate the <var>n</var> against the <span class=ed>declared
510        type</span> as following:
511          <dl class=switch>
512          <dt class=ed><code>ID_ATTR</code></dt>
513            <dd>
514              <ol>
515              <li><span class=ed>Validate <var>v</var> as an
516              <code>Name</code>.</span>  If it fails, then raise an
517              <a href="#xml-validity-error" id=vc-id-name><code>xml-validity-error</code></a>.</li>
518              <li><span class=ed>If <code>ID</code> <var>v</var> is defined,</span>
519              then raise an  
520              <a href="#xml-validity-error" id=vc-id-duplication><code>xml-validity-error</code></a>.</li>
521              </ol>
522            </dd>
523          <dt class=ed>IDREF_ATTR</dt>
524            <dd>
525              <ol>
526              <li><span class=ed>Validate <var>v</var> as an
527              <code>Name</code>.</span>  If it fails, then raise an
528              <a href="#xml-validity-error" id=vc-idref-name><code>xml-validity-error</code></a>.</li>
529              <li><span class=ed>If <code>ID</code> <var>v</var> is NOT
530              defined,</span> then raise an  
531              <a href="#xml-validity-error" id=vc-idref-match><code>xml-validity-error</code></a>.</li>
532              </ol>
533            </dd>
534          <dt class=ed>IDREFS_ATTR</dt>
535            <dd class=ed>@@</dd>
536          <dt class=ed>ENTITY_ATTR</dt>
537            <dd>
538              <ol>
539              <li><span class=ed>Validate <var>v</var> as an
540              <code>Name</code>.</span>  If it fails, then raise an
541              <a href="#xml-validity-error" id=vc-entname-name><code>xml-validity-error</code></a>.</li>
542              <li><span class=ed>If <code>Entity</code> <var>v</var> is NOT
543              defined,</span> then raise an  
544              <a href="#xml-validity-error" id=vc-entname-match><code>xml-validity-error</code></a>.</li>
545              </ol>
546            </dd>
547          <dt class=ed>ENTITIES_ATTR</dt>
548            <dd class=ed>@@</dd>
549          <dt class=ed>NMTOKEN_ATTR</dt>
550            <dd>
551              <ol>
552              <li><span class=ed>Validate <var>v</var> as an
553              <code>Nmtoken</code>.</span>  If it fails, then raise an
554              <a href="#xml-validity-error" id=vc-nmtok-name><code>xml-validity-error</code></a>.</li>
555              </ol>
556            </dd>
557          <dt class=ed>NMTOKENS_ATTR</dt>
558            <dd class=ed>@@</dd>
559          <dt class=ed>NOTATION_ATTR</dt>
560            <dd class=ed><var>v</var> must be one of enumerated values.
561            If not, then raise an
562            <a href="#xml-validity-error" id=vc-notatn-match><code>xml-validity-error</code></a>.</dd>
563          <dt class=ed>ENUMERATED_ATTR</dt>
564            <dd class=ed><var>v</var> must be one of enumerated values.
565            If not, then raise an
566            <a href="#xml-validity-error" id=vc-enum><code>xml-validity-error</code></a>.</dd>
567          <dt class=ed>@@</dt>
568          </dl>
569        </li>
570        <li>If <span class=ed>type ID and default is NOT #IMPLIED or #REQUIRED</span>, then
571        raise an
572        <a href="#xml-validity-error" id=vc-id-default><code>xml-validity-error</code></a>.</li>
573        <li class=ed>@@ #FixedAttr Validity constraint: Fixed Attribute Default</li>
574        <li class=ed>@@ strict serialization error for U+000D, U+000A, and
575        U+0009 characters, leading/trailing U+0020, and U+0020{2,} string?</li>
576      </ol>      </ol>
577    </dd>    </dd>
578  <dt>If <var>n</var> is an <code>AttributeDefinition</code> node</dt>  <dt>If <var>n</var> is an <code>AttributeDefinition</code> node</dt>
579    <dd class=ed></dd>    <dd>
580        <ol>
581        <li class=ed></li>
582        <li>If <code>nodeName</code> attribute of <var>n</var> is
583        <code>xml:space</code> <span class=ed>@@ or {xml namespace}:space ?</span>
584        and <span class=ed>its declared type is different from (default|preserve),
585        (preserve|default), (default), or (preserve)</span>, then raise an
586        <a href="#xml-misc-error" id=xme-at-xml-space><code>xml-misc-error</code></a>.</li>
587        <li>For each node <dfn id=var-ad-nc><var>n<sub><var>c</var></sub></var></dfn> in the
588        <code>childNodes</code> list of <var>n</var>,
589          <ol>
590          <li>If <var>n<sub><var>c</var></sub></var> is <em>not</em> a
591          <code>Text</code> or <code>EntityReference</code> node, then it is an
592          <a href="#xml-well-formedness-error" id=wfe-at-child><code>xml-well-formedness-error</code></a>.</li>
593          <li>Otherwise, if <var>n<sub><var>c</var></sub></var> is an
594          <code>EntityReference</code> node, then it is an
595          <a href="#entity-error" id=ee-at-er><code>entity-error</code></a>.</li>
596          <li>Otherwise,
597          <a href="#algorithm-to-check-a-node" title="check a node">check
598          <var>n<sub><var>c</var></sub></var></a> recusrively.</li>
599          </ol></li>
600        <li class=ed>If <code>NOTATION_ATTR</code>, enumerated values MUST
601        be declared.  If not, then raise an
602        <a href="#xml-validity-error" id=vc-notatn-declared><code>xml-validity-error</code></a>.</li>
603        <li class=ed>If <code>NOTATION_ATTR</code> or <code>ENUMERATED_ATTR</code>,
604        values MUST all be distinct.  If not, then raise an
605        <a href="#xml-validity-error" id=vc-no-duplicate-tokens><code>xml-validity-error</code></a>.</li>
606        <li class=ed>If <code>NOTATION_ATTR</code> on an <code>EMPTY</code>
607        element, then raise an
608        <a href="#xml-validity-error" id=vc-no-notation-empty><code>xml-validity-error</code></a>.</li>
609        <li class=ed>@@ #defattrvalid Validity constraint: Attribute Default Value Syntactically Correct</li>
610        </ol>
611      </dd>
612  <dt>If <var>n</var> is a <code>CDATASection</code> node</dt>  <dt>If <var>n</var> is a <code>CDATASection</code> node</dt>
613    <dd>    <dd>
614      <ol>      <ol>
615      <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
616      <code>data</code> attribute value as an <abbr>XML</abbr> character      <code>data</code> attribute value as an <abbr>XML</abbr> character
617      data</a>.</li>      data</a>.</li>
618      <li>If the <code>data</code> attribute value contains      <li>If the <code>data</code> attribute value contains
619      a string <code>]]></code>, then it is a      a string <code>]]></code>, then raise an
620      <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>
621      <li>If the <code>childNodes</code> list of <var>n</var> contains      <li>If the <code>childNodes</code> list of <var>n</var> contains
622      any nodes, they are in      any nodes, they are in
623      <a href="#xml-well-formedness-error" id=wfe-cs-child><code>xml-well-formedness-error</code></a>s.</li>      <a href="#xml-well-formedness-error" id=wfe-cs-child><code>xml-well-formedness-error</code></a>.</li>
624      </ol>      </ol>
625    </dd>    </dd>
626  <dt>If <var>n</var> is a <code>Comment</code> node</dt>  <dt>If <var>n</var> is a <code>Comment</code> node</dt>
627    <dd>    <dd>
628      <ol>      <ol>
629      <li><a href="#algorithm-to-validate-an-xml-character-data">Validate the      <li>Raise an
630        <a href="#round-trip-warning" id=rtw-comment><code>round-trip-warning</code></a>.</li>
631        <li><a href="#algorithm-to-validate-an-xml-character-data" title="validate an XML string">Validate the
632      <code>data</code> attribute value as an <abbr>XML</abbr> character      <code>data</code> attribute value as an <abbr>XML</abbr> character
633      data</a>.</li>      data</a>.</li>
634      <li>If the <code>data</code> attribute value contains      <li>If the <code>data</code> attribute value contains
635      a string <code>--</code>, or if it ends with a character      a string <code>--</code>, or if it ends with a character
636      <code>-</code>, then it is a      <code>-</code>, then raise an
637      <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>.<!--
638        "for compatibility" --></li>
639      <li>If the <code>childNodes</code> list of <var>n</var> contains      <li>If the <code>childNodes</code> list of <var>n</var> contains
640      any nodes, they are in      any nodes, they are in
641      <a href="#xml-well-formedness-error" id=wfe-comment-child><code>xml-well-formedness-error</code></a>s.</li>      <a href="#xml-well-formedness-error" id=wfe-comment-child><code>xml-well-formedness-error</code></a>.</li>
642      </ol>      </ol>
643    </dd>    </dd>
644  <dt>If <var>n</var> is a <code>Document</code> node</dt>  <dt>If <var>n</var> is a <code>Document</code> node</dt>
# Line 258  following:</p> Line 649  following:</p>
649      then it is an <code class=ed>unknown-error?</code>.</li>      then it is an <code class=ed>unknown-error?</code>.</li>
650      <li>If the <code>xmlEncoding</code> attribute value does <em>not</em>      <li>If the <code>xmlEncoding</code> attribute value does <em>not</em>
651      match to <code>[A-Za-z] ([A-Za-z0-9._] | '-')*</code>      match to <code>[A-Za-z] ([A-Za-z0-9._] | '-')*</code>
652      <span class=ed>@@ formal def</span>, then it is a      <span class=ed>@@ formal def</span>, then it is an
653      <a href="#xml-well-formedness-error" id=wfe-encoding><code>xml-well-formedness-error</code></a>.</li>      <a href="#xml-well-formedness-error" id=wfe-encoding><code>xml-well-formedness-error</code></a>.</li>
654      <li>The <code>childNodes</code> list of <var>n</var> have to      <li>The <code>childNodes</code> list of <var>n</var> have to
655      consist of zero or more <code>Comment</code> and/or      consist of zero or more <code>Comment</code> and/or
# Line 268  following:</p> Line 659  following:</p>
659      <code>ProcessingInstruction</code> nodes, followed by      <code>ProcessingInstruction</code> nodes, followed by
660      an <code>Element</code> node, followed      an <code>Element</code> node, followed
661      by zero or more <code>Comment</code> and/or      by zero or more <code>Comment</code> and/or
662      <code>ProcessingInstruction</code> nodes.  Any violation to this is a      <code>ProcessingInstruction</code> nodes.  Any violation to this is an
663      <a href="#xml-well-formedness-error" id=wfe-document-child><code>xml-well-formedness-error</code></a>.</li>      <a href="#xml-well-formedness-error" id=wfe-document-child><code>xml-well-formedness-error</code></a>.</li>
664      <li><a href="#algorithm-to-check-a-node">Check each node</a>, in      <li>For each node <dfn id=var-document-nc><var>n<sub><var>c</var></sub></var></dfn>
665      <code>childNodes</code> list of <var>n</var>,      in the <code>childNodes</code> list of <var>n</var>,
666      which is different from <code>EntityReference</code> recursively.</li>        <ol>
667          <li>If <var>n<sub><var>c</var></sub></var> is <em>not</em> an
668          <code>EntityReference</code> node, then
669          <a href="#algorithm-to-check-a-node" title="check a node">check
670          <var>n<sub><var>c</var></sub></var></a> recursively.</li>
671          </ol></li>
672      <li class=ed>@@ <code>allDeclarationsProcessed</code></li>      <li class=ed>@@ <code>allDeclarationsProcessed</code></li>
673      </ol>      </ol>
674    </dd>    </dd>
675  <dt>If <var>n</var> is a <code>DocumentFragment</code> node</dt>  <dt>If <var>n</var> is a <code>DocumentFragment</code> node</dt>
676    <dd>    <dd>
677      <ol>      <ol>
678      <li>If the <code>childNodes</code> list of <var>n</var> contains      <li>For each node <dfn id=var-df-nc><var>n<sub><var>c</var></sub></var></dfn>
679      a node which is <em>not</em> <code>Element</code>,      in the <code>childNodes</code> list of <var>n</var>,
680      <code>Text</code>, <code>CDATASection</code>, <code>Comment</code>,        <ol>
681      <code>ProcessingInstruction</code>, or        <li>If <var>n<sub><var>c</var></sub></var> is <em>not</em> an
682      <code>EntityReference</code> node, then it is a        <code>Element</code>, <code>Text</code>, <code>CDATASection</code>,
683      <a href="#xml-well-formedness-error" id=wfe-df-child><code>xml-well-formedness-error</code></a>.</li>        <code>Comment</code>, <code>ProcessingInstruction</code>, or
684      <li>If the <code>childNodes</code> list of <var>n</var> contains        <code>EntityReference</code> node, then it is an
685      an <code>EntityReference</code> node, it is an        <a href="#xml-well-formedness-error" id=wfe-df-child><code>xml-well-formedness-error</code></a>.</li>
686      <a href="#entity-error" id=ee-er-in-df><code>entity-error</code></a>.</li>        <li>Otherwise, if <var>n<sub><var>c</var></sub></var> is an
687      <li><a href="#algorithm-to-check-a-node">Check each node</a>, in        <code>EntityReference</code> node, then it is an
688      <code>childNodes</code> list of <var>n</var>        <a href="#entity-error" id=ee-df-er><code>entity-error</code></a>.</li>
689      which is different from <code>EntityReference</code> recursively.</li>        <li>Otherwise,
690          <a href="#algorithm-to-check-a-node" title="check a node">check
691          <var>n<sub><var>c</var></sub></var></a> recursively.</li>
692          </ol></li>
693      </ol>      </ol>
694    </dd>    </dd>
695  <dt>If <var>n</var> is a <code>DocumentType</code> node</dt>  <dt>If <var>n</var> is a <code>DocumentType</code> node</dt>
696    <dd>    <dd>
697      <ol>      <ol>
698      <li><a href="#algorithm-to-validate-a-ncname">Validate the      <li><a href="#algorithm-to-validate-an-ncname">Validate the
699      <code>nodeName</code> attribute value as an <code>NCName</code></a>.</li>      <code>nodeName</code> attribute value as an <code>NCName</code></a>.</li>
700      <li>If the <code>publicId</code> attribute value contains any character      <li>Follow the following substeps:
701      that is outside of the range of <code>#x20 | <!--#xD | #xA |-->        <ol>
702      [a-zA-Z0-9] | [-'()+,./:=?;!*#@$_%]</code><!-- @@ TODO: formal def -->,        <li>If <code>ownerDocument</code> attribute of <var>n</var> is
703      or contains a leading <code class=char>U+0020</code> character,        <code>null</code>, then abort these substeps.</li>
704      a trailing <code class=char>U+0020</code> character, or a        <li>If <code>documentElement</code> attribute of the node
705      sequence of two or more <code class=char>U+0020</code> characters,        set to <code>ownerDocument</code> attribute of <var>n</var> is
706      then it is a        <code>null</code>, then abort these substeps.</li>
707      <a href="#xml-well-formedness-error" id=wfe-dt-public-id><code>xml-well-formedness-error</code></a>.</li>        <li>If <code>nodeName</code> attribute of the node set to
708      <li>If the <code>systemId</code> attribute value contains        <code>documentElement</code> attribute of the node set to
709      both <code>"</code> and <code>'</code> characters, it is a        <code>ownerDocument</code> attribute of <var>n</var> is
710      <a href="#xml-well-formedness-error" id=wfe-dt-system-id><code>xml-well-formedness-error</code></a>.</li>        different from <code>nodeName</code> of <var>n</var>,
711      <!-- publicId = non-null and systemId = null -->        then raise an
712      <li>If the <code>childNodes</code> list of <var>n</var> contains        <a href="#xml-validity-error" id=vc-roottype><code>xml-validity-error</code></a>.</li></li>
713      a node which is <em>not</em> <code>ProcessingInstruction</code> node,        </ol>
714      then it is a      </li>
715      <a href="#xml-well-formedness-error" id=wfe-dt-child><code>xml-well-formedness-error</code></a>.      <li><a href="#algorithm-to-validate-a-public-identifier" title="validate a public identifier">Validate
716      <span class=ed>@@ ref to manakai's extensions</span></li>      the <code>publicId</code> attribute value as a public identifier</a>.</li>
717      <li><a href="#algorithm-to-check-a-node">Check each node</a>, in      <li><a href="#algorithm-to-validate-a-system-identifier" title="validate a system identifier">Validate
718      <code>childNodes</code> list of <var>n</var>,      the <code>systemId</code> attribute value as a system identifier</a>.</li>
719      which is different from <code>EntityReference</code> recursively.</li>      <li>If the <code>publicId</code> attribute value of <var>n</var> is
720      <li class=ed>@@ <code>entities</code>, <code>notations</code>,      <em>not</em> <code>null</code> and the <code>systemId</code> attribute
721      <code>elementTypes</code>, externally declared?</li>      value of <var>n</var> is <code>null</code>, then raise an
722        <a href="#xml-well-formedness-error" id=wfe-dt-sid><code>xml-well-formedness-error</code></a>.
723        <span class=ed>@@ publicId == null?  Or, publicId == ""</span></li>
724        <li>For each node <dfn id=var-dt-nc><var>n<sub><var>c</var></sub></var></dfn>
725        in the <code>childNodes</code> list of <var>n</var>,
726          <ol>
727          <li>If <var>n<sub><var>c</var></sub></var> is <em>not</em> a
728          <code>ProcessingInstruction</code> node, then it is an
729          <a href="#xml-well-formedness-error" id=wfe-dt-child><code>xml-well-formedness-error</code></a>.
730          <span class=ed>@@ ref to manakai's extensions</span></li>
731          <li>Otherwise, <!-- if n_c is not an EntityReference node, -->
732          <a href="#algorithm-to-check-a-node" title="check a node">check
733          <var>n<sub><var>c</var></sub></var></a> recusrively.</li>
734          </ol></li>
735        <li>For each node in the <code>entities</code>, <code>notations</code>,
736        and <code>elementTypes</code> lists of <var>n</var>,
737        <a href="#algorithm-to-check-a-node" title="check a node">check the
738        node</a> recursively.</li>
739        <li class=ed>@@ externally declared?</li>
740      </ol>      </ol>
741    </dd>    </dd>
742  <dt>If <var>n</var> is an <code>Element</code> node</dt>  <dt>If <var>n</var> is an <code>Element</code> node</dt>
743    <dd>    <dd>
744      <ol>      <ol>
745      <li><a href="#algorithm-to-validate-a-ncname">Validate the      <li><a href="#algorithm-to-validate-an-ncname">Validate the
746      <code>localName</code> attribute value as an <code>NCName</code></a>.</li>      <code>localName</code> attribute value as an <code>NCName</code></a>.</li>
747      <li>If the <code>prefix</code> attribute value is different from      <li>If the <code>prefix</code> attribute value is different from
748      <code>null</code>, then <a href="#algorithm-to-validate-a-ncname">validate      <code>null</code>, then <a href="#algorithm-to-validate-an-ncname">validate
749      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>
750      <li>If the <code>childNodes</code> list of <var>n</var> contains      <li>For each node <dfn id=var-element-nc><var>n<sub><var>c</var></sub></var></dfn>
751      a node which is <em>not</em> <code>Element</code>,      in the <code>childNodes</code> list of <var>n</var>,
752      <code>Text</code>, <code>CDATASection</code>, <code>Comment</code>,        <ol>
753      <code>ProcessingInstruction</code>, or        <li>If <var>n<sub><var>c</var></sub></var> is <em>not</em> an
754      <code>EntityReference</code> node, then it is a        <code>Element</code>,
755      <a href="#xml-well-formedness-error" id=wfe-element-child><code>xml-well-formedness-error</code></a>.</li>        <code>Text</code>, <code>CDATASection</code>, <code>Comment</code>,
756      <li>If the <code>childNodes</code> list of <var>n</var> contains        <code>ProcessingInstruction</code>, or
757      an <code>EntityReference</code> node, it is an        <code>EntityReference</code> node, then it is an
758      <a href="#entity-error" id=ee-er-in-element><code>entity-error</code></a>.</li>        <a href="#xml-well-formedness-error" id=wfe-element-child><code>xml-well-formedness-error</code></a>.</li>
759      <li><a href="#algorithm-to-check-a-node">Check each node</a>, in        <li>Otherwise, if <var>n<sub><var>c</var></sub></var> is an
760      <code>childNodes</code> list of <var>n</var>,        <code>EntityReference</code> node, then it is an
761      which is different from <code>EntityReference</code> recursively.</li>        <a href="#entity-error" id=ee-element-er><code>entity-error</code></a>.</li>
762          <li>Otherwise,
763          <a href="#algorithm-to-check-a-node" title="check a node">check
764          <var>n<sub><var>c</var></sub></var></a> recursively.</li>
765          </ol></li>
766        <li class=ed>@@ #elementvalid Validity constraint: Element Valid</li>
767        <li>Let <var>attrs</var> be the value of the <code>attribute</code>
768        attribute of <var>n</var>.  Check conformance of <var>attrs</var>
769        as following:
770          <ol>
771          <li>If <var>attrs</var> contains an <code>Attr</code> node whose
772          <code>nodeName</code> attribute value is equal to that of another
773          <code>Attr</code> node in <var>attrs</var>, then raise an
774          <a href="#xml-well-formedness-error" id=wfe-uniqattspec><code>xml-well-formedness-error</code></a>.<!--
775          #uniqattspec Well-formedness constraint: Unique Att Spec --></li>
776          <li class=ed>@@ #RequiredAttr Validity constraint: Required Attribute</li>
777          </ol>
778        </li>
779      </ol>      </ol>
780    </dd>    </dd>
781  <dt>If <var>n</var> is an <code>ElementTypeDefinition</code> node</dt>  <dt>If <var>n</var> is an <code>ElementTypeDefinition</code> node</dt>
   <dd class=ed></dd>  
 <dt>If <var>n</var> is an <code>Entity</code> node</dt>  
782    <dd>    <dd>
783      <ol>      <ol>
784      <li>An <a href="#entity-error" id=ee-entity-node><code>entity-error</code></a> <span class=ed>@@ if !notationName</span>.</li>      <li class=ed></li>
     <li><a href="#algorithm-to-validate-a-ncname">Validate the  
     <code>nodeName</code> attribute value as an <code>NCName</code></a>.</li>  
     <li>If the <code>publicId</code> attribute value contains any character  
     that is outside of the range of <code>#x20 | <!--#xD | #xA |-->  
     [a-zA-Z0-9] | [-'()+,./:=?;!*#@$_%]</code><!-- @@ TODO: formal def -->,  
     or contains a leading <code class=char>U+0020</code> character,  
     a trailing <code class=char>U+0020</code> character, or a  
     sequence of two or more <code class=char>U+0020</code> characters,  
     then it is a  
     <a href="#xml-well-formedness-error" id=wfe-dt-public-id><code>xml-well-formedness-error</code></a>.</li>  
     <li>If the <code>systemId</code> attribute value contains  
     both <code>"</code> and <code>'</code> characters, it is a  
     <a href="#xml-well-formedness-error" id=wfe-dt-system-id><code>xml-well-formedness-error</code></a>.</li>  
     <!-- publicId = non-null and systemId = null -->  
     <li class=ed>@@ <code>notationName</code></li>  
785      <li>If the <code>childNodes</code> list of <var>n</var> contains      <li>If the <code>childNodes</code> list of <var>n</var> contains
786      a node which is <em>not</em> <code>Element</code>,      any nodes, they are in
787      <code>Text</code>, <code>CDATASection</code>, <code>Comment</code>,      <a href="#xml-well-formedness-error" id=wfe-et-child><code>xml-well-formedness-error</code></a>.</li>
788      <code>ProcessingInstruction</code>, or      <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>
789      <code>EntityReference</code> node, then it is a      <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>
790      <a href="#xml-well-formedness-error" id=wfe-entity-child><code>xml-well-formedness-error</code></a>.</li>      <li class=ed>@@ #vc-MixedChildrenUnique
791        Validity constraint: No Duplicate Types</li>
792        <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>
793        <li>If there is more than one <code>AttributeDefinition</code> node
794        with <span class=ed>attribute type <code>ID</code></span> in the
795        <code>NamedNodeMap</code> list contained in the
796        <code>attributeDefinitions</code> attribute of <var>n</var>, then raise an
797        <a href="#xml-validity-error" id=vc-one-id-per-el><code>xml-validity-error</code></a>.</li>
798        <li>If there is more than one <code>AttributeDefinition</code> node
799        with <span class=ed>attribute type <code>NOTATION</code></span> in the
800        <code>NamedNodeMap</code> list contained in the
801        <code>attributeDefinitions</code> attribute of <var>n</var>, then raise an
802        <a href="#xml-validity-error" id=vc-one-notation-per><code>xml-validity-error</code></a>.</li>
803        <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>
804        </ol>
805      </dd>
806    <dt>If <var>n</var> is an <code>Entity</code> node whose
807    <code>notationName</code> attribute value is <code>null</code> (i.e. a
808    parsed entity)</dt>
809      <dd>
810        <ol>
811        <li>Raise an
812        <a href="#entity-error" id=ee-entity-node><code>entity-error</code></a>.</li>
813        <li><a href="#algorithm-to-validate-an-ncname">Validate the
814        <code>nodeName</code> attribute value as an <code>NCName</code></a>.</li>
815        <li><a href="#algorithm-to-validate-a-public-identifier" title="validate a public identifier">Validate
816        the <code>publicId</code> attribute value as a public identifier</a>.</li>
817        <li><a href="#algorithm-to-validate-a-system-identifier" title="validate a system identifier">Validate
818        the <code>systemId</code> attribute value as a system identifier</a>.</li>
819        <li>If the <code>publicId</code> attribute value of <var>n</var> is
820        <em>not</em> <code>null</code> and the <code>systemId</code> attribute
821        value of <var>n</var> is <code>null</code>, then raise an
822        <a href="#xml-well-formedness-error" id=wfe-entity-sid><code>xml-well-formedness-error</code></a>.</li>
823        <li>For each node <dfn id=var-entity-nc><var>n<sub><var>c</var></sub></var></dfn>
824        in the <code>childNodes</code> list of <var>n</var>,
825          <ol>
826          <li>If <var>n<sub><var>c</var></sub></var> is <em>not</em> an
827          <code>Element</code>,
828          <code>Text</code>, <code>CDATASection</code>, <code>Comment</code>,
829          <code>ProcessingInstruction</code>, or <code>EntityReference</code>
830          node, then it is an
831          <a href="#xml-well-formedness-error" id=wfe-entity-child><code>xml-well-formedness-error</code></a>.</li>
832          <li>Otherwise, if <var>n<sub><var>c</var></sub></var> is an
833          <code>EntityReference</code> node, then it is an
834          <a href="#entity-error" id=ee-er-er><code>entity-error</code></a>.</li>
835          <li>Otherwise,
836          <a href="#algorithm-to-check-a-node" title="check a node">check
837          <var>n<sub><var>c</var></sub></var></a> recursively.</li>
838          </ol></li>
839        </ol>
840      </dd>
841    <dt>If <var>n</var> is an <code>Entity</code> node whose
842    <code>notationName</code> attribute value is <em>not</em> <code>null</code>
843    (i.e. an unparsed entity)</dt>
844      <dd>
845        <ol>
846        <li><a href="#algorithm-to-validate-an-ncname">Validate the
847        <code>nodeName</code> attribute value as an <code>NCName</code></a>.</li>
848        <li><a href="#algorithm-to-validate-a-public-identifier" title="validate a public identifier">Validate
849        the <code>publicId</code> attribute value as a public identifier</a>.</li>
850        <li><a href="#algorithm-to-validate-a-system-identifier" title="validate a system identifier">Validate
851        the <code>systemId</code> attribute value as a system identifier</a>.</li>
852        <li>If the <code>systemId</code> attribute value of <var>n</var> is
853        <code>null</code>, then raise an
854        <a href="#xml-well-formedness-error" id=wfe-uentity-sid><code>xml-well-formedness-error</code></a>.</li>
855        <li><a href="#algorithm-to-validate-an-ncname">Validate the
856        <code>notationName</code> attribute value of <var>n</var> as an
857        <code>NCName</code></a>.</li>
858        <li class=ed>@@ #not-declared Validity constraint: Notation Declared</li>
859      <li>If the <code>childNodes</code> list of <var>n</var> contains      <li>If the <code>childNodes</code> list of <var>n</var> contains
860      an <code>EntityReference</code> node, it is an      any nodes, they are in
861      <a href="#entity-error" id=ee-er-in-er><code>entity-error</code></a>.</li>      <a href="#xml-well-formedness-error" id=wfe-uentity-child><code>xml-well-formedness-error</code></a>.</li>
     <li><a href="#algorithm-to-check-a-node">Check each node</a>, in  
     <code>childNodes</code> list of <var>n</var>,  
     which is different from <code>EntityReference</code> recursively.</li>  
862      </ol>      </ol>
863    </dd>    </dd>
864  <dt>If <var>n</var> is an <code>EntityReference</code> node</dt>  <dt>If <var>n</var> is an <code>EntityReference</code> node</dt>
865    <dd>    <dd>
866      <ol>      <ol>
867      <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>
868      <li><a href="#algorithm-to-validate-a-ncname">Validate the      <li><a href="#algorithm-to-validate-an-ncname">Validate the
869      <code>nodeName</code> attribute value as an <code>NCName</code></a>.</li>      <code>nodeName</code> attribute value as an <code>NCName</code></a>.</li>
870      <li>If the <code>childNodes</code> list of <var>n</var> contains      <li>For each node <dfn id=var-er-nc><var>n<sub><var>c</var></sub></var></dfn>
871      a node which is <em>not</em> <code>Element</code>,      in the <code>childNodes</code> list of <var>n</var>,
872      <code>Text</code>, <code>CDATASection</code>, <code>Comment</code>,        <ol>
873      <code>ProcessingInstruction</code>, or        <li>If <var>n<sub><var>c</var></sub></var> is <em>not</em> an
874      <code>EntityReference</code> node, then it is a        <code>Element</code>,
875      <a href="#xml-well-formedness-error" id=wfe-er-child><code>xml-well-formedness-error</code></a>.</li>        <code>Text</code>, <code>CDATASection</code>, <code>Comment</code>,
876      <li>If the <code>childNodes</code> list of <var>n</var> contains        <code>ProcessingInstruction</code>, or <code>EntityReference</code>
877      an <code>EntityReference</code> node, it is an        node, then it is an
878      <a href="#entity-error" id=ee-er-in-entity><code>entity-error</code></a>.</li>        <a href="#xml-well-formedness-error" id=wfe-er-child><code>xml-well-formedness-error</code></a>.</li>
879      <li><a href="#algorithm-to-check-a-node">Check each node</a>, in        <li>Otherwise, if <var>n<sub><var>c</var></sub></var> is <em>not</em> an
880      <code>childNodes</code> list of <var>n</var>,        <code>EntityReference</code> node, then it is an
881      which is different from <code>EntityReference</code> recursively.</li>        <a href="#entity-error" id=ee-entity-er><code>entity-error</code></a>.</li>
882          <li>Otherwise,
883          <a href="#algorithm-to-check-a-node" title="check a node">check
884          <var>n<sub><var>c</var></sub></var></a> recursively.</li>
885          </ol></li>
886      </ol>      </ol>
887    </dd>    </dd>
888  <dt>If <var>n</var> is a <code>Notation</code> node</dt>  <dt>If <var>n</var> is a <code>Notation</code> node</dt>
889    <dd>    <dd>
890      <ol>      <ol>
891      <li><a href="#algorithm-to-validate-a-ncname">Validate the      <li><a href="#algorithm-to-validate-an-ncname">Validate the
892      <code>nodeName</code> attribute value as an <code>NCName</code></a>.</li>      <code>nodeName</code> attribute value as an <code>NCName</code></a>.</li>
893      <li>If the <code>publicId</code> attribute value contains any character      <li><a href="#algorithm-to-validate-a-public-identifier" title="validate a public identifier">Validate
894      that is outside of the range of <code>#x20 | <!--#xD | #xA |-->      the <code>publicId</code> attribute value as a public identifier</a>.</li>
895      [a-zA-Z0-9] | [-'()+,./:=?;!*#@$_%]</code><!-- @@ TODO: formal def -->,      <li><a href="#algorithm-to-validate-a-system-identifier" title="validate a system identifier">Validate
896      or contains a leading <code class=char>U+0020</code> character,      the <code>systemId</code> attribute value as a system identifier</a>.</li>
     a trailing <code class=char>U+0020</code> character, or a  
     sequence of two or more <code class=char>U+0020</code> characters,  
     then it is a  
     <a href="#xml-well-formedness-error" id=wfe-dt-public-id><code>xml-well-formedness-error</code></a>.</li>  
     <li>If the <code>systemId</code> attribute value contains  
     both <code>"</code> and <code>'</code> characters, it is a  
     <a href="#xml-well-formedness-error" id=wfe-dt-system-id><code>xml-well-formedness-error</code></a>.</li>  
897      <li>If the <code>childNodes</code> list of <var>n</var> contains      <li>If the <code>childNodes</code> list of <var>n</var> contains
898      any nodes, they are in      any nodes, they are in
899      <a href="#xml-well-formedness-error" id=wfe-notation-child><code>xml-well-formedness-error</code></a>s.</li>      <a href="#xml-well-formedness-error" id=wfe-notation-child><code>xml-well-formedness-error</code></a>.</li>
900      </ol>      </ol>
901    </dd>    </dd>
902  <dt>If <var>n</var> is a <code>ProcessingInstruction</code> node</dt>  <dt>If <var>n</var> is a <code>ProcessingInstruction</code> node</dt>
903    <dd>    <dd>
904      <ol>      <ol>
905      <li><a href="#algorithm-to-validate-a-ncname">Validate the      <li>If the <code>target</code> attribute value matches to the string
906      <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  
907      <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>
908      <li><a href="#algorithm-to-validate-an-xml-character-data">Validate the      <li>Otherwise, <a href="#algorithm-to-validate-an-ncname">validate the
909      <code>data</code> attribute value as an <abbr>XML</abbr> character      <code>target</code> attribute value as an <code>NCName</code></a>.</li>
910        <li>Then,
911        <a href="#algorithm-to-validate-an-xml-character-data" title="validate an XML string">validate
912        the <code>data</code> attribute value as an <abbr>XML</abbr> character
913      data</a>.</li>      data</a>.</li>
914      <li>If the <code>data</code> attribute value contains      <li>If the <code>data</code> attribute value contains a string
915      a string <code>?></code>, or starts with either      <code>?></code>, then raise a
916      <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>
917      <code class=char>U+000D</code>, or <code class=char>U+0020</code>      <li>If the <code>data</code> attribute value starts with either
918      character, then it is a      <code class=char>U+0009</code> <code class=charname>CHARACTER
919      <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
920        FEED</code>, <code class=char>U+000D</code> <code class=charname>CARRIAGE
921        RETURN</code>, or <code class=char>U+0020</code>
922        <code class=charname>SPACE</code> character, then raise a
923        <a href="#round-trip-error" id=rte-pi-s><code>round-trip-error</code></a>.</li>
924      <li>If the <code>childNodes</code> list of <var>n</var> contains      <li>If the <code>childNodes</code> list of <var>n</var> contains
925      any nodes, they are in      any nodes, then raise an
926      <a href="#xml-well-formedness-error" id=wfe-pi-child><code>xml-well-formedness-error</code></a>s.</li>      <a href="#xml-well-formedness-error" id=wfe-pi-child><code>xml-well-formedness-error</code></a>.</li>
927      </ol>      </ol>
928    </dd>    </dd>
929  <dt>If <var>n</var> is a <code>Text</code> node</dt>  <dt>If <var>n</var> is a <code>Text</code> node</dt>
930    <dd>    <dd>
931      <ol>      <ol>
932      <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
933      <code>data</code> attribute value as an <abbr>XML</abbr> character      <code>data</code> attribute value as an <abbr>XML</abbr> character
934      data</a>.</li>      data</a>.</li>
935      <li>If the <code>childNodes</code> list of <var>n</var> contains      <li>If the <code>childNodes</code> list of <var>n</var> contains
936      any nodes, they are in      any nodes, they are in
937      <a href="#xml-well-formedness-error" id=wfe-text-child><code>xml-well-formedness-error</code></a>s.</li>      <a href="#xml-well-formedness-error" id=wfe-text-child><code>xml-well-formedness-error</code></a>.</li>
938      </ol>      </ol>
939    </dd>    </dd>
940  <dt>Otherwise</dt>  <dt>Otherwise</dt>
941    <dd><span class=ed>xml-well-formedness-error?  unknown-error?</span></dd>    <dd><span class=ed>xml-well-formedness-error?  unknown-error?</span></dd>
942  </dl>  </dl>
943    
944  <p>The algorithm  </div>
 <dfn id=algorithm-to-validate-an-xml-character-data title-"to validate an XML character data">to  
 validate an <abbr>XML</abbr> character data  
 (<dfn id=var-s><var>s</var></dfn>)</dfn> is defined as following:</p>  
 <ol>  
 <li class=ed>@@</li>  
 </ol>  
   
 <p>The algorithm  
 <dfn id=algorithm-to-validate-a-name title="to validate a Name">to validate a  
 <code>Name</code> (<dfn id=var-name><var>name</var></dfn>)</dfn> is defined  
 as following:</p>  
 <ol>  
 <li class=ed>@@</li>  
 </ol>  
   
 <p>The algorithm  
 <dfn id=algorithm-to-validate-a-ncname title="to validate an NCName">to  
 validate an <code>NCName</code> (<dfn id=var-name><var>name</var></dfn>)</dfn>  
 is defined as following:</p>  
 <ol>  
 <li class=ed>@@</li>  
 </ol>  
945    
946  </div>  </div>
947    
948  <div class="section" id="examples">  <div id=classes class=section>
949  <h2>Examples</h2>  <h2>Character Classes</h2>
950    
951  <p class=section-info>This section is <em>non$B!>(Bnormative</em>.</p>  <p>This section defines a couple of character classes.
952    These classes are referred to by algorithms specified above.</p>
953    
954  <div class="ed issue">  <p>Character class <dfn id=class-Char10><code>Char10</code></dfn>
955    contains the following characters:</p>
956    <ul>
957    <li><code class=char>U+0009</code> <code class=charname>CHARACTER
958    TABULATION</code></li>
959    <li><code class=char>U+000A</code> <code class=charname>LINE FEED</code></li>
960    <li><code class=char>U+000D</code> <code class=charname>CARRIAGE
961    RETURN</code></li>
962    <li><code class=char>U+0020</code> <code class=charname>SPACE</code>
963    .. <code class=char>U+D7FF</code></li>
964    <li><code class=char>U+E000</code> .. <code class=char>U+FFFD</code>
965    <code class=charname>REPLACEMENT CHARACTER</code></li>
966    <li><code class=char>U+10000</code> .. <code class=char>U+10FFFF</code></li>
967    </ul>
968    <div class="note memo">
969    <p>This character class contains all characters allowed in the production rule
970    <a href="http://www.w3.org/TR/2006/REC-xml-20060816/#NT-Char"><code>Char</code></a>
971    of <abbr>XML</abbr> 1.0
972    <cite class="bibref normative">[<a href="#ref-XML10">XML10</a>]</cite>.</p>
973    </div>
974    
975  <div class="example figure block">  <p>Character class <dfn id=class-CompatChar10><code>CompatChar10</code></dfn>
976  <div class="caption">...</div>  contains the following characters:</p>
977    <ul>
978    <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>
979    </ul>
980    
981    <p>Character class <dfn id=class-ControlChar10><code>ControlChar10</code></dfn>
982    contains the following characters:</p>
983    <ul>
984    <li><code class=char>U+007F</code> <code class=charname>DELETE</code> ..
985    <code class=char>U+0084</code> <code class=charname>INDEX</code></li>
986    <li><code class=char>U+0086</code> <code class=charname>START OF SELECTED
987    AREA</code> .. <code class=char>U+009F</code> <code class=charname>APPLICATION
988    PROGRAM COMMAND</code></li>
989    <li><code class=char>U+FDD0</code> .. <code class=char>U+FDEF</code></li>
990    <li><code class=char>U+1FFFE</code> .. <code class=char>U+1FFFF</code></li>
991    <li><code class=char>U+2FFFE</code> .. <code class=char>U+2FFFF</code></li>
992    <li><code class=char>U+3FFFE</code> .. <code class=char>U+3FFFF</code></li>
993    <li><code class=char>U+4FFFE</code> .. <code class=char>U+4FFFF</code></li>
994    <li><code class=char>U+5FFFE</code> .. <code class=char>U+5FFFF</code></li>
995    <li><code class=char>U+6FFFE</code> .. <code class=char>U+6FFFF</code></li>
996    <li><code class=char>U+7FFFE</code> .. <code class=char>U+7FFFF</code></li>
997    <li><code class=char>U+8FFFE</code> .. <code class=char>U+8FFFF</code></li>
998    <li><code class=char>U+9FFFE</code> .. <code class=char>U+9FFFF</code></li>
999    <li><code class=char>U+AFFFE</code> .. <code class=char>U+AFFFF</code></li>
1000    <li><code class=char>U+BFFFE</code> .. <code class=char>U+BFFFF</code></li>
1001    <li><code class=char>U+CFFFE</code> .. <code class=char>U+CFFFF</code></li>
1002    <li><code class=char>U+DFFFE</code> .. <code class=char>U+DFFFF</code></li>
1003    <li><code class=char>U+EFFFE</code> .. <code class=char>U+EFFFF</code></li>
1004    <li><code class=char>U+FFFFE</code> .. <code class=char>U+FFFFF</code></li>
1005    <li><code class=char>U+10FFFE</code> .. <code class=char>U+10FFFF</code></li>
1006    </ul>
1007    <div class="note memo">
1008    <p>This character class contains the characters listed in the Note in
1009    <a href="http://www.w3.org/TR/2006/REC-xml-20060816/#charsets">Section 2.2</a>
1010    of <abbr>XML</abbr> 1.0
1011    <cite class="bibref normative">[<a href="#ref-XML10">XML10</a>]</cite>,
1012    as amended by
1013    <a href="http://www.w3.org/XML/xml-V10-4e-errata#E02">errata</a>.</p>
1014    </div>
1015    
1016    <p>The character class <dfn id=class-NameStartChar10><code>NameStartChar10</code></dfn>
1017    contains the following characters:</p>
1018    <ul class=ed>
1019    </ul>
1020    <div class="note memo">
1021    <p>This character class contains all characters allowed as the first character
1022    of a string matching to the production rule
1023    <a href="http://www.w3.org/TR/2006/REC-xml-20060816/#NT-Name"><code>Name</code></a>
1024    of <abbr>XML</abbr> 1.0
1025    <cite class="bibref normative">[<a href="#ref-XML10">XML10</a>]</cite>.</p>
1026    </div>
1027    
1028  <pre><code>...</code></pre>  <p>The character class <dfn id=class-NameChar10><code>NameChar10</code></dfn>
1029    contains the following characters:</p>
1030    <ul>
1031    <li>The characters in the character class
1032    <a href="#class-NameStartChar10">NameStartChar10</a>.</li>
1033    <li class=ed></li>
1034    </ul>
1035    <div class="note memo">
1036    <p>This character class contains all characters allowed as the second
1037    character of a string matching to the production rule
1038    <a href="http://www.w3.org/TR/2006/REC-xml-20060816/#NT-Name"><code>Name</code></a>
1039    of <abbr>XML</abbr> 1.0
1040    <cite class="bibref normative">[<a href="#ref-XML10">XML10</a>]</cite>.</p>
1041  </div>  </div>
1042    
1043    <p>The character class <dfn id=class-PubidChar><code>PubidChar</code></dfn>
1044    contains the following characters:</p>
1045    <ul>
1046    <li><code class=char>U+0009</code> <code class=charname>CHARACTER
1047    TABULATION</code></li>
1048    <li><code class=char>U+000A</code> <code class=charname>LINE FEED</code></li>
1049    <li><code class=char>U+000D</code> <code class=charname>CARRIAGE
1050    RETURN</code></li>
1051    <li><code class=char>U+0020</code> <code class=charname>SPACE</code></li>
1052    <li><code class=char>U+0021</code> <code class=charname>EXCLAMATION MARK</code>
1053    (<code class=char>!</code>)</li>
1054    <li><code class=char>U+0023</code> <code class=charname>DOLLAR SIGN</code>
1055    (<code class=char>$</code>)</li>
1056    <li><code class=char>U+0024</code> <code class=charname>NUMBER SIGN</code>
1057    (<code class=char>#</code>)</li>
1058    <li><code class=char>U+0025</code> <code class=charname>PERCENT SIGN</code>
1059    (<code class=char>%</code>)</li>
1060    <li><code class=char>U+0027</code> <code class=charname>APOSTROPHE</code>
1061    (<code class=char>'</code>)</li>
1062    <li><code class=char>U+0028</code> <code class=charname>LEFT PARENTHESIS</code>
1063    (<code class=char>(</code>)</li>
1064    <li><code class=char>U+0029</code> <code class=charname>RIGHT
1065    PARENTHESIS</code> (<code class=char>)</code>)</li>
1066    <li><code class=char>U+002A</code> <code class=charname>ASTERISK</code>
1067    (<code class=char>*</code>)</li>
1068    <li><code class=char>U+002B</code> <code class=charname>PLUS SIGN</code>
1069    (<code class=char>+</code>)</li>
1070    <li><code class=char>U+002C</code> <code class=charname>COMMA</code>
1071    (<code class=char>,</code>)</li>
1072    <li><code class=char>U+002D</code> <code class=charname>HYPHEN-MINUS</code>
1073    (<code class=char>-</code>)</li>
1074    <li><code class=char>U+002E</code> <code class=charname>FULL STOP</code>
1075    (<code class=char>.</code>)</li>
1076    <li><code class=char>U+002F</code> <code class=charname>SOLIDUS</code>
1077    (<code class=char>/</code>)</li>
1078    <li><code class=char>U+0030</code> <code class=charname>DIGIT ZERO</code>
1079    (<code class=char>0</code>) .. <code class=char>U+0039</code>
1080    <code class=charname>DIGIT NINE</code> (<code class=char>9</code>)</li>
1081    <li><code class=char>U+003A</code> <code class=charname>COLON</code>
1082    (<code class=char>:</code>)</li>
1083    <li><code class=char>U+003B</code> <code class=charname>SEMICOLON</code>
1084    (<code class=char>;</code>)</li>
1085    <li><code class=char>U+003D</code> <code class=charname>EQUAL SIGN</code>
1086    (<code class=char>=</code>)</li>
1087    <li><code class=char>U+003F</code> <code class=charname>QUESTION MARK</code>
1088    (<code class=char>?</code>)</li>
1089    <li><code class=char>U+0040</code> <code class=charname>COMMERCIAL AT</code>
1090    (<code class=char>@</code>)</li>
1091    <li><code class=char>U+0041</code> <code class=charname>LATIN CAPITAL LETTER
1092    A</code> (<code class=char>A</code>) .. <code class=char>U+005A</code>
1093    <code class=charname>LATIN CAPITAL LETTER Z</code>
1094    (<code class=char>Z</code>)</li>
1095    <li><code class=char>U+005F</code> <code class=charname>LOW LINE</code>
1096    (<code class=char>_</code>)</li>
1097    <li><code class=char>U+0061</code> <code class=charname>LATIN CAPITAL LETTER
1098    A</code> (<code class=char>A</code>) .. <code class=char>U+007A</code>
1099    <code class=charname>LATIN CAPITAL LETTER Z</code>
1100    (<code class=char>Z</code>)</li>
1101    </ul>
1102    <div class="note memo">
1103    <p>This character class contains all characters allowed in the production rule
1104    <a href="http://www.w3.org/TR/2006/REC-xml-20060816/#NT-PubidChar"><code>PubidChar</code></a>
1105    of <abbr>XML</abbr> 1.0
1106    <cite class="bibref normative">[<a href="#ref-XML10">XML10</a>]</cite>.</p>
1107  </div>  </div>
1108    
1109  </div>  </div>
Legend:
Removed from v.1.4  
changed lines
  Added in v.1.23
admin@suikawiki.org
 ViewVC Help
Powered by ViewVC 1.1.24