Package net.jqwik.engine.properties.arbitraries

Klasse DefaultDoubleArbitrary

java.lang.Object

net.jqwik.engine.properties.arbitraries.TypedCloneable

net.jqwik.engine.properties.arbitraries.DefaultDoubleArbitrary

Alle implementierten Schnittstellen:

Cloneable, net.jqwik.api.arbitraries.DoubleArbitrary, net.jqwik.api.arbitraries.NumericalArbitrary<Double,net.jqwik.api.arbitraries.DoubleArbitrary>, net.jqwik.api.Arbitrary<Double>

public class DefaultDoubleArbitrary
extends TypedCloneable
implements net.jqwik.api.arbitraries.DoubleArbitrary

Verschachtelte Klassen - Übersicht

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

net.jqwik.api.Arbitrary.ArbitraryFacade

Konstruktorübersicht

Konstruktoren

Konstruktor	Beschreibung
DefaultDoubleArbitrary()

Methodenübersicht

Modifizierer und Typ	Methode	Beschreibung
net.jqwik.api.arbitraries.DoubleArbitrary	between(double min, boolean minIncluded, double max, boolean maxIncluded)
net.jqwik.api.EdgeCases<Double>	edgeCases(int maxEdgeCases)
net.jqwik.api.Arbitrary<Double>	edgeCases(Consumer<net.jqwik.api.EdgeCases.Config<Double>> configurator)
boolean	equals(Object o)
Optional<net.jqwik.api.ExhaustiveGenerator<Double>>	exhaustive(long maxNumberOfSamples)
net.jqwik.api.RandomGenerator<Double>	generator(int genSize)
net.jqwik.api.arbitraries.DoubleArbitrary	greaterOrEqual(double min)
net.jqwik.api.arbitraries.DoubleArbitrary	greaterThan(double min)
int	hashCode()
net.jqwik.api.arbitraries.DoubleArbitrary	lessOrEqual(double max)
net.jqwik.api.arbitraries.DoubleArbitrary	lessThan(double max)
net.jqwik.api.arbitraries.DoubleArbitrary	ofScale(int scale)
net.jqwik.api.arbitraries.DoubleArbitrary	shrinkTowards(double target)
net.jqwik.api.arbitraries.DoubleArbitrary	withDistribution(net.jqwik.api.RandomDistribution distribution)
net.jqwik.api.arbitraries.DoubleArbitrary	withSpecialValue(double special)
net.jqwik.api.arbitraries.DoubleArbitrary	withStandardSpecialValues()

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, exhaustive, filter, filter, fixGenSize, flatMap, forEachValue, generator, generatorWithEmbeddedEdgeCases, 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.DoubleArbitrary

between

Konstruktordetails

DefaultDoubleArbitrary

public DefaultDoubleArbitrary()

Methodendetails

generator

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

Angegeben von:

generator in Schnittstelle net.jqwik.api.Arbitrary<Double>

exhaustive

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

Angegeben von:

exhaustive in Schnittstelle net.jqwik.api.Arbitrary<Double>

edgeCases

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

Angegeben von:

edgeCases in Schnittstelle net.jqwik.api.Arbitrary<Double>

edgeCases

public net.jqwik.api.Arbitrary<Double> edgeCases(Consumer<net.jqwik.api.EdgeCases.Config<Double>> configurator)

Angegeben von:

edgeCases in Schnittstelle net.jqwik.api.Arbitrary<Double>

withDistribution

public net.jqwik.api.arbitraries.DoubleArbitrary withDistribution(net.jqwik.api.RandomDistribution distribution)

Angegeben von:

withDistribution in Schnittstelle net.jqwik.api.arbitraries.NumericalArbitrary<Double,net.jqwik.api.arbitraries.DoubleArbitrary>

between

public net.jqwik.api.arbitraries.DoubleArbitrary between(double min,
 boolean minIncluded,
 double max,
 boolean maxIncluded)

Angegeben von:

between in Schnittstelle net.jqwik.api.arbitraries.DoubleArbitrary

greaterOrEqual

public net.jqwik.api.arbitraries.DoubleArbitrary greaterOrEqual(double min)

Angegeben von:

greaterOrEqual in Schnittstelle net.jqwik.api.arbitraries.DoubleArbitrary

greaterThan

public net.jqwik.api.arbitraries.DoubleArbitrary greaterThan(double min)

Angegeben von:

greaterThan in Schnittstelle net.jqwik.api.arbitraries.DoubleArbitrary

lessOrEqual

public net.jqwik.api.arbitraries.DoubleArbitrary lessOrEqual(double max)

Angegeben von:

lessOrEqual in Schnittstelle net.jqwik.api.arbitraries.DoubleArbitrary

lessThan

public net.jqwik.api.arbitraries.DoubleArbitrary lessThan(double max)

Angegeben von:

lessThan in Schnittstelle net.jqwik.api.arbitraries.DoubleArbitrary

ofScale

public net.jqwik.api.arbitraries.DoubleArbitrary ofScale(int scale)

Angegeben von:

ofScale in Schnittstelle net.jqwik.api.arbitraries.DoubleArbitrary

shrinkTowards

public net.jqwik.api.arbitraries.DoubleArbitrary shrinkTowards(double target)

Angegeben von:

shrinkTowards in Schnittstelle net.jqwik.api.arbitraries.DoubleArbitrary

withSpecialValue

public net.jqwik.api.arbitraries.DoubleArbitrary withSpecialValue(double special)

Angegeben von:

withSpecialValue in Schnittstelle net.jqwik.api.arbitraries.DoubleArbitrary

withStandardSpecialValues

public net.jqwik.api.arbitraries.DoubleArbitrary withStandardSpecialValues()

Angegeben von:

withStandardSpecialValues in Schnittstelle net.jqwik.api.arbitraries.DoubleArbitrary

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