Package net.jqwik.api.state

Schnittstelle Action.Independent<S extends @Nullable Object>

Alle Superschnittstellen:

Action<S>

Alle bekannten Implementierungsklassen:

Action.JustMutate, Action.JustTransform

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.Independent<S extends @Nullable Object>
extends Action<S>

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

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

Siehe auch:

• Action.JustMutate
• Action.JustTransform

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()	Return an arbitrary for transformers that does not depend on the previous state.

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

precondition

Methodendetails

transformer

Arbitrary<Transformer<S>> transformer()

Return an arbitrary for transformers that does not depend on the previous state.

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

Gibt zurück:

an arbitrary of type Transformer.