@Documented
@Retention(value=RUNTIME)
@Target(value={PACKAGE,TYPE,CONSTRUCTOR,METHOD,FIELD,LOCAL_VARIABLE,PARAMETER})
public @interface DefaultQualifier
DefaultQualifierInHierarchy
.
If you wish to write multiple @DefaultQualifier annotations (for
unrelated type systems, or with different locations
fields) at
the same location, use DefaultQualifiers
.
Modifier and Type | Required Element and Description |
---|---|
java.lang.Class<? extends java.lang.annotation.Annotation> |
value
The Class for the default annotation.
|
Modifier and Type | Optional Element and Description |
---|---|
DefaultLocation[] |
locations |
public abstract java.lang.Class<? extends java.lang.annotation.Annotation> value
To prevent affecting other type systems, always specify an annotation in your own type hierarchy. (For example, do not set "org.checkerframework.framework.qual.Unqualified" as the default.)
public abstract DefaultLocation[] locations