Package com.code_intelligence.jazzer.mutation.annotation

Annotation Interface FloatInRange

@Target(TYPE_USE) @Retention(RUNTIME) @AppliesTo({float.class,java.lang.Float.class}) public @interface FloatInRange
Generates a float 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.
    float
    max
    The maximum value of the range, inclusive.
    float
    min
    The minimum value of the range, inclusive.

  • Element Details

    • min

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

    • max

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

    • 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"