Uses of Package
com.io7m.jaffirm.core

Packages that use com.io7m.jaffirm.core

Package	Description
com.io7m.jaffirm.core	Core types and functions.

Classes in com.io7m.jaffirm.core used by com.io7m.jaffirm.core

Class	Description
ContractCondition	An individual predicate in a contract.
ContractCondition.Builder	Builds instances of type ContractCondition.
ContractConditionType	An individual predicate in a contract.
ContractDoubleCondition	A double specialized version of the ContractConditionType type.
ContractDoubleCondition.Builder	Builds instances of type ContractDoubleCondition.
ContractDoubleConditionType	A double specialized version of the ContractConditionType type.
ContractException	One or more conditions have been violated.
ContractIntCondition	An int specialized version of the ContractConditionType type.
ContractIntCondition.Builder	Builds instances of type ContractIntCondition.
ContractIntConditionType	An int specialized version of the ContractConditionType type.
ContractLongCondition	A long specialized version of the ContractConditionType type.
ContractLongCondition.Builder	Builds instances of type ContractLongCondition.
ContractLongConditionType	A long specialized version of the ContractConditionType type.
InvariantViolationException	One or more invariants have been violated.
PostconditionViolationException	One or more postconditions have been violated.
PreconditionViolationException	One or more checkPreconditions have been violated.