Talk:Implicit class
Revision as of 00:03, 3 October 2007 by Colin-adams (Talk | contribs)
When you say downcast, presumably you mean an object test (as assignment attempt has been dropped from ECMA)?
So your second case is equivalent to saying that an object test for a STRING_EXTRA always succeeds if the actual object is a STRING.
Your example only makes use of the feature `count' from STRING, and so all that is actually needed is that the object concerned has a feature count: INTEGER.
So perhaps rather than inheriting from STRING, you provide a deferred feature definition, and the object test passes if the tested object posseses a feature that matches the name, signature an contract.
--Colin-adams 10:03, 3 October 2007 (CEST)
