Description Matt Heitz 2011-07-12 16:48:24 EDT

A validation check prevents an ExternalType from extending another ExternalType if they have different stereotypes.  We need to remove this check so our types can compile.  For example we have these two types:

externalType AnyText extends AnyValue type ClassType {isAbstract=yes}

externalType AnyString extends AnyText type ParameterizableType

And here's the error message:

IWN.VAL.3421.e 6/32 The type AnyText must be an ExternalType part whose subtype matches the subtype of AnyString.