Package net.jqwik.engine.properties.arbitraries

Klasse DefaultStreamArbitrary<T extends @Nullable Object>

java.lang.Object

net.jqwik.engine.properties.arbitraries.TypedCloneable

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

Alle implementierten Schnittstellen:

Cloneable, net.jqwik.api.arbitraries.SizableArbitrary<Stream<T>>, net.jqwik.api.arbitraries.StreamableArbitrary<T,Stream<T>>, net.jqwik.api.arbitraries.StreamArbitrary<T>, net.jqwik.api.Arbitrary<Stream<T>>

public class DefaultStreamArbitrary<T extends @Nullable Object>
extends TypedCloneable
implements net.jqwik.api.arbitraries.StreamArbitrary<T>

Verschachtelte Klassen - Übersicht

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

net.jqwik.api.Arbitrary.ArbitraryFacade

Feldübersicht

Felder

Modifizierer und Typ	Feld	Beschreibung
protected net.jqwik.api.Arbitrary<T>	elementArbitrary
protected int	minSize
protected net.jqwik.api.RandomDistribution	sizeDistribution
protected Set<FeatureExtractor<T>>	uniquenessExtractors

Konstruktorübersicht

Konstruktoren

Konstruktor	Beschreibung
DefaultStreamArbitrary(net.jqwik.api.Arbitrary<T> elementArbitrary)

Methodenübersicht

Modifizierer und Typ	Methode	Beschreibung
protected net.jqwik.api.RandomGenerator<List<T>>	createListGenerator(int genSize, boolean withEmbeddedEdgeCases)
net.jqwik.api.EdgeCases<Stream<T>>	edgeCases(int maxEdgeCases)
protected <C extends Collection<?>> net.jqwik.api.EdgeCases<C>	edgeCases(BiFunction<List<net.jqwik.api.Shrinkable<T>>,Integer,net.jqwik.api.Shrinkable<C>> shrinkableCreator, int maxEdgeCases)
protected net.jqwik.api.RandomGenerator<T>	elementGenerator(net.jqwik.api.Arbitrary<T> elementArbitrary, int genSize, boolean withEdgeCases)
boolean	equals(Object o)
Optional<net.jqwik.api.ExhaustiveGenerator<Stream<T>>>	exhaustive(long maxNumberOfSamples)
net.jqwik.api.RandomGenerator<Stream<T>>	generator(int genSize)
net.jqwik.api.RandomGenerator<Stream<T>>	generatorWithEmbeddedEdgeCases(int genSize)
int	hashCode()
boolean	isGeneratorMemoizable()
protected int	maxSize()
net.jqwik.api.arbitraries.StreamArbitrary<T>	ofMaxSize(int maxSize)
net.jqwik.api.arbitraries.StreamArbitrary<T>	ofMinSize(int minSize)
<R extends @Nullable Object> net.jqwik.api.Arbitrary<R>	reduce(R initial, BiFunction<R,? super T,R> accumulator)
protected Iterable<T>	toIterable(Stream<T> streamable)
net.jqwik.api.arbitraries.StreamArbitrary<T>	uniqueElements()
net.jqwik.api.arbitraries.StreamArbitrary<T>	uniqueElements(Function<? super T,?> by)
protected net.jqwik.api.arbitraries.StreamableArbitrary<T,Stream<T>>	uniqueElements(FeatureExtractor<T> by)
net.jqwik.api.arbitraries.StreamArbitrary<T>	withSizeDistribution(net.jqwik.api.RandomDistribution distribution)

Von Klasse geerbte Methoden net.jqwik.engine.properties.arbitraries.TypedCloneable

typedClone

Von Klasse geerbte Methoden java.lang.Object

clone, finalize, getClass, 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

Von Schnittstelle geerbte Methoden net.jqwik.api.arbitraries.StreamableArbitrary

reduce

Von Schnittstelle geerbte Methoden net.jqwik.api.arbitraries.StreamArbitrary

ofSize

Felddetails

elementArbitrary

protected net.jqwik.api.Arbitrary<T extends @Nullable Object> elementArbitrary

minSize

protected int minSize

uniquenessExtractors

protected Set<FeatureExtractor<T extends @Nullable Object>> uniquenessExtractors

sizeDistribution

protected net.jqwik.api.RandomDistribution sizeDistribution

Konstruktordetails

DefaultStreamArbitrary

public DefaultStreamArbitrary(net.jqwik.api.Arbitrary<T> elementArbitrary)

Methodendetails

toIterable

