org.checkerframework.framework.qual

public @Interface NoDefaultQualifierForUse

Annotations

@Documented
@Retention:RUNTIME
@Target:TYPE

Imports

java.lang.annotation.Annotation, .Documented, .ElementType, .Retention, .RetentionPolicy, .Target

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.

Method Summary

Modifier and Type	Method and Description
public Class<? extends Annotation>[]	value() Top qualifier in hierarchies for which no default annotation for use should be applied.

Inherited from java.lang.annotation.Annotation:: annotationType equals hashCode toString

Method Detail

value	back to summary
public Class<? extends Annotation>[] value() Top qualifier in hierarchies for which no default annotation for use should be applied.