Package com.code_intelligence.jazzer.mutation.utils

Annotation Interface PropertyConstraint

@Target(ANNOTATION_TYPE) @Retention(RUNTIME) public @interface PropertyConstraint
The scope of Jazzer annotations can be configured using the constants defined in this meta-annotations.
Annotations supporting property constraints need to be marked with this meta-annotation and contain a String property named "constrained", referencing the constants defined in this class.

  • Field Summary

    Fields
    Modifier and Type
    Field
    Description
    static final String
    DECLARATION
    Annotations restricted with DECLARATION only apply to the annotated type.
    static final String
    RECURSIVE
    Annotations restricted with RECURSIVE apply to the annotated type, and recursively to all types of components of the annotated one.

  • Field Details

    • DECLARATION

      static final String DECLARATION
      Annotations restricted with DECLARATION only apply to the annotated type.
      See Also:

    • RECURSIVE

      static final String RECURSIVE
      Annotations restricted with RECURSIVE apply to the annotated type, and recursively to all types of components of the annotated one.
      See Also: