|
|||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | ||||||||
See:
Description
| Enum | Description |
|---|---|
| DefaultLocation | Specifies the locations to which a DefaultQualifier annotation applies. |
| Annotation Type | Description |
|---|---|
| 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 | ||||||||