| Annotation Type | Description |
|---|---|
| AssertNonNullIfNonNull |
Indicates that if the method returns a non-null value, then the value expressions are also
non-null.
|
| Covariant |
A marker annotation, written on a class declaration, that signifies that one or more of the
class's type parameters can be treated covariantly.
|
| EnsuresNonNull |
Indicates that the value expressions are non-null, if the method terminates successfully.
|
| EnsuresNonNullIf |
Indicates that the given expressions are non-null, if the method returns the given result (either
true or false).
|
| KeyFor |
Indicates that the value assigned to the annotated variable is a key for at least the given
map(s).
|
| KeyForBottom |
The bottom type in the Map Key type system.
|
| LazyNonNull | Deprecated |
| MonotonicNonNull |
Indicates that a field (or variable) is lazily initialized to a non-null value.
|
| NonNull |
NonNull is a type annotation that indicates that an expression is never null. |
| NonRaw |
This type qualifier belongs to the rawness initialization tracking type-system.
|
| Nullable | |
| PolyKeyFor |
A polymorphic qualifier for the Map Key (@KeyFor) type system.
|
| PolyNull |
A polymorphic qualifier for the non-null type system.
|
| PolyRaw |
A polymorphic qualifier for the Rawness type system.
|
| Raw |
This type qualifier belongs to the rawness type-system for tracking initialization.
|
| RequiresNonNull |
Indicates a method precondition: the method expects the specified expressions to be non-null when
the annotated method is invoked.
|
| UnknownKeyFor |
Used internally by the type system; should never be written by a programmer.
|