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
 @API(status=STABLE,
     since="1.0")
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

@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)

falsify

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