| Class | Description |
|---|---|
| MatchesPattern.Checker | |
| Nonnegative.Checker | |
| Nonnull.Checker | |
| RegEx.Checker |
| Annotation Type | Description |
|---|---|
| CheckForNull |
The annotated element might be null, and uses of the element should check for null.
|
| 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 |
This annotation is used to denote a method whose return value should always
be checked after invoking the method.
|
| Detainted | |
| MatchesPattern |
This annotation is used to denote String values that should always match given pattern.
|
| Nonnegative |
This annotation is used to annotate a value that should only contain nonnegative values.
|
| Nonnull |
The annotated element must not be null.
|
| Nullable |
The annotated element could be null under some circumstances.
|
| 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 (like
ParametersAreNullableByDefault)
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 |
This annotation is used to denote String values that are tainted, i.e. may come
from untrusted sources without proper validation.
|
| Untainted |
This annotation is used to denote String values that are untainted,
i.e. properly validated.
|
| WillClose |
Used to annotate a method parameter to indicate that this method will close
the resource.
|
| WillCloseWhenClosed |
Used to annotate a constructor/factory parameter to indicate that returned
object (X) will close the resource when X is closed.
|
| WillNotClose |
Used to annotate a method parameter to indicate that this method will not
close the resource.
|
Copyright © 2017. All rights reserved.