Package com.code_intelligence.jazzer.mutation.annotation

Annotation Interface NonNegative

@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,float.class,java.lang.Float.class,double.class,java.lang.Double.class}) public @interface NonNegative
Generates a non-negative number, that is, a number >= 0.

For float and double this does not include NaN.

  • Optional Element Summary

    Optional Elements
    Modifier and Type
    Optional Element
    Description
    String
    constraint
    Defines the scope of the annotation.

  • Element Details

    • constraint

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