/[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.20 by wakaba,
Sat Dec  1 15:08:18 2007 UTC
+revision 1.24 by wakaba,
Fri Mar 28 15:37:01 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-29>29 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>.
+ </dl>
+ <p>In addition, the parser <em class=rfc2119>MUST</em> check whether the
+ following constraints are met.
+ <p><strong>Well-formedness constraints</strong>.  For each violation to
+ one of constraints below, an
+ <a href="#xml-well-formedness-error"><code>xml-well-formedness-error</code></a>
+ <em class=rfc2119>MUST</em> be raised.  The list of well-formedness
+ constraints is below:
+ <ul>
+ <li><a href="http://www.w3.org/TR/2006/REC-xml-20060816/#wfc-PEinInternalSubset">Well-formedness constraint: PEs in Internal Subset</a>
+ <li><a href="http://www.w3.org/TR/2006/REC-xml-20060816/#ExtSubset">Well-formedness constraint: External Subset</a>
+ <li><a href="http://www.w3.org/TR/2006/REC-xml-20060816/#PE-between-Decls">Well-formedness constraint: PE Between Declarations</a>
+ <li><a href="http://www.w3.org/TR/2006/REC-xml-20060816/#GIMatch">Well-formedness constraint: Element Type Match</a>
+ <li><a href="http://www.w3.org/TR/2006/REC-xml-20060816/#uniqattspec">Well-formedness constraint: Unique Att Spec</a>
+ <li><a href="http://www.w3.org/TR/2006/REC-xml-20060816/#NoExternalRefs">Well-formedness constraint: No External Entity References</a>
+ <li><a href="http://www.w3.org/TR/2006/REC-xml-20060816/#CleanAttrVals">Well-formedness constraint: No &lt; in Attribute Values</a>
+ <li><a href="http://www.w3.org/TR/2006/REC-xml-20060816/#wf-Legalchar">Well-formedness constraint: Legal Character</a>
+ <li><a href="http://www.w3.org/TR/2006/REC-xml-20060816/#textent">Well-formedness constraint: Parsed Entity</a>
+ <li><a href="http://www.w3.org/TR/2006/REC-xml-20060816/#norecursion">Well-formedness constraint: No Recursion</a>
+ <li><a href="http://www.w3.org/TR/2006/REC-xml-20060816/#indtd">Well-formedness constraint: In DTD</a>
+ </ul>
+ <p><strong>Validity constraints</strong>.  For each violation to
+ one of constraints below, an
+ <a href="#xml-validity-error"><code>xml-validity-error</code></a>.
+ <em class=rfc2119>MUST</em> be raised.  The list of validity
+ constraints is below:
+ <ul>
+ <li><a href="http://www.w3.org/TR/2006/REC-xml-20060816/#vc-PEinMarkupDecl">Validity constraint: Proper Declaration/PE Nesting</a>
+ <li><a href="http://www.w3.org/TR/2006/REC-xml-20060816/#vc-PEinGroup">Validity constraint: Proper Group/PE Nesting</a>
+ <li><a href="http://www.w3.org/TR/2006/REC-xml-20060816/#condsec-nesting">Validity constraint: Proper Conditional Section/PE Nesting</a>
+ <li><a href="http://www.w3.org/TR/2006/REC-xml-20060816/#UniqueNotationName">Validity constraint: Unique Notation Name</a>
+ </ul>
+ <p><strong>Other creteria</strong>.  For each violation to
+ one of constraints below, an
+ <a href="#xml-misc-recommendation"><code>xml-misc-recommendation</code></a>
+ <em class=rfc2119>MUST</em> be raised.  The list of constraints is below:
+ <ul>
+ <li><q>For interoperability, if a parameter-entity reference appears in a
+ <code>choice</code>, <code>seq</code>, or <code>Mixed</code> construct, its
+ replacement text <em class=rfc2119>SHOULD</em> contain at least one non-blank
+ character, and neither the first nor last non-blank character of the
+ replacement text <em class=rfc2119>SHOULD</em> be a connector (<code>|</code>
+ or <code>,</code>).</q>
+ <li><q>External parsed entities <em class=rfc2119>SHOULD</em> each begin with a
+ text declaration.</q>
+ </ul>
+ <!--
+ <li><q>For interoperability, an XML processor <em class=rfc2119>MAY</em> 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.</q>
+ <a href="#xml-misc-error" id=xme-attr-xml-space><code>xml-misc-error</code></a>.
+ <li>It is an error for a reference to an unparsed entity to appear in the EntityValue in an entity declaration."
+ -->
  <!--
- #vc-PEinMarkupDecl Validity constraint: Proper Declaration/PE Nesting
- #wfc-PEinInternalSubset Well-formedness constraint: PEs in Internal Subset
- #ExtSubset Well-formedness constraint: External Subset
- #PE-between-Decls Well-formedness constraint: PE Between Declarations
- #GIMatch Well-formedness constraint: Element Type Match
- #uniqattspec Well-formedness constraint: Unique Att Spec
- #NoExternalRefs Well-formedness constraint: No External Entity References
- #CleanAttrVals Well-formedness constraint: No < in Attribute Values
- #vc-PEinGroup Validity constraint: Proper Group/PE Nesting
- "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 ,)."
- "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."
- #condsec-nesting Validity constraint: Proper Conditional Section/PE Nesting
- #wf-Legalchar Well-formedness constraint: Legal Character
- #textent Well-formedness constraint: Parsed Entity
- #norecursion Well-formedness constraint: No Recursion
- #indtd Well-formedness constraint: In DTD
- "External parsed entities SHOULD each begin with a text declaration."
- "It is an error for a reference to an unparsed entity to appear in the EntityValue in an entity declaration."
- #UniqueNotationName Validity constraint: Unique Notation Name
  @@ Need detailed review, but maybe should be in parsing phase
-Line 284 
 declared <code>EMPTY</code>, then raise
+Line 342 
 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>
  </div>
  <div class="section" id=checking-dom>
-Line 559 
 following:</p>
+Line 620 
 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 1052 
 PARENTHESIS</code> (<code class=char>)</
+Line 1113 
 PARENTHESIS</code> (<code class=char>)</
  (<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>
-Line 1062 
 PARENTHESIS</code> (<code class=char>)</
+Line 1126 
 PARENTHESIS</code> (<code class=char>)</
  (<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

 Legend:



Removed from v.1.20
 


changed lines


 
Added in v.1.24
 Legend:



Removed from v.1.20
 


changed lines


 
Added in v.1.24
-Removed from v.1.20
+Added in v.1.24

admin@suikawiki.org	ViewVC Help
Powered by ViewVC 1.1.24