WFC: No Recursion, WFC/VC: Entity Declared (XML 1.0, § 4.1)

I would like to present here three proposals for modifications in the
XML 1.0, 2nd ed. spec.

a) The text of the WFC: "No Recursion" (§ 4.1) should clarify that
there are two ways in which an entity declaration may violate this
WFC:
1. When its replacement text contains a recursive reference, e.g.
<!ENTITY foo "&#38;foo;">
2. When the replacement text is non wellformed, but the text generated
by the algorithm in § 3.3.3 is and this text contains a recursive
reference, e.g. <!ENTITY foo "&#38;&foo;">

b) The VC "Entity Declared" (§ 4.1) states:  "Similarly, the
declaration of a general entity must precede any attribute-list
declaration containing a default value with a direct or indirect
reference to that general entity."  But according to § 5.1 also a
non-validating processor is required to supply default attribute
values up to the point of the first parameter entity reference they do
not read.  Therefore the above quoted sentence should be put in a
separate WFC (not VC).

c) The beginning of the first sentence of the WFC "Entity Declared" (§
4.1) should be changed from "In a document without any DTD, a document
with only an internal DTD subset which contains no parameter entity
reference, or a document with ..." to "In a document without any DTD,
a document with only an internal DTD subset which contains no
parameter entity reference to external parameter entities, or a
document with ...", because according to § 4.1 non-validating
processors are required to read internal parameter entities and
resolve them.

-- 
=====================================================================
 Dieter Köhler, M. A. - dieter.koehler@ppp.uni-bamberg.de
 Mittlere Kaulberg 22, D-96049 Bamberg, +49(0)951-5190726
 "http://www.philo.de/Philosophie-Seiten/": 1000+ Philosophie-Links
 "http://www.philo.de/VirtualLibrary/14.de.htm": Deutsche Philo-Links
 "http://www.philo.de/xml/": Open XML - XML-Komponenten für Delphi
=====================================================================

Received on Thursday, 14 December 2000 14:54:58 UTC