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