org.checkerframework.framework.qual

Annotation Type NoDefaultQualifierForUse

@Documented
 @Retention(value=RUNTIME)
 @Target(value=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 and Description
Class<? extends Annotation>[]	value Top qualifier in hierarchies for which no default annotation for use should be applied.

Element Detail

value

public abstract Class<? extends Annotation>[] value

Top qualifier in hierarchies for which no default annotation for use should be applied.

Default:

{}