All Classes and Interfaces

Interfaces

Class	Description
Invariants	Utility interface providing static checks for domain invariants.
Preconditions	Utility interface providing static precondition checks for method arguments.