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