/[suikacvs]/markup/xml/xmlcc/xmlcc-work.en.html

Diff of /markup/xml/xmlcc/xmlcc-work.en.html

Parent Directory | Revision Log | View Patch Patch

-revision 1.19 by wakaba,
Sat Dec  1 14:51:45 2007 UTC
+revision 1.23 by wakaba,
Sun Mar 16 12:37:17 2008 UTC
 Line 18
  <div class="header">
  <h1>manakai's <abbr>XML</abbr> Conformance Checking</h1>
- <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>
  <dl class="versions-uri">
  <dt>This Version</dt>
 Line 42
        >w@suika.fam.cx</a>&gt;</code></dd>
  </dl>
- <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
      href="http://suika.fam.cx/~wakaba/who?" rel="author">Wakaba</a>.
  Permission is granted to copy, distribute and/or modify this document
  under the terms of the <a rel="license"
 Line 118 
 else in this specification is normative.
  <p><span class=ed>Algorithm is normative but non-normative</span>.
  In addition, the order in which <a href="#errors">errors</a> are
  raised is undefined.</p>
+ <p>This document sometimes cites parts of <abbr>XML</abbr> 1.0 specification
+ by hyperlinks.  When the document being processed is an <abbr>XML</abbr> 1.1
+ document, however, corresponding parts of the <abbr>XML</abbr> 1.1
+ specification should be consulted instead.</p>
  </div>
-Line 209 
 can be easily serialized into a valid XM
+Line 214 
 can be easily serialized into a valid XM
  <div class=ed><p>@@ TODO: #dt-atuseroption at user option
  (MAY or MUST), #dt-compat for compatibility,
- #dt-interop for interoperability</p></div>
+ #dt-interop for interoperability</p>
+ <p>TODO: XML 1.1, XML Namespace 1.0/1.1, xml:base, xml:id
+ </div>
  </div>
  <div class=section id=parsing-xml>
  <h2>Parsing <abbr>XML</abbr> Document</h2>
- <ul>
+ <p>When an <abbr>XML</abbr> document is parsed, the following clauses
- <li>If the <abbr>XML</abbr> document does not begin with an
+ are applied:</p>
- <abbr>XML</abbr> declaration, then raise an
+ <dl>
- <a href="#xml-misc-recommentation" id=xmr-xml-decl><code>xml-misc-recommendation</code></a>.</li>
+ <dt>For each document
- <li>If the replacement text of an entity declaration is
+   <dd>If the <abbr>XML</abbr> document does not begin with an
- <code>&lt;</code>, then raise an
+   <abbr>XML</abbr> declaration, then the parser <em class=rfc2119>MUST</em>
- <a href="#xml-misc-warning" id=xmw-entity-value-lt><code>xml-misc-warning</code></a>.<!--
+   raise an
+   <a href="#xml-misc-recommentation" id=xmr-xml-decl><code>xml-misc-recommendation</code></a>.
+ <dt>For each internal general entity declaration processed by the parser
+   <dd>If the
+   <a href="http://www.w3.org/TR/2006/REC-xml-20060816/#NT-EntityValue"><code>EntityValue</code></a>
+   part of the general entity declaration contains a bare <code>U+003C</code>
+   <code>LESS-THAN SIGN</code> (<code>&lt;</code>) character, then the parser
+   <em class=rfc2119>MUST</em> raise an
+   <a href="#xml-misc-warning" id=xmw-entity-value-lt><code>xml-misc-warning</code></a>.<!--
  "strongly advised to avoid" in a Note in Section 2.3 of [XML10], [XML11].
- --></li>
+ -->
- <li>If there is an element type declaration whose <code>Name</code>
+ <dt>For each element type declaration processed by the parser
- value is already declared, then raise an
+   <dd>If there is another element type declaration whose <code>Name</code>
- <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
- <li>If attribute definition whose <code>Name</code> is
+   the parser <em class=rfc2119>MUST</em> raise an
- <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>.
- (default|preserve), (default), or (preserve)</span>, then raise an
+ <!--
- <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>
- <span class=ed>@@ duplication with
+   will not be warned.
- <a href="#xml-at-xml-space">#xml-at-xml-space</a>.<!--
+ -->
- <!ATTLIST e xml:space CDATA #IMPLIED xml:space CDATA #IMPLIED> --></span></li>
+ <dt>For each empty-element tag
- <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
- declared <code>EMPTY</code>, then raise an
+   element type declaration as <code>EMPTY</code> content, then the parser
- <a href="#xml-misc-recommentation" id=xmr-emptyelemtag-not-empty><code>xml-misc-recommendation</code></a>.</li>
+   <em class=rfc2119>MUST</em> raise an
- <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>.
- declared <code>EMPTY</code>, then raise an
+ <dt>For each start-tag
- <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
+   type declaration as <code>EMPTY</code> content, then the parser
+   <em class=rfc2119>MUST</em> raise an
+   <a href="#xml-misc-recommentation" id=xmr-empty-not-emptyelemtag><code>xml-misc-recommendation</code></a>.
  <!--
  #vc-PEinMarkupDecl Validity constraint: Proper Declaration/PE Nesting
