Package com.code_intelligence.jazzer.mutation.annotation

Annotation Interface InRange

@Target(TYPE_USE) @Retention(RUNTIME) @AppliesTo({byte.class,java.lang.Byte.class,short.class,java.lang.Short.class,int.class,java.lang.Integer.class,long.class,java.lang.Long.class}) public @interface InRange
Generates an integral number in the specified range.
See Also:

  • Optional Element Summary

    Optional Elements
    Modifier and Type
    Optional Element
    Description
    String
    constraint
    Defines the scope of the annotation.
    long
    max
    The maximum value of the range, inclusive.
    long
    min
    The minimum value of the range, inclusive.

  • Element Details

    • min

      long min
      The minimum value of the range, inclusive.
      Default:
      -9223372036854775808L

    • max

      long max
      The maximum value of the range, inclusive.
      Default:
      9223372036854775807L

    • constraint

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