| Class | Description |
|---|---|
| MatchesPattern.Checker | |
| Nonnegative.Checker | |
| Nonnull.Checker | |
| RegEx.Checker |
| Annotation Type | Description |
|---|---|
| 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.
|
| 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 |