Module utility.invariant

Package uk.co.jasonmarston.kiunzi.utility.invariant

package uk.co.jasonmarston.kiunzi.utility.invariant

Validation-based invariant checking, Invariants for null-state guards, and Preconditions for argument preconditions.

Interfaces

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