Difference between revisions of "New CAT call"

m (→‎Introcution)
m (→‎Introcution)
Line 1: Line 1:
 
====Introcution====
 
====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:
+
The ECMA standard introduces a new solution to the CAT call problem. Covariant redefinition of a formal argument is only possible to a detatchable type:
  
 
{|border="0" cellpadding="2" cellspacing="0" align="center"
 
{|border="0" cellpadding="2" cellspacing="0" align="center"

Revision as of 11:12, 27 October 2006

Introcution

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

class A
feature
   f (a: ANY) do end
end
 
class B1
inherit A redefine f end
feature
   f (a: STRING) do end   -- not valid
end
 
class B2
inherit A redefine f end
feature
   f (a: ?STRING) do end   -- valid
end
Retrieved from "https://dev.eiffel.com/index.php?title=New_CAT_call&oldid=5499"