Package net.jqwik.api.state
@NullMarked
package net.jqwik.api.state
-
ClassDescriptionAn action class represents a state transformation that can be performed on an object of type
S
.Action.Dependent<S extends @Nullable Object>Implement this interface if you want to have the action's transforming behaviour depend on the previous state.Action.Independent<S extends @Nullable Object>Implement this interface if you want to have the action's transforming behaviour not to depend on previous state.Action.JustMutate<S extends @Nullable Object>Subclass if you want to implement an independent action that simply mutates the given state.Action.JustTransform<S extends @Nullable Object>Subclass if you want to implement an independent action that simply transforms the given state.ActionBuilder<S extends @Nullable Object>An ActionBuilder is used to create simple Action objects.ActionChain<S extends @Nullable Object>A chain of transforming Actions that can be run for values of typeS
.ActionChainArbitrary<S extends @Nullable Object>A chain represents a series of states of typeT
in which the previous state is somehow transformed into the next state.ChainArbitrary<T extends @Nullable Object>ChangeDetector<T extends @Nullable Object>A change detector is used to determine if a stateful object has changed after the application of a transformer.Transformation<T extends @Nullable Object>A transformation provides an arbitrary of transformers for values of typeT
in the context of chains.Transformer<T extends @Nullable Object>A transformer is used to transform a state of typeT
into another value of this type.