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.RandomGenerator<java.lang.Double>	generator(int genSize)
net.jqwik.api.arbitraries.DoubleArbitrary	greaterOrEqual(double min)
net.jqwik.api.arbitraries.DoubleArbitrary	lessOrEqual(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, collect, exhaustive, exhaustive, filter, fixGenSize, flatMap, forEachValue, injectNull, iterator, list, map, optional, set, stream, 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>

greaterOrEqual

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

Specified by:

greaterOrEqual 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

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