Annotation Interface IntRange


@Target({ANNOTATION_TYPE,PARAMETER,TYPE_USE}) @Retention(RUNTIME) @Documented @API(status=MAINTAINED, since="1.0") public @interface IntRange
Constrain the range of a generated int or Integer parameters. Applies to int or Integer parameters which are also annotated with @ForAll.
See Also:
  • Optional Element Summary

    Optional Elements
    Modifier and Type
    Optional Element
    Description
    int
     
    int
     
  • Element Details

    • min

      int min
      Default:
      0
    • max

      int max
      Default:
      2147483647