/[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.24 by wakaba,
Fri Mar 28 15:37:01 2008 UTC
+revision 1.26 by wakaba,
Sat Mar 29 06:35:16 2008 UTC
 Line 210 
 can be easily serialized into a valid XM
    violate to any well$B!>(Bformedness constraint in XML
    specification <cite class="bibref normative">[<a href="#ref-XML10">XML10</a>,
    <a href="#ref-XML11">XML11</a>]</cite>.</p></dd>
+ <dt><dfn id=misc-info><code>misc-info</code></dfn>
+   <dd><p>A <code>misc-info</code> is raised when some status information
+   on parsing or checking process that are considered useful for debugging
+   and so on is available.  It by no means implies the non-conformance of
+   the document.
  </dl>
  <div class=ed><p>@@ TODO: #dt-atuseroption at user option
-Line 226 
 can be easily serialized into a valid XM
+Line 231 
 can be easily serialized into a valid XM
  <p>When an <abbr>XML</abbr> document is parsed, the following clauses
  are applied:</p>
- <dl>
+ <dl class=switch>
- <dt>For each document
+ <dt>For the document
    <dd>If the <abbr>XML</abbr> document does not begin with an
    <abbr>XML</abbr> declaration, then the parser <em class=rfc2119>MUST</em>
    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
+ <dt>For the document type declaration
+   <dd class=ed>@@ read external entity
+   <dd>The <code>entities</code> attribute of the <code>DocumentType</code>
+   node <em class=rfc2119>MUST</em> contain a <code>NamedNodeMap</code> object
+   whose first five items are as follows:
+     <ol start=0>
+     <li>An <code>Entity</code> node whose <code>nodeName</code> attribute
+     is <code>amp</code>.  It contains a <code>Text</code> node whose
+     <code>data</code> attribute is set to <code>&amp;</code>.
+     <li>An <code>Entity</code> node whose <code>nodeName</code> attribute
+     is <code>lt</code>.  It contains a <code>Text</code> node whose
+     <code>data</code> attribute is set to <code>&lt;</code>.
+     <li>An <code>Entity</code> node whose <code>nodeName</code> attribute
+     is <code>gt</code>.  It contains a <code>Text</code> node whose
+     <code>data</code> attribute is set to <code>></code>.
+     <li>An <code>Entity</code> node whose <code>nodeName</code> attribute
+     is <code>quot</code>.  It contains a <code>Text</code> node whose
+     <code>data</code> attribute is set to <code>"</code>.
+     <li>An <code>Entity</code> node whose <code>nodeName</code> attribute
+     is <code>apos</code>.  It contains a <code>Text</code> node whose
+     <code>data</code> attribute is set to <code>'</code>.
+     </ol>
+ <dt>For each internal general entity declaration being 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>
-Line 241 
 are applied:</p>
+Line 268 
 are applied:</p>
    <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].
  -->
- <dt>For each element type declaration processed by the parser
+ <dt>For each element type declaration being processed by the parser
-   <dd>If there is another element type declaration whose <code>Name</code>
+   <dd>If there is another processed element type declaration whose
-   is equal to the <code>Name</code> of the element type declaration, then
+   <code>Name</code> is equal to the <code>Name</code> of the element type
-   the parser <em class=rfc2119>MUST</em> raise an
+   declaration, then the parser <em class=rfc2119>MUST</em> raise an
    <a href="#xml-validity-error" id=vc-edunique><code>xml-validity-error</code></a>.
+ <dt>For each attribute definition list declaration being processed by the
+ parser
+   <dd>If there is another processed attribute defintion list declaration whose
+   <code>Name</code> is equal to the <code>Name</code> of the attribute
+   definition list declaration, then the parser <em class=rfc2119>MUST</em>
+   raise an
+   <a href="#xml-misc-warning" id=xme-attlist-unique><code>xml-misc-warning</code></a>.
+   <dd>For each attribute definition in the attribute definition list
+   declaration, if there is another processed attribute definition whose
+   <code>Name</code> is equal to the <code>Name</code> of the attribute
+   definition (whether or not in the same attribute definition list
+   declaration), then the parser <em class=rfc2119>MUST</em> raise an
+   <a href="#xml-misc-warning" id=xme-attrdef-unique><code>xml-misc-warning</code></a>.
+   <!--
+     <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>
+   -->
  <!--
    NOTE: <!ATTLIST a xml:space (default) #IMPLIED xml:space CDATA #IMPLIED>
    will not be warned.
  -->
+ <dt>For each entity declaration being processed by the parser
+   <dd>Handle as follows:
+     <ol>
+     <li><p>If the entity declaration declares a general entity, the following
+     is applied:
+       <dl>
+       <dt>If the <code>Name</code> is <code>lt</code> or <code>amp</code>
+         <dd><p>If the entity declaration does not declare an internal entity,
+         or if the replacement text of the entity is not the escaped form of
+         <code>&lt;</code> (if <code>lt</code>) or <code>&amp;</code> (if
+         <code>amp</code>), then the parser <em class=rfc2119>MUST</em> raise an
+         <a href="#xml-misc-error" id=xme-double-escape><code>xml-misc-error</code></a>.
+           <div class="note memo informative">
+           <p>In other word, the character in the <code>EntityValue</code>
+           has to be double-escaped.
+           </div>
+       <dt>If the <code>Name</code> is <code>gt</code>, <code>quot</code>, or
+       <code>apos</code>
+         <dd><p>If the entity declaration does not declare an internal entity,
+         or if the replacement text of the entity is not equal to or not the
+         escaped form of <code>></code> (if <code>gt</code>), <code>"</code> (if
+         <code>quot</code>), or <code>'</code> (if <code>apos</code>), then the
+         parser <em class=rfc2119>MUST</em> raise an
+         <a href="#xml-misc-error" id=xme-single-escape><code>xml-misc-error</code></a>.
+           <div class="note memo informative">
+           <p>In other word, the character in the <code>EntityValue</code>
+           has to be single- or double-escaped.
+           </div>
+       </dl>
+       <!--
+         <q>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).</q>
+       -->
+     <li><p>If the entity declaration has to be ignored since there has already
+     been declared an entity with the same <code>Name</code> as the declaration,
+     then the parser <em class=rfc2119>MUST</em> raise a
+     <a href="#misc-info" id=mi-ent-unique><code>misc-info</code></a>
+     and abort these steps.
+     <div class="informative note memo">
+     <p>Five predefined entities, i.e. <code>amp</code>, <code>lt</code>,
+     <code>gt</code>, <code>quot</code>, and <code>apos</code>, are always
+     declared implicitly and therefore any declaration for such an entity
+     always raises an
+     <a href="#misc-info" id=mi-ent-unique><code>misc-info</code></a>.
+     </div>
+     <li><p>If the entity declaration declares a parameter entity and the
+     <code>Name</code> of the entity begins with the string <code>xml</code>
+     (in any combination of upper- and lowercase letters), then the parser
+     <em class=rfc2119>MUST</em> raise an
+     <a href="#xml-misc-warning" id=xmw-reserved-pe-name><code>xml-misc-warning</code></a>.
+     <li><p>If the entity declaration contains the <code>EntityValue</code>,
+     then for each occurence of any references to unparsed entities in the
+     <code>EntityValue</code>, the parser <em class=rfc2119>MUST</em> raise an
+     <a href="#xml-misc-error" id=xme-unparsed-in-ev><code>xml-misc-error</code></a>.
+     <!--
+       <q>It is an error for a reference to an unparsed entity to appear in the
+       EntityValue in an entity declaration.</q>
+     -->
+     <li><p>If the entity declaration declares a general entity, then an
+     <code>Entity</code> node <em class=rfc2119>MUST</em> be created and
+     appended to the <code>NamedNodeMap</code> object in the
+     <code>entities</code> attribute of the <code>DocumentType</code> node.
+     <p class=ed>Read the external entity
+     <p>If the replacement text of the entity is read, then parse the
+     replacement text as if it were referenced from the content of an
+     element (with no namespace bindings).  If no <span class=ed>@@ parse error</span>
+     is raised by the parsing process, then the nodes generated by the
+     parsing <em class=rfc2119>MUST</em> be appended to the <code>Entity</code>
+     node.  The parse error <em class=rfc2119>MUST NOT</em> be propagated to
+     the entire parsing process.  Other kinds of errors
+     <em class=rfc2119>MUST</em> be propagated.  The first parse error
+     <em class=rfc2119>MUST</em> abort the internal parsing process.
+     <span class=ed>@@ better wording</span>
+     <p class=ed>@@ prop
+     <p>Then, the <code>Entity</code> node and its descendant
+     <em class=rfc2119>MUST</em> be marked as read-only.
+   </ol>
+ <dt>For each notation declaration being processed by the parser
+   <dd>If there is another processed notation declaration whose
+   <code>Name</code> is equal to the <code>Name</code> of the notation
+   declaration, then the parser <em class=rfc2119>MUST</em> raise an
+   <a href="#xml-validity-error" id=vc-uniquenotationname><code>xml-validity-error</code></a>.
+   <!-- <a href="http://www.w3.org/TR/2006/REC-xml-20060816/#UniqueNotationName">Validity constraint: Unique Notation Name</a> -->
  <dt>For each empty-element tag
    <dd>If the <code>Name</code> of the tag is not declared by a processed
    element type declaration as <code>EMPTY</code> content, then the parser
