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: Tue, 16 Oct 2012 15:45:16 +0000
To: public-qt-comments@w3.org
Message-ID: <bug-19425-523-c7UNp4LNGA@http.www.w3.org/Bugs/Public/>
https://www.w3.org/Bugs/Public/show_bug.cgi?id=19425

--- Comment #4 from Tim Mills <tim@cbcl.co.uk> ---
(In reply to comment #3)

> I don't think that this is really any different from being able to decide
> whether or not an element E may or may not be passed to a function expecting
> schema-element(H). If you freeze the SG membership at compile time, you can
> type-check this statically; if you don't, then you can't. The spec allows
> both options.

Using the MS .NET XmlSchema classes, it is relatively easy to determine the
membership of an element at runtime (even in the face of post-compilation
changes to the schema).  Determining whether scheme-element(X) is a subtype of
scheme-element(Y) is somewhat more difficult.

-- 
You are receiving this mail because:
You are the QA Contact for the bug.
Received on Tuesday, 16 October 2012 15:45:18 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Tuesday, 16 October 2012 15:45:18 GMT