See: Description
| Enum | Description |
|---|---|
| LiteralKind |
Specifies kinds of literal trees.
|
| TypeUseLocation |
Specifies the locations to which a
DefaultQualifier annotation applies. |
| Annotation Type | Description |
|---|---|
| AnnotatedFor |
Indicates that this class has been annotated for the given type system.
|
| Bottom |
A special annotation intended solely for representing the bottom type in
the qualifier hierarchy.
|
| ConditionalPostconditionAnnotation |
A meta-annotation that indicates that an annotation is a conditional
postcondition annotation, i.e., a type-specialized version of
EnsuresQualifierIf. |
| DefaultFor |
Applied to the declaration of a type qualifier specifies that
the given annotation should be the default for a particular location.
|
| DefaultInUncheckedCodeFor |
Applied to the declaration of a type qualifier, specifies that
the given annotation should be the default for unannotated type uses
(in bytecode or source code) at the given location(s).
|
| 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 and no other default has been specified for the location.
|
| DefaultQualifierInHierarchyInUncheckedCode |
Indicates that the annotated qualifier is the default qualifier on
unannotated type uses (in bytecode or source code that has not been type-checked).
|
| 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.
|
| EnsuresQualifier |
A postcondition annotation to indicate that a method ensures certain
expressions to have a certain type qualifier once the method has successfully
terminated.
|
| EnsuresQualifierIf |
A conditional postcondition annotation to indicate that a method ensures that
certain expressions have a certain qualifier once the method has finished,
and if the result is as indicated by
result. |
| EnsuresQualifiers |
A meta-annotation to allow multiple postcondition annotations.
|
| EnsuresQualifiersIf |
A meta-annotation to allow multiple conditional postcondition annotations.
|
| FieldIsExpression |
A meta-annotation indicating that the annotated annotation is a type
qualifier with a field named 'value' that is an array of Strings
containing Java expressions.
|
| FromByteCode |
If a method is annotated with this declaration annotation, then its signature
is not written in a stub file and the method is not declared in source.
|
| FromStubFile |
If a method is annotated with this declaration annotation, then its signature
was read from a stub file.
|
| ImplicitFor |
A meta-annotation that specifies the trees and types for which the framework
should automatically add that qualifier.
|
| InheritedAnnotation |
A meta-annotation that specifies if an annotation should be inherited.
|
| InvisibleQualifier |
A meta-annotation indicating that the annotated annotation is a type
qualifier that should not be visible in output.
|
| MonotonicQualifier |
A meta-annotation that indicates that a qualifier indicates that an
expression goes monotonically from a type qualifier
T to another
qualifier S. |
| PolyAll |
A polymorphic type qualifier that varies over all type hierarchies.
|
| PolymorphicQualifier |
A meta-annotation that indicates that an annotation is a polymorphic type
qualifier.
|
| PostconditionAnnotation |
A meta-annotation that indicates that an annotation is a postcondition
annotation, i.e., a type-specialized version of
EnsuresQualifier. |
| PreconditionAnnotation |
A meta-annotation that indicates that an annotation is a precondition
annotation, i.e., a type-specialized version of
RequiresQualifier. |
| RequiresQualifier |
A precondition annotation to indicate that a method requires certain
expressions to have a certain qualifier at the time of the call to the
method.
|
| RequiresQualifiers |
A meta-annotation to allow multiple precondition annotations.
|
| StubFiles |
An annotation on a SourceChecker subclass to provide additional
stub files that should be used in addition to jdk.astub.
|
| SubtypeOf |
A meta-annotation to specify all the qualifiers that the given qualifier
is a subtype of.
|
| TargetLocations |
A meta-annotation that restricts the type-use locations where a type
qualifier may be written.
|
| 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).
|