Package net.jqwik.api.stateful

Interface ActionSequenceArbitrary<M>

All Superinterfaces:

Arbitrary<ActionSequence<M>>

@API(status=MAINTAINED,
     since="1.0")
public interface ActionSequenceArbitrary<M>
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 Detail

ofSize

ActionSequenceArbitrary<M> ofSize(int size)

Set the intended number of steps of this sequence.