Package org.checkerframework.framework.qual

Annotation Type 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
      java.lang.Class<? extends java.lang.annotation.Annotation>[] value
      Qualifier to add to all unannotated uses of the type with this declaration annotation.

    • Element Detail

      • value

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