Top Description Methods
org.checkerframework.framework.qual

public @Interface DefaultQualifierForUse

extends Annotation
Annotations
@Documented
@Retention:RUNTIME
@Target:TYPE
Imports
java.lang.annotation.Annotation, .Documented, .ElementType, .Retention, .RetentionPolicy, .Target
Declaration annotation applied to type declarations to specify the qualifier to be added to unannotated uses of the type.

Method Summary

Modifier and TypeMethod and Description
public Class<? extends Annotation>[]
value()

Qualifier to add to all unannotated uses of the type with this declaration annotation.

Inherited from java.lang.annotation.Annotation:
annotationTypeequalshashCodetoString

Method Detail

valueback to summary
public Class<? extends Annotation>[] value()

Qualifier to add to all unannotated uses of the type with this declaration annotation.