Package com.code_intelligence.jazzer.mutation.annotation

Annotation Interface NotNull

@Target({PARAMETER,TYPE_USE}) @Retention(RUNTIME) @AppliesTo(subClassesOf=java.lang.Object.class) public @interface NotNull
Generates a not-null value. By default the mutation framework can generate null for objects (including arrays).

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