Package org.checkerframework.framework.qual

Annotation Interface NoDefaultQualifierForUse

@Documented @Retention(RUNTIME) @Target(TYPE) public @interface NoDefaultQualifierForUse
Declaration annotation applied to type declarations to specify that the annotation on the type declaration should not be applied to unannotated uses of the type. Instead, another default should be applied based on the location of the type or some other defaulting rule.
See the Checker Framework Manual:
Debugging Options

  • Optional Element Summary

    Optional Elements
    Modifier and Type
    Optional Element
    Description
    Class<? extends Annotation>[]
    value
    Top qualifier in hierarchies for which no default annotation for use should be applied.

  • Element Details

    • value

      Class<? extends Annotation>[] value
      Top qualifier in hierarchies for which no default annotation for use should be applied.
      Default:
      {}