|
Annotation Types Summary |
| CheckForNull |
|
| CheckForSigned |
Used to annotate a value that may be negative; uses of it should check for negative values
before using it in a way that requires the value to be nonnegative |
| 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. |
| 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 |
|