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.