W3C home > Mailing lists > Public > public-qt-comments@w3.org > October 2012

[Bug 19425] [XP30] Substitution group membership is non-transitive

From: <bugzilla@jessica.w3.org>
Date: Fri, 12 Oct 2012 20:27:41 +0000
To: public-qt-comments@w3.org
Message-ID: <bug-19425-523-CJk6XVyDkR@http.www.w3.org/Bugs/Public/>
https://www.w3.org/Bugs/Public/show_bug.cgi?id=19425

--- Comment #1 from Michael Kay <mike@saxonica.com> ---
My preferred solution would be to change the rule from:

<old>[Ai is a subtype of Bi if: ] Bi is schema-element(Bn), the expanded QName
of An equals the expanded QName of Bn, Ai is schema-element(An), and either the
expanded QName of An equals the expanded QName of Bn, or the element
declaration named An is in the substitution group of the element declaration
named Bn.</old>

(in which, incidentally, the first occurrence of <quote>the expanded QName of
An equals the expanded QName of Bn</quote> appears to be a copy/paste typo)

to

<new>[Ai is a subtype of Bi if: ] Bi is schema-element(Bn), Ai is
schema-element(An), and every element declaration that is an actual member of
the substitution group of An is also an actual member of the substitution group
of Bn</new>

with a note:

<note>Note that the fact that P is a member of the substitution group of Q does
not mean that every element declaration in the substitution group of P is also
in the substitution group of Q. For example, Q might block substitution of
elements whose type is derived by extension, while P does not.</note>

-- 
You are receiving this mail because:
You are the QA Contact for the bug.
Received on Friday, 12 October 2012 20:27:43 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Friday, 12 October 2012 20:27:43 GMT