Uses of Interface
com.github.tonivade.purefun.core.Precondition

Packages that use Precondition

Package	Description
com.github.tonivade.purefun.core

Uses of Precondition in com.github.tonivade.purefun.core

Methods in com.github.tonivade.purefun.core that return Precondition

Modifier and Type	Method	Description
default Precondition	Precondition.and(Precondition other)
static Precondition	Precondition.empty(String value)
static Precondition	Precondition.greaterThan(int value, int min)
static Precondition	Precondition.greaterThanOrEquals(int value, int min)
static Precondition	Precondition.lowerThan(int value, int max)
static Precondition	Precondition.lowerThanOrEquals(int value, int max)
default Precondition	Precondition.negate()
static Precondition	Precondition.negative(int value)
static Precondition	Precondition.nonEmpty(String value)
static Precondition	Precondition.nonNull(Object value)
static Precondition	Precondition.positive(int value)
static Precondition	Precondition.range(int value, int min, int max)

Methods in com.github.tonivade.purefun.core with parameters of type Precondition

Modifier and Type	Method	Description
default Precondition	Precondition.and(Precondition other)
static void	Precondition.check(Precondition precondition)
static void	Precondition.check(Precondition precondition, Producer<String> message)
static void	Precondition.check(Precondition precondition, String message)
static <X extends RuntimeException> void	Precondition.require(Precondition precondition, Producer<? extends X> exception)