Package net.jqwik.api.arbitraries

Schnittstelle IntegerArbitrary

Alle Superschnittstellen:

Arbitrary<Integer>, NumericalArbitrary<Integer,IntegerArbitrary>

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

Fluent interface to configure the generation of Integer and int values.

Verschachtelte Klassen - Übersicht

Von Schnittstelle geerbte verschachtelte Klassen/Schnittstellen net.jqwik.api.Arbitrary

Arbitrary.ArbitraryFacade

Methodenübersicht

Modifizierer und Typ	Methode	Beschreibung
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.

Von Schnittstelle geerbte Methoden 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

Von Schnittstelle geerbte Methoden net.jqwik.api.arbitraries.NumericalArbitrary

withDistribution

Methodendetails

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.