Package jus.util.assertion

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.