com.io7m.jaffirm.core

Core types and functions.

Interface Summary
Interface	Description
ContractConditionType<T>	An individual predicate in a contract.
ContractDoubleConditionType	A `double` specialized version of the `ContractConditionType` type.
ContractIntConditionType	An `int` specialized version of the `ContractConditionType` type.
ContractLongConditionType	A `long` specialized version of the `ContractConditionType` type.

Class Summary
Class	Description
ContractCondition<T>	An individual predicate in a contract.
ContractCondition.Builder<T>	Builds instances of type `ContractCondition`.
ContractDoubleCondition	A `double` specialized version of the `ContractConditionType` type.
ContractDoubleCondition.Builder	Builds instances of type `ContractDoubleCondition`.
ContractIntCondition	An `int` specialized version of the `ContractConditionType` type.
ContractIntCondition.Builder	Builds instances of type `ContractIntCondition`.
ContractLongCondition	A `long` specialized version of the `ContractConditionType` type.
ContractLongCondition.Builder	Builds instances of type `ContractLongCondition`.
Contracts	Functions to create contracts and conditions.
Invariants	Functions to check invariants.
Postconditions	Functions to check postconditions.
Preconditions	Functions to check preconditions.

Exception Summary
Exception	Description
ContractException	One or more conditions have been violated.
InvariantViolationException	One or more invariants have been violated.
PostconditionViolationException	One or more postconditions have been violated.
PreconditionViolationException	One or more checkPreconditions have been violated.