Package net.jqwik.api.state

Schnittstelle Transformation<T extends @Nullable Object>

Typparameter:

T - The type of state to be transformed in a chain

Alle Superschnittstellen:

Function<Supplier<T>,Arbitrary<Transformer<T>>>

Funktionsschnittstelle:

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

@FunctionalInterface
@API(status=EXPERIMENTAL,
     since="1.7.0")
public interface Transformation<T extends @Nullable Object>
extends Function<Supplier<T>,Arbitrary<Transformer<T>>>

A transformation provides an arbitrary of transformers for values of type T in the context of chains. The provided arbitrary of transformers can depend on the previous state, which can be retrieved using the first supplier argument of the function. A transformation can also be restricted by a precondition, which must hold for the transformation to be applicable.

Siehe auch:

• Chain
• Transformer

Verschachtelte Klassen - Übersicht

Verschachtelte Klassen

Modifizierer und Typ	Schnittstelle	Beschreibung
static class	Transformation.Builder<T>

Feldübersicht

Felder

Modifizierer und Typ	Feld	Beschreibung
static final Predicate<?>	NO_PRECONDITION

Methodenübersicht

Modifizierer und Typ	Methode	Beschreibung
default Predicate<T>	precondition()	Override this method if the applicability of the provided transformers depends on the previous state
static <T extends @Nullable Object> Transformation.Builder<T>	when(Predicate<T> precondition)	Create a TransformerProvider with a precondition

Von Schnittstelle geerbte Methoden java.util.function.Function

andThen, apply, compose

Felddetails

NO_PRECONDITION

static final Predicate<?> NO_PRECONDITION

Methodendetails

when

static <T extends @Nullable Object>
Transformation.Builder<T> when(Predicate<T> precondition)

Create a TransformerProvider with a precondition

precondition

default Predicate<T> precondition()

Override this method if the applicability of the provided transformers depends on the previous state

Gibt zurück:

a predicate with input T