Uses of Class com.io7m.jaffirm.core.PostconditionViolationException (com.io7m.jaffirm.documentation 3.0.0 API)

Packages that use PostconditionViolationException
Package Description

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

Uses of PostconditionViolationException in com.io7m.jaffirm.core

Methods in com.io7m.jaffirm.core that throw PostconditionViolationException
Modifier and Type	Method	Description
`static void`	Postconditions.`checkPostcondition(boolean condition, String message)`	A specialized version of `Postconditions.checkPostcondition(Object, boolean, Function)` that does not mention an input value.
`static void`	Postconditions.`checkPostcondition(boolean condition, Supplier<String> message)`	A specialized version of `Postconditions.checkPostcondition(Object, boolean, Function)` that does not mention an input value.
`static <T> T`	Postconditions.`checkPostcondition(T value, ContractConditionType<T> condition)`	Evaluate the given `predicate` using `value` as input.
`static double`	Postconditions.`checkPostconditionD(double value, ContractDoubleConditionType condition)`	A `double` specialized version of `Postconditions.checkPostcondition(Object, ContractConditionType)`.
`static int`	Postconditions.`checkPostconditionI(int value, ContractIntConditionType condition)`	An `int` specialized version of `Postconditions.checkPostcondition(Object, ContractConditionType)`.
`static long`	Postconditions.`checkPostconditionL(long value, ContractLongConditionType condition)`	A `long` specialized version of `Postconditions.checkPostcondition(Object, ContractConditionType)`.
`static <T> T`	Postconditions.`checkPostconditions(T value, ContractConditionType<T>... conditions)`	Evaluate all of the given `conditions` using `value` as input.
`static double`	Postconditions.`checkPostconditionsD(double value, ContractDoubleConditionType... conditions)`	A `double` specialized version of `Postconditions.checkPostconditions(Object, ContractConditionType[])`
`static int`	Postconditions.`checkPostconditionsI(int value, ContractIntConditionType... conditions)`	An `int` specialized version of `Postconditions.checkPostconditions(Object, ContractConditionType[])`
`static long`	Postconditions.`checkPostconditionsL(long value, ContractLongConditionType... conditions)`	A `long` specialized version of `Postconditions.checkPostconditions(Object, ContractConditionType[])`