net.jqwik.api.arbitraries

Interface FloatArbitrary

All Superinterfaces:

Arbitrary<java.lang.Float>

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

Fluent interface to configure the generation of Float and float 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 FloatArbitrary	between(float min, float max) Set the allowed lower min (included) and upper max (included) bounder of generated numbers.
FloatArbitrary	greaterOrEqual(float min) Set the allowed lower min (included) bounder of generated numbers.
FloatArbitrary	lessOrEqual(float max) Set the allowed upper max (included) bounder of generated numbers.
FloatArbitrary	ofScale(int scale) Set the scale (maximum number of decimal places) to scale.
FloatArbitrary	shrinkTowards(float target) Set shrinking target to target which must be between the allowed bounds.

Methods inherited from interface net.jqwik.api.Arbitrary

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

Method Detail

between

default FloatArbitrary between(float min,
                               float max)

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

greaterOrEqual

FloatArbitrary greaterOrEqual(float min)

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

lessOrEqual

FloatArbitrary lessOrEqual(float max)

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

ofScale

FloatArbitrary ofScale(int scale)

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

shrinkTowards

@API(status=EXPERIMENTAL,
     since="1.1.5")
FloatArbitrary shrinkTowards(float target)

Set shrinking target to target which must be between the allowed bounds.