Guillaume Desnoix wrote:
>
> Salut,
>
> Jerome Moliere:
>
>> en fait bien entendu le code de production utilise est le code
>> instrumente!!!
>
>
> Pas d'accord ;-)
> Le code instrumente n'est necessaire qu'en phase de tests. Lorsque tous
> les tests ont ete passes avec succes, on peut supprimer les controles
> puisque tous les contrats sont respectes. La version de production est
> donc la version minimale, cad non instrumente.
>
> Inversement, il ne faut pas utiliser les contrats pour gerer les
> exceptions runtime. Pour celles-ci il faut utiliser une gestion
> classique (cf Eiffel ;-).
oula!!!!
justement les assertions servent aussi a gerer des cas exceptionnels, cf
les milles tonnes d'O2 H2 betement gachees ou les problemes chez
airbus!!! contrat viole, implique sortie du programme et non continuer
n'importe comment!!!
Jerome
