org.checkerframework.framework.qual

Annotation Type NoDefaultQualifierForUse

@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.

Optional Element Summary

Optional Elements

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

Element Detail

value

public abstract java.lang.Class<? extends java.lang.annotation.Annotation>[] value

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

Default:

{}