Package net.jqwik.api.arbitraries

Interface ShortArbitrary

All Superinterfaces:

Arbitrary<Short>, NumericalArbitrary<Short,ShortArbitrary>

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

Fluent interface to configure the generation of Short and short values.

Nested Class Summary

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

Arbitrary.ArbitraryFacade

Method Summary

Modifier and Type	Method	Description
default ShortArbitrary	between(short min, short max)	Set the allowed lower min (included) and upper max (included) bounder of generated numbers.
ShortArbitrary	greaterOrEqual(short min)	Set the allowed lower min (included) bounder of generated numbers.
ShortArbitrary	lessOrEqual(short max)	Set the allowed upper max (included) bounder of generated numbers.
Arbitrary<Short>	shrinkTowards(short target)	Set shrinking target to target 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, 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

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

withDistribution

Method Details

between

default ShortArbitrary between(short min,
 short max)

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

greaterOrEqual

ShortArbitrary greaterOrEqual(short min)

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

lessOrEqual

ShortArbitrary lessOrEqual(short max)

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

shrinkTowards

@API(status=MAINTAINED,
     since="1.4.0")
Arbitrary<Short> shrinkTowards(short target)

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