Package net.jqwik.api.state

Class ActionBuilder<S>

  • Type Parameters:
    S - Type of the object to transform through an action
    @API(status=EXPERIMENTAL,
     since="1.7.0")
public class ActionBuilder<S>
extends java.lang.Object
    An ActionBuilder is used to create simple Action objects. Actions are simple if their state transformation does not depend on the state itself. However, even simple actions can have preconditions.

    Alternatively you can subclass Action.JustTransform or Action.JustMutate.

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