Package net.jqwik.api.state

Interface ActionChainArbitrary<S>

All Superinterfaces:

Arbitrary<ActionChain<S>>

@API(status=EXPERIMENTAL,
     since="1.7.0")
public interface ActionChainArbitrary<S>
extends Arbitrary<ActionChain<S>>

Nested Class Summary

Nested classes/interfaces inherited from interface net.jqwik.api.Arbitrary

Arbitrary.ArbitraryFacade

Method Summary

Modifier and Type	Method	Description
ActionChainArbitrary<S>	addAction(int weight, Action<S> action)	Add an action with a given weight.
default ActionChainArbitrary<S>	addAction(Action<S> action)	Add an action with default weight 1.
ActionChainArbitrary<S>	improveShrinkingWith(java.util.function.Supplier<ChangeDetector<S>> detectorSupplier)	Set supplier for the type specific ChangeDetector which can make shrinking of action chains more effective.
default ActionChainArbitrary<S>	infinite()	Create a potentially infinite chain.
ActionChainArbitrary<S>	withMaxTransformations(int maxSize)	Set the intended number of transformations of generated chains.

Methods inherited from interface net.jqwik.api.Arbitrary

allValues, array, asGeneric, collect, dontShrink, edgeCases, edgeCases, edgeCases, exhaustive, exhaustive, filter, filter, fixGenSize, flatMap, forEachValue, generator, generator, generatorWithEmbeddedEdgeCases, ignoreException, injectDuplicates, injectNull, isGeneratorMemoizable, iterator, list, map, optional, optional, sample, sampleStream, set, stream, tuple1, tuple2, tuple3, tuple4, tuple5, withoutEdgeCases

Method Detail

addAction

default ActionChainArbitrary<S> addAction(Action<S> action)

Add an action with default weight 1.

Parameters:

action - Instance of Action.Dependent or Action.Independent

Returns:

new arbitrary instance

addAction

ActionChainArbitrary<S> addAction(int weight,
                                  Action<S> action)

Add an action with a given weight.

Parameters:

weight - Determines the relative probability of an action to be chosen.

action - Instance of Action.Dependent or Action.Independent

Returns:

new arbitrary instance

withMaxTransformations

ActionChainArbitrary<S> withMaxTransformations(int maxSize)

Set the intended number of transformations of generated chains.

Setting maxTransformations to -1 creates a potentially infinite chain. Such a chain will only end when a Transformer.endOfChain() is applied.

infinite

default ActionChainArbitrary<S> infinite()

Create a potentially infinite chain. Such a chain will only end when a Transformer.endOfChain() is applied.

improveShrinkingWith

ActionChainArbitrary<S> improveShrinkingWith(java.util.function.Supplier<ChangeDetector<S>> detectorSupplier)

Set supplier for the type specific ChangeDetector which can make shrinking of action chains more effective.

Parameters:

detectorSupplier - A function to create a new ChangeDetector instance.