-Line 284 
 declared <code>EMPTY</code>, then raise
+Line 303 
 declared <code>EMPTY</code>, then raise
  "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."
+ @@ We should phrase out what the parser should do where the XML specification
+ left undefined.  For example: Comment must be converted to a Comment node,
+ illegal xml:space value must be preserved, so on.
  -->
- </ul>
+ </dl>
  </div>
  <div class="section" id=checking-dom>
-Line 393 
 following algorithm <em class=rfc2119>MU
+Line 416 
 following algorithm <em class=rfc2119>MU
  a public identifier (<dfn id=var-pid><var>pid</var></dfn>)</dfn>, the
  following algorithm <em class=rfc2119>MUST</em> be used:</p>
  <ol>
-   <li>If <var>pid</var> is <code>null</code>, abort these steps.</li>
+ <li>If <var>pid</var> is <code>null</code>, abort these steps.</li>
-   <li>If <var>pid</var> contains any character
+ <li>If <var>pid</var> contains a character that is <em>not</em> in the
-   that is outside of the range of <code>#x20 | #xD | #xA |
+ character class <a href="#class-PubidChar"><code>PubidChar</code></a>, then
-   [a-zA-Z0-9] | [-'()+,./:=?;!*#@$_%]</code><!-- @@ TODO: formal def -->,
+ raise an
-   then it is an
+ <a href="#xml-well-formedness-error" id=wfe-pubid-char><code>xml-well-formedness-error</code></a>.</li>
-   <a href="#xml-well-formedness-error" id=wfe-pubid-char><code>xml-well-formedness-error</code></a>.</li>
    <li>If <var>pid</var> contains one of <code class=char>U+0009</code>
    <code class=charname>CHARACTER TABULATION</code>,
    <code class=char>U+000A</code> <code class=charname>CARRIAGE RETURN</code>,
-Line 414 
 following algorithm <em class=rfc2119>MU
+Line 436 
 following algorithm <em class=rfc2119>MU
    <span class=ed>Is this really a roundtripness problem?  XML spec
    does only define the way to match public identifiers in fact, no
    canonical form.</span></li>
-   <li class=ed>@@ Should we check formal-public-identifierness?</li>
  </ol>
  <p>To
-Line 561 
 following:</p>
+Line 582 
 following:</p>
      <li>If <code>nodeName</code> attribute of <var>n</var> is
      <code>xml:space</code> <span class=ed>@@ or {xml namespace}:space ?</span>
      and <span class=ed>its declared type is different from (default|preserve),
-     (default), or (preserve)</span>, then raise an
+     (preserve|default), (default), or (preserve)</span>, then raise an
      <a href="#xml-misc-error" id=xme-at-xml-space><code>xml-misc-error</code></a>.</li>
      <li>For each node <dfn id=var-ad-nc><var>n<sub><var>c</var></sub></var></dfn> in the
      <code>childNodes</code> list of <var>n</var>,
-Line 996 
 as amended by
+Line 1017 
 as amended by
  contains the following characters:</p>
  <ul class=ed>
  </ul>
+ <div class="note memo">
+ <p>This character class contains all characters allowed as the first character
+ of a string matching to the production rule
+ <a href="http://www.w3.org/TR/2006/REC-xml-20060816/#NT-Name"><code>Name</code></a>
+ of <abbr>XML</abbr> 1.0
+ <cite class="bibref normative">[<a href="#ref-XML10">XML10</a>]</cite>.</p>
+ </div>
  <p>The character class <dfn id=class-NameChar10><code>NameChar10</code></dfn>
  contains the following characters:</p>
-Line 1004 
 contains the following characters:</p>
+Line 1032 
 contains the following characters:</p>
  <a href="#class-NameStartChar10">NameStartChar10</a>.</li>
  <li class=ed></li>
  </ul>
+ <div class="note memo">
+ <p>This character class contains all characters allowed as the second
+ character of a string matching to the production rule
+ <a href="http://www.w3.org/TR/2006/REC-xml-20060816/#NT-Name"><code>Name</code></a>
+ of <abbr>XML</abbr> 1.0
+ <cite class="bibref normative">[<a href="#ref-XML10">XML10</a>]</cite>.</p>
+ </div>
+ <p>The character class <dfn id=class-PubidChar><code>PubidChar</code></dfn>
+ contains the following characters:</p>
+ <ul>
+ <li><code class=char>U+0009</code> <code class=charname>CHARACTER
+ TABULATION</code></li>
+ <li><code class=char>U+000A</code> <code class=charname>LINE FEED</code></li>
+ <li><code class=char>U+000D</code> <code class=charname>CARRIAGE
+ RETURN</code></li>
+ <li><code class=char>U+0020</code> <code class=charname>SPACE</code></li>
+ <li><code class=char>U+0021</code> <code class=charname>EXCLAMATION MARK</code>
+ (<code class=char>!</code>)</li>
+ <li><code class=char>U+0023</code> <code class=charname>DOLLAR SIGN</code>
+ (<code class=char>$</code>)</li>
+ <li><code class=char>U+0024</code> <code class=charname>NUMBER SIGN</code>
+ (<code class=char>#</code>)</li>
+ <li><code class=char>U+0025</code> <code class=charname>PERCENT SIGN</code>
+ (<code class=char>%</code>)</li>
+ <li><code class=char>U+0027</code> <code class=charname>APOSTROPHE</code>
+ (<code class=char>'</code>)</li>
+ <li><code class=char>U+0028</code> <code class=charname>LEFT PARENTHESIS</code>
+ (<code class=char>(</code>)</li>
+ <li><code class=char>U+0029</code> <code class=charname>RIGHT
+ PARENTHESIS</code> (<code class=char>)</code>)</li>
+ <li><code class=char>U+002A</code> <code class=charname>ASTERISK</code>
+ (<code class=char>*</code>)</li>
+ <li><code class=char>U+002B</code> <code class=charname>PLUS SIGN</code>
+ (<code class=char>+</code>)</li>
+ <li><code class=char>U+002C</code> <code class=charname>COMMA</code>
+ (<code class=char>,</code>)</li>
+ <li><code class=char>U+002D</code> <code class=charname>HYPHEN-MINUS</code>
+ (<code class=char>-</code>)</li>
+ <li><code class=char>U+002E</code> <code class=charname>FULL STOP</code>
+ (<code class=char>.</code>)</li>
+ <li><code class=char>U+002F</code> <code class=charname>SOLIDUS</code>
+ (<code class=char>/</code>)</li>
+ <li><code class=char>U+0030</code> <code class=charname>DIGIT ZERO</code>
+ (<code class=char>0</code>) .. <code class=char>U+0039</code>
+ <code class=charname>DIGIT NINE</code> (<code class=char>9</code>)</li>
+ <li><code class=char>U+003A</code> <code class=charname>COLON</code>
+ (<code class=char>:</code>)</li>
+ <li><code class=char>U+003B</code> <code class=charname>SEMICOLON</code>
+ (<code class=char>;</code>)</li>
+ <li><code class=char>U+003D</code> <code class=charname>EQUAL SIGN</code>
+ (<code class=char>=</code>)</li>
+ <li><code class=char>U+003F</code> <code class=charname>QUESTION MARK</code>
+ (<code class=char>?</code>)</li>
+ <li><code class=char>U+0040</code> <code class=charname>COMMERCIAL AT</code>
+ (<code class=char>@</code>)</li>
+ <li><code class=char>U+0041</code> <code class=charname>LATIN CAPITAL LETTER
+ A</code> (<code class=char>A</code>) .. <code class=char>U+005A</code>
+ <code class=charname>LATIN CAPITAL LETTER Z</code>
+ (<code class=char>Z</code>)</li>
+ <li><code class=char>U+005F</code> <code class=charname>LOW LINE</code>
+ (<code class=char>_</code>)</li>
+ <li><code class=char>U+0061</code> <code class=charname>LATIN CAPITAL LETTER
+ A</code> (<code class=char>A</code>) .. <code class=char>U+007A</code>
+ <code class=charname>LATIN CAPITAL LETTER Z</code>
+ (<code class=char>Z</code>)</li>
+ </ul>
+ <div class="note memo">
+ <p>This character class contains all characters allowed in the production rule
+ <a href="http://www.w3.org/TR/2006/REC-xml-20060816/#NT-PubidChar"><code>PubidChar</code></a>
+ of <abbr>XML</abbr> 1.0
+ <cite class="bibref normative">[<a href="#ref-XML10">XML10</a>]</cite>.</p>
+ </div>
  </div>

 Legend:



Removed from v.1.19
 


changed lines


 
Added in v.1.23
 Legend:



Removed from v.1.19
 


changed lines


 
Added in v.1.23
-Removed from v.1.19
+Added in v.1.23

admin@suikawiki.org	ViewVC Help
Powered by ViewVC 1.1.24