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

Packages that use InvariantViolationException

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

Uses of InvariantViolationException in com.io7m.jaffirm.core

Methods in com.io7m.jaffirm.core that throw InvariantViolationException

Modifier and Type	Method and Description
static void	Invariants.checkInvariant(boolean condition, String message) A specialized version of Invariants.checkInvariant(Object, boolean, Function) that does not mention an input value.
static void	Invariants.checkInvariant(boolean condition, Supplier<String> message) A specialized version of Invariants.checkInvariant(Object, boolean, Function) that does not mention an input value.
static <T> T	Invariants.checkInvariant(T value, ContractConditionType<T> condition) Evaluate the given predicate using value as input.
static double	Invariants.checkInvariantD(double value, ContractDoubleConditionType condition) A double specialized version of Invariants.checkInvariant(Object, ContractConditionType).
static int	Invariants.checkInvariantI(int value, ContractIntConditionType condition) An int specialized version of Invariants.checkInvariant(Object, ContractConditionType).
static long	Invariants.checkInvariantL(long value, ContractLongConditionType condition) A long specialized version of Invariants.checkInvariant(Object, ContractConditionType).
static <T> T	Invariants.checkInvariants(T value, ContractConditionType<T>... conditions) Evaluate all of the given conditions using value as input.
static double	Invariants.checkInvariantsD(double value, ContractDoubleConditionType... conditions) A double specialized version of Invariants.checkInvariants(Object, ContractConditionType[])
static int	Invariants.checkInvariantsI(int value, ContractIntConditionType... conditions) An int specialized version of Invariants.checkInvariants(Object, ContractConditionType[])
static long	Invariants.checkInvariantsL(long value, ContractLongConditionType... conditions) A long specialized version of Invariants.checkInvariants(Object, ContractConditionType[])