New CAT call

The printable version is no longer supported and may have rendering errors. Please update your browser bookmarks and please use the default browser print function instead.

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 A
feature
   f (a: ANY) do end
end

class B
inherit A redefine f end
feature
   f (a: STRING) do end   -- not valid
end

class B
inherit A redefine f end
feature
   f (a: ?STRING) do end   -- valid
end

New CAT call

Introcution

Navigation menu

Search