W3C home > Mailing lists > Public > www-dom-ts@w3.org > January 2004

Re: L3 Core: Followup on TypeInfo.isDerivedFrom tests

From: Curt Arnold <carnold@houston.rr.com>
Date: Wed, 21 Jan 2004 10:25:42 -0600
To: www-dom-ts@w3.org
Message-Id: <74FA6D83-4C2E-11D8-9B3D-000393B97126@houston.rr.com>
One more tweak:

If

<complexType name="b">
       <extension base="a"/>
</complexType>

b.isDerivedFrom(otherType, METHOD_RESTRICTION) =
-     otherType == xsd:anySimpleType || otherType == xsd:anyType
+     otherType == xsd:anyType

b.isDerivedFrom(otherType, METHOD_UNION) =
       false

b.isDerivedFrom(otherType, METHOD_EXTENSION) =
-      otherType == a || a.isDerivedFrom(otherType, METHOD_EXTENSION)
+      otherType == a || a.isDerivedFrom(otherType, METHOD_EXTENSION) ||
+          a.isDerivedFrom(otherType, METHOD_RESTRICTION)


b.isDerivedFrom(otherType, METHOD_LIST)
       false
Received on Wednesday, 21 January 2004 11:26:29 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 20:34:06 UTC