Uses of Interface com.io7m.jaffirm.core.ContractConditionType (com.io7m.jaffirm.documentation 3.0.1 API)

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.