jus.util.assertion
Interfaces 
Assertion
Classes 
AnyTaglet
AssertionTaglet
EnsureTaglet
FinalStateTaglet
InitialStateTaglet
InvariantTaglet
RequireTaglet
StateTaglet
Exceptions 
Ensure
Fail
Invariant
Require