Package net.jqwik.api.state

Klasse Action.JustMutate<S extends @Nullable Object>

java.lang.Object

net.jqwik.api.state.Action.JustMutate<S>

Alle implementierten Schnittstellen:

Action<S>, Action.Independent<S>

Umschließende Schnittstelle:

Action<S extends @Nullable Object>

public abstract static class Action.JustMutate<S extends @Nullable Object>
extends Object
implements Action.Independent<S>

Subclass if you want to implement an independent action that simply mutates the given state.

If you rather want to declaratively specify an action start with Action.just(Transformer), Action.when(Predicate) or Action.builder().

For actions whose state transformation depends on the state, you have to implement either Action.Dependent or Action.Independent.

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>

Konstruktorübersicht

Konstruktoren

Konstruktor	Beschreibung
JustMutate()

Methodenübersicht

Modifizierer und Typ	Methode	Beschreibung
String	description()
abstract void	mutate(S state)
Arbitrary<Transformer<S>>	transformer()	Return an arbitrary for transformers that does not depend on the previous state.

Von Klasse geerbte Methoden java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

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

precondition

Konstruktordetails

JustMutate

public JustMutate()

Methodendetails

transformer

public Arbitrary<Transformer<S>> transformer()

Beschreibung aus Schnittstelle kopiert: Action.Independent

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.

Angegeben von:

transformer in Schnittstelle Action.Independent<S extends @Nullable Object>

Gibt zurück:

an arbitrary of type Transformer.

mutate

public abstract void mutate(S state)

description

public String description()