Package com.code_intelligence.jazzer.mutation.annotation

Annotation Interface WithSize

@Target(TYPE_USE) @Retention(RUNTIME) @AppliesTo({java.util.List.class,java.util.Map.class}) public @interface WithSize
Generates a List or Map with the specified size.
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 size, inclusive.
    int
    min
    The minimum size, inclusive.

  • Element Details

    • min

      int min
      The minimum size, inclusive.
      Default:
      0

    • max

      int max
      The maximum size, inclusive.
      Default:
      1000

    • constraint

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