/[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.20 by wakaba, Sat Dec 1 15:08:18 2007 UTC revision 1.22 by wakaba, Sun Mar 16 12:33:53 2008 UTC
# Line 18  Line 18 
18    
19  <div class="header">  <div class="header">
20  <h1>manakai's <abbr>XML</abbr> Conformance Checking</h1>  <h1>manakai's <abbr>XML</abbr> Conformance Checking</h1>
21  <h2>Working Draft <time datetime=2007-12-01>1 December 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 42  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 118  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    
128    
# Line 216  can be easily serialized into a valid XM Line 221  can be easily serialized into a valid XM
221  <div class=section id=parsing-xml>  <div class=section id=parsing-xml>
222  <h2>Parsing <abbr>XML</abbr> Document</h2>  <h2>Parsing <abbr>XML</abbr> Document</h2>
223    
224  <ul>  <p>When an <abbr>XML</abbr> document is parsed, the following clauses
225  <li>If the <abbr>XML</abbr> document does not begin with an  are applied:</p>
226  <abbr>XML</abbr> declaration, then raise an  <dl>
227  <a href="#xml-misc-recommentation" id=xmr-xml-decl><code>xml-misc-recommendation</code></a>.</li>  <dt>For each document
228  <li>If the replacement text of an entity declaration is    <dd>If the <abbr>XML</abbr> document does not begin with an
229  <code>&lt;</code>, then raise an    <abbr>XML</abbr> declaration, then the parser <em class=rfc2119>MUST</em>
230  <a href="#xml-misc-warning" id=xmw-entity-value-lt><code>xml-misc-warning</code></a>.<!--    raise an
231      <a href="#xml-misc-recommentation" id=xmr-xml-decl><code>xml-misc-recommendation</code></a>.
232    <dt>For each internal general entity declaration processed by the parser
233      <dd>If the
234      <a href="http://www.w3.org/TR/2006/REC-xml-20060816/#NT-EntityValue"><code>EntityValue</code></a>
235      part of the general entity declaration contains a bare <code>U+003C</code>
236      <code>LESS-THAN SIGN</code> (<code>&lt;</code>) character, then the parser
237      <em class=rfc2119>MUST</em> raise an
238      <a href="#xml-misc-warning" id=xmw-entity-value-lt><code>xml-misc-warning</code></a>.<!--
239  "strongly advised to avoid" in a Note in Section 2.3 of [XML10], [XML11].  "strongly advised to avoid" in a Note in Section 2.3 of [XML10], [XML11].
240  --></li>  -->
241  <li>If there is an element type declaration whose <code>Name</code>  <dt>For each element type declaration processed by the parser
242  value is already declared, then raise an    <dd>If there is another element type declaration whose <code>Name</code>
243  <a href="#xml-validity-error" id=vc-edunique><code>xml-validity-error</code></a>.</li>    is equal to the <code>Name</code> of the element type declaration, then
244  <li>If attribute definition whose <code>Name</code> is    the parser <em class=rfc2119>MUST</em> raise an
245  <code>xml:space</code> has <span class=ed>declared type different from    <a href="#xml-validity-error" id=vc-edunique><code>xml-validity-error</code></a>.
246  (default|preserve), (default), or (preserve)</span>, then raise an  <!--
247  <a href="#xml-misc-error" id=xme-ad-xml-space><code>xml-misc-error</code></a>.    NOTE: <!ATTLIST a xml:space (default) #IMPLIED xml:space CDATA #IMPLIED>
248  <span class=ed>@@ duplication with    will not be warned.
249  <a href="#xml-at-xml-space">#xml-at-xml-space</a>.<!--  -->
250  <!ATTLIST e xml:space CDATA #IMPLIED xml:space CDATA #IMPLIED> --></span></li>  <dt>For each empty-element tag
251  <li>If an empty-element tag is used for an element which is <em>not</em>    <dd>If the <code>Name</code> of the tag is not declared by a processed
252  declared <code>EMPTY</code>, then raise an    element type declaration as <code>EMPTY</code> content, then the parser
253  <a href="#xml-misc-recommentation" id=xmr-emptyelemtag-not-empty><code>xml-misc-recommendation</code></a>.</li>    <em class=rfc2119>MUST</em> raise an
254  <li>If an empty-element tag is <em>not</em> used for an element which is    <a href="#xml-misc-recommentation" id=xmr-emptyelemtag-not-empty><code>xml-misc-recommendation</code></a>.
255  declared <code>EMPTY</code>, then raise an  <dt>For each start-tag
256  <a href="#xml-misc-recommentation" id=xmr-empty-not-emptyelemtag><code>xml-misc-recommendation</code></a>.</li>    <dd>If the <code>Name</code> of the tag is declared by a processed element
257      type declaration as <code>EMPTY</code> content, then the parser
258      <em class=rfc2119>MUST</em> raise an
259      <a href="#xml-misc-recommentation" id=xmr-empty-not-emptyelemtag><code>xml-misc-recommendation</code></a>.
260  <!--  <!--
261    
262  #vc-PEinMarkupDecl Validity constraint: Proper Declaration/PE Nesting  #vc-PEinMarkupDecl Validity constraint: Proper Declaration/PE Nesting
# Line 285  declared <code>EMPTY</code>, then raise Line 301  declared <code>EMPTY</code>, then raise
301  "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."  "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."
302    
303  -->  -->
304  </ul>  </dl>
305  </div>  </div>
306    
307  <div class="section" id=checking-dom>  <div class="section" id=checking-dom>
# Line 559  following:</p> Line 575  following:</p>
575      <li>If <code>nodeName</code> attribute of <var>n</var> is      <li>If <code>nodeName</code> attribute of <var>n</var> is
576      <code>xml:space</code> <span class=ed>@@ or {xml namespace}:space ?</span>      <code>xml:space</code> <span class=ed>@@ or {xml namespace}:space ?</span>
577      and <span class=ed>its declared type is different from (default|preserve),      and <span class=ed>its declared type is different from (default|preserve),
578      (default), or (preserve)</span>, then raise an      (preserve|default), (default), or (preserve)</span>, then raise an
579      <a href="#xml-misc-error" id=xme-at-xml-space><code>xml-misc-error</code></a>.</li>      <a href="#xml-misc-error" id=xme-at-xml-space><code>xml-misc-error</code></a>.</li>
580      <li>For each node <dfn id=var-ad-nc><var>n<sub><var>c</var></sub></var></dfn> in the      <li>For each node <dfn id=var-ad-nc><var>n<sub><var>c</var></sub></var></dfn> in the
581      <code>childNodes</code> list of <var>n</var>,      <code>childNodes</code> list of <var>n</var>,
# Line 1052  PARENTHESIS</code> (<code class=char>)</ Line 1068  PARENTHESIS</code> (<code class=char>)</
1068  (<code class=char>.</code>)</li>  (<code class=char>.</code>)</li>
1069  <li><code class=char>U+002F</code> <code class=charname>SOLIDUS</code>  <li><code class=char>U+002F</code> <code class=charname>SOLIDUS</code>
1070  (<code class=char>/</code>)</li>  (<code class=char>/</code>)</li>
1071    <li><code class=char>U+0030</code> <code class=charname>DIGIT ZERO</code>
1072    (<code class=char>0</code>) .. <code class=char>U+0039</code>
1073    <code class=charname>DIGIT NINE</code> (<code class=char>9</code>)</li>
1074  <li><code class=char>U+003A</code> <code class=charname>COLON</code>  <li><code class=char>U+003A</code> <code class=charname>COLON</code>
1075  (<code class=char>:</code>)</li>  (<code class=char>:</code>)</li>
1076  <li><code class=char>U+003B</code> <code class=charname>SEMICOLON</code>  <li><code class=char>U+003B</code> <code class=charname>SEMICOLON</code>
# Line 1062  PARENTHESIS</code> (<code class=char>)</ Line 1081  PARENTHESIS</code> (<code class=char>)</
1081  (<code class=char>?</code>)</li>  (<code class=char>?</code>)</li>
1082  <li><code class=char>U+0040</code> <code class=charname>COMMERCIAL AT</code>  <li><code class=char>U+0040</code> <code class=charname>COMMERCIAL AT</code>
1083  (<code class=char>@</code>)</li>  (<code class=char>@</code>)</li>
1084    <li><code class=char>U+0041</code> <code class=charname>LATIN CAPITAL LETTER
1085    A</code> (<code class=char>A</code>) .. <code class=char>U+005A</code>
1086    <code class=charname>LATIN CAPITAL LETTER Z</code>
1087    (<code class=char>Z</code>)</li>
1088  <li><code class=char>U+005F</code> <code class=charname>LOW LINE</code>  <li><code class=char>U+005F</code> <code class=charname>LOW LINE</code>
1089  (<code class=char>_</code>)</li>  (<code class=char>_</code>)</li>
1090    <li><code class=char>U+0061</code> <code class=charname>LATIN CAPITAL LETTER
1091    A</code> (<code class=char>A</code>) .. <code class=char>U+007A</code>
1092    <code class=charname>LATIN CAPITAL LETTER Z</code>
1093    (<code class=char>Z</code>)</li>
1094  </ul>  </ul>
1095  <div class="note memo">  <div class="note memo">
1096  <p>This character class contains all characters allowed in the production rule  <p>This character class contains all characters allowed in the production rule

Legend:
Removed from v.1.20  
changed lines
  Added in v.1.22

admin@suikawiki.org
ViewVC Help
Powered by ViewVC 1.1.24