Package net.jqwik.api

Schnittstelle Falsifier<T extends @Nullable Object>

Typparameter:

T - The type of

Funktionsschnittstelle:

Dies ist eine funktionale Schnittstelle, die somit als Zuweisungsziel für einen Lambdaausdruck oder eine Methodenreferenz verwendet werden kann.

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

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.

Methodenübersicht

Modifizierer und Typ	Methode	Beschreibung
TryExecutionResult	execute(T t)
default Falsifier<T>	withFilter(Predicate<? super T> filter)

Methodendetails

execute

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

withFilter

@API(status=INTERNAL)
default Falsifier<T> withFilter(Predicate<? super T> filter)