|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use Fail | |
---|---|
jus.util.assertion |
Uses of Fail in jus.util.assertion |
---|
Subclasses of Fail in jus.util.assertion | |
---|---|
class |
Ensure
définition des exceptions dues aux violations de postconditions. |
class |
Invariant
définition des exceptions dues aux violations d'invariant. |
class |
Require
définition des exceptions dues aux violations de préconditions. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |