[gobo-eiffel-develop] Does Gexace support 'supplier_precondition' setting ?

[CRISMER Paul-G. <Pau...@gr...>]

Hello,

EiffelStudio provides a 'supplier_precondition' option.

Is Gexace capable of generating such a 'supplier_precondition' option?

Thanks for the support,

Best regards,

Paul G. Crismer

***** Disclaimer *****
http://www.groupes.be/1_mail-disclaimer.htm