net.jqwik.engine.properties.arbitraries

Class OneOfArbitrary<T>

java.lang.Object

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

All Implemented Interfaces:

net.jqwik.api.Arbitrary<T>, net.jqwik.api.configurators.SelfConfiguringArbitrary<T>

Direct Known Subclasses:

DefaultTypeArbitrary

public class OneOfArbitrary<T>
extends java.lang.Object
implements net.jqwik.api.Arbitrary<T>, net.jqwik.api.configurators.SelfConfiguringArbitrary<T>

Nested Class Summary

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

net.jqwik.api.Arbitrary.ArbitraryFacade

Constructor Summary

Constructors

Constructor and Description
OneOfArbitrary(java.util.List<net.jqwik.api.Arbitrary<T>> all)

Method Summary

Modifier and Type	Method and Description
protected void	addArbitrary(net.jqwik.api.Arbitrary<T> arbitrary)
protected java.util.List<net.jqwik.api.Arbitrary<T>>	arbitraries()
net.jqwik.api.Arbitrary<T>	configure(net.jqwik.api.configurators.ArbitraryConfigurator configurator, net.jqwik.api.providers.TypeUsage targetType)
java.util.Optional<net.jqwik.api.ExhaustiveGenerator<T>>	exhaustive(long maxNumberOfSamples)
net.jqwik.api.RandomGenerator<T>	generator(int genSize)

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, exhaustive, filter, fixGenSize, flatMap, forEachValue, injectDuplicates, injectNull, iterator, list, map, optional, sample, sampleStream, set, stream, tuple1, tuple2, tuple3, tuple4, unique, withSamples

Constructor Detail

OneOfArbitrary

public OneOfArbitrary(java.util.List<net.jqwik.api.Arbitrary<T>> all)

Method Detail

generator

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

Specified by:

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

exhaustive

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

Specified by:

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

configure

public net.jqwik.api.Arbitrary<T> configure(net.jqwik.api.configurators.ArbitraryConfigurator configurator,
                                            net.jqwik.api.providers.TypeUsage targetType)

Specified by:

configure in interface net.jqwik.api.configurators.SelfConfiguringArbitrary<T>

arbitraries

protected java.util.List<net.jqwik.api.Arbitrary<T>> arbitraries()

addArbitrary

protected void addArbitrary(net.jqwik.api.Arbitrary<T> arbitrary)