DefaultActionSequenceArbitrary (engine 1.3.9 API)

java.lang.Object
- net.jqwik.engine.properties.arbitraries.AbstractArbitraryBase
- - net.jqwik.engine.properties.stateful.DefaultActionSequenceArbitrary<M>

All Implemented Interfaces:

java.lang.Cloneable, net.jqwik.api.arbitraries.SizableArbitrary<net.jqwik.api.stateful.ActionSequence<M>>, net.jqwik.api.Arbitrary<net.jqwik.api.stateful.ActionSequence<M>>, net.jqwik.api.stateful.ActionSequenceArbitrary<M>
```
public class DefaultActionSequenceArbitrary<M>
extends AbstractArbitraryBase
implements net.jqwik.api.stateful.ActionSequenceArbitrary<M>
```

Nested Class Summary
- Nested classes/interfaces inherited from interface net.jqwik.api.Arbitrary
  net.jqwik.api.Arbitrary.ArbitraryFacade

Constructor Summary

Constructors
Constructor Description

DefaultActionSequenceArbitrary(net.jqwik.api.Arbitrary<? extends net.jqwik.api.stateful.Action<M>> actionArbitrary)

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`net.jqwik.api.EdgeCases<net.jqwik.api.stateful.ActionSequence<M>>`	`edgeCases()`
`net.jqwik.api.RandomGenerator<net.jqwik.api.stateful.ActionSequence<M>>`	`generator(int genSize)`
`net.jqwik.api.stateful.ActionSequenceArbitrary<M>`	`ofMaxSize(int maxSize)`
`net.jqwik.api.stateful.ActionSequenceArbitrary<M>`	`ofMinSize(int minSize)`

Methods inherited from class net.jqwik.engine.properties.arbitraries.AbstractArbitraryBase
typedClone

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface net.jqwik.api.stateful.ActionSequenceArbitrary
ofSize

Methods inherited from interface net.jqwik.api.Arbitrary
allValues, array, asGeneric, collect, dontShrink, edgeCases, exhaustive, exhaustive, filter, fixGenSize, flatMap, forEachValue, ignoreException, injectDuplicates, injectNull, isUnique, iterator, list, map, optional, sample, sampleStream, set, stream, tuple1, tuple2, tuple3, tuple4, tuple5, unique

- Constructor Detail
  - DefaultActionSequenceArbitrary
```
public DefaultActionSequenceArbitrary(net.jqwik.api.Arbitrary<? extends net.jqwik.api.stateful.Action<M>> actionArbitrary)
```
- Method Detail
  - ofMinSize
```
public net.jqwik.api.stateful.ActionSequenceArbitrary<M> ofMinSize(int minSize)
```
    Specified by:
    
    ofMinSize in interface net.jqwik.api.stateful.ActionSequenceArbitrary<M>
    
    Specified by:
    
    ofMinSize in interface net.jqwik.api.arbitraries.SizableArbitrary<M>
  - ofMaxSize
```
public net.jqwik.api.stateful.ActionSequenceArbitrary<M> ofMaxSize(int maxSize)
```
    Specified by:
    
    ofMaxSize in interface net.jqwik.api.stateful.ActionSequenceArbitrary<M>
    
    Specified by:
    
    ofMaxSize in interface net.jqwik.api.arbitraries.SizableArbitrary<M>
  - generator
```
public net.jqwik.api.RandomGenerator<net.jqwik.api.stateful.ActionSequence<M>> generator(int genSize)
```
    Specified by:
    
    generator in interface net.jqwik.api.Arbitrary<M>
  - edgeCases
```
public net.jqwik.api.EdgeCases<net.jqwik.api.stateful.ActionSequence<M>> edgeCases()
```
    Specified by:
    
    edgeCases in interface net.jqwik.api.Arbitrary<M>