Package net.jqwik.engine.properties.arbitraries

Klasse ArbitraryFilter<T extends @Nullable Object>

java.lang.Object

net.jqwik.api.arbitraries.ArbitraryDecorator<T>

net.jqwik.engine.ArbitraryDelegator<T>

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

Alle implementierten Schnittstellen:

Cloneable, net.jqwik.api.Arbitrary<T>

public class ArbitraryFilter<T extends @Nullable Object>
extends ArbitraryDelegator<T>

Verschachtelte Klassen - Übersicht

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

net.jqwik.api.Arbitrary.ArbitraryFacade

Konstruktorübersicht

Konstruktoren

Konstruktor	Beschreibung
ArbitraryFilter(net.jqwik.api.Arbitrary<T> self, Predicate<? super T> filterPredicate, int maxMisses)

Methodenübersicht

Modifizierer und Typ	Methode	Beschreibung
net.jqwik.api.EdgeCases<T>	edgeCases(int maxEdgeCases)
boolean	equals(Object o)
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)
int	hashCode()

Von Klasse geerbte Methoden net.jqwik.engine.ArbitraryDelegator

arbitrary

Von Klasse geerbte Methoden net.jqwik.api.arbitraries.ArbitraryDecorator

isGeneratorMemoizable, toString, typedClone

Von Klasse geerbte Methoden java.lang.Object

clone, finalize, getClass, notify, notifyAll, 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, iterator, list, map, optional, optional, sample, sampleStream, set, stream, tuple1, tuple2, tuple3, tuple4, tuple5, withoutEdgeCases

Konstruktordetails

ArbitraryFilter

public ArbitraryFilter(net.jqwik.api.Arbitrary<T> self,
 Predicate<? super T> filterPredicate,
 int maxMisses)

Methodendetails

generator

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

Angegeben von:

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

Setzt außer Kraft:

generator in Klasse net.jqwik.api.arbitraries.ArbitraryDecorator<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>

Setzt außer Kraft:

generatorWithEmbeddedEdgeCases in Klasse net.jqwik.api.arbitraries.ArbitraryDecorator<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>

Setzt außer Kraft:

exhaustive in Klasse net.jqwik.api.arbitraries.ArbitraryDecorator<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>

Setzt außer Kraft:

edgeCases in Klasse net.jqwik.api.arbitraries.ArbitraryDecorator<T extends @Nullable Object>

equals

public boolean equals(Object o)

Setzt außer Kraft:

equals in Klasse ArbitraryDelegator<T extends @Nullable Object>

hashCode

public int hashCode()

Setzt außer Kraft:

hashCode in Klasse ArbitraryDelegator<T extends @Nullable Object>