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 and Description
AffirmImmutableStyleType The immutables style count by the package.
ContractCondition Immutable implementation of ContractConditionType.
ContractCondition.Builder Builds instances of type ContractCondition.
ContractConditionType An individual predicate in a contract.
ContractDoubleCondition Immutable implementation of ContractDoubleConditionType.
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 Immutable implementation of ContractIntConditionType.
ContractIntCondition.Builder Builds instances of type ContractIntCondition.
ContractIntConditionType An int specialized version of the ContractConditionType type.
ContractLongCondition Immutable implementation of ContractLongConditionType.
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.