/[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.5 by wakaba, Mon Nov 12 12:53:50 2007 UTC revision 1.7 by wakaba, Mon Nov 12 13:16:56 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    
# Line 211  following:</p> Line 220  following:</p>
220      <a href="#xml-well-formedness-error" id=wfe-attr-child><code>xml-well-formedness-error</code></a>.</li>      <a href="#xml-well-formedness-error" id=wfe-attr-child><code>xml-well-formedness-error</code></a>.</li>
221      <li>If the <code>childNodes</code> list of <var>n</var> contains      <li>If the <code>childNodes</code> list of <var>n</var> contains
222      an <code>EntityReference</code> node, it is an      an <code>EntityReference</code> node, it is an
223      <a href="#entity-error" id=ee-er-in-attr><code>entity-error</code></a>.</li>      <a href="#entity-error" id=ee-attr-er><code>entity-error</code></a>.</li>
224      <li><a href="#algorithm-to-check-a-node">Check each node</a>, in      <li><a href="#algorithm-to-check-a-node">Check each node</a>, in
225      <code>childNodes</code> list of <var>n</var>,      <code>childNodes</code> list of <var>n</var>,
226      which is different from <code>EntityReference</code> recursively.</li>      which is different from <code>EntityReference</code> recursively.</li>
# Line 287  following:</p> Line 296  following:</p>
296      <a href="#xml-well-formedness-error" id=wfe-df-child><code>xml-well-formedness-error</code></a>.</li>      <a href="#xml-well-formedness-error" id=wfe-df-child><code>xml-well-formedness-error</code></a>.</li>
297      <li>If the <code>childNodes</code> list of <var>n</var> contains      <li>If the <code>childNodes</code> list of <var>n</var> contains
298      an <code>EntityReference</code> node, it is an      an <code>EntityReference</code> node, it is an
299      <a href="#entity-error" id=ee-er-in-df><code>entity-error</code></a>.</li>      <a href="#entity-error" id=ee-df-er><code>entity-error</code></a>.</li>
300      <li><a href="#algorithm-to-check-a-node">Check each node</a>, in      <li><a href="#algorithm-to-check-a-node">Check each node</a>, in
301      <code>childNodes</code> list of <var>n</var>      <code>childNodes</code> list of <var>n</var>
302      which is different from <code>EntityReference</code> recursively.</li>      which is different from <code>EntityReference</code> recursively.</li>
# Line 332  following:</p> Line 341  following:</p>
341      <a href="#xml-well-formedness-error" id=wfe-element-child><code>xml-well-formedness-error</code></a>.</li>      <a href="#xml-well-formedness-error" id=wfe-element-child><code>xml-well-formedness-error</code></a>.</li>
342      <li>If the <code>childNodes</code> list of <var>n</var> contains      <li>If the <code>childNodes</code> list of <var>n</var> contains
343      an <code>EntityReference</code> node, it is an      an <code>EntityReference</code> node, it is an
344      <a href="#entity-error" id=ee-er-in-element><code>entity-error</code></a>.</li>      <a href="#entity-error" id=ee-element-er><code>entity-error</code></a>.</li>
345      <li><a href="#algorithm-to-check-a-node">Check each node</a>, in      <li><a href="#algorithm-to-check-a-node">Check each node</a>, in
346      <code>childNodes</code> list of <var>n</var>,      <code>childNodes</code> list of <var>n</var>,
347      which is different from <code>EntityReference</code> recursively.</li>      which is different from <code>EntityReference</code> recursively.</li>
# Line 361  following:</p> Line 370  following:</p>
370      <a href="#xml-well-formedness-error" id=wfe-entity-child><code>xml-well-formedness-error</code></a>.</li>      <a href="#xml-well-formedness-error" id=wfe-entity-child><code>xml-well-formedness-error</code></a>.</li>
371      <li>If the <code>childNodes</code> list of <var>n</var> contains      <li>If the <code>childNodes</code> list of <var>n</var> contains
372      an <code>EntityReference</code> node, it is an      an <code>EntityReference</code> node, it is an
373      <a href="#entity-error" id=ee-er-in-er><code>entity-error</code></a>.</li>      <a href="#entity-error" id=ee-er-er><code>entity-error</code></a>.</li>
374      <li><a href="#algorithm-to-check-a-node">Check each node</a>, in      <li><a href="#algorithm-to-check-a-node">Check each node</a>, in
375      <code>childNodes</code> list of <var>n</var>,      <code>childNodes</code> list of <var>n</var>,
376      which is different from <code>EntityReference</code> recursively.</li>      which is different from <code>EntityReference</code> recursively.</li>
# Line 381  following:</p> Line 390  following:</p>
390      <a href="#xml-well-formedness-error" id=wfe-er-child><code>xml-well-formedness-error</code></a>.</li>      <a href="#xml-well-formedness-error" id=wfe-er-child><code>xml-well-formedness-error</code></a>.</li>
391      <li>If the <code>childNodes</code> list of <var>n</var> contains      <li>If the <code>childNodes</code> list of <var>n</var> contains
392      an <code>EntityReference</code> node, it is an      an <code>EntityReference</code> node, it is an
393      <a href="#entity-error" id=ee-er-in-entity><code>entity-error</code></a>.</li>      <a href="#entity-error" id=ee-entity-er><code>entity-error</code></a>.</li>
394      <li><a href="#algorithm-to-check-a-node">Check each node</a>, in      <li><a href="#algorithm-to-check-a-node">Check each node</a>, in
395      <code>childNodes</code> list of <var>n</var>,      <code>childNodes</code> list of <var>n</var>,
396      which is different from <code>EntityReference</code> recursively.</li>      which is different from <code>EntityReference</code> recursively.</li>
# Line 467  is defined as following:</p> Line 476  is defined as following:</p>
476  a public identifier (<dfn id=var-pid><var>pid</var></dfn>)</dfn>, the  a public identifier (<dfn id=var-pid><var>pid</var></dfn>)</dfn>, the
477  algorithm below <em class=rfc2119>MUST</em> be used:</p>  algorithm below <em class=rfc2119>MUST</em> be used:</p>
478  <ol>  <ol>
479      <li>If <var>pid</var> contains any character    <li>If <var>pid</var> contains any character
480      that is outside of the range of <code>#x20 | <!--#xD | #xA |-->    that is outside of the range of <code>#x20 | #xD | #xA |
481      [a-zA-Z0-9] | [-'()+,./:=?;!*#@$_%]</code><!-- @@ TODO: formal def -->,    [a-zA-Z0-9] | [-'()+,./:=?;!*#@$_%]</code><!-- @@ TODO: formal def -->,
482      or contains a leading <code class=char>U+0020</code> character,    then it is an
483      a trailing <code class=char>U+0020</code> character, or a    <a href="#xml-well-formedness-error" id=wfe-pubid-char><code>xml-well-formedness-error</code></a>.</li>
484      sequence of two or more <code class=char>U+0020</code> characters,    <li>If <var>pid</var> contains one of <code class=char>U+0009</code>
485      then it is a    <code class=charname>CHARACTER TABULATION</code>,
486      <a href="#xml-well-formedness-error" id=wfe-dt-public-id><code>xml-well-formedness-error</code></a>.</li>    <code class=char>U+000A</code> <code class=charname>CARRIAGE RETURN</code>,
487      and <code class=char>U+000D</code> <code class=charname>LINE FEED</code>
488      characters, if the first character of <var>pid</var> is
489      <code class=char>U+0020</code> <code class=charname>SPACE</code> character,
490      if the last character of <var>pid</var> is <code class=char>U+0020</code>
491      <code class=charname>SPACE</code> character, or if there is a
492      <code class=char>U+0020</code> <code class=charname>SPACE</code> character
493      immediately followed by another <code class=char>U+0020</code>
494      <code class=charname>SPACE</code> character in <var>pid</var>, then it is a
495      <a href="#round-trip-error" id=rte-pubid-space><code>round-trip-error</code></a>.</li>
496      <li class=ed>@@ Should we check formal-public-identifierness?</li>
497  </ol>  </ol>
498    
499  </div>  </div>
Legend:
Removed from v.1.5  
changed lines
  Added in v.1.7
admin@suikawiki.org
 ViewVC Help
Powered by ViewVC 1.1.24