|
Annotation Types Summary |
| CheckForNull |
|
| CheckForSigned |
Used to annotate a value that may be either negative or nonnegative, and
indicates that uses of it should check for
negative values before using it in a way that requires the value to be
nonnegative, and check for it being nonnegative before using it in a way that
requires it to be negative. |
| CheckReturnValue |
|
| Detainted |
|
| MatchesPattern |
|
| Nonnegative |
Used to annotate a value that should only contain nonnegative values |
| Nonnull |
|
| Nullable |
|
| OverridingMethodsMustInvokeSuper |
When this annotation is applied to a method, it indicates that if this method
is overridden in a subclass, the overriding method should invoke this method
(through method invocation on super). |
| ParametersAreNonnullByDefault |
This annotation can be applied to a package, class or method to indicate that
the method parameters in that element are nonnull by default unless there is:
An explicit nullness annotation
The method overrides a method in a superclass (in which case the
annotation of the corresponding parameter in the superclass applies)
there is a default parameter annotation applied to a more tightly nested
element. |
| ParametersAreNullableByDefault |
This annotation can be applied to a package, class or method to indicate that
the method parameters in that element are nullable by default unless there is:
An explicit nullness annotation
The method overrides a method in a superclass (in which case the
annotation of the corresponding parameter in the superclass applies)
there is a default parameter annotation applied to a more tightly nested
element. |
| PropertyKey |
|
| RegEx |
This qualifier is used to denote String values that should be a Regular
expression. |
| Signed |
Used to annotate a value of unknown sign |
| Syntax |
This annotation a value that is of a particular syntax, such as Java syntax
or regular expression syntax. |
| Tainted |
|
| Untainted |
|
| WillClose |
|
| WillCloseWhenClosed |
|
| WillNotClose |
|