Du coup, la limite entre assertion et test m�tier devient t�nue je trouve ...
On Tue, 5 Feb 2002 09:02:14 -0800
"Nicolas Sallembien" <[EMAIL PROTECTED]> wrote:
> Je tendrais plutot vers la solution de Guillaume, en effet, l'exemple
> propose ici est je pense un exemple de ce que je ne ferais pas en
> programmation par contrat. Tu employes une precondition pour gerer un cas
> que ton application devrait gerer elle meme dans ta logique, et il ne
> devrait pas y avoir d'assertion.
>
> Si l'utilisateur de ton application bancaire essaye de faire un debit sur
> son compte alors qu'il est au dessus du decouvert autorise, alors il ne
> devrait pas y avoir d'assertion, mais un message lui expliquant le probleme.
>
>
> > 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
>
>
>
______________________________________________________________________________
ifrance.com, l'email gratuit le plus complet de l'Internet !
vos emails depuis un navigateur, en POP3, sur Minitel, sur le WAP...
http://www.ifrance.com/_reloc/email.emailif
