| 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-11-26>26 November 2007</time></h2> |
<h2>Working Draft <time datetime=2007-12-01>1 December 2007</time></h2> |
| 22 |
|
|
| 23 |
<dl class="versions-uri"> |
<dl class="versions-uri"> |
| 24 |
<dt>This Version</dt> |
<dt>This Version</dt> |
| 135 |
can be easily serialized into a valid XML document.</p> |
can be easily serialized into a valid XML document.</p> |
| 136 |
</div> |
</div> |
| 137 |
|
|
| 138 |
|
<p class=ed>To be a conforming <a href="http://www.w3.org/TR/2006/REC-xml-20060816/#dt-validating">validating XML processor</a>, |
| 139 |
|
...</p> |
| 140 |
|
|
| 141 |
<p>Errors are classified into these |
<p>Errors are classified into these |
| 142 |
<dfn id=error-category title="error category">error categories</dfn>:</p> |
<dfn id=error-category title="error category">error categories</dfn>:</p> |
| 143 |
|
|
| 254 |
#vc-PEinGroup Validity constraint: Proper Group/PE Nesting |
#vc-PEinGroup Validity constraint: Proper Group/PE Nesting |
| 255 |
"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, 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 ,)." |
| 256 |
"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." |
"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." |
| 257 |
|
#condsec-nesting Validity constraint: Proper Conditional Section/PE Nesting |
| 258 |
|
#wf-Legalchar Well-formedness constraint: Legal Character |
| 259 |
|
#textent Well-formedness constraint: Parsed Entity |
| 260 |
|
#norecursion Well-formedness constraint: No Recursion |
| 261 |
|
#indtd Well-formedness constraint: In DTD |
| 262 |
|
"External parsed entities SHOULD each begin with a text declaration." |
| 263 |
|
"It is an error for a reference to an unparsed entity to appear in the EntityValue in an entity declaration." |
| 264 |
|
#UniqueNotationName Validity constraint: Unique Notation Name |
| 265 |
|
|
| 266 |
@@ Need detailed review, but maybe should be in parsing phase |
@@ Need detailed review, but maybe should be in parsing phase |
| 267 |
|
|
| 268 |
#vc-check-rmd Validity constraint: Standalone Document Declaration |
#vc-check-rmd Validity constraint: Standalone Document Declaration |
| 269 |
|
|
| 270 |
|
@@ Need dtailed review |
| 271 |
|
|
| 272 |
|
#wf-entdeclared Well-formedness constraint: Entity Declared |
| 273 |
|
#vc-entdeclared Validity constraint: Entity Declared |
| 274 |
|
"For interoperability, valid documents SHOULD declare the entities amp, lt, gt, apos, quot, in the form specified in 4.6 Predefined Entities." |
| 275 |
|
"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)." |
| 276 |
|
|
| 277 |
|
@@ flaged and then reported in DOM check phase |
| 278 |
|
|
| 279 |
|
"Entities encoded in UTF-16 MUST and entities encoded in UTF-8 MAY begin with the Byte Order Mark" |
| 280 |
|
"In the absence of external character encoding information (such as MIME headers), parsed entities which are stored in an encoding other than UTF-8 or UTF-16 MUST begin with a text declaration" |
| 281 |
|
"In an encoding declaration, the values "UTF-8", "UTF-16", "ISO-10646-UCS-2", and "ISO-10646-UCS-4" SHOULD be used for the various encodings and transformations of Unicode / ISO/IEC 10646, the values "ISO-8859-1", "ISO-8859-2", ... "ISO-8859-n" (where n is the part number) SHOULD be used for the parts of ISO 8859, and the values "ISO-2022-JP", "Shift_JIS", and "EUC-JP" SHOULD be used for the various encoded forms of JIS X-0208-1997. It is RECOMMENDED that character encodings registered (as charsets) with the Internet Assigned Numbers Authority [IANA-CHARSETS], other than those just listed, be referred to using their registered names; other encodings SHOULD use names starting with an "x-" prefix." |
| 282 |
|
|
| 283 |
|
@@ in parsing phase |
| 284 |
|
|
| 285 |
|
"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." |
| 286 |
|
|
| 287 |
--> |
--> |
| 288 |
</ul> |
</ul> |
| 289 |
</div> |
</div> |
| 365 |
</ol> |
</ol> |
| 366 |
|
|
| 367 |
<p>The algorithm |
<p>The algorithm |
| 368 |
<dfn id=algorithm-to-validate-a-ncname title="to validate an NCName">to |
<dfn id=algorithm-to-validate-an-ncname title="to validate an NCName">to |
| 369 |
validate an <code>NCName</code> (<dfn id=var-name><var>name</var></dfn>)</dfn> |
validate an <code>NCName</code> (<dfn id=var-name><var>name</var></dfn>)</dfn> |
| 370 |
is defined as following:</p> |
is defined as following:</p> |
| 371 |
<ol> |
<ol> |
| 372 |
<li class=ed>@@</li> |
<li class=ed>@@</li> |
| 373 |
</ol> |
</ol> |
| 374 |
|
|
| 375 |
<p>To <dfn id=algorithm-to-validate-a-public-identifier title="validate a public identifier">validate |
<p>To |
| 376 |
|
<dfn id=algorithm-to-validate-a-public-identifier title="validate a public identifier">validate |
| 377 |
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 |
| 378 |
algorithm below <em class=rfc2119>MUST</em> be used:</p> |
following algorithm <em class=rfc2119>MUST</em> be used:</p> |
| 379 |
<ol> |
<ol> |
| 380 |
|
<li>If <var>pid</var> is <code>null</code>, abort these steps.</li> |
| 381 |
<li>If <var>pid</var> contains any character |
<li>If <var>pid</var> contains any character |
| 382 |
that is outside of the range of <code>#x20 | #xD | #xA | |
that is outside of the range of <code>#x20 | #xD | #xA | |
| 383 |
[a-zA-Z0-9] | [-'()+,./:=?;!*#@$_%]</code><!-- @@ TODO: formal def -->, |
[a-zA-Z0-9] | [-'()+,./:=?;!*#@$_%]</code><!-- @@ TODO: formal def -->, |
| 394 |
<code class=char>U+0020</code> <code class=charname>SPACE</code> character |
<code class=char>U+0020</code> <code class=charname>SPACE</code> character |
| 395 |
immediately followed by another <code class=char>U+0020</code> |
immediately followed by another <code class=char>U+0020</code> |
| 396 |
<code class=charname>SPACE</code> character in <var>pid</var>, then it is a |
<code class=charname>SPACE</code> character in <var>pid</var>, then it is a |
| 397 |
<a href="#round-trip-error" id=rte-pubid-space><code>round-trip-error</code></a>.</li> |
<a href="#round-trip-error" id=rte-pubid-space><code>round-trip-error</code></a>. |
| 398 |
|
<span class=ed>Is this really a roundtripness problem? XML spec |
| 399 |
|
does only define the way to match public identifiers in fact, no |
| 400 |
|
canonical form.</span></li> |
| 401 |
<li class=ed>@@ Should we check formal-public-identifierness?</li> |
<li class=ed>@@ Should we check formal-public-identifierness?</li> |
| 402 |
</ol> |
</ol> |
| 403 |
|
|
| 404 |
|
<p>To |
| 405 |
|
<dfn id=algorithm-to-validate-a-system-identifier title="validate a system identifier">validate |
| 406 |
|
a system identifier (<dfn id=var-sid><var>sid</var></dfn>)</dfn>, the |
| 407 |
|
following algorithm <em class=rfc2119>MUST</em> be used:</p> |
| 408 |
|
<ol> |
| 409 |
|
<li>If <var>sid</var> is <code>null</code>, abort these steps.</li> |
| 410 |
|
<li>If <var>sid</var> contains both <code class=char>U+0022</code> |
| 411 |
|
<code class=charname>QUOTATION MARK</code> (<code class=char>"</code>) and |
| 412 |
|
<code class=char>U+0027</code> <code class=charname>APOSTROPHE</code> |
| 413 |
|
(<code class=char>'</code>) characters, raise an |
| 414 |
|
<a href="#xml-well-formedness-error" id=wfe-sid-lit><code>xml-well-formedness-error</code></a>.</li> |
| 415 |
|
<li>If <var>sid</var> contains at least one <code class=char>U+0023</code> |
| 416 |
|
<code class=charname>NUMBER SIGN</code> (<code class=char>#</code>) |
| 417 |
|
character, then raise an |
| 418 |
|
<a href="#xml-misc-error" id=xme-sid-fragment><code>xml-misc-error</code></a>.</li> |
| 419 |
|
<li class=ed>@@ If <var>sid</var> cannot be converted to a URI |
| 420 |
|
reference, then raise a fact-level error (xml-misc-warning?).<!-- |
| 421 |
|
XML 1.0 has no conformance language for system identifier being |
| 422 |
|
a URI reference. --></li> |
| 423 |
|
</ol> |
| 424 |
|
|
| 425 |
</div> |
</div> |
| 426 |
|
|
| 427 |
<div class=section id=checking-node> |
<div class=section id=checking-node> |
| 434 |
<dt>If <var>n</var> is an <code>Attr</code> node</dt> |
<dt>If <var>n</var> is an <code>Attr</code> node</dt> |
| 435 |
<dd> |
<dd> |
| 436 |
<ol> |
<ol> |
| 437 |
<li><a href="#algorithm-to-validate-a-ncname">Validate the |
<li><a href="#algorithm-to-validate-an-ncname">Validate the |
| 438 |
<code>localName</code> attribute value as an <code>NCName</code></a>.</li> |
<code>localName</code> attribute value as an <code>NCName</code></a>.</li> |
| 439 |
<li>If the <code>prefix</code> attribute value is different from |
<li>If the <code>prefix</code> attribute value is different from |
| 440 |
<code>null</code>, then <a href="#algorithm-to-validate-a-ncname">validate |
<code>null</code>, then <a href="#algorithm-to-validate-an-ncname">validate |
| 441 |
the <code>prefix</code> attribute value as an <code>NCName</code></a>.</li> |
the <code>prefix</code> attribute value as an <code>NCName</code></a>.</li> |
| 442 |
<li>For each node <dfn id=var-attr-nc><var>n<sub><var>c</var></sub></var></dfn> in the |
<li>For each node <dfn id=var-attr-nc><var>n<sub><var>c</var></sub></var></dfn> in the |
| 443 |
<code>childNodes</code> list of <var>n</var>, |
<code>childNodes</code> list of <var>n</var>, |
| 528 |
<dt class=ed>@@</dt> |
<dt class=ed>@@</dt> |
| 529 |
</dl> |
</dl> |
| 530 |
</li> |
</li> |
| 531 |
<li>If <span class=ed>default is NOT #IMPLIED or #REQUIRED</span>, then |
<li>If <span class=ed>type ID and default is NOT #IMPLIED or #REQUIRED</span>, then |
| 532 |
raise an |
raise an |
| 533 |
<a href="#xml-validity-error" id=vc-id-default><code>xml-validity-error</code></a>.</li> |
<a href="#xml-validity-error" id=vc-id-default><code>xml-validity-error</code></a>.</li> |
| 534 |
|
<li class=ed>@@ #FixedAttr Validity constraint: Fixed Attribute Default</li> |
| 535 |
|
<li class=ed>@@ strict serialization error for U+000D, U+000A, and |
| 536 |
|
U+0009 characters, leading/trailing U+0020, and U+0020{2,} string?</li> |
| 537 |
</ol> |
</ol> |
| 538 |
</dd> |
</dd> |
| 539 |
<dt>If <var>n</var> is an <code>AttributeDefinition</code> node</dt> |
<dt>If <var>n</var> is an <code>AttributeDefinition</code> node</dt> |
| 567 |
<li class=ed>If <code>NOTATION_ATTR</code> on an <code>EMPTY</code> |
<li class=ed>If <code>NOTATION_ATTR</code> on an <code>EMPTY</code> |
| 568 |
element, then raise an |
element, then raise an |
| 569 |
<a href="#xml-validity-error" id=vc-no-notation-empty><code>xml-validity-error</code></a>.</li> |
<a href="#xml-validity-error" id=vc-no-notation-empty><code>xml-validity-error</code></a>.</li> |
| 570 |
|
<li class=ed>@@ #defattrvalid Validity constraint: Attribute Default Value Syntactically Correct</li> |
| 571 |
</ol> |
</ol> |
| 572 |
</dd> |
</dd> |
| 573 |
<dt>If <var>n</var> is a <code>CDATASection</code> node</dt> |
<dt>If <var>n</var> is a <code>CDATASection</code> node</dt> |
| 656 |
<dt>If <var>n</var> is a <code>DocumentType</code> node</dt> |
<dt>If <var>n</var> is a <code>DocumentType</code> node</dt> |
| 657 |
<dd> |
<dd> |
| 658 |
<ol> |
<ol> |
| 659 |
<li><a href="#algorithm-to-validate-a-ncname">Validate the |
<li><a href="#algorithm-to-validate-an-ncname">Validate the |
| 660 |
<code>nodeName</code> attribute value as an <code>NCName</code></a>.</li> |
<code>nodeName</code> attribute value as an <code>NCName</code></a>.</li> |
| 661 |
<li>Follow the following substeps: |
<li>Follow the following substeps: |
| 662 |
<ol> |
<ol> |
| 675 |
</li> |
</li> |
| 676 |
<li><a href="#algorithm-to-validate-a-public-identifier" title="validate a public identifier">Validate |
<li><a href="#algorithm-to-validate-a-public-identifier" title="validate a public identifier">Validate |
| 677 |
the <code>publicId</code> attribute value as a public identifier</a>.</li> |
the <code>publicId</code> attribute value as a public identifier</a>.</li> |
| 678 |
<li>If the <code>systemId</code> attribute value contains |
<li><a href="#algorithm-to-validate-a-system-identifier" title="validate a system identifier">Validate |
| 679 |
both <code>"</code> and <code>'</code> characters, it is a |
the <code>systemId</code> attribute value as a system identifier</a>.</li> |
| 680 |
<a href="#xml-well-formedness-error" id=wfe-dt-system-id><code>xml-well-formedness-error</code></a>.</li> |
<li>If the <code>publicId</code> attribute value of <var>n</var> is |
| 681 |
<!-- publicId = non-null and systemId = null --> |
<em>not</em> <code>null</code> and the <code>systemId</code> attribute |
| 682 |
|
value of <var>n</var> is <code>null</code>, then raise an |
| 683 |
|
<a href="#xml-well-formedness-error" id=wfe-dt-sid><code>xml-well-formedness-error</code></a>. |
| 684 |
|
<span class=ed>@@ publicId == null? Or, publicId == ""</span></li> |
| 685 |
<li>For each node <dfn id=var-dt-nc><var>n<sub><var>c</var></sub></var></dfn> |
<li>For each node <dfn id=var-dt-nc><var>n<sub><var>c</var></sub></var></dfn> |
| 686 |
in the <code>childNodes</code> list of <var>n</var>, |
in the <code>childNodes</code> list of <var>n</var>, |
| 687 |
<ol> |
<ol> |
| 693 |
<a href="#algorithm-to-check-a-node" title="check a node">check |
<a href="#algorithm-to-check-a-node" title="check a node">check |
| 694 |
<var>n<sub><var>c</var></sub></var></a> recusrively.</li> |
<var>n<sub><var>c</var></sub></var></a> recusrively.</li> |
| 695 |
</ol></li> |
</ol></li> |
| 696 |
<li class=ed>@@ <code>entities</code>, <code>notations</code>, |
<li>For each node in the <code>entities</code>, <code>notations</code>, |
| 697 |
<code>elementTypes</code>, externally declared?</li> |
and <code>elementTypes</code> lists of <var>n</var>, |
| 698 |
|
<a href="#algorithm-to-check-a-node" title="check a node">check the |
| 699 |
|
node</a> recursively.</li> |
| 700 |
|
<li class=ed>@@ externally declared?</li> |
| 701 |
</ol> |
</ol> |
| 702 |
</dd> |
</dd> |
| 703 |
<dt>If <var>n</var> is an <code>Element</code> node</dt> |
<dt>If <var>n</var> is an <code>Element</code> node</dt> |
| 704 |
<dd> |
<dd> |
| 705 |
<ol> |
<ol> |
| 706 |
<li><a href="#algorithm-to-validate-a-ncname">Validate the |
<li><a href="#algorithm-to-validate-an-ncname">Validate the |
| 707 |
<code>localName</code> attribute value as an <code>NCName</code></a>.</li> |
<code>localName</code> attribute value as an <code>NCName</code></a>.</li> |
| 708 |
<li>If the <code>prefix</code> attribute value is different from |
<li>If the <code>prefix</code> attribute value is different from |
| 709 |
<code>null</code>, then <a href="#algorithm-to-validate-a-ncname">validate |
<code>null</code>, then <a href="#algorithm-to-validate-an-ncname">validate |
| 710 |
the <code>prefix</code> attribute value as an <code>NCName</code></a>.</li> |
the <code>prefix</code> attribute value as an <code>NCName</code></a>.</li> |
| 711 |
<li>For each node <dfn id=var-element-nc><var>n<sub><var>c</var></sub></var></dfn> |
<li>For each node <dfn id=var-element-nc><var>n<sub><var>c</var></sub></var></dfn> |
| 712 |
in the <code>childNodes</code> list of <var>n</var>, |
in the <code>childNodes</code> list of <var>n</var>, |
| 725 |
<var>n<sub><var>c</var></sub></var></a> recursively.</li> |
<var>n<sub><var>c</var></sub></var></a> recursively.</li> |
| 726 |
</ol></li> |
</ol></li> |
| 727 |
<li class=ed>@@ #elementvalid Validity constraint: Element Valid</li> |
<li class=ed>@@ #elementvalid Validity constraint: Element Valid</li> |
| 728 |
<li class=ed>@@ #uniqattspec Well-formedness constraint: Unique Att Spec</li> |
<li>Let <var>attrs</var> be the value of the <code>attribute</code> |
| 729 |
|
attribute of <var>n</var>. Check conformance of <var>attrs</var> |
| 730 |
|
as following: |
| 731 |
|
<ol> |
| 732 |
|
<li>If <var>attrs</var> contains an <code>Attr</code> node whose |
| 733 |
|
<code>nodeName</code> attribute value is equal to that of another |
| 734 |
|
<code>Attr</code> node in <var>attrs</var>, then raise an |
| 735 |
|
<a href="#xml-well-formedness-error" id=wfe-uniqattspec><code>xml-well-formedness-error</code></a>.<!-- |
| 736 |
|
#uniqattspec Well-formedness constraint: Unique Att Spec --></li> |
| 737 |
|
<li class=ed>@@ #RequiredAttr Validity constraint: Required Attribute</li> |
| 738 |
|
</ol> |
| 739 |
|
</li> |
| 740 |
</ol> |
</ol> |
| 741 |
</dd> |
</dd> |
| 742 |
<dt>If <var>n</var> is an <code>ElementTypeDefinition</code> node</dt> |
<dt>If <var>n</var> is an <code>ElementTypeDefinition</code> node</dt> |
| 764 |
<li class=ed>"For interoperability, the same Nmtoken SHOULD NOT occur more than once in the enumerated attribute types of a single element type."</li> |
<li class=ed>"For interoperability, the same Nmtoken SHOULD NOT occur more than once in the enumerated attribute types of a single element type."</li> |
| 765 |
</ol> |
</ol> |
| 766 |
</dd> |
</dd> |
| 767 |
<dt>If <var>n</var> is an <code>Entity</code> node</dt> |
<dt>If <var>n</var> is an <code>Entity</code> node whose |
| 768 |
|
<code>notationName</code> attribute value is <code>null</code> (i.e. a |
| 769 |
|
parsed entity)</dt> |
| 770 |
<dd> |
<dd> |
| 771 |
<ol> |
<ol> |
| 772 |
<li>An <a href="#entity-error" id=ee-entity-node><code>entity-error</code></a> <span class=ed>@@ if !notationName</span>.</li> |
<li>Raise an |
| 773 |
<li><a href="#algorithm-to-validate-a-ncname">Validate the |
<a href="#entity-error" id=ee-entity-node><code>entity-error</code></a>.</li> |
| 774 |
|
<li><a href="#algorithm-to-validate-an-ncname">Validate the |
| 775 |
<code>nodeName</code> attribute value as an <code>NCName</code></a>.</li> |
<code>nodeName</code> attribute value as an <code>NCName</code></a>.</li> |
| 776 |
<li><a href="#algorithm-to-validate-a-public-identifier" title="validate a public identifier">Validate |
<li><a href="#algorithm-to-validate-a-public-identifier" title="validate a public identifier">Validate |
| 777 |
the <code>publicId</code> attribute value as a public identifier</a>.</li> |
the <code>publicId</code> attribute value as a public identifier</a>.</li> |
| 778 |
<li>If the <code>systemId</code> attribute value contains |
<li><a href="#algorithm-to-validate-a-system-identifier" title="validate a system identifier">Validate |
| 779 |
both <code>"</code> and <code>'</code> characters, it is a |
the <code>systemId</code> attribute value as a system identifier</a>.</li> |
| 780 |
<a href="#xml-well-formedness-error" id=wfe-dt-system-id><code>xml-well-formedness-error</code></a>.</li> |
<li>If the <code>publicId</code> attribute value of <var>n</var> is |
| 781 |
<!-- publicId = non-null and systemId = null --> |
<em>not</em> <code>null</code> and the <code>systemId</code> attribute |
| 782 |
<li class=ed>@@ <code>notationName</code></li> |
value of <var>n</var> is <code>null</code>, then raise an |
| 783 |
|
<a href="#xml-well-formedness-error" id=wfe-entity-sid><code>xml-well-formedness-error</code></a>.</li> |
| 784 |
<li>For each node <dfn id=var-entity-nc><var>n<sub><var>c</var></sub></var></dfn> |
<li>For each node <dfn id=var-entity-nc><var>n<sub><var>c</var></sub></var></dfn> |
| 785 |
in the <code>childNodes</code> list of <var>n</var>, |
in the <code>childNodes</code> list of <var>n</var>, |
| 786 |
<ol> |
<ol> |
| 799 |
</ol></li> |
</ol></li> |
| 800 |
</ol> |
</ol> |
| 801 |
</dd> |
</dd> |
| 802 |
|
<dt>If <var>n</var> is an <code>Entity</code> node whose |
| 803 |
|
<code>notationName</code> attribute value is <em>not</em> <code>null</code> |
| 804 |
|
(i.e. an unparsed entity)</dt> |
| 805 |
|
<dd> |
| 806 |
|
<ol> |
| 807 |
|
<li><a href="#algorithm-to-validate-an-ncname">Validate the |
| 808 |
|
<code>nodeName</code> attribute value as an <code>NCName</code></a>.</li> |
| 809 |
|
<li><a href="#algorithm-to-validate-a-public-identifier" title="validate a public identifier">Validate |
| 810 |
|
the <code>publicId</code> attribute value as a public identifier</a>.</li> |
| 811 |
|
<li><a href="#algorithm-to-validate-a-system-identifier" title="validate a system identifier">Validate |
| 812 |
|
the <code>systemId</code> attribute value as a system identifier</a>.</li> |
| 813 |
|
<li>If the <code>systemId</code> attribute value of <var>n</var> is |
| 814 |
|
<code>null</code>, then raise an |
| 815 |
|
<a href="#xml-well-formedness-error" id=wfe-uentity-sid><code>xml-well-formedness-error</code></a>.</li> |
| 816 |
|
<li><a href="#algorithm-to-validate-an-ncname">Validate the |
| 817 |
|
<code>notationName</code> attribute value of <var>n</var> as an |
| 818 |
|
<code>NCName</code></a>.</li> |
| 819 |
|
<li class=ed>@@ #not-declared Validity constraint: Notation Declared</li> |
| 820 |
|
<li>If the <code>childNodes</code> list of <var>n</var> contains |
| 821 |
|
any nodes, they are in |
| 822 |
|
<a href="#xml-well-formedness-error" id=wfe-uentity-child><code>xml-well-formedness-error</code></a>.</li> |
| 823 |
|
</ol> |
| 824 |
|
</dd> |
| 825 |
<dt>If <var>n</var> is an <code>EntityReference</code> node</dt> |
<dt>If <var>n</var> is an <code>EntityReference</code> node</dt> |
| 826 |
<dd> |
<dd> |
| 827 |
<ol> |
<ol> |
| 828 |
<li>An <a href="#entity-error" id=ee-er-node><code>entity-error</code></a>.</li> |
<li>An <a href="#entity-error" id=ee-er-node><code>entity-error</code></a>.</li> |
| 829 |
<li><a href="#algorithm-to-validate-a-ncname">Validate the |
<li><a href="#algorithm-to-validate-an-ncname">Validate the |
| 830 |
<code>nodeName</code> attribute value as an <code>NCName</code></a>.</li> |
<code>nodeName</code> attribute value as an <code>NCName</code></a>.</li> |
| 831 |
<li>For each node <dfn id=var-er-nc><var>n<sub><var>c</var></sub></var></dfn> |
<li>For each node <dfn id=var-er-nc><var>n<sub><var>c</var></sub></var></dfn> |
| 832 |
in the <code>childNodes</code> list of <var>n</var>, |
in the <code>childNodes</code> list of <var>n</var>, |
| 849 |
<dt>If <var>n</var> is a <code>Notation</code> node</dt> |
<dt>If <var>n</var> is a <code>Notation</code> node</dt> |
| 850 |
<dd> |
<dd> |
| 851 |
<ol> |
<ol> |
| 852 |
<li><a href="#algorithm-to-validate-a-ncname">Validate the |
<li><a href="#algorithm-to-validate-an-ncname">Validate the |
| 853 |
<code>nodeName</code> attribute value as an <code>NCName</code></a>.</li> |
<code>nodeName</code> attribute value as an <code>NCName</code></a>.</li> |
| 854 |
<li><a href="#algorithm-to-validate-a-public-identifier" title="validate a public identifier">Validate |
<li><a href="#algorithm-to-validate-a-public-identifier" title="validate a public identifier">Validate |
| 855 |
the <code>publicId</code> attribute value as a public identifier</a>.</li> |
the <code>publicId</code> attribute value as a public identifier</a>.</li> |
| 856 |
<li>If the <code>systemId</code> attribute value contains |
<li><a href="#algorithm-to-validate-a-system-identifier" title="validate a system identifier">Validate |
| 857 |
both <code>"</code> and <code>'</code> characters, it is a |
the <code>systemId</code> attribute value as a system identifier</a>.</li> |
|
<a href="#xml-well-formedness-error" id=wfe-dt-system-id><code>xml-well-formedness-error</code></a>.</li> |
|
| 858 |
<li>If the <code>childNodes</code> list of <var>n</var> contains |
<li>If the <code>childNodes</code> list of <var>n</var> contains |
| 859 |
any nodes, they are in |
any nodes, they are in |
| 860 |
<a href="#xml-well-formedness-error" id=wfe-notation-child><code>xml-well-formedness-error</code></a>.</li> |
<a href="#xml-well-formedness-error" id=wfe-notation-child><code>xml-well-formedness-error</code></a>.</li> |
| 866 |
<li>If the <code>target</code> attribute value matches to the string |
<li>If the <code>target</code> attribute value matches to the string |
| 867 |
<code>xml</code> in any case combination, then raise a |
<code>xml</code> in any case combination, then raise a |
| 868 |
<a href="#xml-well-formedness-error" id=wfe-pi-xml><code>xml-well-formedness-error</code></a>.</li> |
<a href="#xml-well-formedness-error" id=wfe-pi-xml><code>xml-well-formedness-error</code></a>.</li> |
| 869 |
<li>Otherwise, <a href="#algorithm-to-validate-a-ncname">validate the |
<li>Otherwise, <a href="#algorithm-to-validate-an-ncname">validate the |
| 870 |
<code>target</code> attribute value as an <code>NCName</code></a>.</li> |
<code>target</code> attribute value as an <code>NCName</code></a>.</li> |
| 871 |
<li>Then, |
<li>Then, |
| 872 |
<a href="#algorithm-to-validate-an-xml-character-data" title="validate an XML character data">validate |
<a href="#algorithm-to-validate-an-xml-character-data" title="validate an XML character data">validate |