Package net.jqwik.api.constraints

Annotation Type FloatRange

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

    • Optional Element Summary

      Optional Elements 
      Modifier and Type Optional Element Description
      float max  
      boolean maxIncluded  
      float min  
      boolean minIncluded  

    • Element Detail

      • min

        float min
        Default:
        0.0f

      • minIncluded

        boolean minIncluded
        Default:
        true

      • max

        float max
        Default:
        3.4028235E38f

      • maxIncluded

        boolean maxIncluded
        Default:
        true