Package net.jqwik.engine.properties.arbitraries

Class LazyOfArbitrary<T>

java.lang.Object

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

All Implemented Interfaces:

net.jqwik.api.Arbitrary<T>

public class LazyOfArbitrary<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
LazyOfArbitrary(List<Supplier<net.jqwik.api.Arbitrary<T>>> suppliers)

Method Summary

Modifier and Type	Method	Description
net.jqwik.api.EdgeCases<T>	edgeCases(int maxEdgeCases)
net.jqwik.api.RandomGenerator<T>	generator(int genSize)
static <T> net.jqwik.api.Arbitrary<T>	of(int hashIdentifier, List<Supplier<net.jqwik.api.Arbitrary<T>>> suppliers)

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, exhaustive, filter, filter, fixGenSize, flatMap, forEachValue, generator, generatorWithEmbeddedEdgeCases, ignoreException, injectDuplicates, injectNull, isGeneratorMemoizable, iterator, list, map, optional, optional, sample, sampleStream, set, stream, tuple1, tuple2, tuple3, tuple4, tuple5, withoutEdgeCases

Constructor Details

LazyOfArbitrary

public LazyOfArbitrary(List<Supplier<net.jqwik.api.Arbitrary<T>>> suppliers)

Method Details

of

public static <T> net.jqwik.api.Arbitrary<T> of(int hashIdentifier,
 List<Supplier<net.jqwik.api.Arbitrary<T>>> suppliers)

generator

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

Specified by:

generator 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>