Module com.io7m.jaffirm.core

Package 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.