| Modifier and Type | Annotation and Description |
|---|---|
| public @interface | AssertNonNullIfNonNull
Indicates that if the method returns a non-null value, then the value expressions are also non-null. |
| public @interface | EnsuresKeyFor
Indicates that the value expressions evaluate to a value that is a key in all the given maps, if the method terminates successfully. |
| public @interface | 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). |
| public @interface | EnsuresNonNull
Indicates that the value expressions are non-null just after a method call, if the method terminates successfully. |
| public @interface | EnsuresNonNullIf
Indicates that the given expressions are non-null, if the method returns the given result (either true or false). |
| public @interface | KeyFor
Indicates that the value assigned to the annotated variable is a key for at least the given map(s). |
| public @interface | KeyForBottom
The bottom type in the Map Key type system. |
| public @interface | MonotonicNonNull
Indicates that once the field (or variable) becomes non-null, it never becomes null again. |
| public @interface | NonNull
If an expression's type is qualified by |
| public @interface | |
| public @interface | PolyKeyFor
A polymorphic qualifier for the Map Key (@KeyFor) type system. |
| public @interface | PolyNull
A polymorphic qualifier for the non-null type system. |
| public @interface | RequiresNonNull
Indicates a method precondition: the method expects the specified expressions to be non-null when the annotated method is invoked. |
| public @interface | UnknownKeyFor
Used internally by the type system; should never be written by a programmer. |