Package net.jqwik.api.constraints

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