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