-Line 260 
 are applied:</p>
+Line 401 
 are applied:</p>
    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>.
+ <dt>For each parameter entity reference
+   <dd>If the declaration for the entity is not read (i.e. no declaration
+   for the entity is processed or the external entity referenced by the
+   declaration cannot be retrieved), then:
+     <ul>
+     <li>If the parameter entity is contained in a declaration, then the
+     declaration <em class=rfc2119>MUST</em> be ignored <em>except</em> that
+     any error before the parameter entity <em class=rfc2119>MUST</em> be
+     raised as usual.
+     <li>If the parameter entity is contained in the status portion of a
+     conditional section, then the conditional section
+     <em class=rfc2119>MUST</em> be processed as if it were an
+     <code>IGNORE</code>d section.
+     <li>The parser <em class=rfc2119>MUST NOT</em> process any entity or
+     attribute-list declaration after the parameter entity reference in the DTD
+     <em>except</em> when the <code>standalone</code> pseudo-attribute of the
+     XML declaration (if any) is set to <code>yes</code>.
+     <!-- This requirement is enforced for internal DTD subset case in
+     XML 1.0/1.1 specification (section 5.1) but not for any other cases. -->
+     <!-- According to this definition, element type declarations, notation
+     declarations, and PIs ARE processed. -->
+     <li>If the parameter entity reference is the first reference to an entity
+     that is not read, then the parser <em class=rfc2119>MUST</em> raise an
+     <a href="#entity-error" id=ee-unread-pe><code>entity-error</code></a>.
+     <li>The <code>allDeclarationsProcessed</code> <span class=ed>@@ ref</span>
+     attribute of the <code>Document</code> node <em class=rfc2119>MUST</em> be
+     set to <code>false</code>.
+     </ul>
+ <dt>For each general entity reference in an attribute value or in the content
+ of an element
+   <dd>If the declaration for the entity is not read (i.e. no declaration for
+   the entity is processed or the external entity referenced by the declaration
+   cannot be retrieved), then:
+     <ul>
+     <li>If the general entity reference is the first reference to an entity
+     that is not read, then the parser <em class=rfc2119>MUST</em> raise an
+     <a href="#entity-error" id=ee-unread-ge><code>entity-error</code></a>.
+     <span class=ed>@@ entity declared WFC?</span>
+     <li class=ed>An unexpended entity reference node <em class=rfc2119>MUST</em> be inserted to the current node.
+     </ul>
  </dl>
