Package net.jqwik.api.constraints

Annotationsschnittstelle 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.
Siehe auch:

  • Optionale Elemente - Übersicht

    Optionale Elemente
    Modifizierer und Typ
    Optionales Element
    Beschreibung
    double
    max
     
    boolean
    maxIncluded
     
    double
    min
     
    boolean
    minIncluded
     

  • Elementdetails

    • min

      double min
      Standard:
      0.0

    • minIncluded

      @API(status=MAINTAINED, since="1.2.7") boolean minIncluded
      Standard:
      true

    • max

      double max
      Standard:
      1.7976931348623157E308

    • maxIncluded

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