Package net.jqwik.api.state

Schnittstelle Action.Dependent<S extends @Nullable Object>

Alle Superschnittstellen:

Action<S>

Umschließende Schnittstelle:

Action<S extends @Nullable Object>

Funktionsschnittstelle:

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

@FunctionalInterface
public static interface Action.Dependent<S extends @Nullable Object>
extends Action<S>

Implement this interface if you want to have the action's transforming behaviour depend on the previous state.

Implementing this interface instead of Action.Independent will make the chain of actions harder to shrink.

Verschachtelte Klassen - Übersicht

Von Schnittstelle geerbte verschachtelte Klassen/Schnittstellen net.jqwik.api.state.Action

Action.Dependent<S extends @Nullable Object>, Action.Independent<S extends @Nullable Object>, Action.JustMutate<S extends @Nullable Object>, Action.JustTransform<S extends @Nullable Object>

Methodenübersicht

Modifizierer und Typ	Methode	Beschreibung
Arbitrary<Transformer<S>>	transformer(S state)	Return an arbitrary for transformers that depends on the previous state.

Von Schnittstelle geerbte Methoden net.jqwik.api.state.Action

precondition

Methodendetails

transformer

Arbitrary<Transformer<S>> transformer(S state)

Return an arbitrary for transformers that depends on the previous state.

In addition to performing a state transformation the transformin function can also check or assert post-conditions and invariants that should hold when doing the transformation.

Parameter:

state - the current state

Gibt zurück:

an arbitrary of type Transformer.