@FunctionalInterface public static interface Action.Dependent<S> extends Action<S>
Implementing this interface instead of Action.Independent will make the chain of actions harder to shrink.
|Modifier and Type||Method and Description|
Return an arbitrary for transformers that depends on the previous state.
Arbitrary<Transformer<S>> transformer(S 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.
state- the current state