| Annotation Type | Description |
|---|---|
| AssertNonNullAfter |
Indicates that if the method terminates successfully, the value expressions
are non-null.
|
| AssertNonNullIfFalse |
Indicates that if the method returns false, then the value expressions
are non-null.
|
| AssertNonNullIfNonNull |
Indicates that if the method returns a non-null value, then the value
expressions are also non-null.
|
| AssertNonNullIfTrue |
Indicates that if the method returns true, then the value expressions
are non-null.
|
| AssertParametersNonNull |
Indicates that the method throws an exception if any of its
parameters is
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.
|
| KeyFor |
Indicates that the annotated reference of an Object that is a key in a map.
|
| KeyForBottom |
TODO: the bottom type for the KeyFor system.
|
| LazyNonNull |
Indicates that a field (or variable) is lazily initialized to a non-null
value.
|
| NonNull |
@NonNull is a type annotation that indicates that a value is never null. |
| NonNullOnEntry |
Indicates a method precondition: the method expects the specified
variables (typically field references) to be non-null when the annotated
method is invoked.
|
| NonRaw |
An annotation that indicates a type that contains an initialized object
— that is, the object's constructor has completed, either in full
or in part.
|
| Nullable |
@Nullable is a type annotation that indicates that the value is
not known to be non-null (see NonNull). |
| PolyNull |
A polymorphic qualifier for the Nullness type system.
|
| PolyRaw |
A polymorphic qualifier for the Rawness type system.
|
| Primitive |
@Primitive is a type annotation internally used for primitive types. |
| Pure |
Indicates that if the method is a pure method, so calling it
multiple times with the same arguments yields the same results.
|
| Raw |
An annotation that indicates that the object may not be fully initialized.
|