net.jqwik.api.arbitraries

Interface BigIntegerArbitrary

All Superinterfaces:

Arbitrary<java.math.BigInteger>

@API(status=MAINTAINED,
     since="1.0")
public interface BigIntegerArbitrary
extends Arbitrary<java.math.BigInteger>

Fluent interface to configure the generation of BigInteger 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 BigIntegerArbitrary	between(java.math.BigInteger min, java.math.BigInteger max) Set the allowed lower min (included) and upper max (included) bounder of generated numbers.
BigIntegerArbitrary	greaterOrEqual(java.math.BigInteger min) Set the allowed lower min (included) bounder of generated numbers.
BigIntegerArbitrary	lessOrEqual(java.math.BigInteger max) Set the allowed upper max (included) bounder of generated numbers.
Arbitrary<java.math.BigInteger>	shrinkTowards(java.math.BigInteger 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, exhaustive, filter, fixGenSize, flatMap, forEachValue, generator, injectDuplicates, injectNull, iterator, list, map, optional, sample, sampleStream, set, stream, tuple1, tuple2, tuple3, tuple4, unique, withSamples

Method Detail

between

default BigIntegerArbitrary between(java.math.BigInteger min,
                                    java.math.BigInteger max)

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

greaterOrEqual

BigIntegerArbitrary greaterOrEqual(java.math.BigInteger min)

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

lessOrEqual

BigIntegerArbitrary lessOrEqual(java.math.BigInteger max)

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

shrinkTowards

@API(status=EXPERIMENTAL,
     since="1.1.4")
Arbitrary<java.math.BigInteger> shrinkTowards(java.math.BigInteger target)

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