Zone de Texte: Les contraintes liées aux méthodes Zone de Texte: Context Compte::retrait(montant)
pre: montant < = self.solde+self.decouvert_autorise
post: self.solde = self.solde@pre – montant
&;  @pre » signifie la valeur de l’expression avant l’exécution de la méthode Zone de Texte: OCL permet de définir les pré- et les post-conditions de la façon suivante :

Soit une méthode &; retrait » d’un compte bancaire (classe &; Compte ») :
Zone de Texte: Les contraintes liées aux méthodes Zone de Texte: Context Compte::retrait(montant)
pre: montant < = self.solde+self.decouvert_autorise
post: self.solde = self.solde@pre – montant
&;  @pre » signifie la valeur de l’expression avant l’exécution de la méthode Zone de Texte: OCL permet de définir les pré- et les post-conditions de la façon suivante :

Soit une méthode &; retrait » d’un compte bancaire (classe &; Compte ») :

1  2  3  4  5  6  7  8  9  10  11  12  13  14  15  16  17  18  19  20  21  22  23  24  25  26  27  28  29  30  31  32  33  34  35  36  37  38  39  40  41  42  43  44  45  46  47  48  49  50  51  52  53  54  55  56  57  58  59  60  61  62  63  64  65  66  67  68  69  70  71  72  73  74  75