Package org.checkerframework.framework.qual

Annotation Interface DefaultQualifierForUse

@Documented @Retention(RUNTIME) @Target(TYPE) public @interface DefaultQualifierForUse
Declaration annotation applied to type declarations to specify the qualifier to be added to unannotated uses of the type.

  • Optional Element Summary

    Optional Elements
    Modifier and Type
    Optional Element
    Description
    Class<? extends Annotation>[]
    value
    Qualifier to add to all unannotated uses of the type with this declaration annotation.

  • Element Details

    • value

      Class<? extends Annotation>[] value
      Qualifier to add to all unannotated uses of the type with this declaration annotation.
      Default:
      {}