Package com.code_intelligence.jazzer.mutation.annotation

Annotation Interface DoubleInRange

@Target(TYPE_USE) @Retention(RUNTIME) @AppliesTo({double.class,java.lang.Double.class}) public @interface DoubleInRange
Generates a double in the specified range.

  • Optional Element Summary

    Optional Elements
    Modifier and Type
    Optional Element
    Description
    boolean
    allowNaN
    Whether NaN is allowed to be generated.
    String
    constraint
    Defines the scope of the annotation.
    double
    max
    The maximum value of the range, inclusive.
    double
    min
    The minimum value of the range, inclusive.

  • Element Details

    • min

      double min
      The minimum value of the range, inclusive.
      Default:
      -1.0/0.0

    • max

      double max
      The maximum value of the range, inclusive.
      Default:
      1.0/0.0

    • allowNaN

      boolean allowNaN
      Whether NaN is allowed to be generated.
      Default:
      true

    • constraint

      String constraint
      Defines the scope of the annotation. Possible values are defined in PropertyConstraint.
      Default:
      "JAZZER_PROPERTY_CONSTRAINT_DECLARATION"