Uses of Interface
com.github.tonivade.purefun.core.Precondition
Packages that use Precondition
-
Uses of Precondition in com.github.tonivade.purefun.core
Methods in com.github.tonivade.purefun.core that return PreconditionModifier and TypeMethodDescriptiondefault PreconditionPrecondition.and(Precondition other) static Preconditionstatic PreconditionPrecondition.greaterThan(int value, int min) static PreconditionPrecondition.greaterThanOrEquals(int value, int min) static PreconditionPrecondition.lowerThan(int value, int max) static PreconditionPrecondition.lowerThanOrEquals(int value, int max) default PreconditionPrecondition.negate()static PreconditionPrecondition.negative(int value) static Preconditionstatic Preconditionstatic PreconditionPrecondition.positive(int value) static PreconditionPrecondition.range(int value, int min, int max) Methods in com.github.tonivade.purefun.core with parameters of type PreconditionModifier and TypeMethodDescriptiondefault PreconditionPrecondition.and(Precondition other) static voidPrecondition.check(Precondition precondition) static voidPrecondition.check(Precondition precondition, Producer<String> message) static voidPrecondition.check(Precondition precondition, String message) static <X extends RuntimeException>
voidPrecondition.require(Precondition precondition, Producer<? extends X> exception)