net.jqwik.api.constraints

Annotation Type ShortRange

@Target(value={ANNOTATION_TYPE,PARAMETER,TYPE_USE})
 @Retention(value=RUNTIME)
 @Documented
 @API(status=MAINTAINED,
     since="1.0")
public @interface ShortRange

Constrain the range of a generated short or Short parameters. Applies to short or Short parameters which are also annotated with @ForAll.

See Also:

ForAll, ByteRange, IntRange, LongRange, FloatRange, DoubleRange, BigRange

Optional Element Summary

Optional Elements

Modifier and Type	Optional Element and Description
short	max
short	min

Element Detail

min

public abstract short min

Default:

0

max

public abstract short max

Default:

32767