Annotation Type 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:
    ForAll, ByteRange, ShortRange, LongRange, FloatRange, DoubleRange, BigRange
    • Optional Element Summary

      Optional Elements 
      Modifier and Type Optional Element Description
      int max  
      int min  
    • Element Detail

      • min

        int min
        Default:
        0
      • max

        int max
        Default:
        2147483647