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 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 6 April 2009 12:58:49 GMT