Package com.code_intelligence.jazzer.mutation.annotation

Annotation Interface FloatInRange

@Target(TYPE_USE) @Retention(RUNTIME) public @interface FloatInRange

  • Optional Element Summary

    Optional Elements
    Modifier and Type
    Optional Element
    Description
    boolean
    allowNaN
     
    String
    constraint
    Defines the scope of the annotation.
    float
    max
     
    float
    min
     

  • Element Details

    • min

      float min
      Default:
      -1.0f/0.0f

    • max

      float max
      Default:
      1.0f/0.0f

    • allowNaN

      boolean allowNaN
      Default:
      true

    • constraint

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