W3C home > Mailing lists > Public > www-dom@w3.org > July to September 2004

TypeInfo#isDerivedFrom

From: Michael Kay <mhk@mhk.me.uk>
Date: Mon, 9 Aug 2004 10:02:15 +0100
To: <www-dom@w3.org>
Message-ID: <E1Bu63M-0004r3-R6@frink.w3.org>

If type A is derived indirectly from type B by a sequence of steps that
includes both restriction and extension, what result should
A.isDerivedFrom(B, x) return where:

(a) x is 0
(b) x is DERIVATION_EXTENSION
(c) x is DERIVATION_RESTRICTION
(d) x is DERIVATION_EXTENSION | DERIVATION_RESTRICTION

The answer to (a) seems to be clearly documented as TRUE. I can't find an
explanation of what the other three cases should return.

Obviously the result of (b) and (c) should be the same, and the spec does
say that the result of (d) should be the result of b OR c, so it boils down
to the question, what does (b) return?

Michael Kay
Received on Monday, 9 August 2004 09:02:48 UTC

This archive was generated by hypermail 2.3.1 : Wednesday, 5 February 2014 07:19:02 UTC