Package net.jqwik.engine.properties.arbitraries

Klasse LazyArbitrary<T extends @Nullable Object>

java.lang.Object

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

Alle implementierten Schnittstellen:

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

public class LazyArbitrary<T extends @Nullable Object>
extends Object
implements net.jqwik.api.Arbitrary<T>, net.jqwik.api.configurators.SelfConfiguringArbitrary<T>

Verschachtelte Klassen - Übersicht

Von Schnittstelle geerbte verschachtelte Klassen/Schnittstellen net.jqwik.api.Arbitrary

net.jqwik.api.Arbitrary.ArbitraryFacade

Konstruktorübersicht

Konstruktoren

Konstruktor	Beschreibung
LazyArbitrary(Supplier<? extends net.jqwik.api.Arbitrary<T>> arbitrarySupplier)

Methodenübersicht

Modifizierer und Typ	Methode	Beschreibung
net.jqwik.api.Arbitrary<T>	configure(net.jqwik.api.configurators.ArbitraryConfigurator configurator, net.jqwik.api.providers.TypeUsage targetType)
net.jqwik.api.EdgeCases<T>	edgeCases(int maxEdgeCases)
Optional<net.jqwik.api.ExhaustiveGenerator<T>>	exhaustive(long maxNumberOfSamples)
net.jqwik.api.RandomGenerator<T>	generator(int genSize)
net.jqwik.api.RandomGenerator<T>	generatorWithEmbeddedEdgeCases(int genSize)

Von Klasse geerbte Methoden java.lang.Object

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

Von Schnittstelle geerbte Methoden net.jqwik.api.Arbitrary

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

Konstruktordetails

LazyArbitrary

public LazyArbitrary(Supplier<? extends net.jqwik.api.Arbitrary<T>> arbitrarySupplier)

Methodendetails

generator

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

Angegeben von:

generator in Schnittstelle net.jqwik.api.Arbitrary<T extends @Nullable Object>

generatorWithEmbeddedEdgeCases

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

Angegeben von:

generatorWithEmbeddedEdgeCases in Schnittstelle net.jqwik.api.Arbitrary<T extends @Nullable Object>

exhaustive

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

Angegeben von:

exhaustive in Schnittstelle net.jqwik.api.Arbitrary<T extends @Nullable Object>

edgeCases

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

Angegeben von:

edgeCases in Schnittstelle net.jqwik.api.Arbitrary<T extends @Nullable Object>

configure

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

Angegeben von:

configure in Schnittstelle net.jqwik.api.configurators.SelfConfiguringArbitrary<T extends @Nullable Object>