Package net.jqwik.api.state

Interface Action.Dependent<S extends @Nullable Object>

All Superinterfaces:

Action<S>

Enclosing interface:

Action<S extends @Nullable Object>

Functional Interface:

This is a functional interface and can therefore be used as the assignment target for a lambda expression or method reference.

@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.

Nested Class Summary

Nested classes/interfaces inherited from interface 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>

Method Summary

Modifier and Type	Method	Description
Arbitrary<Transformer<S>>	transformer(S state)	Return an arbitrary for transformers that depends on the previous state.

Methods inherited from interface net.jqwik.api.state.Action

precondition

Method Details

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.

Parameters:

state - the current state

Returns:

an arbitrary of type Transformer.