Uses of Annotation Type
org.checkerframework.framework.qual.TargetLocations

Packages that use TargetLocations

Package	Description
org.checkerframework.checker.calledmethods.qual
org.checkerframework.checker.compilermsgs.qual	Qualifiers for the Compiler Message Key Checker.
org.checkerframework.checker.fenum.qual
org.checkerframework.checker.formatter.qual
org.checkerframework.checker.i18n.qual
org.checkerframework.checker.i18nformatter.qual
org.checkerframework.checker.index.qual
org.checkerframework.checker.initialization.qual
org.checkerframework.checker.lock.qual
org.checkerframework.checker.nullness.qual
org.checkerframework.checker.propkey.qual
org.checkerframework.checker.regex.qual
org.checkerframework.checker.signature.qual
org.checkerframework.checker.signedness.qual
org.checkerframework.checker.units.qual
org.checkerframework.common.initializedfields.qual
org.checkerframework.common.reflection.qual
org.checkerframework.common.returnsreceiver.qual
org.checkerframework.common.subtyping.qual
org.checkerframework.common.value.qual

Uses of TargetLocations in org.checkerframework.checker.calledmethods.qual

Classes in org.checkerframework.checker.calledmethods.qual with annotations of type TargetLocations

Modifier and Type	Class	Description
@interface	CalledMethodsBottom	The bottom type for the Called Methods type system.

Uses of TargetLocations in org.checkerframework.checker.compilermsgs.qual

Classes in org.checkerframework.checker.compilermsgs.qual with annotations of type TargetLocations

Modifier and Type	Class	Description
@interface	CompilerMessageKeyBottom	The bottom type in the Compiler Message Key type system.

Uses of TargetLocations in org.checkerframework.checker.fenum.qual

Classes in org.checkerframework.checker.fenum.qual with annotations of type TargetLocations

Modifier and Type	Class	Description
@interface	FenumBottom	The bottom type in the Fenum type system.
@interface	FenumTop	The top of the fake enumeration type hierarchy.

Uses of TargetLocations in org.checkerframework.checker.formatter.qual

Classes in org.checkerframework.checker.formatter.qual with annotations of type TargetLocations

Modifier and Type	Class	Description
@interface	FormatBottom	The bottom type in the Format String type system.
@interface	UnknownFormat	The top qualifier.

Uses of TargetLocations in org.checkerframework.checker.i18n.qual

Classes in org.checkerframework.checker.i18n.qual with annotations of type TargetLocations

Modifier and Type	Class	Description
@interface	LocalizableKeyBottom	The bottom type in the Internationalization type system.

Uses of TargetLocations in org.checkerframework.checker.i18nformatter.qual

Classes in org.checkerframework.checker.i18nformatter.qual with annotations of type TargetLocations

Modifier and Type	Class	Description
@interface	I18nFormatBottom	The bottom type in the Internationalization Format String type system.
@interface	I18nUnknownFormat	The top qualifier.

Uses of TargetLocations in org.checkerframework.checker.index.qual

Classes in org.checkerframework.checker.index.qual with annotations of type TargetLocations

Modifier and Type	Class	Description
@interface	LowerBoundBottom	The bottom type of the lower bound type system.
@interface	SameLenBottom	The bottom type in the SameLen type system.
@interface	SearchIndexBottom	The bottom type in the Search Index type system.
@interface	SubstringIndexBottom	The bottom type in the Substring Index type system.
@interface	UpperBoundBottom	The bottom type in the Upper Bound type system.
@interface	UpperBoundLiteral	A literal value.

Uses of TargetLocations in org.checkerframework.checker.initialization.qual

Classes in org.checkerframework.checker.initialization.qual with annotations of type TargetLocations

Modifier and Type	Class	Description
@interface	FBCBottom	The bottom type in the initialization type system.

Uses of TargetLocations in org.checkerframework.checker.lock.qual

Classes in org.checkerframework.checker.lock.qual with annotations of type TargetLocations

Modifier and Type	Class	Description
@interface	GuardedByBottom	The bottom type in the GuardedBy type system.
@interface	GuardSatisfied	If a variable x has type @GuardSatisfied, then all lock expressions for x's value are held.
@interface	NewObject	A type that represents a newly-constructed object.

Uses of TargetLocations in org.checkerframework.checker.nullness.qual

Classes in org.checkerframework.checker.nullness.qual with annotations of type TargetLocations

Modifier and Type	Class	Description
@interface	KeyForBottom	The bottom type in the Map Key type system.

Uses of TargetLocations in org.checkerframework.checker.propkey.qual

Classes in org.checkerframework.checker.propkey.qual with annotations of type TargetLocations

Modifier and Type	Class	Description
@interface	PropertyKeyBottom	The bottom type in the PropertyKeyChecker (and associated checkers) qualifier hierarchy.

Uses of TargetLocations in org.checkerframework.checker.regex.qual

Classes in org.checkerframework.checker.regex.qual with annotations of type TargetLocations

Modifier and Type	Class	Description
@interface	RegexBottom	The bottom type in the Regex type system.
@interface	UnknownRegex	Represents the top of the Regex qualifier hierarchy.

Uses of TargetLocations in org.checkerframework.checker.signature.qual

Classes in org.checkerframework.checker.signature.qual with annotations of type TargetLocations

Modifier and Type	Class	Description
@interface	SignatureBottom	The bottom type in the Signature String type system.

Uses of TargetLocations in org.checkerframework.checker.signedness.qual

Classes in org.checkerframework.checker.signedness.qual with annotations of type TargetLocations

Modifier and Type	Class	Description
@interface	SignednessBottom	The bottom type in the Signedness type system.

Uses of TargetLocations in org.checkerframework.checker.units.qual

Classes in org.checkerframework.checker.units.qual with annotations of type TargetLocations

Modifier and Type	Class	Description
@interface	UnitsBottom	The bottom type in the Units type system.

Uses of TargetLocations in org.checkerframework.common.initializedfields.qual

Classes in org.checkerframework.common.initializedfields.qual with annotations of type TargetLocations

Modifier and Type	Class	Description
@interface	InitializedFieldsBottom	The bottom type qualifier for the Initialized Fields type system.

Uses of TargetLocations in org.checkerframework.common.reflection.qual

Classes in org.checkerframework.common.reflection.qual with annotations of type TargetLocations

Modifier and Type	Class	Description
@interface	ClassValBottom	The bottom type in the ClassVal type system.
@interface	MethodValBottom	The bottom type in the MethodVal type system.
@interface	UnknownClass	Represents a Class object whose run-time value is not known at compile time.
@interface	UnknownMethod	Represents a Method or Constructor expression whose run-time value is not known at compile time.

Uses of TargetLocations in org.checkerframework.common.returnsreceiver.qual

Classes in org.checkerframework.common.returnsreceiver.qual with annotations of type TargetLocations

Modifier and Type	Class	Description
@interface	BottomThis	The bottom type for the Returns Receiver Checker's type system.
@interface	This	Write @This on the return type of a method that always returns its receiver ( this).

Uses of TargetLocations in org.checkerframework.common.subtyping.qual

Classes in org.checkerframework.common.subtyping.qual with annotations of type TargetLocations

Modifier and Type	Class	Description
@interface	Bottom	A special annotation intended solely for representing the bottom type in the qualifier hierarchy.

Uses of TargetLocations in org.checkerframework.common.value.qual

Classes in org.checkerframework.common.value.qual with annotations of type TargetLocations

Modifier and Type	Class	Description
@interface	BottomVal	The bottom type in the Constant Value type system.