|
||||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |
Interface Summary | |
---|---|
Assertion | définition des exceptions dues aux violations d'assertion. |
Exception Summary | |
---|---|
Ensure | définition des exceptions dues aux violations de postconditions. |
Fail | Une assertion portant sur l'état final d'une méthode |
Invariant | définition des exceptions dues aux violations d'invariant. |
Require | définition des exceptions dues aux violations de préconditions. |
|
||||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |