Package net.jqwik.engine.properties.state

Class DefaultActionChainArbitrary<T>

java.lang.Object

net.jqwik.api.arbitraries.ArbitraryDecorator<net.jqwik.api.state.ActionChain<T>>

net.jqwik.engine.properties.state.DefaultActionChainArbitrary<T>

All Implemented Interfaces:

Cloneable, net.jqwik.api.Arbitrary<net.jqwik.api.state.ActionChain<T>>, net.jqwik.api.state.ActionChainArbitrary<T>

public class DefaultActionChainArbitrary<T>
extends net.jqwik.api.arbitraries.ArbitraryDecorator<net.jqwik.api.state.ActionChain<T>>
implements net.jqwik.api.state.ActionChainArbitrary<T>

Nested Class Summary

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

net.jqwik.api.Arbitrary.ArbitraryFacade

Constructor Summary

Constructors

Constructor	Description
DefaultActionChainArbitrary(Supplier<? extends T> initialSupplier)

Method Summary

Modifier and Type	Method	Description
protected net.jqwik.api.Arbitrary<net.jqwik.api.state.ActionChain<T>>	arbitrary()
net.jqwik.api.state.ActionChainArbitrary<T>	improveShrinkingWith(Supplier<net.jqwik.api.state.ChangeDetector<T>> changeDetectorSupplier)
boolean	isGeneratorMemoizable()
net.jqwik.api.state.ActionChainArbitrary<T>	withAction(int weight, net.jqwik.api.state.Action<T> action)
net.jqwik.api.state.ActionChainArbitrary<T>	withMaxTransformations(int maxSize)

Methods inherited from class net.jqwik.api.arbitraries.ArbitraryDecorator

edgeCases, exhaustive, generator, generatorWithEmbeddedEdgeCases, toString, typedClone

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Methods inherited from interface net.jqwik.api.state.ActionChainArbitrary

addAction, addAction, infinite, withAction

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

Constructor Details

DefaultActionChainArbitrary

public DefaultActionChainArbitrary(Supplier<? extends T> initialSupplier)

Method Details

withAction

public net.jqwik.api.state.ActionChainArbitrary<T> withAction(int weight,
 net.jqwik.api.state.Action<T> action)

Specified by:

withAction in interface net.jqwik.api.state.ActionChainArbitrary<T>

withMaxTransformations

public net.jqwik.api.state.ActionChainArbitrary<T> withMaxTransformations(int maxSize)

Specified by:

withMaxTransformations in interface net.jqwik.api.state.ActionChainArbitrary<T>

improveShrinkingWith

public net.jqwik.api.state.ActionChainArbitrary<T> improveShrinkingWith(Supplier<net.jqwik.api.state.ChangeDetector<T>> changeDetectorSupplier)

Specified by:

improveShrinkingWith in interface net.jqwik.api.state.ActionChainArbitrary<T>

arbitrary

protected net.jqwik.api.Arbitrary<net.jqwik.api.state.ActionChain<T>> arbitrary()

Specified by:

arbitrary in class net.jqwik.api.arbitraries.ArbitraryDecorator<net.jqwik.api.state.ActionChain<T>>

isGeneratorMemoizable

public boolean isGeneratorMemoizable()

Specified by:

isGeneratorMemoizable in interface net.jqwik.api.Arbitrary<T>

Overrides:

isGeneratorMemoizable in class net.jqwik.api.arbitraries.ArbitraryDecorator<net.jqwik.api.state.ActionChain<T>>