Package net.jqwik.api.constraints

Annotation Interface 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:

  • Optional Element Summary

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

  • Element Details

    • min

      float min
      Default:
      0.0f

    • minIncluded

      boolean minIncluded
      Default:
      true

    • max

      float max
      Default:
      3.4028235E38f

    • maxIncluded

      boolean maxIncluded
      Default:
      true