Uses of Class
com.io7m.jaffirm.core.PostconditionViolationException

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 and 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[])