Package jus.util.assertion

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.