|
|||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |
Interface Summary | |
Assertion | définition des exceptions dues aux violations d'assertion. |
Class Summary | |
AnyTaglet | |
AssertionTaglet | |
EnsureTaglet | |
FinalStateTaglet | |
InitialStateTaglet | |
InvariantTaglet | |
RequireTaglet | |
StateTaglet |
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 |