Package com.code_intelligence.jazzer.mutation.annotation

Annotation Interface WithLength

@Target(TYPE_USE) @Retention(RUNTIME) @AppliesTo(value={byte[][].class,int[][].class,long[][].class,float[][].class,double[][].class,char[][].class,short[][].class,boolean[][].class}, subClassesOf=java.lang.Object[][].class) public @interface WithLength
Generates an array of the specified length.
See Also:

  • Optional Element Summary

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

  • Element Details

    • min

      int min
      The minimum length, inclusive.
      Default:
      0

    • max

      int max
      The maximum length, inclusive.
      Default:
      1000

    • constraint

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