net.jqwik.api

Interface Falsifier<T>

Type Parameters:

T - The type of

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>

This interface is no longer used anywhere in jqwik's public API and could therefore be deprecated and moved to engine implementation. But since it's declared to be stable it won't go away before version 2.0.

Method Summary

Modifier and Type	Method and Description
TryExecutionResult	execute(T t)
default Falsifier<T>	withFilter(java.util.function.Predicate<T> filter)

Method Detail

execute

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

withFilter

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