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

Packages that use ContractConditionType

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

Uses of ContractConditionType in com.io7m.jaffirm.core

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

Modifier and Type	Class	Description
class	ContractCondition<T>	An individual predicate in a contract.

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

Modifier and Type	Method	Description
static <T> T	Invariants.checkInvariant(T value, ContractConditionType<T> condition)	Evaluate the given predicate using value as input.
static <T> T	Invariants.checkInvariants(T value, ContractConditionType<T>... conditions)	Evaluate all of the given conditions using value as input.
static <T> T	Postconditions.checkPostcondition(T value, ContractConditionType<T> condition)	Evaluate the given predicate using value as input.
static <T> T	Postconditions.checkPostconditions(T value, ContractConditionType<T>... conditions)	Evaluate all of the given conditions using value as input.
static <T> T	Preconditions.checkPrecondition(T value, ContractConditionType<T> condition)	Evaluate the given predicate using value as input.
static <T> T	Preconditions.checkPreconditions(T value, ContractConditionType<T>... conditions)	Evaluate all of the given conditions using value as input.
static <T> ContractCondition<T>	ContractCondition.copyOf(ContractConditionType<T> instance)	Creates an immutable copy of a ContractConditionType value.
ContractCondition.Builder<T>	ContractCondition.Builder.from(ContractConditionType<T> instance)	Fill a builder with attribute values from the provided ContractConditionType instance.