| 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=2008-03-16>16 March 2008</time></h2> |
<h2>Working Draft <time datetime=2008-03-29>29 March 2008</time></h2> |
| 22 |
|
|
| 23 |
<dl class="versions-uri"> |
<dl class="versions-uri"> |
| 24 |
<dt>This Version</dt> |
<dt>This Version</dt> |
| 210 |
violate to any well$B!>(Bformedness constraint in XML |
violate to any well$B!>(Bformedness constraint in XML |
| 211 |
specification <cite class="bibref normative">[<a href="#ref-XML10">XML10</a>, |
specification <cite class="bibref normative">[<a href="#ref-XML10">XML10</a>, |
| 212 |
<a href="#ref-XML11">XML11</a>]</cite>.</p></dd> |
<a href="#ref-XML11">XML11</a>]</cite>.</p></dd> |
| 213 |
|
<dt><dfn id=misc-info><code>misc-info</code></dfn> |
| 214 |
|
<dd><p>A <code>misc-info</code> is raised when some status information |
| 215 |
|
on parsing or checking process that are considered useful for debugging |
| 216 |
|
and so on is available. It by no means implies the non-conformance of |
| 217 |
|
the document. |
| 218 |
</dl> |
</dl> |
| 219 |
|
|
| 220 |
<div class=ed><p>@@ TODO: #dt-atuseroption at user option |
<div class=ed><p>@@ TODO: #dt-atuseroption at user option |
| 231 |
|
|
| 232 |
<p>When an <abbr>XML</abbr> document is parsed, the following clauses |
<p>When an <abbr>XML</abbr> document is parsed, the following clauses |
| 233 |
are applied:</p> |
are applied:</p> |
| 234 |
<dl> |
<dl class=switch> |
| 235 |
<dt>For each document |
<dt>For the document |
| 236 |
<dd>If the <abbr>XML</abbr> document does not begin with an |
<dd>If the <abbr>XML</abbr> document does not begin with an |
| 237 |
<abbr>XML</abbr> declaration, then the parser <em class=rfc2119>MUST</em> |
<abbr>XML</abbr> declaration, then the parser <em class=rfc2119>MUST</em> |
| 238 |
raise an |
raise an |
| 239 |
<a href="#xml-misc-recommentation" id=xmr-xml-decl><code>xml-misc-recommendation</code></a>. |
<a href="#xml-misc-recommentation" id=xmr-xml-decl><code>xml-misc-recommendation</code></a>. |
| 240 |
<dt>For each internal general entity declaration processed by the parser |
<dt>For the document type declaration |
| 241 |
|
<dd class=ed>@@ read external entity |
| 242 |
|
<dd>The <code>entities</code> attribute of the <code>DocumentType</code> |
| 243 |
|
node <em class=rfc2119>MUST</em> contain a <code>NamedNodeMap</code> object |
| 244 |
|
whose first five items are as follows: |
| 245 |
|
<ol start=0> |
| 246 |
|
<li>An <code>Entity</code> node whose <code>nodeName</code> attribute |
| 247 |
|
is <code>amp</code>. It contains a <code>Text</code> node whose |
| 248 |
|
<code>data</code> attribute is set to <code>&</code>. |
| 249 |
|
<li>An <code>Entity</code> node whose <code>nodeName</code> attribute |
| 250 |
|
is <code>lt</code>. It contains a <code>Text</code> node whose |
| 251 |
|
<code>data</code> attribute is set to <code><</code>. |
| 252 |
|
<li>An <code>Entity</code> node whose <code>nodeName</code> attribute |
| 253 |
|
is <code>gt</code>. It contains a <code>Text</code> node whose |
| 254 |
|
<code>data</code> attribute is set to <code>></code>. |
| 255 |
|
<li>An <code>Entity</code> node whose <code>nodeName</code> attribute |
| 256 |
|
is <code>quot</code>. It contains a <code>Text</code> node whose |
| 257 |
|
<code>data</code> attribute is set to <code>"</code>. |
| 258 |
|
<li>An <code>Entity</code> node whose <code>nodeName</code> attribute |
| 259 |
|
is <code>apos</code>. It contains a <code>Text</code> node whose |
| 260 |
|
<code>data</code> attribute is set to <code>'</code>. |
| 261 |
|
</ol> |
| 262 |
|
<dt>For each internal general entity declaration being processed by the parser |
| 263 |
<dd>If the |
<dd>If the |
| 264 |
<a href="http://www.w3.org/TR/2006/REC-xml-20060816/#NT-EntityValue"><code>EntityValue</code></a> |
<a href="http://www.w3.org/TR/2006/REC-xml-20060816/#NT-EntityValue"><code>EntityValue</code></a> |
| 265 |
part of the general entity declaration contains a bare <code>U+003C</code> |
part of the general entity declaration contains a bare <code>U+003C</code> |
| 268 |
<a href="#xml-misc-warning" id=xmw-entity-value-lt><code>xml-misc-warning</code></a>.<!-- |
<a href="#xml-misc-warning" id=xmw-entity-value-lt><code>xml-misc-warning</code></a>.<!-- |
| 269 |
"strongly advised to avoid" in a Note in Section 2.3 of [XML10], [XML11]. |
"strongly advised to avoid" in a Note in Section 2.3 of [XML10], [XML11]. |
| 270 |
--> |
--> |
| 271 |
<dt>For each element type declaration processed by the parser |
<dt>For each element type declaration being processed by the parser |
| 272 |
<dd>If there is another element type declaration whose <code>Name</code> |
<dd>If there is another processed element type declaration whose |
| 273 |
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 |
| 274 |
the parser <em class=rfc2119>MUST</em> raise an |
declaration, then the parser <em class=rfc2119>MUST</em> raise an |
| 275 |
<a href="#xml-validity-error" id=vc-edunique><code>xml-validity-error</code></a>. |
<a href="#xml-validity-error" id=vc-edunique><code>xml-validity-error</code></a>. |
| 276 |
|
<dt>For each attribute definition list declaration being processed by the |
| 277 |
|
parser |
| 278 |
|
<dd>If there is another processed attribute defintion list declaration whose |
| 279 |
|
<code>Name</code> is equal to the <code>Name</code> of the attribute |
| 280 |
|
definition list declaration, then the parser <em class=rfc2119>MUST</em> |
| 281 |
|
raise an |
| 282 |
|
<a href="#xml-misc-warning" id=xme-attlist-unique><code>xml-misc-warning</code></a>. |
| 283 |
|
<dd>For each attribute definition in the attribute definition list |
| 284 |
|
declaration, if there is another processed attribute definition whose |
| 285 |
|
<code>Name</code> is equal to the <code>Name</code> of the attribute |
| 286 |
|
definition (whether or not in the same attribute definition list |
| 287 |
|
declaration), then the parser <em class=rfc2119>MUST</em> raise an |
| 288 |
|
<a href="#xml-misc-warning" id=xme-attrdef-unique><code>xml-misc-warning</code></a>. |
| 289 |
|
<!-- |
| 290 |
|
<q>For interoperability, an XML processor <em class=rfc2119>MAY</em> at |
| 291 |
|
user option issue a warning when more than one attribute-list declaration |
| 292 |
|
is provided for a given element type, or more than one attribute definition |
| 293 |
|
is provided for a given attribute, but this is not an error.</q> |
| 294 |
|
--> |
| 295 |
<!-- |
<!-- |
| 296 |
NOTE: <!ATTLIST a xml:space (default) #IMPLIED xml:space CDATA #IMPLIED> |
NOTE: <!ATTLIST a xml:space (default) #IMPLIED xml:space CDATA #IMPLIED> |
| 297 |
will not be warned. |
will not be warned. |
| 298 |
--> |
--> |
| 299 |
|
|
| 300 |
|
<dt>For each entity declaration being processed by the parser |
| 301 |
|
<dd>Handle as follows: |
| 302 |
|
<ol> |
| 303 |
|
<li><p>If the entity declaration declares a general entity, the following |
| 304 |
|
is applied: |
| 305 |
|
<dl> |
| 306 |
|
<dt>If the <code>Name</code> is <code>lt</code> or <code>amp</code> |
| 307 |
|
<dd><p>If the entity declaration does not declare an internal entity, |
| 308 |
|
or if the replacement text of the entity is not the escaped form of |
| 309 |
|
<code><</code> (if <code>lt</code>) or <code>&</code> (if |
| 310 |
|
<code>amp</code>), then the parser <em class=rfc2119>MUST</em> raise an |
| 311 |
|
<a href="#xml-misc-error" id=xme-double-escape><code>xml-misc-error</code></a>. |
| 312 |
|
|
| 313 |
|
<div class="note memo informative"> |
| 314 |
|
<p>In other word, the character in the <code>EntityValue</code> |
| 315 |
|
has to be double-escaped. |
| 316 |
|
</div> |
| 317 |
|
<dt>If the <code>Name</code> is <code>gt</code>, <code>quot</code>, or |
| 318 |
|
<code>apos</code> |
| 319 |
|
<dd><p>If the entity declaration does not declare an internal entity, |
| 320 |
|
or if the replacement text of the entity is not equal to or not the |
| 321 |
|
escaped form of <code>></code> (if <code>gt</code>), <code>"</code> (if |
| 322 |
|
<code>quot</code>), or <code>'</code> (if <code>apos</code>), then the |
| 323 |
|
parser <em class=rfc2119>MUST</em> raise an |
| 324 |
|
<a href="#xml-misc-error" id=xme-single-escape><code>xml-misc-error</code></a>. |
| 325 |
|
|
| 326 |
|
<div class="note memo informative"> |
| 327 |
|
<p>In other word, the character in the <code>EntityValue</code> |
| 328 |
|
has to be single- or double-escaped. |
| 329 |
|
</div> |
| 330 |
|
</dl> |
| 331 |
|
<!-- |
| 332 |
|
<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> |
| 333 |
|
--> |
| 334 |
|
|
| 335 |
|
<li><p>If the entity declaration has to be ignored since there has already |
| 336 |
|
been declared an entity with the same <code>Name</code> as the declaration, |
| 337 |
|
then the parser <em class=rfc2119>MUST</em> raise a |
| 338 |
|
<a href="#misc-info" id=mi-ent-unique><code>misc-info</code></a> |
| 339 |
|
and abort these steps. |
| 340 |
|
|
| 341 |
|
<div class="informative note memo"> |
| 342 |
|
<p>Five predefined entities, i.e. <code>amp</code>, <code>lt</code>, |
| 343 |
|
<code>gt</code>, <code>quot</code>, and <code>apos</code>, are always |
| 344 |
|
declared implicitly and therefore any declaration for such an entity |
| 345 |
|
always raises an |
| 346 |
|
<a href="#misc-info" id=mi-ent-unique><code>misc-info</code></a>. |
| 347 |
|
</div> |
| 348 |
|
|
| 349 |
|
<li><p>If the entity declaration declares a parameter entity and the |
| 350 |
|
<code>Name</code> of the entity begins with the string <code>xml</code> |
| 351 |
|
(in any combination of upper- and lowercase letters), then the parser |
| 352 |
|
<em class=rfc2119>MUST</em> raise an |
| 353 |
|
<a href="#xml-misc-warning" id=xmw-reserved-pe-name><code>xml-misc-warning</code></a>. |
| 354 |
|
|
| 355 |
|
<li><p>If the entity declaration contains the <code>EntityValue</code>, |
| 356 |
|
then for each occurence of any references to unparsed entities in the |
| 357 |
|
<code>EntityValue</code>, the parser <em class=rfc2119>MUST</em> raise an |
| 358 |
|
<a href="#xml-misc-error" id=xme-unparsed-in-ev><code>xml-misc-error</code></a>. |
| 359 |
|
<!-- |
| 360 |
|
<q>It is an error for a reference to an unparsed entity to appear in the |
| 361 |
|
EntityValue in an entity declaration.</q> |
| 362 |
|
--> |
| 363 |
|
<li><p>If the entity declaration declares a general entity, then an |
| 364 |
|
<code>Entity</code> node <em class=rfc2119>MUST</em> be created and |
| 365 |
|
appended to the <code>NamedNodeMap</code> object in the |
| 366 |
|
<code>entities</code> attribute of the <code>DocumentType</code> node. |
| 367 |
|
|
| 368 |
|
<p class=ed>Read the external entity |
| 369 |
|
|
| 370 |
|
<p>If the replacement text of the entity is read, then parse the |
| 371 |
|
replacement text as if it were referenced from the content of an |
| 372 |
|
element (with no namespace bindings). If no <span class=ed>@@ parse error</span> |
| 373 |
|
is raised by the parsing process, then the nodes generated by the |
| 374 |
|
parsing <em class=rfc2119>MUST</em> be appended to the <code>Entity</code> |
| 375 |
|
node. The parse error <em class=rfc2119>MUST NOT</em> be propagated to |
| 376 |
|
the entire parsing process. Other kinds of errors |
| 377 |
|
<em class=rfc2119>MUST</em> be propagated. The first parse error |
| 378 |
|
<em class=rfc2119>MUST</em> abort the internal parsing process. |
| 379 |
|
<span class=ed>@@ better wording</span> |
| 380 |
|
|
| 381 |
|
<p class=ed>@@ prop |
| 382 |
|
|
| 383 |
|
<p>Then, the <code>Entity</code> node and its descendant |
| 384 |
|
<em class=rfc2119>MUST</em> be marked as read-only. |
| 385 |
|
</ol> |
| 386 |
|
|
| 387 |
|
<dt>For each notation declaration being processed by the parser |
| 388 |
|
<dd>If there is another processed notation declaration whose |
| 389 |
|
<code>Name</code> is equal to the <code>Name</code> of the notation |
| 390 |
|
declaration, then the parser <em class=rfc2119>MUST</em> raise an |
| 391 |
|
<a href="#xml-validity-error" id=vc-uniquenotationname><code>xml-validity-error</code></a>. |
| 392 |
|
<!-- <a href="http://www.w3.org/TR/2006/REC-xml-20060816/#UniqueNotationName">Validity constraint: Unique Notation Name</a> --> |
| 393 |
|
|
| 394 |
<dt>For each empty-element tag |
<dt>For each empty-element tag |
| 395 |
<dd>If the <code>Name</code> of the tag is not declared by a processed |
<dd>If the <code>Name</code> of the tag is not declared by a processed |
| 396 |
element type declaration as <code>EMPTY</code> content, then the parser |
element type declaration as <code>EMPTY</code> content, then the parser |
| 401 |
type declaration as <code>EMPTY</code> content, then the parser |
type declaration as <code>EMPTY</code> content, then the parser |
| 402 |
<em class=rfc2119>MUST</em> raise an |
<em class=rfc2119>MUST</em> raise an |
| 403 |
<a href="#xml-misc-recommentation" id=xmr-empty-not-emptyelemtag><code>xml-misc-recommendation</code></a>. |
<a href="#xml-misc-recommentation" id=xmr-empty-not-emptyelemtag><code>xml-misc-recommendation</code></a>. |
|
<!-- |
|
| 404 |
|
|
| 405 |
#vc-PEinMarkupDecl Validity constraint: Proper Declaration/PE Nesting |
<dt>For each parameter entity reference |
| 406 |
#wfc-PEinInternalSubset Well-formedness constraint: PEs in Internal Subset |
<dd>If the declaration for the entity is not read (i.e. no declaration |
| 407 |
#ExtSubset Well-formedness constraint: External Subset |
for the entity is processed or the external entity referenced by the |
| 408 |
#PE-between-Decls Well-formedness constraint: PE Between Declarations |
declaration cannot be retrieved), then: |
| 409 |
#GIMatch Well-formedness constraint: Element Type Match |
<ul> |
| 410 |
#uniqattspec Well-formedness constraint: Unique Att Spec |
<li>If the parameter entity is contained in a declaration, then the |
| 411 |
#NoExternalRefs Well-formedness constraint: No External Entity References |
declaration <em class=rfc2119>MUST</em> be ignored <em>except</em> that |
| 412 |
#CleanAttrVals Well-formedness constraint: No < in Attribute Values |
any error before the parameter entity <em class=rfc2119>MUST</em> be |
| 413 |
#vc-PEinGroup Validity constraint: Proper Group/PE Nesting |
raised as usual. |
| 414 |
"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 ,)." |
<li>If the parameter entity is contained in the status portion of a |
| 415 |
"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." |
conditional section, then the conditional section |
| 416 |
#condsec-nesting Validity constraint: Proper Conditional Section/PE Nesting |
<em class=rfc2119>MUST</em> be processed as if it were an |
| 417 |
#wf-Legalchar Well-formedness constraint: Legal Character |
<code>IGNORE</code>d section. |
| 418 |
#textent Well-formedness constraint: Parsed Entity |
<li>The parser <em class=rfc2119>MUST NOT</em> process any entity or |
| 419 |
#norecursion Well-formedness constraint: No Recursion |
attribute-list declaration after the parameter entity reference in the DTD |
| 420 |
#indtd Well-formedness constraint: In DTD |
<em>except</em> when the <code>standalone</code> pseudo-attribute of the |
| 421 |
"External parsed entities SHOULD each begin with a text declaration." |
XML declaration (if any) is set to <code>yes</code>. |
| 422 |
"It is an error for a reference to an unparsed entity to appear in the EntityValue in an entity declaration." |
<!-- This requirement is enforced for internal DTD subset case in |
| 423 |
#UniqueNotationName Validity constraint: Unique Notation Name |
XML 1.0/1.1 specification (section 5.1) but not for any other cases. --> |
| 424 |
|
<!-- According to this definition, element type declarations, notation |
| 425 |
|
declarations, and PIs ARE processed. --> |
| 426 |
|
<li>If the parameter entity reference is the first reference to an entity |
| 427 |
|
that is not read, then the parser <em class=rfc2119>MUST</em> raise an |
| 428 |
|
<a href="#entity-error" id=ee-unread-pe><code>entity-error</code></a>. |
| 429 |
|
<li>The <code>allDeclarationsProcessed</code> <span class=ed>@@ ref</span> |
| 430 |
|
attribute of the <code>Document</code> node <em class=rfc2119>MUST</em> be |
| 431 |
|
set to <code>false</code>. |
| 432 |
|
</ul> |
| 433 |
|
<dt>For each general entity reference in an attribute value or in the content |
| 434 |
|
of an element |
| 435 |
|
<dd>If the declaration for the entity is not read (i.e. no declaration for |
| 436 |
|
the entity is processed or the external entity referenced by the declaration |
| 437 |
|
cannot be retrieved), then: |
| 438 |
|
<ul> |
| 439 |
|
<li>If the general entity reference is the first reference to an entity |
| 440 |
|
that is not read, then the parser <em class=rfc2119>MUST</em> raise an |
| 441 |
|
<a href="#entity-error" id=ee-unread-ge><code>entity-error</code></a>. |
| 442 |
|
<span class=ed>@@ entity declared WFC?</span> |
| 443 |
|
<li class=ed>An unexpended entity reference node <em class=rfc2119>MUST</em> be inserted to the current node. |
| 444 |
|
</ul> |
| 445 |
|
</dl> |
| 446 |
|
|
| 447 |
|
<p class=ed>@@ MUST try to read external entity |
| 448 |
|
|
| 449 |
|
<p>In addition, the parser has to check whether the |
| 450 |
|
following constraints are met. |
| 451 |
|
|
| 452 |
|
<p><strong>Well-formedness constraints</strong>. For each violation to |
| 453 |
|
one of constraints below, an |
| 454 |
|
<a href="#xml-well-formedness-error"><code>xml-well-formedness-error</code></a> |
| 455 |
|
<em class=rfc2119>MUST</em> be raised. The list of well-formedness |
| 456 |
|
constraints is below: |
| 457 |
|
<ul> |
| 458 |
|
<li><a href="http://www.w3.org/TR/2006/REC-xml-20060816/#wfc-PEinInternalSubset">Well-formedness constraint: PEs in Internal Subset</a> |
| 459 |
|
<li><a href="http://www.w3.org/TR/2006/REC-xml-20060816/#GIMatch">Well-formedness constraint: Element Type Match</a> |
| 460 |
|
<li><a href="http://www.w3.org/TR/2006/REC-xml-20060816/#uniqattspec">Well-formedness constraint: Unique Att Spec</a> |
| 461 |
|
<li><a href="http://www.w3.org/TR/2006/REC-xml-20060816/#NoExternalRefs">Well-formedness constraint: No External Entity References</a> |
| 462 |
|
<li><a href="http://www.w3.org/TR/2006/REC-xml-20060816/#CleanAttrVals">Well-formedness constraint: No < in Attribute Values</a> |
| 463 |
|
<li><a href="http://www.w3.org/TR/2006/REC-xml-20060816/#wf-Legalchar">Well-formedness constraint: Legal Character</a> |
| 464 |
|
<li><a href="http://www.w3.org/TR/2006/REC-xml-20060816/#textent">Well-formedness constraint: Parsed Entity</a> |
| 465 |
|
<li><a href="http://www.w3.org/TR/2006/REC-xml-20060816/#norecursion">Well-formedness constraint: No Recursion</a> |
| 466 |
|
<li><a href="http://www.w3.org/TR/2006/REC-xml-20060816/#indtd">Well-formedness constraint: In DTD</a> |
| 467 |
|
</ul> |
| 468 |
|
|
| 469 |
|
<p><strong>Validity constraints</strong>. For each violation to |
| 470 |
|
one of constraints below, an |
| 471 |
|
<a href="#xml-validity-error"><code>xml-validity-error</code></a>. |
| 472 |
|
<em class=rfc2119>MUST</em> be raised. The list of validity |
| 473 |
|
constraints is below: |
| 474 |
|
<ul> |
| 475 |
|
<li><a href="http://www.w3.org/TR/2006/REC-xml-20060816/#vc-PEinMarkupDecl">Validity constraint: Proper Declaration/PE Nesting</a> |
| 476 |
|
<li><a href="http://www.w3.org/TR/2006/REC-xml-20060816/#vc-PEinGroup">Validity constraint: Proper Group/PE Nesting</a> |
| 477 |
|
<li><a href="http://www.w3.org/TR/2006/REC-xml-20060816/#condsec-nesting">Validity constraint: Proper Conditional Section/PE Nesting</a> |
| 478 |
|
</ul> |
| 479 |
|
|
| 480 |
|
<p><strong>Other creteria</strong>. For each violation to |
| 481 |
|
one of constraints below, an |
| 482 |
|
<a href="#xml-misc-recommendation"><code>xml-misc-recommendation</code></a> |
| 483 |
|
<em class=rfc2119>MUST</em> be raised. The list of constraints is below: |
| 484 |
|
<ul> |
| 485 |
|
<li><q>For interoperability, if a parameter-entity reference appears in a |
| 486 |
|
<code>choice</code>, <code>seq</code>, or <code>Mixed</code> construct, its |
| 487 |
|
replacement text <em class=rfc2119>SHOULD</em> contain at least one non-blank |
| 488 |
|
character, and neither the first nor last non-blank character of the |
| 489 |
|
replacement text <em class=rfc2119>SHOULD</em> be a connector (<code>|</code> |
| 490 |
|
or <code>,</code>).</q> |
| 491 |
|
<li><q>External parsed entities <em class=rfc2119>SHOULD</em> each begin with a |
| 492 |
|
text declaration.</q> |
| 493 |
|
</ul> |
| 494 |
|
|
| 495 |
|
|
| 496 |
|
<!-- |
| 497 |
|
|
| 498 |
@@ Need detailed review, but maybe should be in parsing phase |
@@ Need detailed review, but maybe should be in parsing phase |
| 499 |
|
|
| 504 |
#wf-entdeclared Well-formedness constraint: Entity Declared |
#wf-entdeclared Well-formedness constraint: Entity Declared |
| 505 |
#vc-entdeclared Validity constraint: Entity Declared |
#vc-entdeclared Validity constraint: Entity Declared |
| 506 |
"For interoperability, valid documents SHOULD declare the entities amp, lt, gt, apos, quot, in the form specified in 4.6 Predefined Entities." |
"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)." |
|
| 507 |
|
|
| 508 |
@@ flaged and then reported in DOM check phase |
@@ flaged and then reported in DOM check phase |
| 509 |
|
|
| 519 |
left undefined. For example: Comment must be converted to a Comment node, |
left undefined. For example: Comment must be converted to a Comment node, |
| 520 |
illegal xml:space value must be preserved, so on. |
illegal xml:space value must be preserved, so on. |
| 521 |
|
|
| 522 |
|
Warn <!ENTITY % xml... ...> |
| 523 |
|
|
| 524 |
|
--> |
| 525 |
|
|
| 526 |
|
<p>The parser <em class=rfc2119>MUST</em> raise an |
| 527 |
|
<a href="#xml-well-formedness-error" id=wfe-syntax><code>xml-well-formedness-error</code></a> |
| 528 |
|
for any failure to match to a production rule in the XML specification. |
| 529 |
|
<!-- |
| 530 |
|
<li><a href="http://www.w3.org/TR/2006/REC-xml-20060816/#ExtSubset">Well-formedness constraint: External Subset</a> |
| 531 |
|
<li><a href="http://www.w3.org/TR/2006/REC-xml-20060816/#PE-between-Decls">Well-formedness constraint: PE Between Declarations</a> |
| 532 |
--> |
--> |
|
</dl> |
|
| 533 |
</div> |
</div> |
| 534 |
|
|
| 535 |
<div class="section" id=checking-dom> |
<div class="section" id=checking-dom> |
| 611 |
case combination), then raise an |
case combination), then raise an |
| 612 |
<a href="#xml-misc-warning" id=xmw-reserved-name><code>xml-misc-warning</code></a>. |
<a href="#xml-misc-warning" id=xmw-reserved-name><code>xml-misc-warning</code></a>. |
| 613 |
<span class=ed>@@ except for attribute names <code>xml:lang</code>, |
<span class=ed>@@ except for attribute names <code>xml:lang</code>, |
| 614 |
<code>xml:space</code>, <code>xml:base</code>, <code>xml:id</code>, |
<code>xml:space</code><!--, <code>xml:base</code>, <code>xml:id</code>, |
| 615 |
<code>xmlns</code>, <code>xmlns:<var>*</var></code>, |
<code>xmlns</code>, <code>xmlns:<var>*</var></code>, |
| 616 |
pi name <code>xml-stylesheet</code>.</span><!-- |
pi name <code>xml-stylesheet</code>-->.</span><!-- |
| 617 |
"names beginning with a match to (('X'|'x')('M'|'m')('L'|'l')) are reserved for standardization in this or future versions of this specification.": |
"names beginning with a match to (('X'|'x')('M'|'m')('L'|'l')) are reserved for standardization in this or future versions of this specification.": |
| 618 |
xmlns, xml-stylesheet, xml:base and xml:id specifications violate to this sentense! |
xmlns, xml-stylesheet, xml:base and xml:id specifications violate to this sentense! |
| 619 |
--></li> |
--></li> |
| 958 |
<a href="#algorithm-to-check-a-node" title="check a node">check the |
<a href="#algorithm-to-check-a-node" title="check a node">check the |
| 959 |
node</a> recursively.</li> |
node</a> recursively.</li> |
| 960 |
<li class=ed>@@ externally declared?</li> |
<li class=ed>@@ externally declared?</li> |
| 961 |
|
<li>If the <code>NamedNodeMap</code> object in the <code>entities</code> |
| 962 |
|
attribute of <var>n</var> does not contain <code>Entity</code> nodes |
| 963 |
|
whose <code>nodeName</code> attribute are <code>amp</code>, |
| 964 |
|
<code>lt</code>, <code>gt</code>, <code>apos</code>, and <code>quot</code> |
| 965 |
|
then raise |
| 966 |
|
<a href="#xml-misc-recommentation" id=xmr-predefined><code>xml-misc-recommendation</code></a>(s). |
| 967 |
</ol> |
</ol> |
| 968 |
</dd> |
</dd> |
| 969 |
<dt>If <var>n</var> is an <code>Element</code> node</dt> |
<dt>If <var>n</var> is an <code>Element</code> node</dt> |