Uses of Interface
com.io7m.jaffirm.core.ContractIntConditionType

Packages that use ContractIntConditionType

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

Uses of ContractIntConditionType in com.io7m.jaffirm.core

Classes in com.io7m.jaffirm.core that implement ContractIntConditionType

Modifier and Type	Class and Description
class	ContractIntCondition An int specialized version of the ContractConditionType type.

Methods in com.io7m.jaffirm.core with parameters of type ContractIntConditionType

Modifier and Type	Method and Description
static int	Invariants.checkInvariantI(int value, ContractIntConditionType condition) An int specialized version of Invariants.checkInvariant(Object, ContractConditionType).
static int	Invariants.checkInvariantsI(int value, ContractIntConditionType... conditions) An int specialized version of Invariants.checkInvariants(Object, ContractConditionType[])
static int	Postconditions.checkPostconditionI(int value, ContractIntConditionType condition) An int specialized version of Postconditions.checkPostcondition(Object, ContractConditionType).
static int	Postconditions.checkPostconditionsI(int value, ContractIntConditionType... conditions) An int specialized version of Postconditions.checkPostconditions(Object, ContractConditionType[])
static int	Preconditions.checkPreconditionI(int value, ContractIntConditionType condition) An int specialized version of Preconditions.checkPrecondition(Object, ContractConditionType).
static int	Preconditions.checkPreconditionsI(int value, ContractIntConditionType... conditions) An int specialized version of Preconditions.checkPreconditions(Object, ContractConditionType[])
static ContractIntCondition	ContractIntCondition.copyOf(ContractIntConditionType instance) Creates an immutable copy of a ContractIntConditionType value.
ContractIntCondition.Builder	ContractIntCondition.Builder.from(ContractIntConditionType instance) Fill a builder with attribute values from the provided ContractIntConditionType instance.