net.jqwik.engine.properties.arbitraries

Class DefaultFloatArbitrary

java.lang.Object

net.jqwik.engine.properties.arbitraries.AbstractArbitraryBase

net.jqwik.engine.properties.arbitraries.DefaultFloatArbitrary

All Implemented Interfaces:

java.lang.Cloneable, net.jqwik.api.arbitraries.FloatArbitrary, net.jqwik.api.Arbitrary<java.lang.Float>

public class DefaultFloatArbitrary
extends AbstractArbitraryBase
implements net.jqwik.api.arbitraries.FloatArbitrary

Nested Class Summary

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

net.jqwik.api.Arbitrary.ArbitraryFacade

Constructor Summary

Constructors

Constructor and Description
DefaultFloatArbitrary()

Method Summary

Modifier and Type	Method and Description
net.jqwik.api.arbitraries.FloatArbitrary	between(float min, boolean minIncluded, float max, boolean maxIncluded)
java.util.Optional<net.jqwik.api.ExhaustiveGenerator<java.lang.Float>>	exhaustive(long maxNumberOfSamples)
net.jqwik.api.RandomGenerator<java.lang.Float>	generator(int genSize)
net.jqwik.api.arbitraries.FloatArbitrary	greaterOrEqual(float min)
net.jqwik.api.arbitraries.FloatArbitrary	greaterThan(float min)
net.jqwik.api.arbitraries.FloatArbitrary	lessOrEqual(float max)
net.jqwik.api.arbitraries.FloatArbitrary	lessThan(float max)
net.jqwik.api.arbitraries.FloatArbitrary	ofScale(int scale)
net.jqwik.api.arbitraries.FloatArbitrary	shrinkTowards(float 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.FloatArbitrary

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

DefaultFloatArbitrary

public DefaultFloatArbitrary()

Method Detail

generator

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

Specified by:

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

exhaustive

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

Specified by:

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

between

public net.jqwik.api.arbitraries.FloatArbitrary between(float min,
                                                        boolean minIncluded,
                                                        float max,
                                                        boolean maxIncluded)

Specified by:

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

greaterOrEqual

public net.jqwik.api.arbitraries.FloatArbitrary greaterOrEqual(float min)

Specified by:

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

greaterThan

public net.jqwik.api.arbitraries.FloatArbitrary greaterThan(float min)

Specified by:

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

lessOrEqual

public net.jqwik.api.arbitraries.FloatArbitrary lessOrEqual(float max)

Specified by:

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

lessThan

public net.jqwik.api.arbitraries.FloatArbitrary lessThan(float max)

Specified by:

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

ofScale

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

Specified by:

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

shrinkTowards

public net.jqwik.api.arbitraries.FloatArbitrary shrinkTowards(float target)

Specified by:

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