| 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.