net.jqwik.api.stateful

Interface Action<M>

Type Parameters:

M -

public interface Action<M>

An action class represents a state change that can be preformed on a model M. At runtime the execution of an action is regulated by a precondition.

Method Summary

Modifier and Type	Method and Description
default boolean	precondition(M model) If this method returns false, the action will not be performed.
M	run(M model) Perform an action on model M and return the same model (if it has state) or a new one representing the new state.

Method Detail

precondition

default boolean precondition(M model)

If this method returns false, the action will not be performed.

Parameters:

model -

Returns:

run

M run(M model)

Perform an action on model M and return the same model (if it has state) or a new one representing the new state.

Parameters:

model -

Returns: