| Annotation Type | Description |
|---|---|
| AssertNonNullIfNonNull |
Indicates that if the method returns a non-null value, then the value expressions are also
non-null.
|
| EnsuresKeyFor |
Indicates that the value expressions evaluate to a value that is a key in all the given maps, if
the method terminates successfully.
|
| EnsuresKeyFor.List |
A wrapper annotation that makes the
EnsuresKeyFor annotation repeatable. |
| EnsuresKeyForIf |
Indicates that the given expressions evaluate to a value that is a key in all the given maps, if
the method returns the given result (either true or false).
|
| EnsuresKeyForIf.List |
A wrapper annotation that makes the
EnsuresKeyForIf annotation repeatable. |
| EnsuresNonNull |
Indicates that the value expressions are non-null, if the method terminates successfully.
|
| EnsuresNonNull.List |
A wrapper annotation that makes the
EnsuresNonNull annotation repeatable. |
| EnsuresNonNullIf |
Indicates that the given expressions are non-null, if the method returns the given result (either
true or false).
|
| EnsuresNonNullIf.List |
* A wrapper annotation that makes the
EnsuresNonNullIf annotation repeatable. |
| 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.
|
| MonotonicNonNull |
Indicates that once the field (or variable) becomes non-null, it never becomes null again.
|
| NonNull |
NonNull is a type annotation that indicates that an expression is never null. |
| Nullable | |
| PolyKeyFor |
A polymorphic qualifier for the Map Key (@KeyFor) type system.
|
| PolyNull |
A polymorphic qualifier for the non-null type system.
|
| 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.
|