
| 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. | 
| 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 | |
| Untainted | |
| WillClose | |
| WillCloseWhenClosed | |
| WillNotClose | 
Copyright © 2018. All rights reserved.