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> |
214 |
|
|
215 |
<div class=ed><p>@@ TODO: #dt-atuseroption at user option |
<div class=ed><p>@@ TODO: #dt-atuseroption at user option |
216 |
(MAY or MUST), #dt-compat for compatibility, |
(MAY or MUST), #dt-compat for compatibility, |
217 |
#dt-interop for interoperability</p></div> |
#dt-interop for interoperability</p> |
218 |
|
|
219 |
|
<p>TODO: XML 1.1, XML Namespace 1.0/1.1, xml:base, xml:id |
220 |
|
</div> |
221 |
|
|
222 |
</div> |
</div> |
223 |
|
|
260 |
type declaration as <code>EMPTY</code> content, then the parser |
type declaration as <code>EMPTY</code> content, then the parser |
261 |
<em class=rfc2119>MUST</em> raise an |
<em class=rfc2119>MUST</em> raise an |
262 |
<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>. |
263 |
|
</dl> |
264 |
|
|
265 |
|
<p>In addition, the parser <em class=rfc2119>MUST</em> check whether the |
266 |
|
following constraints are met. |
267 |
|
|
268 |
|
<p><strong>Well-formedness constraints</strong>. For each violation to |
269 |
|
one of constraints below, an |
270 |
|
<a href="#xml-well-formedness-error"><code>xml-well-formedness-error</code></a> |
271 |
|
<em class=rfc2119>MUST</em> be raised. The list of well-formedness |
272 |
|
constraints is below: |
273 |
|
<ul> |
274 |
|
<li><a href="http://www.w3.org/TR/2006/REC-xml-20060816/#wfc-PEinInternalSubset">Well-formedness constraint: PEs in Internal Subset</a> |
275 |
|
<li><a href="http://www.w3.org/TR/2006/REC-xml-20060816/#ExtSubset">Well-formedness constraint: External Subset</a> |
276 |
|
<li><a href="http://www.w3.org/TR/2006/REC-xml-20060816/#PE-between-Decls">Well-formedness constraint: PE Between Declarations</a> |
277 |
|
<li><a href="http://www.w3.org/TR/2006/REC-xml-20060816/#GIMatch">Well-formedness constraint: Element Type Match</a> |
278 |
|
<li><a href="http://www.w3.org/TR/2006/REC-xml-20060816/#uniqattspec">Well-formedness constraint: Unique Att Spec</a> |
279 |
|
<li><a href="http://www.w3.org/TR/2006/REC-xml-20060816/#NoExternalRefs">Well-formedness constraint: No External Entity References</a> |
280 |
|
<li><a href="http://www.w3.org/TR/2006/REC-xml-20060816/#CleanAttrVals">Well-formedness constraint: No < in Attribute Values</a> |
281 |
|
<li><a href="http://www.w3.org/TR/2006/REC-xml-20060816/#wf-Legalchar">Well-formedness constraint: Legal Character</a> |
282 |
|
<li><a href="http://www.w3.org/TR/2006/REC-xml-20060816/#textent">Well-formedness constraint: Parsed Entity</a> |
283 |
|
<li><a href="http://www.w3.org/TR/2006/REC-xml-20060816/#norecursion">Well-formedness constraint: No Recursion</a> |
284 |
|
<li><a href="http://www.w3.org/TR/2006/REC-xml-20060816/#indtd">Well-formedness constraint: In DTD</a> |
285 |
|
</ul> |
286 |
|
|
287 |
|
<p><strong>Validity constraints</strong>. For each violation to |
288 |
|
one of constraints below, an |
289 |
|
<a href="#xml-validity-error"><code>xml-validity-error</code></a>. |
290 |
|
<em class=rfc2119>MUST</em> be raised. The list of validity |
291 |
|
constraints is below: |
292 |
|
<ul> |
293 |
|
<li><a href="http://www.w3.org/TR/2006/REC-xml-20060816/#vc-PEinMarkupDecl">Validity constraint: Proper Declaration/PE Nesting</a> |
294 |
|
<li><a href="http://www.w3.org/TR/2006/REC-xml-20060816/#vc-PEinGroup">Validity constraint: Proper Group/PE Nesting</a> |
295 |
|
<li><a href="http://www.w3.org/TR/2006/REC-xml-20060816/#condsec-nesting">Validity constraint: Proper Conditional Section/PE Nesting</a> |
296 |
|
<li><a href="http://www.w3.org/TR/2006/REC-xml-20060816/#UniqueNotationName">Validity constraint: Unique Notation Name</a> |
297 |
|
</ul> |
298 |
|
|
299 |
|
<p><strong>Other creteria</strong>. For each violation to |
300 |
|
one of constraints below, an |
301 |
|
<a href="#xml-misc-recommendation"><code>xml-misc-recommendation</code></a> |
302 |
|
<em class=rfc2119>MUST</em> be raised. The list of constraints is below: |
303 |
|
<ul> |
304 |
|
<li><q>For interoperability, if a parameter-entity reference appears in a |
305 |
|
<code>choice</code>, <code>seq</code>, or <code>Mixed</code> construct, its |
306 |
|
replacement text <em class=rfc2119>SHOULD</em> contain at least one non-blank |
307 |
|
character, and neither the first nor last non-blank character of the |
308 |
|
replacement text <em class=rfc2119>SHOULD</em> be a connector (<code>|</code> |
309 |
|
or <code>,</code>).</q> |
310 |
|
<li><q>External parsed entities <em class=rfc2119>SHOULD</em> each begin with a |
311 |
|
text declaration.</q> |
312 |
|
</ul> |
313 |
|
|
314 |
|
<!-- |
315 |
|
<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> |
316 |
|
|
317 |
|
<a href="#xml-misc-error" id=xme-attr-xml-space><code>xml-misc-error</code></a>. |
318 |
|
<li>It is an error for a reference to an unparsed entity to appear in the EntityValue in an entity declaration." |
319 |
|
--> |
320 |
|
|
321 |
<!-- |
<!-- |
322 |
|
|
|
#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 |
|
323 |
|
|
324 |
@@ Need detailed review, but maybe should be in parsing phase |
@@ Need detailed review, but maybe should be in parsing phase |
325 |
|
|
342 |
|
|
343 |
"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." |
"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." |
344 |
|
|
345 |
|
@@ We should phrase out what the parser should do where the XML specification |
346 |
|
left undefined. For example: Comment must be converted to a Comment node, |
347 |
|
illegal xml:space value must be preserved, so on. |
348 |
|
|
349 |
--> |
--> |
|
</dl> |
|
350 |
</div> |
</div> |
351 |
|
|
352 |
<div class="section" id=checking-dom> |
<div class="section" id=checking-dom> |