net.jqwik.api.stateful

Interface ActionSequenceArbitrary<M>

All Superinterfaces:

Arbitrary<ActionSequence<M>>, SizableArbitrary<ActionSequence<M>>

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

Nested Class Summary

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

Arbitrary.ArbitraryFacade

Method Summary

Modifier and Type	Method and Description
ActionSequenceArbitrary<M>	ofMaxSize(int maxSize) Set upper size boundary maxSize (included).
ActionSequenceArbitrary<M>	ofMinSize(int minSize) Set lower size boundary minSize (included).
default ActionSequenceArbitrary<M>	ofSize(int size) Fix the size to size.

Methods inherited from interface net.jqwik.api.Arbitrary

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

Method Detail

ofMinSize

ActionSequenceArbitrary<M> ofMinSize(int minSize)

Description copied from interface: SizableArbitrary

Set lower size boundary minSize (included).

Specified by:

ofMinSize in interface SizableArbitrary<ActionSequence<M>>

ofMaxSize

ActionSequenceArbitrary<M> ofMaxSize(int maxSize)

Description copied from interface: SizableArbitrary

Set upper size boundary maxSize (included).

Specified by:

ofMaxSize in interface SizableArbitrary<ActionSequence<M>>

ofSize

default ActionSequenceArbitrary<M> ofSize(int size)

Description copied from interface: SizableArbitrary

Fix the size to size.

Specified by:

ofSize in interface SizableArbitrary<ActionSequence<M>>