net.jqwik.api.arbitraries

Interface DoubleArbitrary

All Superinterfaces:

Arbitrary<java.lang.Double>

@API(status=MAINTAINED,
     since="1.0")
public interface DoubleArbitrary
extends Arbitrary<java.lang.Double>

Fluent interface to configure the generation of Double and double values.

Nested Class Summary

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

Arbitrary.ArbitraryFacade

Method Summary

Modifier and Type	Method and Description
default DoubleArbitrary	between(double min, double max) Set the allowed lower min (included) and upper max (included) bounder of generated numbers.
DoubleArbitrary	greaterOrEqual(double min) Set the allowed lower min (included) bounder of generated numbers.
DoubleArbitrary	lessOrEqual(double max) Set the allowed upper max (included) bounder of generated numbers.
DoubleArbitrary	ofScale(int scale) Set the scale (maximum number of decimal places) to scale.

Methods inherited from interface net.jqwik.api.Arbitrary

allValues, array, exhaustive, filter, fixGenSize, flatMap, generator, injectNull, iterator, list, map, optional, set, stream, unique, withSamples

Method Detail

between

default DoubleArbitrary between(double min,
                                double max)

Set the allowed lower min (included) and upper max (included) bounder of generated numbers.

greaterOrEqual

DoubleArbitrary greaterOrEqual(double min)

Set the allowed lower min (included) bounder of generated numbers.

lessOrEqual

DoubleArbitrary lessOrEqual(double max)

Set the allowed upper max (included) bounder of generated numbers.

ofScale

DoubleArbitrary ofScale(int scale)

Set the scale (maximum number of decimal places) to scale.