> Le code instrument� va lever l'exception je suis d'accord avec toi mais est ce que
>tu utilises ensuite ce code instrument� en version de production ?
> Si oui, ok le r�sultat est le m�me bien qu'en terme de retour utilisateur, les
>messages de type assertion failed sont peu explicites mais bon, vu qu'il s'agit alors
>d'un bug c'est normal.
> Par contre quid d'une version non instrument�e. Dans ce cas, les v�rifications ne
>sont pas g�n�r�es, on a alors une version qui ne contr�le rien. Je trouve cela
>dangereux. La r�ponse est peut �tre comme tu sembles le sugg�rer dans ton message de
>ne jamais d�sactiver les contr�les des pr�/post conditions.
>
en fait bien entendu le code de production utilise est le code
instrumente!!!
en fait ceci suppose une pleine et entiere integration dans ton cycle de
production (via ANT justement)...
>
>
>
> Je suis d'accord avec toi que tu d�finis ces conditions plus t�t ce qui est mieux
>par contre je ne saisis pas la diff�rence au niveau de l'h�ritage, peux tu �tre plus
>pr�cis stp.
j'ai ete un peu rapide, donc je vais en remettre une couche:
en etant vachement original, imaginons un milieu banacaire avec des
comptes bancaires:
class Account{
public void debit(int montant)
}
tu peux ajouter une notion de precondition
avec un truc du genre
@pre solde-montant>decouvert_autorise
un compte particulier comme un compte d'entreprise devront obeir a ce
type de regles, tu le declares dans ta super classe et bingo!!!
autrement toutes tes classes filles devront se trimbaler des if (......)
plus clair ?
Jerome
PS:
si t'as d'autres questions n'hesites pas on est l� pour ca!!!
