New CAT call

Revision as of 11:11, 27 October 2006 by Konradm (Talk | contribs)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Introcution

The ECMA standard introduces a new solution to the CAT call problem. Covariant redefinition of a formal argument is only possible to an detatchable type: 

class 
   Y
feature
   a: B
   g 
      do
         a.f1
      end
end
 
class A
feature
   f (a: ANY) do end
 
class B
feature
   f (a: STRING) do end   -- not valid
class B
feature
   f (a: ?STRING) do end   -- valid
Retrieved from "https://dev.eiffel.com/index.php?title=New_CAT_call&oldid=5495"