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

Packages that use ContractDoubleConditionType

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

Uses of ContractDoubleConditionType in com.io7m.jaffirm.core

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

Modifier and Type	Class and Description
class	ContractDoubleCondition A double specialized version of the ContractConditionType type.

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

Modifier and Type	Method and Description
static double	Invariants.checkInvariantD(double value, ContractDoubleConditionType condition) A double specialized version of Invariants.checkInvariant(Object, ContractConditionType).
static double	Invariants.checkInvariantsD(double value, ContractDoubleConditionType... conditions) A double specialized version of Invariants.checkInvariants(Object, ContractConditionType[])
static double	Postconditions.checkPostconditionD(double value, ContractDoubleConditionType condition) A double specialized version of Postconditions.checkPostcondition(Object, ContractConditionType).
static double	Postconditions.checkPostconditionsD(double value, ContractDoubleConditionType... conditions) A double specialized version of Postconditions.checkPostconditions(Object, ContractConditionType[])
static double	Preconditions.checkPreconditionD(double value, ContractDoubleConditionType condition) A double specialized version of Preconditions.checkPrecondition(Object, ContractConditionType).
static double	Preconditions.checkPreconditionsD(double value, ContractDoubleConditionType... conditions) A double specialized version of Preconditions.checkPreconditions(Object, ContractConditionType[])
static ContractDoubleCondition	ContractDoubleCondition.copyOf(ContractDoubleConditionType instance) Creates an immutable copy of a ContractDoubleConditionType value.
ContractDoubleCondition.Builder	ContractDoubleCondition.Builder.from(ContractDoubleConditionType instance) Fill a builder with attribute values from the provided ContractDoubleConditionType instance.