net.jqwik.api

Interface Falsifier<T>

Functional Interface:

This is a functional interface and can therefore be used as the assignment target for a lambda expression or method reference.

@FunctionalInterface
 @API(status=STABLE,
     since="1.0")
public interface Falsifier<T>

Method Summary

Modifier and Type	Method and Description
TryExecutionResult	execute(T t)
default FalsificationResult<T>	falsify(Shrinkable<T> candidate)
default <U> Falsifier<U>	map(java.util.function.Function<U,T> mapper)
default Falsifier<T>	withFilter(java.util.function.Predicate<T> filter)
default Falsifier<T>	withPostFilter(java.util.function.Predicate<T> filter)

Method Detail

execute

@API(status=INTERNAL)
TryExecutionResult execute(T t)

falsify

@API(status=INTERNAL)
default FalsificationResult<T> falsify(Shrinkable<T> candidate)

withFilter

@API(status=INTERNAL)
default Falsifier<T> withFilter(java.util.function.Predicate<T> filter)

withPostFilter

@API(status=INTERNAL)
default Falsifier<T> withPostFilter(java.util.function.Predicate<T> filter)

map

@API(status=INTERNAL)
default <U> Falsifier<U> map(java.util.function.Function<U,T> mapper)