Package net.jqwik.api.constraints

Annotation Interface ShortRange

@Target({ANNOTATION_TYPE,PARAMETER,TYPE_USE}) @Retention(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:

  • Optional Element Summary

    Optional Elements
    Modifier and Type
    Optional Element
    Description
    short
    max
     
    short
    min
     

  • Element Details

    • min

      short min
      Default:
      0

    • max

      short max
      Default:
      32767