Package net.jqwik.engine.properties.arbitraries

Class FromGeneratorsArbitrary<T>

java.lang.Object

net.jqwik.engine.properties.arbitraries.FromGeneratorsArbitrary<T>

All Implemented Interfaces:

net.jqwik.api.Arbitrary<T>

Direct Known Subclasses:

ChooseCharacterArbitrary, ChooseValueArbitrary, CreateArbitrary, FrequencyArbitrary, ShuffleArbitrary

public class FromGeneratorsArbitrary<T>
extends Object
implements net.jqwik.api.Arbitrary<T>

Nested Class Summary

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

net.jqwik.api.Arbitrary.ArbitraryFacade

Constructor Summary

Constructors

Constructor	Description
FromGeneratorsArbitrary(net.jqwik.api.RandomGenerator<T> randomGenerator, Function<Long,Optional<net.jqwik.api.ExhaustiveGenerator<T>>> exhaustiveGeneratorFunction, Function<Integer,net.jqwik.api.EdgeCases<T>> edgeCasesSupplier)

Method Summary

Modifier and Type	Method	Description
net.jqwik.api.EdgeCases<T>	edgeCases(int maxEdgeCases)
Optional<net.jqwik.api.ExhaustiveGenerator<T>>	exhaustive(long maxNumberOfSamples)
net.jqwik.api.RandomGenerator<T>	generator(int tries)

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.Arbitrary

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

Constructor Details

FromGeneratorsArbitrary

public FromGeneratorsArbitrary(net.jqwik.api.RandomGenerator<T> randomGenerator,
 Function<Long,Optional<net.jqwik.api.ExhaustiveGenerator<T>>> exhaustiveGeneratorFunction,
 Function<Integer,net.jqwik.api.EdgeCases<T>> edgeCasesSupplier)

Method Details

generator

public net.jqwik.api.RandomGenerator<T> generator(int tries)

Specified by:

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

exhaustive

public Optional<net.jqwik.api.ExhaustiveGenerator<T>> exhaustive(long maxNumberOfSamples)

Specified by:

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

edgeCases

public net.jqwik.api.EdgeCases<T> edgeCases(int maxEdgeCases)

Specified by:

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