net.jqwik.engine.properties.arbitraries

Class DefaultDoubleArbitrary

java.lang.Object

net.jqwik.engine.properties.arbitraries.AbstractArbitraryBase

net.jqwik.engine.properties.arbitraries.DefaultDoubleArbitrary

All Implemented Interfaces:

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

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

Nested Class Summary

Nested classes/interfaces inherited from interface net.jqwik.api.Arbitrary

net.jqwik.api.Arbitrary.ArbitraryFacade

Constructor Summary

Constructors

Constructor and Description
DefaultDoubleArbitrary()

Method Summary

Modifier and Type	Method and Description
net.jqwik.api.arbitraries.DoubleArbitrary	between(double min, boolean minIncluded, double max, boolean maxIncluded)
java.util.Optional<net.jqwik.api.ExhaustiveGenerator<java.lang.Double>>	exhaustive(long maxNumberOfSamples)
net.jqwik.api.RandomGenerator<java.lang.Double>	generator(int genSize)
net.jqwik.api.arbitraries.DoubleArbitrary	greaterOrEqual(double min)
net.jqwik.api.arbitraries.DoubleArbitrary	greaterThan(double min)
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)

Methods inherited from class net.jqwik.engine.properties.arbitraries.AbstractArbitraryBase

typedClone

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.arbitraries.DoubleArbitrary

between

Methods inherited from interface net.jqwik.api.Arbitrary

allValues, array, asGeneric, collect, exhaustive, filter, fixGenSize, flatMap, forEachValue, injectDuplicates, injectNull, iterator, list, map, optional, sample, sampleStream, set, stream, tuple1, tuple2, tuple3, tuple4, unique, withSamples

Constructor Detail

DefaultDoubleArbitrary

public DefaultDoubleArbitrary()

Method Detail

generator

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

Specified by:

generator in interface net.jqwik.api.Arbitrary<java.lang.Double>

exhaustive

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

Specified by:

exhaustive in interface net.jqwik.api.Arbitrary<java.lang.Double>

between

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

Specified by:

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

greaterOrEqual

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

Specified by:

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

greaterThan

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

Specified by:

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

lessOrEqual

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

Specified by:

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

lessThan

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

Specified by:

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

ofScale

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

Specified by:

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

shrinkTowards

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

Specified by:

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