net.jqwik.api.stateful

Interface ActionSequence<M>

Type Parameters:

M - The type of the model

public interface ActionSequence<M>

A sequence of Actions that can be run with a model of type M

Nested Class Summary

Nested Classes

Modifier and Type	Interface and Description
static class	ActionSequence.RunState

Method Summary

Modifier and Type	Method and Description
M	finalModel()
M	run(M model)
java.util.List<Action<M>>	runActions()
ActionSequence.RunState	runState()
ActionSequence<M>	withInvariant(Invariant<M> invariant)

Method Detail

runActions

java.util.List<Action<M>> runActions()

run

M run(M model)

withInvariant

ActionSequence<M> withInvariant(Invariant<M> invariant)

finalModel

M finalModel()

runState

ActionSequence.RunState runState()