Package 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
All Methods Instance Methods Abstract Methods Default Methods Modifier and Type Method Description default IntegerArbitrary
between(int min, int max)
Set the allowed lowermin
(included) and uppermax
(included) bounder of generated numbers.IntegerArbitrary
greaterOrEqual(int min)
Set the allowed lowermin
(included) bounder of generated numbers.IntegerArbitrary
lessOrEqual(int max)
Set the allowed uppermax
(included) bounder of generated numbers.IntegerArbitrary
shrinkTowards(int target)
Set shrinking target totarget
which must be between the allowed bounds.-
Methods inherited from interface net.jqwik.api.Arbitrary
allValues, array, asGeneric, collect, dontShrink, edgeCases, edgeCases, edgeCases, exhaustive, exhaustive, filter, fixGenSize, flatMap, forEachValue, generator, generator, generatorWithEmbeddedEdgeCases, ignoreException, injectDuplicates, injectNull, iterator, list, map, optional, sample, sampleStream, set, stream, tuple1, tuple2, tuple3, tuple4, tuple5, withoutEdgeCases
-
Methods inherited from interface net.jqwik.api.arbitraries.NumericalArbitrary
withDistribution
-
-
-
-
Method Detail
-
between
default IntegerArbitrary between(int min, int max)
Set the allowed lowermin
(included) and uppermax
(included) bounder of generated numbers.
-
greaterOrEqual
IntegerArbitrary greaterOrEqual(int min)
Set the allowed lowermin
(included) bounder of generated numbers.
-
lessOrEqual
IntegerArbitrary lessOrEqual(int max)
Set the allowed uppermax
(included) bounder of generated numbers.
-
shrinkTowards
@API(status=MAINTAINED, since="1.4.0") IntegerArbitrary shrinkTowards(int target)
Set shrinking target totarget
which must be between the allowed bounds.
-
-