- <p>In addition, the parser <em class=rfc2119>MUST</em> check whether the
+ <p class=ed>@@ MUST try to read external entity
+ <p>In addition, the parser has to check whether the
  following constraints are met.
  <p><strong>Well-formedness constraints</strong>.  For each violation to
-Line 272 
 one of constraints below, an
+Line 456 
 one of constraints below, an
  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>
-Line 293 
 constraints is below:
+Line 475 
 constraints is below:
  <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
-Line 311 
 or <code>,</code>).</q>
+Line 492 
 or <code>,</code>).</q>
  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."
- -->
  <!--
  @@ Need detailed review, but maybe should be in parsing phase
  #vc-check-rmd Validity constraint: Standalone Document Declaration
-Line 330 
 text declaration.</q>
+Line 504 
 text declaration.</q>
  #wf-entdeclared Well-formedness constraint: Entity Declared
  #vc-entdeclared Validity constraint: Entity Declared
  "For interoperability, valid documents SHOULD declare the entities amp, lt, gt, apos, quot, in the form specified in 4.6 Predefined Entities."
- "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)."
  @@ flaged and then reported in DOM check phase
-Line 346 
 text declaration.</q>
+Line 519 
 text declaration.</q>
  left undefined.  For example: Comment must be converted to a Comment node,
  illegal xml:space value must be preserved, so on.
