/[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.2 by wakaba, Mon Nov 12 12:26:27 2007 UTC revision 1.13 by wakaba, Wed Nov 14 12:28:40 2007 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=2007-11-14>14 November 2007</time></h2>
22    
23  <dl class="versions-uri">  <dl class="versions-uri">
24  <dt>This Version</dt>  <dt>This Version</dt>
# Line 111  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    
123  <div class="section">  <div class=section id=parsing-xml>
124  <h2 class=ed>Algorithms</h2>  <h2>Parsing <abbr>XML</abbr> Document</h2>
125    
126    <ul>
127    <li>If the <abbr>XML</abbr> document does not begin with an
128    <abbr>XML</abbr> declaration, then raise an
129    <a href="#xml-misc-recommentation" id=xmr-xml-decl><code>xml-misc-recommendation</code></a>.</li>
130    <li>If the replacement text of an entity declaration is
131    <code>&lt;</code>, then raise an
132    <a href="#xml-misc-warning" id=xmw-entity-value-lt><code>xml-misc-warning</code></a>.<!--
133    "strongly advised to avoid" in a Note in Section 2.3 of [XML10], [XML11].
134    --></li>
135    <li>If attribute definition whose <code>Name</code> is
136    <code>xml:space</code> has <span class=ed>declared type different from
137    (default|preserve), (default), or (preserve)</span>, then raise an
138    <a href="#xml-misc-error" id=xme-ad-xml-space><code>xml-misc-error</code></a>.
139    <span class=ed>@@ duplication with
140    <a href="#xml-at-xml-space">#xml-at-xml-space</a>.<!--
141    <!ATTLIST e xml:space CDATA #IMPLIED xml:space CDATA #IMPLIED> --></span></li>
142    <!--
143    
144    #vc-PEinMarkupDecl Validity constraint: Proper Declaration/PE Nesting
145    #wfc-PEinInternalSubset Well-formedness constraint: PEs in Internal Subset
146    #ExtSubset Well-formedness constraint: External Subset
147    #PE-between-Decls Well-formedness constraint: PE Between Declarations
148    
149    @@ Need detailed review, but maybe should be in parsing phase
150    
151    #vc-check-rmd Validity constraint: Standalone Document Declaration
152    
153    -->
154    </ul>
155    </div>
156    
157    <div class="section" id=checking-dom>
158    <h2>Checking <abbr>DOM</abbr></h2>
159    
160  <p>The following algorithms and definitions are applied to  <p>The following algorithms and definitions are applied to
161  <abbr>XML</abbr> documents; especially, they are not applied  <abbr>XML</abbr> documents; especially, they are not applied
162  to <abbr>HTML</abbr> documents.<!-- TODO: ref to HTML5 --></p>  to <abbr>HTML</abbr> documents.<!-- TODO: ref to HTML5 --></p>
163    
164    <div class=section id=error-categories>
165    <h3>Error Classification</h3>
166    
167  <p class=ed>If a <code>Document</code> node has no  <p class=ed>If a <code>Document</code> node has no
168  xml-well-formedness-error, entity-error, and unknown-error,  xml-well-formedness-error, entity-error, and unknown-error,
169  then it is well-formed.  If a well-formed <code>Document</code>  then it is well-formed.  If a well-formed <code>Document</code>
# Line 134  can be easily serialized into a valid XM Line 180  can be easily serialized into a valid XM
180    
181  <dl id=errors>  <dl id=errors>
182  <dt><dfn id=entity-error><code>entity-error</code></dfn></dt>  <dt><dfn id=entity-error><code>entity-error</code></dfn></dt>
183    <dd class=ed>@@</dd>    <dd>
184        <p class=ed>@@</p>
185        <div class="note memo">
186          <p>This <span class=ed>algorithm</span> does not support
187          <abbr>DOM</abbr> tree with one or more <code>EntityReference</code>
188          nodes.  It is expected that any entity references are expanded
189          at the parse time and any unexpandable entity references
190          make parse time errors raised so that never result in
191          <abbr>DOM</abbr> tree with <code>EntityReference</code> nodes.</p>
192        </div>
193      </dd>
194  <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>
195    <dd class=ed>@@</dd>    <dd class=ed>@@</dd>
196    <dt><dfn id=round-trip-warning><code>round-trip-warning</code></dfn></dt>
197      <dd>
198        <p>A <a href="#round-trip-warning"><code>round-trip-warning</code></a>
199        will be raised when a construct, which might not be restored to the same
200        construct when it is serialized and then re-parsed by a conforming
201        processor, is encountered.</p>
202        <div class="example memo">
203          <p>For a <code>Comment</code> node a
204          <a href="#round-trip-warning"><code>round-trip-warning</code></a> will
205          be raised, since <abbr>XML</abbr> processors are not required to
206          report texts of comments for applications.</p>
207        </div>
208      </dd>
209  <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>
210    <dd class=ed>@@</dd>    <dd class=ed>@@</dd>
211  <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 157  can be easily serialized into a valid XM Line 226  can be easily serialized into a valid XM
226    <a href="@@/#dt-fatal">fatal error</a>)    <a href="@@/#dt-fatal">fatal error</a>)
227    that is not classified to any other <a href="#error-category">error    that is not classified to any other <a href="#error-category">error
228    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>
229    <dt><dfn id=xml-misc-recommendation><code>xml-misc-recommendation</code></dfn></dt>
230      <dd>
231        <p>An
232        <a href="#xml-misc-recommendation"><code>xml-misc-recommendation</code></a>
233        will be raised if a <em class=rfc2119>SHOULD</em>$B!>(Blevel requirement
234        in <abbr>XML</abbr> specification is not met.</p>
235      </dd>
236  <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>
237    <dd>A violation of validity constraint in XML document.</dd>    <dd>A violation of validity constraint in XML document.</dd>
238  <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 172  can be easily serialized into a valid XM Line 248  can be easily serialized into a valid XM
248  (MAY or MUST), #dt-compat for compatibility,  (MAY or MUST), #dt-compat for compatibility,
249  #dt-interop for interoperability</p></div>  #dt-interop for interoperability</p></div>
250    
251    </div>
252    
253    <div class=section id=definitions>
254    <h3>Definitions</h3>
255    
256  <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
257  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.
258  For a <code>Documemt</code> node, the <abbr>XML</abbr> version  For a <code>Documemt</code> node, the <abbr>XML</abbr> version
259  of the document is the value of the <code>xmlVersion</code>  of the document is the value of the <code>xmlVersion</code>
260  attribute.  For a <code>DocumentType</code> node whose  attribute of the node.  For a <code>DocumentType</code> node whose
261  <code>ownerDocument</code> is set to <code>null</code>,  <code>ownerDocument</code> attribute is set to <code>null</code>,
262  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><!--
263    since createDocumentType [DOM3CORE] assumes XML 1.0 [XML10TE] -->.
264  For any other node, the <abbr>XML</abbr> version of the document  For any other node, the <abbr>XML</abbr> version of the document
265  is that of the <code>Document</code> node contained in the  is that of the <code>Document</code> node contained in the
266  <code>ownerDocument</code> attribute of the node.</p>  <code>ownerDocument</code> attribute of the node.</p>
267    
268    </div>
269    
270    
271    <div class=section id=checking-components>
272    <h3>Checking Components</h3>
273    
274    <p>The algorithm
275    <dfn id=algorithm-to-validate-an-xml-character-data title-"to validate an XML character data">to
276    validate an <abbr>XML</abbr> character data
277    (<dfn id=var-s><var>s</var></dfn>)</dfn> is defined as following:</p>
278    <ol>
279    <li>If <var>s</var> contains a character that is <em>not</em> in
280    the character class <a href="#class-Char10"><code>Char10</code></a>,
281    then raise an
282    <a href="#xml-well-formedness-error" id=wfe-illegal-char><code>xml-well-formedness-error</code></a>.</li>
283    <li>If <var>s</var> contains a character that is in the character
284    class <a href="#class-CompatChar10"><code>CompatChar10</code></a>,
285    then raise an
286    <a href="#xml-misc-warning" id=xmw-compat-char><code>xml-misc-warning</code></a>.</li>
287    <li>If <var>s</var> contains a character that is in the character
288    class <a href="#class-ControlChar10"><code>ControlChar10</code></a>,
289    then raise an
290    <a href="#xml-misc-warning" id=xmw-control-char><code>xml-misc-warning</code></a>.</li>
291    <li class=ed>@@ XML 1.1 support</li>
292    <li>If <var>s</var> contains a <code class=char>U+000D</code>
293    <code class=charname>CARRIAGE RETURN</code> character, then
294    raise a
295    <a href="#round-trip-error" id=rte-cr><code>round-trip-error</code></a>.
296    <span class=ed>@@ We should not raise duplicate errors for U+000D
297    in attribute values.  In addition, we should support a mode where
298    U+000D will be serialized as &#x000D; (so that no round-trip-error
299    will be raised).</span></li>
300    </ol>
301    
302    <p>The algorithm
303    <dfn id=algorithm-to-validate-a-name title="to validate a Name">to validate a
304    <code>Name</code> (<dfn id=var-name-s><var>s</var></dfn>)</dfn> is defined
305    as following:</p>
306    <ol>
307    <li>If <var>s</var> begins with the string <code>xml</code> (in any
308    case combination), then raise an
309    <a href="#xml-misc-warning" id=xmw-reserved-name><code>xml-misc-warning</code></a>.
310    <span class=ed>@@ except for attribute names <code>xml:lang</code>,
311    <code>xml:space</code>, <code>xml:base</code>, <code>xml:id</code>,
312    <code>xmlns</code>, <code>xmlns:<var>*</var></code>,
313    pi name <code>xml-stylesheet</code>.</span></li>
314    <!-- COLON in Name is a lowercase "should not" in a Note of [XML10],
315    [XML11]. -->
316    <li class=ed>@@</li>
317    </ol>
318    
319    <p>The algorithm
320    <dfn id=algorithm-to-validate-a-ncname title="to validate an NCName">to
321    validate an <code>NCName</code> (<dfn id=var-name><var>name</var></dfn>)</dfn>
322    is defined as following:</p>
323    <ol>
324    <li class=ed>@@</li>
325    </ol>
326    
327    <p>To <dfn id=algorithm-to-validate-a-public-identifier title="validate a public identifier">validate
328    a public identifier (<dfn id=var-pid><var>pid</var></dfn>)</dfn>, the
329    algorithm below <em class=rfc2119>MUST</em> be used:</p>
330    <ol>
331      <li>If <var>pid</var> contains any character
332      that is outside of the range of <code>#x20 | #xD | #xA |
333      [a-zA-Z0-9] | [-'()+,./:=?;!*#@$_%]</code><!-- @@ TODO: formal def -->,
334      then it is an
335      <a href="#xml-well-formedness-error" id=wfe-pubid-char><code>xml-well-formedness-error</code></a>.</li>
336      <li>If <var>pid</var> contains one of <code class=char>U+0009</code>
337      <code class=charname>CHARACTER TABULATION</code>,
338      <code class=char>U+000A</code> <code class=charname>CARRIAGE RETURN</code>,
339      and <code class=char>U+000D</code> <code class=charname>LINE FEED</code>
340      characters, if the first character of <var>pid</var> is
341      <code class=char>U+0020</code> <code class=charname>SPACE</code> character,
342      if the last character of <var>pid</var> is <code class=char>U+0020</code>
343      <code class=charname>SPACE</code> character, or if there is a
344      <code class=char>U+0020</code> <code class=charname>SPACE</code> character
345      immediately followed by another <code class=char>U+0020</code>
346      <code class=charname>SPACE</code> character in <var>pid</var>, then it is a
347      <a href="#round-trip-error" id=rte-pubid-space><code>round-trip-error</code></a>.</li>
348      <li class=ed>@@ Should we check formal-public-identifierness?</li>
349    </ol>
350    
351    </div>
352    
353    <div class=section id=checking-node>
354    <h3>Checking <code>Node</code></h3>
355    
356  <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
357  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
358  following:</p>  following:</p>
# Line 195  following:</p> Line 365  following:</p>
365      <li>If the <code>prefix</code> attribute value is different from      <li>If the <code>prefix</code> attribute value is different from
366      <code>null</code>, then <a href="#algorithm-to-validate-a-ncname">validate      <code>null</code>, then <a href="#algorithm-to-validate-a-ncname">validate
367      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>
368      <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
369      a node which is <em>not</em> <code>Text</code> or      <code>childNodes</code> list of <var>n</var>,
370      <code>EntityReference</code> node, then it is a        <ol>
371      <a href="#xml-well-formedness-error" id=wfe-attr-child><code>xml-well-formedness-error</code></a>.</li>        <li>If <var>n<sub><var>c</var></sub></var> is <em>not</em> a
372      <li>If the <code>childNodes</code> list of <var>n</var> contains        <code>Text</code> or <code>EntityReference</code> node, then it is an
373      an <code>EntityReference</code> node, it is an        <a href="#xml-well-formedness-error" id=wfe-attr-child><code>xml-well-formedness-error</code></a>.</li>
374      <a href="#entity-error" id=ee-er-in-attr><code>entity-error</code></a>.</li>        <li>Otherwise, if <var>n<sub><var>c</var></sub></var> is an
375      <li><a href="#algorithm-to-check-a-node">Check each node</a>        <code>EntityReference</code> node, then it is an
376      which is different from <code>EntityReference</code> in        <a href="#entity-error" id=ee-attr-er><code>entity-error</code></a>.</li>
377      <code>childNodes</code> list of <var>n</var> recursively.</li>        <li>Otherwise,
378          <a href="#algorithm-to-check-a-node" title="check a node">check
379          <var>n<sub><var>c</var></sub></var></a> recusrively.</li>
380          </ol></li>
381        <li>If <code>nodeName</code> attribute of <var>n</var> is
382        <code>xml:space</code> <span class=ed>@@ or {xml namespace}:space ?</span>
383        and <code>value</code> attribute of <var>n</var> is neither
384        <code>default</code> nor <code>preserve</code>, then it is an
385        <a href="#xml-misc-error" id=xme-attr-xml-space><code>xml-misc-error</code></a>.<!--
386        Note that <!ATTLIST e xml:space (default|preserve) "a">...
387        <e xml:space="default"/> is conforming and valid. --></li>
388        <li class=ed>@@ xml:lang value is not a language tag [RFC 3066 or its
389        successor] or an empty string, then xml-misc-warning
390        (a "fact"-level error; not an XML error).</li>
391      <li class=ed>@@ <code>specified</code>,      <li class=ed>@@ <code>specified</code>,
392      <code>manakaiAttributeType</code></li>      <code>manakaiAttributeType</code></li>
393        <!-- xml:space MUST be declared to be valid. -->
394      </ol>      </ol>
395    </dd>    </dd>
396  <dt>If <var>n</var> is an <code>AttributeDefinition</code> node</dt>  <dt>If <var>n</var> is an <code>AttributeDefinition</code> node</dt>
397    <dd class=ed></dd>    <dd>
398        <ol>
399        <li class=ed></li>
400        <li>If <code>nodeName</code> attribute of <var>n</var> is
401        <code>xml:space</code> <span class=ed>@@ or {xml namespace}:space ?</span>
402        and <span class=ed>its declared type is different from (default|preserve),
403        (default), or (preserve)</span>, then raise an
404        <a href="#xml-misc-error" id=xme-at-xml-space><code>xml-misc-error</code></a>.</li>
405        <li>For each node <dfn id=var-ad-nc><var>n<sub><var>c</var></sub></var></dfn> in the
406        <code>childNodes</code> list of <var>n</var>,
407          <ol>
408          <li>If <var>n<sub><var>c</var></sub></var> is <em>not</em> a
409          <code>Text</code> or <code>EntityReference</code> node, then it is an
410          <a href="#xml-well-formedness-error" id=wfe-at-child><code>xml-well-formedness-error</code></a>.</li>
411          <li>Otherwise, if <var>n<sub><var>c</var></sub></var> is an
412          <code>EntityReference</code> node, then it is an
413          <a href="#entity-error" id=ee-at-er><code>entity-error</code></a>.</li>
414          <li>Otherwise,
415          <a href="#algorithm-to-check-a-node" title="check a node">check
416          <var>n<sub><var>c</var></sub></var></a> recusrively.</li>
417          </ol></li>
418        </ol>
419      </dd>
420  <dt>If <var>n</var> is a <code>CDATASection</code> node</dt>  <dt>If <var>n</var> is a <code>CDATASection</code> node</dt>
421    <dd>    <dd>
422      <ol>      <ol>
# Line 218  following:</p> Line 424  following:</p>
424      <code>data</code> attribute value as an <abbr>XML</abbr> character      <code>data</code> attribute value as an <abbr>XML</abbr> character
425      data</a>.</li>      data</a>.</li>
426      <li>If the <code>data</code> attribute value contains      <li>If the <code>data</code> attribute value contains
427      a string <code>]]></code>, then it is a      a string <code>]]></code>, then raise an
428      <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>
429      <li>If the <code>childNodes</code> list of <var>n</var> contains      <li>If the <code>childNodes</code> list of <var>n</var> contains
430      any nodes, they are in      any nodes, they are in
431      <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>
432      </ol>      </ol>
433    </dd>    </dd>
434  <dt>If <var>n</var> is a <code>Comment</code> node</dt>  <dt>If <var>n</var> is a <code>Comment</code> node</dt>
435    <dd>    <dd>
436      <ol>      <ol>
437        <li>Raise an
438        <a href="#round-trip-warning" id=rtw-comment><code>round-trip-warning</code></a>.</li>
439      <li><a href="#algorithm-to-validate-an-xml-character-data">Validate the      <li><a href="#algorithm-to-validate-an-xml-character-data">Validate the
440      <code>data</code> attribute value as an <abbr>XML</abbr> character      <code>data</code> attribute value as an <abbr>XML</abbr> character
441      data</a>.</li>      data</a>.</li>
442      <li>If the <code>data</code> attribute value contains      <li>If the <code>data</code> attribute value contains
443      a string <code>--</code>, or if it ends with a character      a string <code>--</code>, or if it ends with a character
444      <code>-</code>, then it is a      <code>-</code>, then raise an
445      <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>.<!--
446        "for compatibility" --></li>
447      <li>If the <code>childNodes</code> list of <var>n</var> contains      <li>If the <code>childNodes</code> list of <var>n</var> contains
448      any nodes, they are in      any nodes, they are in
449      <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>
450      </ol>      </ol>
451    </dd>    </dd>
452  <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 248  following:</p> Line 457  following:</p>
457      then it is an <code class=ed>unknown-error?</code>.</li>      then it is an <code class=ed>unknown-error?</code>.</li>
458      <li>If the <code>xmlEncoding</code> attribute value does <em>not</em>      <li>If the <code>xmlEncoding</code> attribute value does <em>not</em>
459      match to <code>[A-Za-z] ([A-Za-z0-9._] | '-')*</code>      match to <code>[A-Za-z] ([A-Za-z0-9._] | '-')*</code>
460      <span class=ed>@@ formal def</span>, then it is a      <span class=ed>@@ formal def</span>, then it is an
461      <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>
462      <li>The <code>childNodes</code> list of <var>n</var> have to      <li>The <code>childNodes</code> list of <var>n</var> have to
463      consist of zero or more <code>Comment</code> and/or      consist of zero or more <code>Comment</code> and/or
# Line 258  following:</p> Line 467  following:</p>
467      <code>ProcessingInstruction</code> nodes, followed by      <code>ProcessingInstruction</code> nodes, followed by
468      an <code>Element</code> node, followed      an <code>Element</code> node, followed
469      by zero or more <code>Comment</code> and/or      by zero or more <code>Comment</code> and/or
470      <code>ProcessingInstruction</code> nodes.  Any violation to this is a      <code>ProcessingInstruction</code> nodes.  Any violation to this is an
471      <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>
472      <li><a href="#algorithm-to-check-a-node">Check each node</a>      <li>For each node <dfn id=var-document-nc><var>n<sub><var>c</var></sub></var></dfn>
473      which is different from <code>EntityReference</code> in      in the <code>childNodes</code> list of <var>n</var>,
474      <code>childNodes</code> list of <var>n</var> recursively.</li>        <ol>
475          <li>If <var>n<sub><var>c</var></sub></var> is <em>not</em> an
476          <code>EntityReference</code> node, then
477          <a href="#algorithm-to-check-a-node" title="check a node">check
478          <var>n<sub><var>c</var></sub></var></a> recursively.</li>
479          </ol></li>
480      <li class=ed>@@ <code>allDeclarationsProcessed</code></li>      <li class=ed>@@ <code>allDeclarationsProcessed</code></li>
481      </ol>      </ol>
482    </dd>    </dd>
483  <dt>If <var>n</var> is a <code>DocumentFragment</code> node</dt>  <dt>If <var>n</var> is a <code>DocumentFragment</code> node</dt>
484    <dd>    <dd>
485      <ol>      <ol>
486      <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>
487      a node which is <em>not</em> <code>Element</code>,      in the <code>childNodes</code> list of <var>n</var>,
488      <code>Text</code>, <code>CDATASection</code>, <code>Comment</code>,        <ol>
489      <code>ProcessingInstruction</code>, or        <li>If <var>n<sub><var>c</var></sub></var> is <em>not</em> an
490      <code>EntityReference</code> node, then it is a        <code>Element</code>, <code>Text</code>, <code>CDATASection</code>,
491      <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
492      <li>If the <code>childNodes</code> list of <var>n</var> contains        <code>EntityReference</code> node, then it is an
493      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>
494      <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
495      <li><a href="#algorithm-to-check-a-node">Check each node</a>        <code>EntityReference</code> node, then it is an
496      which is different from <code>EntityReference</code> in        <a href="#entity-error" id=ee-df-er><code>entity-error</code></a>.</li>
497      <code>childNodes</code> list of <var>n</var> recursively.</li>        <li>Otherwise,
498          <a href="#algorithm-to-check-a-node" title="check a node">check
499          <var>n<sub><var>c</var></sub></var></a> recursively.</li>
500          </ol></li>
501      </ol>      </ol>
502    </dd>    </dd>
503  <dt>If <var>n</var> is a <code>DocumentType</code> node</dt>  <dt>If <var>n</var> is a <code>DocumentType</code> node</dt>
# Line 288  following:</p> Line 505  following:</p>
505      <ol>      <ol>
506      <li><a href="#algorithm-to-validate-a-ncname">Validate the      <li><a href="#algorithm-to-validate-a-ncname">Validate the
507      <code>nodeName</code> attribute value as an <code>NCName</code></a>.</li>      <code>nodeName</code> attribute value as an <code>NCName</code></a>.</li>
508      <li>If the <code>publicId</code> attribute value contains any character      <li>Follow the following substeps:
509      that is outside of the range of <code>#x20 | <!--#xD | #xA |-->        <ol>
510      [a-zA-Z0-9] | [-'()+,./:=?;!*#@$_%]</code><!-- @@ TODO: formal def -->,        <li>If <code>ownerDocument</code> attribute of <var>n</var> is
511      or contains a leading <code class=char>U+0020</code> character,        <code>null</code>, then abort these substeps.</li>
512      a trailing <code class=char>U+0020</code> character, or a        <li>If <code>documentElement</code> attribute of the node
513      sequence of two or more <code class=char>U+0020</code> characters,        set to <code>ownerDocument</code> attribute of <var>n</var> is
514      then it is a        <code>null</code>, then abort these substeps.</li>
515      <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
516          <code>documentElement</code> attribute of the node set to
517          <code>ownerDocument</code> attribute of <var>n</var> is
518          different from <code>nodeName</code> of <var>n</var>,
519          then raise an
520          <a href="#xml-validity-error" id=vc-roottype><code>xml-validity-error</code></a>.</li></li>
521          </ol>
522        </li>
523        <li><a href="#algorithm-to-validate-a-public-identifier" title="validate a public identifier">Validate
524        the <code>publicId</code> attribute value as a public identifier</a>.</li>
525      <li>If the <code>systemId</code> attribute value contains      <li>If the <code>systemId</code> attribute value contains
526      both <code>"</code> and <code>'</code> characters, it is a      both <code>"</code> and <code>'</code> characters, it is a
527      <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>
528      <!-- publicId = non-null and systemId = null -->      <!-- publicId = non-null and systemId = null -->
529      <li>If the <code>childNodes</code> list of <var>n</var> contains      <li>For each node <dfn id=var-dt-nc><var>n<sub><var>c</var></sub></var></dfn>
530      a node which is <em>not</em> <code>ProcessingInstruction</code> node,      in the <code>childNodes</code> list of <var>n</var>,
531      then it is a        <ol>
532      <a href="#xml-well-formedness-error" id=wfe-dt-child><code>xml-well-formedness-error</code></a>.        <li>If <var>n<sub><var>c</var></sub></var> is <em>not</em> a
533      <span class=ed>@@ ref to manakai's extensions</span></li>        <code>ProcessingInstruction</code> node, then it is an
534      <li><a href="#algorithm-to-check-a-node">Check each node</a>        <a href="#xml-well-formedness-error" id=wfe-dt-child><code>xml-well-formedness-error</code></a>.
535      which is different from <code>EntityReference</code> in        <span class=ed>@@ ref to manakai's extensions</span></li>
536      <code>childNodes</code> list of <var>n</var> recursively.</li>        <li>Otherwise, <!-- if n_c is not an EntityReference node, -->
537          <a href="#algorithm-to-check-a-node" title="check a node">check
538          <var>n<sub><var>c</var></sub></var></a> recusrively.</li>
539          </ol></li>
540      <li class=ed>@@ <code>entities</code>, <code>notations</code>,      <li class=ed>@@ <code>entities</code>, <code>notations</code>,
541      <code>elementTypes</code>, externally declared?</li>      <code>elementTypes</code>, externally declared?</li>
542      </ol>      </ol>
# Line 320  following:</p> Line 549  following:</p>
549      <li>If the <code>prefix</code> attribute value is different from      <li>If the <code>prefix</code> attribute value is different from
550      <code>null</code>, then <a href="#algorithm-to-validate-a-ncname">validate      <code>null</code>, then <a href="#algorithm-to-validate-a-ncname">validate
551      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>
552      <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>
553      a node which is <em>not</em> <code>Element</code>,      in the <code>childNodes</code> list of <var>n</var>,
554      <code>Text</code>, <code>CDATASection</code>, <code>Comment</code>,        <ol>
555      <code>ProcessingInstruction</code>, or        <li>If <var>n<sub><var>c</var></sub></var> is <em>not</em> an
556      <code>EntityReference</code> node, then it is a        <code>Element</code>,
557      <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>,
558      <li>If the <code>childNodes</code> list of <var>n</var> contains        <code>ProcessingInstruction</code>, or
559      an <code>EntityReference</code> node, it is an        <code>EntityReference</code> node, then it is an
560      <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>
561      <li><a href="#algorithm-to-check-a-node">Check each node</a>        <li>Otherwise, if <var>n<sub><var>c</var></sub></var> is an
562      which is different from <code>EntityReference</code> in        <code>EntityReference</code> node, then it is an
563      <code>childNodes</code> list of <var>n</var> recursively.</li>        <a href="#entity-error" id=ee-element-er><code>entity-error</code></a>.</li>
564          <li>Otherwise,
565          <a href="#algorithm-to-check-a-node" title="check a node">check
566          <var>n<sub><var>c</var></sub></var></a> recursively.</li>
567          </ol></li>
568      </ol>      </ol>
569    </dd>    </dd>
570  <dt>If <var>n</var> is an <code>ElementTypeDefinition</code> node</dt>  <dt>If <var>n</var> is an <code>ElementTypeDefinition</code> node</dt>
571    <dd class=ed></dd>    <dd>
572        <ol>
573        <li class=ed></li>
574        <li>If the <code>childNodes</code> list of <var>n</var> contains
575        any nodes, they are in
576        <a href="#xml-well-formedness-error" id=wfe-et-child><code>xml-well-formedness-error</code></a>.</li>
577        </ol>
578      </dd>
579  <dt>If <var>n</var> is an <code>Entity</code> node</dt>  <dt>If <var>n</var> is an <code>Entity</code> node</dt>
580    <dd>    <dd>
581      <ol>      <ol>
582      <li>An <a href="#entity-error" id=ee-entity-node><code>entity-error</code></a> <span class=ed>@@ if !notationName</span>.</li>      <li>An <a href="#entity-error" id=ee-entity-node><code>entity-error</code></a> <span class=ed>@@ if !notationName</span>.</li>
583      <li><a href="#algorithm-to-validate-a-ncname">Validate the      <li><a href="#algorithm-to-validate-a-ncname">Validate the
584      <code>nodeName</code> attribute value as an <code>NCName</code></a>.</li>      <code>nodeName</code> attribute value as an <code>NCName</code></a>.</li>
585      <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
586      that is outside of the range of <code>#x20 | <!--#xD | #xA |-->      the <code>publicId</code> attribute value as a public identifier</a>.</li>
     [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>  
587      <li>If the <code>systemId</code> attribute value contains      <li>If the <code>systemId</code> attribute value contains
588      both <code>"</code> and <code>'</code> characters, it is a      both <code>"</code> and <code>'</code> characters, it is a
589      <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>
590      <!-- publicId = non-null and systemId = null -->      <!-- publicId = non-null and systemId = null -->
591      <li class=ed>@@ <code>notationName</code></li>      <li class=ed>@@ <code>notationName</code></li>
592      <li>If the <code>childNodes</code> list of <var>n</var> contains      <li>For each node <dfn id=var-entity-nc><var>n<sub><var>c</var></sub></var></dfn>
593      a node which is <em>not</em> <code>Element</code>,      in the <code>childNodes</code> list of <var>n</var>,
594      <code>Text</code>, <code>CDATASection</code>, <code>Comment</code>,        <ol>
595      <code>ProcessingInstruction</code>, or        <li>If <var>n<sub><var>c</var></sub></var> is <em>not</em> an
596      <code>EntityReference</code> node, then it is a        <code>Element</code>,
597      <a href="#xml-well-formedness-error" id=wfe-entity-child><code>xml-well-formedness-error</code></a>.</li>        <code>Text</code>, <code>CDATASection</code>, <code>Comment</code>,
598      <li>If the <code>childNodes</code> list of <var>n</var> contains        <code>ProcessingInstruction</code>, or <code>EntityReference</code>
599      an <code>EntityReference</code> node, it is an        node, then it is an
600      <a href="#entity-error" id=ee-er-in-er><code>entity-error</code></a>.</li>        <a href="#xml-well-formedness-error" id=wfe-entity-child><code>xml-well-formedness-error</code></a>.</li>
601      <li><a href="#algorithm-to-check-a-node">Check each node</a>        <li>Otherwise, if <var>n<sub><var>c</var></sub></var> is an
602      which is different from <code>EntityReference</code> in        <code>EntityReference</code> node, then it is an
603      <code>childNodes</code> list of <var>n</var> recursively.</li>        <a href="#entity-error" id=ee-er-er><code>entity-error</code></a>.</li>
604          <li>Otherwise,
605          <a href="#algorithm-to-check-a-node" title="check a node">check
606          <var>n<sub><var>c</var></sub></var></a> recursively.</li>
607          </ol></li>
608      </ol>      </ol>
609    </dd>    </dd>
610  <dt>If <var>n</var> is an <code>EntityReference</code> node</dt>  <dt>If <var>n</var> is an <code>EntityReference</code> node</dt>
# Line 375  following:</p> Line 613  following:</p>
613      <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>
614      <li><a href="#algorithm-to-validate-a-ncname">Validate the      <li><a href="#algorithm-to-validate-a-ncname">Validate the
615      <code>nodeName</code> attribute value as an <code>NCName</code></a>.</li>      <code>nodeName</code> attribute value as an <code>NCName</code></a>.</li>
616      <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>
617      a node which is <em>not</em> <code>Element</code>,      in the <code>childNodes</code> list of <var>n</var>,
618      <code>Text</code>, <code>CDATASection</code>, <code>Comment</code>,        <ol>
619      <code>ProcessingInstruction</code>, or        <li>If <var>n<sub><var>c</var></sub></var> is <em>not</em> an
620      <code>EntityReference</code> node, then it is a        <code>Element</code>,
621      <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>,
622      <li>If the <code>childNodes</code> list of <var>n</var> contains        <code>ProcessingInstruction</code>, or <code>EntityReference</code>
623      an <code>EntityReference</code> node, it is an        node, then it is an
624      <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>
625      <li><a href="#algorithm-to-check-a-node">Check each node</a>        <li>Otherwise, if <var>n<sub><var>c</var></sub></var> is <em>not</em> an
626      which is different from <code>EntityReference</code> in        <code>EntityReference</code> node, then it is an
627      <code>childNodes</code> list of <var>n</var> recursively.</li>        <a href="#entity-error" id=ee-entity-er><code>entity-error</code></a>.</li>
628          <li>Otherwise,
629          <a href="#algorithm-to-check-a-node" title="check a node">check
630          <var>n<sub><var>c</var></sub></var></a> recursively.</li>
631          </ol></li>
632      </ol>      </ol>
633    </dd>    </dd>
634  <dt>If <var>n</var> is a <code>Notation</code> node</dt>  <dt>If <var>n</var> is a <code>Notation</code> node</dt>
# Line 394  following:</p> Line 636  following:</p>
636      <ol>      <ol>
637      <li><a href="#algorithm-to-validate-a-ncname">Validate the      <li><a href="#algorithm-to-validate-a-ncname">Validate the
638      <code>nodeName</code> attribute value as an <code>NCName</code></a>.</li>      <code>nodeName</code> attribute value as an <code>NCName</code></a>.</li>
639      <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
640      that is outside of the range of <code>#x20 | <!--#xD | #xA |-->      the <code>publicId</code> attribute value as a public identifier</a>.</li>
     [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>  
641      <li>If the <code>systemId</code> attribute value contains      <li>If the <code>systemId</code> attribute value contains
642      both <code>"</code> and <code>'</code> characters, it is a      both <code>"</code> and <code>'</code> characters, it is a
643      <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>
644      <li>If the <code>childNodes</code> list of <var>n</var> contains      <li>If the <code>childNodes</code> list of <var>n</var> contains
645      any nodes, they are in      any nodes, they are in
646      <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>
647      </ol>      </ol>
648    </dd>    </dd>
649  <dt>If <var>n</var> is a <code>ProcessingInstruction</code> node</dt>  <dt>If <var>n</var> is a <code>ProcessingInstruction</code> node</dt>
650    <dd>    <dd>
651      <ol>      <ol>
652      <li><a href="#algorithm-to-validate-a-ncname">Validate the      <li>If the <code>target</code> attribute value matches to the string
653      <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  
654      <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>
655      <li><a href="#algorithm-to-validate-an-xml-character-data">Validate the      <li>Otherwise, <a href="#algorithm-to-validate-a-ncname">validate the
656      <code>data</code> attribute value as an <abbr>XML</abbr> character      <code>target</code> attribute value as an <code>NCName</code></a>.</li>
657        <li>Then,
658        <a href="#algorithm-to-validate-an-xml-character-data" title="validate an XML character data">validate
659        the <code>data</code> attribute value as an <abbr>XML</abbr> character
660      data</a>.</li>      data</a>.</li>
661      <li>If the <code>data</code> attribute value contains      <li>If the <code>data</code> attribute value contains a string
662      a string <code>?></code>, or starts with either      <code>?></code>, then raise a
663      <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>
664      <code class=char>U+000D</code>, or <code class=char>U+0020</code>      <li>If the <code>data</code> attribute value starts with either
665      character, then it is a      <code class=char>U+0009</code> <code class=charname>CHARACTER
666      <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
667        FEED</code>, <code class=char>U+000D</code> <code class=charname>CARRIAGE
668        RETURN</code>, or <code class=char>U+0020</code>
669        <code class=charname>SPACE</code> character, then raise a
670        <a href="#round-trip-error" id=rte-pi-s><code>round-trip-error</code></a>.</li>
671      <li>If the <code>childNodes</code> list of <var>n</var> contains      <li>If the <code>childNodes</code> list of <var>n</var> contains
672      any nodes, they are in      any nodes, then raise an
673      <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>
674      </ol>      </ol>
675    </dd>    </dd>
676  <dt>If <var>n</var> is a <code>Text</code> node</dt>  <dt>If <var>n</var> is a <code>Text</code> node</dt>
# Line 440  following:</p> Line 681  following:</p>
681      data</a>.</li>      data</a>.</li>
682      <li>If the <code>childNodes</code> list of <var>n</var> contains      <li>If the <code>childNodes</code> list of <var>n</var> contains
683      any nodes, they are in      any nodes, they are in
684      <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>
685      </ol>      </ol>
686    </dd>    </dd>
687  <dt>Otherwise</dt>  <dt>Otherwise</dt>
688    <dd><span class=ed>xml-well-formedness-error?  unknown-error?</span></dd>    <dd><span class=ed>xml-well-formedness-error?  unknown-error?</span></dd>
689  </dl>  </dl>
690    
 <p>The algorithm  
 <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>  
   
691  </div>  </div>
692    
693  <div class="section" id="examples">  </div>
 <h2>Examples</h2>  
   
 <p class=section-info>This section is <em>non$B!>(Bnormative</em>.</p>  
   
 <div class="ed issue">  
694    
695  <div class="example figure block">  <div id=classes class=section>
696  <div class="caption">...</div>  <h2>Character Classes</h2>
697    
698  <pre><code>...</code></pre>  <p>This section defines a couple of character classes.
699  </div>  These classes are referred to by algorithms specified above.</p>
700    
701    <p>Character class <dfn id=class-Char10><code>Char10</code></dfn>
702    contains the following characters:</p>
703    <ul>
704    <li><code class=char>U+0009</code> <code class=charname>CHARACTER
705    TABULATION</code></li>
706    <li><code class=char>U+000A</code> <code class=charname>LINE FEED</code></li>
707    <li><code class=char>U+000D</code> <code class=charname>CARRIAGE
708    RETURN</code></li>
709    <li><code class=char>U+0020</code> <code class=charname>SPACE</code>
710    .. <code class=char>U+D7FF</code></li>
711    <li><code class=char>U+E000</code> .. <code class=char>U+FFFD</code>
712    <code class=charname>REPLACEMENT CHARACTER</code></li>
713    <li><code class=char>U+10000</code> .. <code class=char>U+10FFFF</code></li>
714    </ul>
715    <div class="note memo">
716    <p>This character class contains all characters allowed in the production rule
717    <a href="http://www.w3.org/TR/2006/REC-xml-20060816/#NT-Char"><code>Char</code></a>
718    of <abbr>XML</abbr> 1.0
719    <cite class="bibref normative">[<a href="#ref-XML10">XML10</a>]</cite>.</p>
720    </div>
721    
722    <p>Character class <dfn id=class-CompatChar10><code>CompatChar10</code></dfn>
723    contains the following characters:</p>
724    <ul>
725    <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>
726    </ul>
727    
728    <p>Character class <dfn id=class-ControlChar10><code>ControlChar10</code></dfn>
729    contains the following characters:</p>
730    <ul>
731    <li><code class=char>U+007F</code> <code class=charname>DELETE</code> ..
732    <code class=char>U+0084</code> <code class=charname>INDEX</code></li>
733    <li><code class=char>U+0086</code> <code class=charname>START OF SELECTED
734    AREA</code> .. <code class=char>U+009F</code> <code class=charname>APPLICATION
735    PROGRAM COMMAND</code></li>
736    <li><code class=char>U+FDD0</code> .. <code class=char>U+FDEF</code></li>
737    <li><code class=char>U+1FFFE</code> .. <code class=char>U+1FFFF</code></li>
738    <li><code class=char>U+2FFFE</code> .. <code class=char>U+2FFFF</code></li>
739    <li><code class=char>U+3FFFE</code> .. <code class=char>U+3FFFF</code></li>
740    <li><code class=char>U+4FFFE</code> .. <code class=char>U+4FFFF</code></li>
741    <li><code class=char>U+5FFFE</code> .. <code class=char>U+5FFFF</code></li>
742    <li><code class=char>U+6FFFE</code> .. <code class=char>U+6FFFF</code></li>
743    <li><code class=char>U+7FFFE</code> .. <code class=char>U+7FFFF</code></li>
744    <li><code class=char>U+8FFFE</code> .. <code class=char>U+8FFFF</code></li>
745    <li><code class=char>U+9FFFE</code> .. <code class=char>U+9FFFF</code></li>
746    <li><code class=char>U+AFFFE</code> .. <code class=char>U+AFFFF</code></li>
747    <li><code class=char>U+BFFFE</code> .. <code class=char>U+BFFFF</code></li>
748    <li><code class=char>U+CFFFE</code> .. <code class=char>U+CFFFF</code></li>
749    <li><code class=char>U+DFFFE</code> .. <code class=char>U+DFFFF</code></li>
750    <li><code class=char>U+EFFFE</code> .. <code class=char>U+EFFFF</code></li>
751    <li><code class=char>U+FFFFE</code> .. <code class=char>U+FFFFF</code></li>
752    <li><code class=char>U+10FFFE</code> .. <code class=char>U+10FFFF</code></li>
753    </ul>
754    <div class="note memo">
755    <p>This character class contains the characters listed in the Note in
756    <a href="http://www.w3.org/TR/2006/REC-xml-20060816/#charsets">Section 2.2</a>
757    of <abbr>XML</abbr> 1.0
758    <cite class="bibref normative">[<a href="#ref-XML10">XML10</a>]</cite>,
759    as amended by
760    <a href="http://www.w3.org/XML/xml-V10-4e-errata#E02">errata</a>.</p>
761  </div>  </div>
762    
763  </div>  </div>
# Line 497  is defined as following:</p> Line 769  is defined as following:</p>
769  <h3>Normative References</h3>  <h3>Normative References</h3>
770    
771  <dl>  <dl>
772    <dt id=ref-DOM3CORE>DOM3CORE</dt>
773      <dd class=ed>@@ W3C DOM Level 3 Core</dd>
774    <dt id=ref-DOMDTDEF>DOMDTDEF</dt>
775      <dd class=ed>@@ manakai's extension to DOM for document type definitions</dd>
776  <dt id="ref-KEYWORDS">KEYWORDS</dt>  <dt id="ref-KEYWORDS">KEYWORDS</dt>
777    <dd><cite><a href="urn:ietf:rfc:2119">Key words for use in    <dd><cite><a href="urn:ietf:rfc:2119">Key words for use in
778    <abbr>RFCs</abbr> to Indicate Requirement Levels</a></cite>,    <abbr>RFCs</abbr> to Indicate Requirement Levels</a></cite>,
# Line 559  is defined as following:</p> Line 835  is defined as following:</p>
835    <abbr title="World Wide Web Consortium">W3C</abbr>$B!>(Bpublished    <abbr title="World Wide Web Consortium">W3C</abbr>$B!>(Bpublished
836    version of the specification is available at    version of the specification is available at
837    <code class=URI>&lt;<a href="http://www.w3.org/TR/xbl/">http://www.w3.org/TR/xbl/</a>></code>.</dd>    <code class=URI>&lt;<a href="http://www.w3.org/TR/xbl/">http://www.w3.org/TR/xbl/</a>></code>.</dd>
838    <dt id=ref-XML5>XML5</dt>
839      <dd class=ed>@@</dd>
840  </dl>  </dl>
841  </div>  </div>
842    

Legend:
Removed from v.1.2  
changed lines
  Added in v.1.13

admin@suikawiki.org
ViewVC Help
Powered by ViewVC 1.1.24