|
|||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |
See:
Description
Enum Summary | |
---|---|
DefaultLocation | Specifies the locations to which a DefaultQualifier annotation applies. |
Annotation Types Summary | |
---|---|
DefaultQualifier | Applied to a declaration of a package, type, method, variable, etc., specifies that the given annotation should be the default. |
DefaultQualifierInHierarchy | Indicates that the annotated qualifier is the default qualifier in the qualifier hierarchy: it applies if the programmer writes no explicit qualifier. |
DefaultQualifiers | Specifies the annotations to be included in a type without having to provide them explicitly. |
Dependent | Refines the qualified type of the annotated field or variable based on the qualified type of the receiver. |
ImplicitFor | A meta-annotation that specifies the trees and types for which the framework should automatically add that qualifier. |
PolymorphicQualifier | A meta-annotation that indicates that an annotation is a polymorphic type qualifier. |
SubtypeOf | A meta-annotation to specify all the qualifiers that the given qualifier is a subtype of. |
TypeQualifier | A meta-annotation indicating that the annotated annotation is a type qualifier. |
TypeQualifiers | An annotation that lists the type qualifiers supported by the annotated
Checker . |
Unqualified | A special annotation intended solely for representing an unqualified type in
the qualifier hierarchy, as an argument to SubtypeOf.value() ,
in the type qualifiers declarations. |
Unused | Declares that the field may not be accessed if the receiver is of the specified qualifier type (or any supertype). |
Contains the basic annotations to be used by all type systems and meta-annotations to qualify annotations (qualifiers). They may serve as documentation for the type qualifiers, and aid the Checker Framework to infer the relations between the type qualifiers.
|
|||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |