Annotation Type DoubleRange


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

      Optional Elements 
      Modifier and Type Optional Element Description
      double max  
      boolean maxIncluded  
      double min  
      boolean minIncluded  
    • Element Detail

      • min

        double min
        Default:
        0.0
      • minIncluded

        @API(status=MAINTAINED,
             since="1.2.7")
        boolean minIncluded
        Default:
        true
      • max

        double max
        Default:
        1.7976931348623157E308
      • maxIncluded

        @API(status=MAINTAINED,
             since="1.2.7")
        boolean maxIncluded
        Default:
        true