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 ;-).

Guillaume

Répondre à