Re: [gobo-eiffel-develop] Question about catcalls

[Eric B. <er...@go...>]

Daniel Tuser wrote:
> In my opinion the code in catcall_problem.e contains no catcall. The 
> following lines show the output of gec. I understand the problem of gec, 
> but it will never happen. Is that a catcall according to the ECMA 
> specification?

The ECMA specification does not say much about CAT-calls.
In gec, there can be false alarms like these, but the
advantage is that when there is no error reported we know
for sure that there will be no CAT-calls at runtime. It
is usually possible to rewrite the code to avoid such
CAT-calls messages. At least it was possible to do so
for the code currently in the Gobo package.

-- 
Eric Bezault
mailto:er...@go...
http://www.gobosoft.com