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

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

Colin Paul Adams wrote:
>>>>>> "Eric" == Eric Bezault <er...@go...> writes:
> 
> 
>     Eric> I tried to find ways to rewrite the code to avoid the
>     Eric> CAT-call error messages, but could not find one yet (apart
>     Eric> from duplicating the code for each container).
> 
> A different approach might be for a burden-off-proof requirement.
> 
> Define an indexing term for a routine that declares no
> catcalls. Gelint would just skip those routines.
> 
> Should be acceptable for test cases.

A class that has no CAT-call today might have CAT-calls
tomorrow without even modifying this class or any of
its ancestors. So I think that marking a class as CAT-call
free is dangerous because the compiler will not tell you
when a new CAT-call is introduced.

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