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

Packages that use ContractLongConditionType

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

Uses of ContractLongConditionType in com.io7m.jaffirm.core

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

Modifier and Type	Class and Description
class	ContractLongCondition Immutable implementation of ContractLongConditionType.

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

Modifier and Type	Method and Description
static long	Invariants.checkInvariantL(long value, ContractLongConditionType condition) A long specialized version of Invariants.checkInvariant(Object, ContractConditionType).
static long	Invariants.checkInvariantsL(long value, ContractLongConditionType... conditions) A long specialized version of Invariants.checkInvariants(Object, ContractConditionType[])
static long	Postconditions.checkPostconditionL(long value, ContractLongConditionType condition) A long specialized version of Postconditions.checkPostcondition(Object, ContractConditionType).
static long	Postconditions.checkPostconditionsL(long value, ContractLongConditionType... conditions) A long specialized version of Postconditions.checkPostconditions(Object, ContractConditionType[])
static long	Preconditions.checkPreconditionL(long value, ContractLongConditionType condition) A long specialized version of Preconditions.checkPrecondition(Object, ContractConditionType).
static long	Preconditions.checkPreconditionsL(long value, ContractLongConditionType... conditions) A long specialized version of Preconditions.checkPreconditions(Object, ContractConditionType[])
static ContractLongCondition	ContractLongCondition.copyOf(ContractLongConditionType instance) Creates an immutable copy of a ContractLongConditionType value.
ContractLongCondition.Builder	ContractLongCondition.Builder.from(ContractLongConditionType instance) Fill a builder with attribute values from the provided ContractLongConditionType instance.