+ Warn <!ENTITY % xml... ...>
+ -->
+ <p>The parser <em class=rfc2119>MUST</em> raise an
+ <a href="#xml-well-formedness-error" id=wfe-syntax><code>xml-well-formedness-error</code></a>
+ for any failure to match to a production rule in the XML specification.
+ <!--
+   <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>
  -->
  </div>
-Line 428 
 character that is <em>not</em> in the ch
+Line 611 
 character that is <em>not</em> in the ch
  case combination), then raise an
  <a href="#xml-misc-warning" id=xmw-reserved-name><code>xml-misc-warning</code></a>.
  <span class=ed>@@ except for attribute names <code>xml:lang</code>,
- <code>xml:space</code>, <code>xml:base</code>, <code>xml:id</code>,
+ <code>xml:space</code><!--, <code>xml:base</code>, <code>xml:id</code>,
  <code>xmlns</code>, <code>xmlns:<var>*</var></code>,
- pi name <code>xml-stylesheet</code>.</span><!--
+ pi name <code>xml-stylesheet</code>-->.</span><!--
  "names beginning with a match to (('X'|'x')('M'|'m')('L'|'l')) are reserved for standardization in this or future versions of this specification.":
  xmlns, xml-stylesheet, xml:base and xml:id specifications violate to this sentense!
  --></li>
-Line 775 
 following:</p>
+Line 958 
 following:</p>
      <a href="#algorithm-to-check-a-node" title="check a node">check the
      node</a> recursively.</li>
      <li class=ed>@@ externally declared?</li>
+     <li>If the <code>NamedNodeMap</code> object in the <code>entities</code>
+     attribute of <var>n</var> does not contain <code>Entity</code> nodes
+     whose <code>nodeName</code> attribute are <code>amp</code>,
+     <code>lt</code>, <code>gt</code>, <code>apos</code>, and <code>quot</code>
+     then raise
+     <a href="#xml-misc-recommentation" id=xmr-predefined><code>xml-misc-recommendation</code></a>(s).
      </ol>
    </dd>
  <dt>If <var>n</var> is an <code>Element</code> node</dt>

 Legend:



Removed from v.1.24
 


changed lines


 
Added in v.1.26
 Legend:



Removed from v.1.24
 


changed lines


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

admin@suikawiki.org	ViewVC Help
Powered by ViewVC 1.1.24