protected Iterable<T> toIterable(Stream<T> streamable)

generator

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

Angegeben von:

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

generatorWithEmbeddedEdgeCases

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

Angegeben von:

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

exhaustive

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

Angegeben von:

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

edgeCases

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

Angegeben von:

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

ofMaxSize

public net.jqwik.api.arbitraries.StreamArbitrary<T> ofMaxSize(int maxSize)

Angegeben von:

ofMaxSize in Schnittstelle net.jqwik.api.arbitraries.SizableArbitrary<T extends @Nullable Object>

Angegeben von:

ofMaxSize in Schnittstelle net.jqwik.api.arbitraries.StreamableArbitrary<T extends @Nullable Object,Stream<T extends @Nullable Object>>

Angegeben von:

ofMaxSize in Schnittstelle net.jqwik.api.arbitraries.StreamArbitrary<T extends @Nullable Object>

ofMinSize

public net.jqwik.api.arbitraries.StreamArbitrary<T> ofMinSize(int minSize)

Angegeben von:

ofMinSize in Schnittstelle net.jqwik.api.arbitraries.SizableArbitrary<T extends @Nullable Object>

Angegeben von:

ofMinSize in Schnittstelle net.jqwik.api.arbitraries.StreamableArbitrary<T extends @Nullable Object,Stream<T extends @Nullable Object>>

Angegeben von:

ofMinSize in Schnittstelle net.jqwik.api.arbitraries.StreamArbitrary<T extends @Nullable Object>

withSizeDistribution

public net.jqwik.api.arbitraries.StreamArbitrary<T> withSizeDistribution(net.jqwik.api.RandomDistribution distribution)

Angegeben von:

withSizeDistribution in Schnittstelle net.jqwik.api.arbitraries.SizableArbitrary<T extends @Nullable Object>

Angegeben von:

withSizeDistribution in Schnittstelle net.jqwik.api.arbitraries.StreamableArbitrary<T extends @Nullable Object,Stream<T extends @Nullable Object>>

Angegeben von:

withSizeDistribution in Schnittstelle net.jqwik.api.arbitraries.StreamArbitrary<T extends @Nullable Object>

uniqueElements

public net.jqwik.api.arbitraries.StreamArbitrary<T> uniqueElements(Function<? super T,?> by)

Angegeben von:

uniqueElements in Schnittstelle net.jqwik.api.arbitraries.StreamableArbitrary<T extends @Nullable Object,Stream<T extends @Nullable Object>>

Angegeben von:

uniqueElements in Schnittstelle net.jqwik.api.arbitraries.StreamArbitrary<T extends @Nullable Object>

uniqueElements

public net.jqwik.api.arbitraries.StreamArbitrary<T> uniqueElements()

Angegeben von:

uniqueElements in Schnittstelle net.jqwik.api.arbitraries.StreamableArbitrary<T extends @Nullable Object,Stream<T extends @Nullable Object>>

Angegeben von:

uniqueElements in Schnittstelle net.jqwik.api.arbitraries.StreamArbitrary<T extends @Nullable Object>

isGeneratorMemoizable

public boolean isGeneratorMemoizable()

Angegeben von:

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

reduce

public <R extends @Nullable Object>
net.jqwik.api.Arbitrary<R> reduce(R initial,
 BiFunction<R,? super T,R> accumulator)

Angegeben von:

reduce in Schnittstelle net.jqwik.api.arbitraries.StreamableArbitrary<T,U>

uniqueElements

protected net.jqwik.api.arbitraries.StreamableArbitrary<T,Stream<T>> uniqueElements(FeatureExtractor<T> by)

createListGenerator

protected net.jqwik.api.RandomGenerator<List<T>> createListGenerator(int genSize,
 boolean withEmbeddedEdgeCases)

elementGenerator

protected net.jqwik.api.RandomGenerator<T> elementGenerator(net.jqwik.api.Arbitrary<T> elementArbitrary,
 int genSize,
 boolean withEdgeCases)

edgeCases

protected <C extends Collection<?>>
net.jqwik.api.EdgeCases<C> edgeCases(BiFunction<List<net.jqwik.api.Shrinkable<T>>,Integer,net.jqwik.api.Shrinkable<C>> shrinkableCreator,
 int maxEdgeCases)

equals

public boolean equals(Object o)

Setzt außer Kraft:

equals in Klasse Object

hashCode

public int hashCode()

Setzt außer Kraft:

hashCode in Klasse Object

maxSize

protected int maxSize()