[gobo-eiffel-develop] Turning off CATCALL detection with gec

[Colin P. A. <co...@co...>]

According to the gec command-line help, there is an option
--catcall=no|error|warning with the default being warning.

Does this only apply to ace input, rather than xace? I seem to get
errors that ISE 6.7 passes (incorrectly), and results in a call-on-void
target at runtime. 

The (correct) error I get from gec is:

[VUAR-2] class COW (HERBIVORE,40,5): the 1-th actual argument (of type 'PLANT')
does not conform to the corresponding formal argument (of type 'GRASS')
of feature `eat'. 

This is using a test based on the incomplete example in the LCON section of the
Eiffel FAQ.

Are there some categories of CATCALL that gec always reports, regardless
of the setting?
-- 
Colin Adams
Preston Lancashire
()  ascii ribbon campaign - against html e-mail
/\  www.asciiribbon.org   - against proprietary attachments