net.jqwik.api

Interface Falsifier<T>

All Superinterfaces:

java.util.function.Predicate<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
public interface Falsifier<T>
extends java.util.function.Predicate<T>

Method Summary

Modifier and Type	Method and Description
default FalsificationResult<T>	falsify(Shrinkable<T> candidate)
default Falsifier<T>	withFilter(java.util.function.Predicate<T> filter)
default Falsifier<T>	withPostFilter(java.util.function.Predicate<T> filter)

Methods inherited from interface java.util.function.Predicate

and, isEqual, negate, or, test

Method Detail

withFilter

default Falsifier<T> withFilter(java.util.function.Predicate<T> filter)

withPostFilter

default Falsifier<T> withPostFilter(java.util.function.Predicate<T> filter)

falsify

default FalsificationResult<T> falsify(Shrinkable<T> candidate)