Re: Question about catcalls

Daniel Tuser <[email protected]>
Newsgroups gmane.comp.lang.eiffel.gobo.devel
Message-ID <[email protected]>
Daniel Tuser wrote:
> Eric Bezault wrote:
>> 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.
>>
> My goal was to write test cases for DS_BILINEAR_TABLE and 
> DS_BILINEAR_SET. All the binary search tree variants could have used 
> them and maybe DS_HASH_[TABLE|SET] as well. But I had to stop because 
> of those CAT-calls. Should I write separate test cases for all the 
> variants or do you think it would be manageable to improve the 
> CAT-call detection?
>
I had a look at the classes that are involved in detecting the 
CAT-calls. From my point of view it is not worth the effort (at least 
for me), so I will write separate test cases.

-------------------------------------------------------------------------
This SF.net email is sponsored by: Microsoft
Defy all challenges. Microsoft(R) Visual Studio 2008.
http://clk.atdmt.com/MRT/go/vse0120000070mrt/direct/01/
lmpx.com only provides a reader for public news (NNTP) servers. It is not affiliated with the servers or forums shown here and is not responsible for the content of articles, which is written by their respective authors.