net.jqwik.api.arbitraries

Interface IntegerArbitrary

All Superinterfaces:

Arbitrary<java.lang.Integer>, NumericalArbitrary<java.lang.Integer,IntegerArbitrary>

@API(status=MAINTAINED,
     since="1.0")
public interface IntegerArbitrary
extends NumericalArbitrary<java.lang.Integer,IntegerArbitrary>

Fluent interface to configure the generation of Integer and int 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 IntegerArbitrary	between(int min, int max) Set the allowed lower min (included) and upper max (included) bounder of generated numbers.
IntegerArbitrary	greaterOrEqual(int min) Set the allowed lower min (included) bounder of generated numbers.
IntegerArbitrary	lessOrEqual(int max) Set the allowed upper max (included) bounder of generated numbers.
IntegerArbitrary	shrinkTowards(int target) Set shrinking target to target which must be between the allowed bounds.

Methods inherited from interface net.jqwik.api.arbitraries.NumericalArbitrary

withDistribution

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, ignoreException, ignoreExceptions, ignoreExceptions, injectDuplicates, injectNull, isGeneratorMemoizable, iterator, list, map, optional, optional, sample, sampleStream, set, stream, tuple1, tuple2, tuple3, tuple4, tuple5, withoutEdgeCases

Method Detail

between

default IntegerArbitrary between(int min,
                                 int max)

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

greaterOrEqual

IntegerArbitrary greaterOrEqual(int min)

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

lessOrEqual

IntegerArbitrary lessOrEqual(int max)

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

shrinkTowards

@API(status=MAINTAINED,
     since="1.4.0")
IntegerArbitrary shrinkTowards(int target)

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