Zone de Texte: Les contraintes que nous avons étudiées précédemment concernent les invariants de classe. Elles doivent toujours être vérifiées. À l’exécution, ces invariants seront vérifiés avant et après l’exécution d’une méthode

Il est également possible de spécifier des conditions à l’entrée de la méthode. À l’exécution, si ces conditions ne sont pas remplies, la méthode ne sera pas effectuée. Ces conditions sont appelées pré-conditions Zone de Texte: Les contraintes liées aux méthodes Zone de Texte: Les contraintes que nous avons étudiées précédemment concernent les invariants de classe. Elles doivent toujours être vérifiées. À l’exécution, ces invariants seront vérifiés avant et après l’exécution d’une méthode

Il est également possible de spécifier des conditions à l’entrée de la méthode. À l’exécution, si ces conditions ne sont pas remplies, la méthode ne sera pas effectuée. Ces conditions sont appelées pré-conditions Zone de Texte: Les contraintes liées aux méthodes

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