net.jqwik.api.state

Class Action.JustMutate<S>

java.lang.Object

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

All Implemented Interfaces:

Action<S>, Action.Independent<S>

Enclosing interface:

Action<S>

public abstract static class Action.JustMutate<S>
extends java.lang.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.

Nested Class Summary

Nested classes/interfaces inherited from interface net.jqwik.api.state.Action

Action.Dependent<S>, Action.Independent<S>, Action.JustMutate<S>, Action.JustTransform<S>

Constructor Summary

Constructors

Constructor and Description
JustMutate()

Method Summary

Modifier and Type	Method and Description
java.lang.String	description()
abstract void	mutate(S state)
Arbitrary<Transformer<S>>	transformer() Return an arbitrary for transformers that does not depend on the previous state.

Methods inherited from class java.lang.Object

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

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

builder, just, just, precondition, when

Constructor Detail

JustMutate

public JustMutate()

Method Detail

transformer

public Arbitrary<Transformer<S>> transformer()

Description copied from interface: 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.

Specified by:

transformer in interface Action.Independent<S>

Returns:

an arbitrary of type Transformer.

mutate

public abstract void mutate(S state)

description

public java.lang.String description()