Package net.jqwik.api.stateful

Interface ActionSequenceArbitrary<M extends @Nullable Object>

All Superinterfaces:

Arbitrary<ActionSequence<M>>

@API(status=MAINTAINED,
     since="1.0")
public interface ActionSequenceArbitrary<M extends @Nullable Object>
extends Arbitrary<ActionSequence<M>>

Nested Class Summary

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

Arbitrary.ArbitraryFacade

Method Summary

Modifier and Type	Method	Description
ActionSequenceArbitrary<M>	ofSize(int size)	Set the intended number of steps of this sequence.

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, ignoreException, ignoreExceptions, ignoreExceptions, injectDuplicates, injectNull, isGeneratorMemoizable, iterator, list, map, optional, optional, sample, sampleStream, set, stream, tuple1, tuple2, tuple3, tuple4, tuple5, withoutEdgeCases

Method Details

ofSize

ActionSequenceArbitrary<M> ofSize(int size)

Set the intended number of steps of this sequence.