Package net.jqwik.api.arbitraries

Interface NumericalArbitrary<T,A extends NumericalArbitrary<T,A>>

All Superinterfaces:

Arbitrary<T>

All Known Subinterfaces:

BigDecimalArbitrary, BigIntegerArbitrary, ByteArbitrary, DoubleArbitrary, FloatArbitrary, IntegerArbitrary, LongArbitrary, ShortArbitrary

@API(status=EXPERIMENTAL,
     since="1.3.0")
public interface NumericalArbitrary<T,A extends NumericalArbitrary<T,A>>
extends Arbitrary<T>

Nested Class Summary

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

Arbitrary.ArbitraryFacade

Method Summary

Modifier and Type	Method	Description
A	withDistribution(RandomDistribution distribution)	Set the distribution to use when generating random numerical values.

Methods inherited from interface net.jqwik.api.Arbitrary

allValues, array, asGeneric, collect, dontShrink, edgeCases, edgeCases, edgeCases, exhaustive, exhaustive, filter, filter, fixGenSize, flatMap, forEachValue, generator, generator, generatorWithEmbeddedEdgeCases, ignoreException, ignoreExceptions, injectDuplicates, injectNull, isGeneratorMemoizable, iterator, list, map, optional, optional, sample, sampleStream, set, stream, tuple1, tuple2, tuple3, tuple4, tuple5, withoutEdgeCases

Method Details

withDistribution

A withDistribution(RandomDistribution distribution)

Set the distribution to use when generating random numerical values.

jqwik currently offers two built-in distributions:

• RandomDistribution.biased() is the default
• RandomDistribution.uniform() creates a uniform probability distribution

Parameters:

distribution - The distribution to use when generating random values

Returns:

a random distribution instance