All Classes

Class	Description
A	Ampere.
Acceleration	Units of acceleration.
AlwaysSafe	Annotation to override the UI effect on a class, and make a field or method safe for non-UI code to use.
Angle	Units of measure for angles.
AnnotatedFor	Indicates that this class has been annotated for the given type system.
Area	Units of areas.
ArrayLen	An annotation indicating the length of an array or a string.
ArrayLenRange	An expression with this type evaluates to an array or a string whose length is in the given range.
ArrayWithoutPackage	An identifier or primitive type, followed by any number of array square brackets.
AssertNonNullIfNonNull	Indicates that if the method returns a non-null value, then the value expressions are also non-null.
AwtAlphaCompositingRule	Basic alpha compositing rules for combining source and destination colors to achieve blending and transparency effects with graphics and images (see AlphaComposite for more details).
AwtColorSpace	Color space tags to identify the specific color space of a Color object or, via a ColorModel object, of an Image, a BufferedImage, or a GraphicsDevice (see ColorSpace for more details).
AwtCursorType	AwtCursorType.
AwtFlowLayout	Line alignments in a flow layout (see FlowLayout for more details).
BinaryName	Represents a binary name as defined in the Java Language Specification, section 13.1.
BinaryNameOrPrimitiveType	Represents a primitive type name or a binary name.
BinaryNameWithoutPackage	Represents a string that is a BinaryName, an InternalForm, and a ClassGetName.
BoolVal	An annotation indicating the possible values for a bool type.
Bottom	A special annotation intended solely for representing the bottom type in the qualifier hierarchy.
BottomThis	The bottom type for the Returns Receiver Checker's type system.
BottomVal	The bottom type in the Constant Value type system.
C	Degree Centigrade (Celsius).
CalledMethods	A deprecated variant of CalledMethods.
CalledMethods	If an expression has type @CalledMethods({"m1", "m2"}), then methods m1 and m2 have definitely been called on its value.
CalledMethodsBottom	The bottom type for the Called Methods type system.
CalledMethodsPredicate	This annotation represents a predicate on @CalledMethods annotations.
CanonicalName	Canonical names have the same syntactic form as fully-qualified names.
CanonicalNameAndBinaryName	This is a string that is a valid canonical name and a valid binary name.
CanonicalNameOrEmpty	Either a CanonicalName or the empty string.
CanonicalNameOrPrimitiveType	This is a string that is a valid canonical name and a valid binary name or primitive type.
cd	Candela (unit of luminance).
CFComment	This annotation is for comments related to the Checker Framework.
ClassBound	This represents a Class<T> object whose run-time value is equal to or a subtype of one of the arguments.
ClassGetName	The type representation used by the Class.getName(), Class.forName(String), and Class.forName(String, boolean, ClassLoader) methods.
ClassGetSimpleName	The format produced by the Class.getSimpleName() method.
ClassVal	This represents a Class<T> object where the set of possible values of T is known at compile time.
ClassValBottom	The bottom type in the ClassVal type system.
CompareToMethod	Method declaration annotation that indicates a method has a specification like compareTo() or compare().
CompilerMessageKey	A string that is definitely a compiler message key.
CompilerMessageKeyBottom	The bottom type in the Compiler Message Key type system.
ConditionalPostconditionAnnotation	A meta-annotation that indicates that an annotation E is a conditional postcondition annotation, i.e., E is a type-specialized version of EnsuresQualifierIf or EnsuresQualifierIf.List.
ConversionCategory	Elements of this enumeration are used in a Format annotation to indicate the valid types that may be passed as a format parameter.
Covariant	A marker annotation, written on a class declaration, that signifies that one or more of the class's type parameters can be treated covariantly.
CreatesMustCallFor	Indicates that the method resets the expression's must-call type to its declared type.
CreatesMustCallFor.List	A wrapper annotation that makes the CreatesMustCallFor annotation repeatable.
Current	Electric current.
DefaultFor	A meta-annotation applied to the declaration of a type qualifier.
DefaultQualifier	Applied to a declaration of a package, type, method, variable, etc., specifies that the given annotation should be the default.
DefaultQualifier.List	A wrapper annotation that makes the DefaultQualifier annotation repeatable.
DefaultQualifierForUse	Declaration annotation applied to type declarations to specify the qualifier to be added to unannotated uses of the type.
DefaultQualifierInHierarchy	Indicates that the annotated qualifier is the default qualifier in the qualifier hierarchy: it applies if the programmer writes no explicit qualifier and no other default has been specified for the location.
degrees	Degrees.
Deterministic	A method is called deterministic if it returns the same value (according to ==) every time it is called with the same parameters and in the same environment.
DotSeparatedIdentifiers	This is a string that is a valid fully qualified name and a valid binary name.
DotSeparatedIdentifiersOrPrimitiveType	This is a string that is a valid fully qualified name and a valid binary name or primitive type.
DoubleVal	An annotation indicating the possible values for a double or float type.
EnsuresCalledMethods	Indicates that the method, if it terminates successfully, always invokes the given methods on the given expressions.
EnsuresCalledMethodsIf	Indicates that the method, if it terminates with the given result, invokes the given methods on the given expressions.
EnsuresCalledMethodsIf.List	A wrapper annotation that makes the EnsuresCalledMethodsIf annotation repeatable.
EnsuresCalledMethodsVarArgs	Indicates that the method, if it terminates successfully, always invokes the given methods on all of the arguments passed in the varargs position.
EnsuresInitializedFields	A method postcondition annotation indicates which fields the method definitely initializes.
EnsuresInitializedFields.List	A wrapper annotation that makes the EnsuresInitializedFields annotation repeatable.
EnsuresKeyFor	Indicates that the value expressions evaluate to a value that is a key in all the given maps, if the method terminates successfully.
EnsuresKeyFor.List	A wrapper annotation that makes the EnsuresKeyFor annotation repeatable.
EnsuresKeyForIf	Indicates that the given expressions evaluate to a value that is a key in all the given maps, if the method returns the given result (either true or false).
EnsuresKeyForIf.List	A wrapper annotation that makes the EnsuresKeyForIf annotation repeatable.
EnsuresLockHeld	Indicates that the given expressions are held if the method terminates successfully.
EnsuresLockHeld.List	A wrapper annotation that makes the EnsuresLockHeld annotation repeatable.
EnsuresLockHeldIf	Indicates that the given expressions are held if the method terminates successfully and returns the given result (either true or false).
EnsuresLockHeldIf.List	A wrapper annotation that makes the EnsuresLockHeldIf annotation repeatable.
EnsuresLTLengthOf	Indicates that the value expressions evaluate to an integer whose value is less than the lengths of all the given sequences, if the method terminates successfully.
EnsuresLTLengthOf.List	A wrapper annotation that makes the EnsuresLTLengthOf annotation repeatable.
EnsuresLTLengthOfIf	Indicates that the given expressions evaluate to an integer whose value is less than the lengths of all the given sequences, if the method returns the given result (either true or false).
EnsuresLTLengthOfIf.List	A wrapper annotation that makes the EnsuresLTLengthOfIf annotation repeatable.
EnsuresMinLenIf	Indicates that the value of the given expression is a sequence containing at least the given number of elements, if the method returns the given result (either true or false).
EnsuresMinLenIf.List	A wrapper annotation that makes the EnsuresMinLenIf annotation repeatable.
EnsuresNonNull	Indicates that the value expressions are non-null just after a method call, if the method terminates successfully.
EnsuresNonNull.List	A wrapper annotation that makes the EnsuresNonNull annotation repeatable.
EnsuresNonNullIf	Indicates that the given expressions are non-null, if the method returns the given result (either true or false).
EnsuresNonNullIf.List	* A wrapper annotation that makes the EnsuresNonNullIf annotation repeatable.
EnsuresQualifier	A postcondition annotation to indicate that a method ensures that certain expressions have a certain type qualifier once the method has successfully terminated.
EnsuresQualifier.List	A wrapper annotation that makes the EnsuresQualifier annotation repeatable.
EnsuresQualifierIf	A conditional postcondition annotation to indicate that a method ensures that certain expressions have a certain qualifier once the method has terminated, and if the result is as indicated by result.
EnsuresQualifierIf.List	A wrapper annotation that makes the EnsuresQualifierIf annotation repeatable.
EnumVal	An annotation indicating the possible values for an enum type.
EqualsMethod	Method declaration annotation that indicates a method has a specification like equals().
FBCBottom	The bottom type in the initialization type system.
Fenum	A generic fake enumeration qualifier that is parameterized by a name.
FenumBottom	The bottom type in the Fenum type system.
FenumTop	The top of the fake enumeration type hierarchy.
FenumUnqualified	An unqualified type.
FieldDescriptor	Represents a field descriptor (JVM type format) as defined in the Java Virtual Machine Specification, section 4.3.2.
FieldDescriptorForPrimitive	Represents a field descriptor (JVM type format) for a primitive as defined in the Java Virtual Machine Specification, section 4.3.2.
FieldDescriptorWithoutPackage	Represents a field descriptor for a primitive or for an array whose base type is primitive or in the unnamed package.
FieldInvariant	Specifies that a field's type, in the class on which this annotation is written, is a subtype of its declared type.
FindDistinct	This formal parameter annotation indicates that the method searches for the given value, using reference equality (==).
Force	Units of force.
Format	This annotation, attached to a String type, indicates that the String may be passed to Formatter.format and similar methods.
FormatBottom	The bottom type in the Format String type system.
FormatMethod	If this annotation is attached to a Formatter.format-like method, then the first parameter of type String is treated as a format string for the following arguments.
ForName	Annotation for methods like Class.forName.
FqBinaryName	An extension of binary name format to represent primitives and arrays.
FromByteCode	If a method is annotated with this declaration annotation, then its signature is not written in a stub file and the method is not declared in source.
FromStubFile	If a method is annotated with this declaration annotation, then its signature was read from a stub file.
FullyQualifiedName	A sequence of dot-separated identifiers, followed by any number of array square brackets.
g	Gram.
GetClass	Annotation for methods like Object.getClassName.
GetConstructor	Annotation for methods like Class.getConstructor, whose signature is: @MethodVal(classname=c, methodname="<init>", params=p) Constructor<T> method(Class<c> this, Object... params)
GetMethod	Annotation for methods like Class.getMethod and Class.getDeclaredMethod, whose signature is: {@link MethodVal}(classname=c, methodname=m, params=p) Method getMyMethod(Class<c> this, String m, Object... params)
GTENegativeOne	The annotated expression evaluates to an integer greater than or equal to -1.
GuardedBy	Indicates that a thread may dereference the value referred to by the annotated variable only if the thread holds all the given lock expressions.
GuardedByBottom	The bottom type in the GuardedBy type system.
GuardedByUnknown	It is unknown what locks guard the value referred to by the annotated variable.
GuardSatisfied	If a variable x has type @GuardSatisfied, then all lock expressions for x's value are held.
h	Hour.
HasQualifierParameter	This is a declaration annotation that applies to type declarations and packages.
HasSubsequence	The annotated sequence contains a subsequence that is equal to the value of some other expression.
Holding	Indicates a method precondition: the specified expressions must be held when the annotated method is invoked.
I18nChecksFormat	This annotation is used internally to annotate org.checkerframework.checker.i18nformatter.util.I18nFormatUtil#hasFormat (and will potentially be used to annotate more such functions in the future).
I18nConversionCategory	Elements of this enumeration are used in a I18nFormat annotation to indicate the valid types that may be passed as a format parameter.
I18nFormat	This annotation, attached to a String type, indicates that the String may be passed to MessageFormat.format.
I18nFormatBottom	The bottom type in the Internationalization Format String type system.
I18nFormatFor	This annotation indicates that when a string of the annotated type is passed as the first argument to MessageFormat.format(String, Object...), then the expression that is an argument to the annotation can be passed as the remaining arguments, in varargs style.
I18nInvalidFormat	This annotation, attached to a String type, indicates that if the String is passed to MessageFormat.format(String, Object...), an exception will result.
I18nMakeFormat	This annotation is used internally to annotate ResourceBundle.getString(java.lang.String) indicating the checker to check if the given key exist in the translation file and annotate the result string with the correct format annotation according to the corresponding key's value.
I18nUnknownFormat	The top qualifier.
I18nValidFormat	This annotation is used internally to annotate org.checkerframework.checker.i18nformatter.util.I18nFormatUtil#isFormat.
Identifier	An identifier.
IdentifierOrPrimitiveType	An identifier or a primitive type.
IgnoreInWholeProgramInference	This annotation can be used two ways:
IndexFor	An integer that can be used to index any of the given sequences.
IndexOrHigh	An integer that, for each of the given sequences, is either a valid index or is equal to the sequence's length.
IndexOrLow	An integer that is either -1 or is a valid index for each of the given sequences.
InheritableMustCall	This annotation is an alias for MustCall that applies to the type on which it is written and all of its subtypes.
InheritedAnnotation	A meta-annotation that specifies if a declaration annotation should be inherited.
Initialized	This type qualifier belongs to the freedom-before-commitment initialization tracking type-system.
InitializedFields	Indicates which fields have definitely been initialized.
InitializedFieldsBottom	The bottom type qualifier for the Initialized Fields type system.
InternalForm	The syntax for binary names that appears in a class file, as defined in the JVM Specification, section 4.2.
Interned	Indicates that a variable has been interned, i.e., that the variable refers to the canonical representation of an object.
InternedDistinct	Indicates that no other value is equals() to the given value.
InternMethod	Method declaration annotation used to indicate that this method may be invoked on an uninterned object and that it returns an interned object.
IntRange	An expression with this type evaluates to an integral value (byte, short, char, int, or long) in the given range.
IntRangeFromGTENegativeOne	An expression with this type is exactly the same as an IntRange annotation whose from field is -1 and whose to field is Integer.MAX_VALUE.
IntRangeFromNonNegative	An expression with this type is exactly the same as an IntRange annotation whose from field is 0 and whose to field is Integer.MAX_VALUE.
IntRangeFromPositive	An expression with this type is exactly the same as an IntRange annotation whose from field is 1 and whose to field is Integer.MAX_VALUE.
IntVal	An annotation indicating the possible values for a byte, short, char, int, or long type.
InvalidFormat	This annotation, attached to a String type, indicates that the string is not a legal format string.
InvisibleQualifier	A meta-annotation indicating that an annotation is a type qualifier that should not be visible in output.
Invoke	Annotation for methods like Method.invoke, whose signature is: Object method({@link MethodVal}(classname=c, methodname=m, params=p) Method this, Object obj, Object... args)
JavaExpression	An annotation to use on an element of a dependent type qualifier to specify which elements of the annotation should be interpreted as Java expressions.
K	Kelvin (unit of temperature).
KeyFor	Indicates that the value assigned to the annotated variable is a key for at least the given map(s).
KeyForBottom	The bottom type in the Map Key type system.
kg	Kilogram.
km	Kilometer.
km2	Square kilometer.
km3	Cubic kilometer.
kmPERh	Kilometer per hour.
kN	Kilonewton.
LeakedToResult	This annotation is used on a formal parameter to indicate that the parameter may be returned, but it is not otherwise leaked.
Length	Units of length.
LengthOf	An integer that, for each of the given sequences, is equal to the sequence's length.
LessThan	An annotation indicating the relationship between values with a byte, short, char, int, or long type.
LessThanBottom	The bottom type in the LessThan type system.
LessThanUnknown	The top qualifier for the LessThan type hierarchy.
LiteralKind	Specifies kinds of literal trees.
LocalizableKey	Indicates that the String is a key into a property file or resource bundle containing Localized Strings.
LocalizableKeyBottom	The bottom type in the Internationalization type system.
Localized	Indicates that the String type has been localized and formatted for the target output locale.
LockHeld	Indicates that an expression is used as a lock and the lock is known to be held on the current thread.
LockingFree	The method neither acquires nor releases locks, nor do any of the methods that it calls.
LockPossiblyHeld	Indicates that an expression is not known to be LockHeld.
LowerBoundBottom	The bottom type of the lower bound type system.
LowerBoundUnknown	The annotated expression evaluates to value that might be -2 or lower.
LTEqLengthOf	The annotated expression evaluates to an integer whose value is less than or equal to the lengths of all the given sequences.
LTLengthOf	The annotated expression evaluates to an integer whose value is less than the lengths of all the given sequences.
LTOMLengthOf	The annotated expression evaluates to an integer whose value is at least 2 less than the lengths of all the given sequences.
Luminance	Units of luminance.
m	Meter.
m2	Square meter.
m3	Cubic meter.
Mass	Units of mass.
MatchesRegex	An annotation indicating the possible values for a String type.
MaybeAliased	An expression with this type might have an alias.
MaybeLeaked	Temporary type qualifier:
MaybePresent	The Optional container may or may not contain a value.
MayReleaseLocks	The method, or one of the methods it calls, might release locks that were held prior to the method being called.
MethodDescriptor	Represents a method descriptor (JVM representation of method signature) as defined in the Java Virtual Machine Specification, section 4.3.3.
MethodVal	This represents a set of Method or Constructor values.
MethodValBottom	The bottom type in the MethodVal type system.
min	Minute.
MinLen	The value of the annotated expression is a sequence containing at least the given number of elements.
MinLenFieldInvariant	A specialization of FieldInvariant for specifying the minimum length of an array.
MixedUnits	MixedUnits is the result of multiplying or dividing units, where no more specific unit is known from a UnitsRelations implementation.
mm	Millimeter.
mm2	Square millimeter.
mm3	Cubic millimeter.
mol	Mole (unit of Substance).
MonotonicNonNull	Indicates that once the field (or variable) becomes non-null, it never becomes null again.
MonotonicQualifier	A meta-annotation that indicates that a qualifier indicates that an expression goes monotonically from a type qualifier T to another qualifier S.
mPERs	Meter per second.
mPERs2	Meter per second squared.
MustCall	An expression of type @MustCall({"m1", "m2"}) may be obligated to call m1() and/or m2() before it is deallocated, but it is not obligated to call any other methods.
MustCallAlias	This polymorphic annotation represents an either-or must-call obligation.
MustCallUnknown	The top qualifier in the Must Call type hierarchy.
N	Newton.
NegativeIndexFor	The annotated expression is between -1 and -a.length - 1, inclusive, for each sequence a listed in the annotation.
NewInstance	Annotation for methods like Constructor.newInstance, whose signature is: T method(MethodVal(classname=c, methodname="<init>", params=p) Constructor this, Object... args)
NewObject	A type that represents a newly-constructed object.
NoDefaultQualifierForUse	Declaration annotation applied to type declarations to specify that the annotation on the type declaration should not be applied to unannotated uses of the type.
NonLeaked	This annotation is used on a formal parameter to indicate that the parameter is not leaked (stored in a location that could be accessed later) nor returned by the method body.
NonNegative	The annotated expression evaluates to an integer greater than or equal to 0.
NonNull	If an expression's type is qualified by @NonNull, then the expression never evaluates to null.
NoQualifierParameter	This is a declaration annotation that applies to type declarations.
NotCalledMethods	An annotation speculatively used by Lombok's lombok.config checkerframework = true option.
NotOnlyInitialized	A declaration annotation for fields that indicates that a client might observe the field storing values that are Initialized, UnderInitialization, or UnknownInitialization, regardless of the initialization type annotation on the field's type.
NotOwning	Annotation indicating that ownership should not be transferred to the annotated parameter, field, or method's call sites, for the purposes of Must Call checking.
Nullable	Nullable is a type annotation that makes no commitments about whether the value is null.
OptionalBottom	The bottom type qualifier for the Optional Checker.
Owning	Annotation indicating that ownership should be transferred to the annotated element for the purposes of Must Call checking.
PartialRegex	Indicates a String that is not a syntactically valid regular expression.
PolyFenum	A polymorphic qualifier for the fake enum type system.
PolyIndex	A polymorphic qualifier for the Lower Bound and Upper Bound type systems.
PolyInitializedFields	Polymorphic qualifier for the Initialized Fields type system.
PolyInterned	A polymorphic qualifier for the Interning type system.
PolyKeyFor	A polymorphic qualifier for the Map Key (@KeyFor) type system.
PolyLength	Syntactic sugar for both @PolyValue and @PolySameLen.
PolyLowerBound	A polymorphic qualifier for the Lower Bound type system.
PolymorphicQualifier	A meta-annotation that indicates that an annotation is a polymorphic type qualifier.
PolyMustCall	The polymorphic qualifier for the Must Call type system.
PolyNull	A polymorphic qualifier for the non-null type system.
PolyPresent	A polymorphic qualifier for the Optional type system.
PolyRegex	A polymorphic qualifier for the Regex type system.
PolySameLen	A polymorphic qualifier for the SameLen type system.
PolySignature	A polymorphic qualifier for the Signature type system.
PolySigned	A polymorphic qualifier for the signedness type system.
PolyTainted	A polymorphic qualifier for the Tainting type system.
PolyUI	Annotation for the polymorphic-UI effect.
PolyUIEffect	Annotation for the polymorphic effect on methods, or on field accesses.
PolyUIType	Annotation for the polymorphic type declaration.
PolyUnit	A polymorphic qualifier for the units-of-measure type system implemented by the Units Checker.
PolyUpperBound	A polymorphic qualifier for the Upper Bound type system.
PolyValue	A polymorphic qualifier for the Constant Value Checker.
Positive	The annotated expression evaluates to an integer greater than or equal to 1.
PostconditionAnnotation	A meta-annotation that indicates that an annotation E is a postcondition annotation, i.e., E is a type-specialized version of EnsuresQualifier or of EnsuresQualifier.List.
PreconditionAnnotation	A meta-annotation that indicates that an annotation R is a precondition annotation, i.e., R is a type-specialized version of RequiresQualifier.
Prefix	SI prefixes.
Present	The Optional container definitely contains a (non-null) value.
PrimitiveType	A primitive type.
PropertyKey	Indicates that the String type can be used as key in a property file or resource bundle.
PropertyKeyBottom	The bottom type in the PropertyKeyChecker (and associated checkers) qualifier hierarchy.
Pure	Pure is a method annotation that means both SideEffectFree and Deterministic.
Pure.Kind	The type of purity.
PurityUnqualified	An annotation intended solely for representing an unqualified type in the qualifier hierarchy for the Purity Checker.
QualifierArgument	An annotation to use on an element of a contract annotation to indicate that the element specifies the value of an argument of the qualifier.
QualifierForLiterals	A meta-annotation that indicates what qualifier should be given to literals.
radians	Radians.
Regex	If a type is annotated as @Regex(n), then the run-time value is a regular expression with n capturing groups.
RegexBottom	The bottom type in the Regex type system.
ReleasesNoLocks	The method maintains a strictly nondecreasing lock held count on the current thread for any locks that were held prior to the method call.
RelevantJavaTypes	An annotation on a SourceChecker subclass to specify which Java types are processed by the checker.
ReportCall	Report all calls of a method that has this annotation, including calls of methods that override this method.
ReportCreation	Report all instantiations of a class/interface that has this annotation, including any subclass.
ReportInherit	Report all types that extend/implement a type that has this annotation.
ReportOverride	Report all methods that override a method with this annotation.
ReportReadWrite	Report all read or write access to a field with this annotation.
ReportUnqualified	An annotation intended solely for representing an unqualified type in the qualifier hierarchy for the Report Checker.
ReportUse	Report all uses of a type that has this annotation.
ReportWrite	Report all write accesses to a field with this annotation.
RequiresCalledMethods	Indicates a method precondition: when the method is invoked, the specified expressions must have had the specified methods called on them.
RequiresCalledMethods.List	A wrapper annotation that makes the RequiresCalledMethods annotation repeatable.
RequiresNonNull	Indicates a method precondition: the method expects the specified expressions to be non-null when the annotated method is invoked.
RequiresNonNull.List	A wrapper annotation that makes the RequiresNonNull annotation repeatable.
RequiresQualifier	A precondition annotation to indicate that a method requires certain expressions to have a certain qualifier at the time of the call to the method.
RequiresQualifier.List	A wrapper annotation that makes the RequiresQualifier annotation repeatable.
ReturnsFormat	Attach this annotation to a method with the following properties: The first parameter is a format string.
ReturnsReceiver	A deprecated variant of org.checkerframework.common.returnsreceiver.qual.This.
s	A second (1/60 of a minute).
SafeEffect	Annotation for the concrete safe effect on methods, or on field accesses.
SafeType	Class declaration annotation to make methods default to @AlwaysSafe.
SameLen	An expression whose type has this annotation evaluates to a value that is a sequence, and that sequence has the same length as the given sequences.
SameLenBottom	The bottom type in the SameLen type system.
SameLenUnknown	This type represents any variable that isn't known to have the same length as another sequence.
SearchIndexBottom	The bottom type in the Search Index type system.
SearchIndexFor	The annotated expression evaluates to an integer whose length is between -a.length - 1 and a.length - 1, inclusive, for all sequences a listed in the annotation.
SearchIndexUnknown	The top type for the SearchIndex type system.
SideEffectFree	A method is called side-effect-free if it has no visible side-effects, such as setting a field of an object that existed before the method was called.
SignatureBottom	The bottom type in the Signature String type system.
SignatureUnknown	Top qualifier in the type hierarchy.
Signed	The value is to be interpreted as signed.
SignednessBottom	The bottom type in the Signedness type system.
SignednessGlb	Client code may interpret the value either as Signed or as Unsigned.
SignedPositive	The expression's value is in the signed positive range; that is, its most significant bit is not set.
SignedPositiveFromUnsigned	The expression is @SignedPositive, and its value came from widening a value that is allowed to be interpreted as unsigned.
Speed	Units of speed.
StaticallyExecutable	StaticallyExecutable is a method annotation that indicates that the compiler is allowed to run the method at compile time, if all of the method's arguments are compile-time constants.
StringVal	An annotation indicating the possible values for a String type.
StubFiles	An annotation on a SourceChecker subclass to provide additional stub files that should be used in addition to jdk.astub.
Substance	Units of substance, such as mole (@mol).
SubstringIndexBottom	The bottom type in the Substring Index type system.
SubstringIndexFor	The annotated expression evaluates to either -1 or a non-negative integer less than the lengths of all the given sequences.
SubstringIndexUnknown	The top type for the Substring Index type system.
SubtypeOf	A meta-annotation to specify all the qualifiers that the given qualifier is an immediate subtype of.
SwingBoxOrientation	SwingBoxOrientation.
SwingCompassDirection	SwingCompassDirection.
SwingElementOrientation	SwingElementOrientation.
SwingHorizontalOrientation	SwingHorizontalOrientation.
SwingSplitPaneOrientation	SwingSplitPaneOrientation.
SwingTextOrientation	SwingTextOrientation.
SwingTitleJustification	Vertical orientations for the title text of a TitledBorder.
SwingTitlePosition	Justifications for the title text of a TitledBorder.
SwingVerticalOrientation	SwingVerticalOrientation.
t	Metric ton.
Tainted	Denotes a possibly-tainted value: at run time, the value might be tainted or might be untainted.
TargetLocations	NOTE: This meta-annotation is not currently enforced.
Temperature	Units of temperature.
TerminatesExecution	TerminatesExecution is a method annotation that indicates that a method terminates the execution of the program.
This	Write @This on the return type of a method that always returns its receiver ( this).
Time	Units of time.
TypeKind	Specifies kinds of types.
TypeUseLocation	Specifies the locations to which a DefaultQualifier annotation applies.
UI	Annotation for the UI effect.
UIEffect	Annotation for the concrete UI effect on methods, or on field accesses.
UIPackage	Package annotation to make all classes within a package @UIType.
UIType	Class declaration annotation to make methods default to @UI.
UnderInitialization	This type qualifier indicates that an object is (definitely) in the process of being constructed/initialized.
Unique	An expression with this type has no aliases.
UnitsBottom	The bottom type in the Units type system.
UnitsMultiple	Define the relation between a base unit and the current unit.
UnitsRelations	Specify the class that knows how to handle the meta-annotated unit when put in relation (plus, multiply, ...) with another unit.
UnknownClass	Represents a Class object whose run-time value is not known at compile time.
UnknownCompilerMessageKey	A String that might or might not be a compiler message key.
UnknownFormat	The top qualifier.
UnknownInitialization	This type qualifier indicates how much of an object has been fully initialized.
UnknownInterned	The top qualifier for the Interning Checker.
UnknownKeyFor	Used internally by the type system; should never be written by a programmer.
UnknownLocalizableKey	Indicates that the String type has an unknown localizable key property.
UnknownLocalized	Indicates that the String type has unknown localization properties.
UnknownMethod	Represents a Method or Constructor expression whose run-time value is not known at compile time.
UnknownPropertyKey	Indicates that the String type has an unknown property key property.
UnknownRegex	Represents the top of the Regex qualifier hierarchy.
UnknownSignedness	The value's signedness is not known to the Signedness Checker.
UnknownThis	The top type for the Returns Receiver Checker's type system.
UnknownUnits	UnknownUnits is the top type of the type hierarchy.
UnknownVal	UnknownVal is a type annotation indicating that the expression's value is not known at compile type.
Unqualified	A special annotation intended solely for representing an unqualified type in the qualifier hierarchy, as an argument to SubtypeOf.value(), in a type qualifier declaration.
Unsigned	The value is to be interpreted as unsigned.
Untainted	Denotes a reference that is untainted, i.e.
Unused	Declares that the field may not be accessed if the receiver is of the specified qualifier type (or any supertype).
UpperBoundBottom	The bottom type in the Upper Bound type system.
UpperBoundFor	A meta-annotation applied to the declaration of a type qualifier.
UpperBoundLiteral	A literal value.
UpperBoundUnknown	A variable not known to have a relation to any sequence length.
UsesObjectEquals	Class declaration to indicate the class does not override equals(Object), and therefore a.equals(b) and a == b behave identically.
Volume	Units of volume.