Uses of Annotation Type
org.checkerframework.framework.qual.TargetLocations
Packages that use TargetLocations
Package
Description
Qualifiers for the Compiler Message Key Checker.
-
Uses of TargetLocations in org.checkerframework.checker.calledmethods.qual
Classes in org.checkerframework.checker.calledmethods.qual with annotations of type TargetLocationsModifier and TypeClassDescription@interface
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 TargetLocationsModifier and TypeClassDescription@interface
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 TargetLocationsModifier and TypeClassDescription@interface
The bottom type in the Fenum type system.@interface
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 TargetLocationsModifier and TypeClassDescription@interface
The bottom type in the Format String type system.@interface
The top qualifier. -
Uses of TargetLocations in org.checkerframework.checker.i18n.qual
Classes in org.checkerframework.checker.i18n.qual with annotations of type TargetLocationsModifier and TypeClassDescription@interface
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 TargetLocationsModifier and TypeClassDescription@interface
The bottom type in the Internationalization Format String type system.@interface
The top qualifier. -
Uses of TargetLocations in org.checkerframework.checker.index.qual
Classes in org.checkerframework.checker.index.qual with annotations of type TargetLocationsModifier and TypeClassDescription@interface
The bottom type of the lower bound type system.@interface
The bottom type in the SameLen type system.@interface
The bottom type in the Search Index type system.@interface
The bottom type in the Substring Index type system.@interface
The bottom type in the Upper Bound type system.@interface
A literal value. -
Uses of TargetLocations in org.checkerframework.checker.initialization.qual
Classes in org.checkerframework.checker.initialization.qual with annotations of type TargetLocationsModifier and TypeClassDescription@interface
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 TargetLocationsModifier and TypeClassDescription@interface
The bottom type in the GuardedBy type system.@interface
If a variablex
has type@GuardSatisfied
, then all lock expressions forx
's value are held.@interface
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 TargetLocationsModifier and TypeClassDescription@interface
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 TargetLocationsModifier and TypeClassDescription@interface
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 TargetLocationsModifier and TypeClassDescription@interface
The bottom type in the Regex type system.@interface
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 TargetLocationsModifier and TypeClassDescription@interface
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 TargetLocationsModifier and TypeClassDescription@interface
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 TargetLocationsModifier and TypeClassDescription@interface
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 TargetLocationsModifier and TypeClassDescription@interface
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 TargetLocationsModifier and TypeClassDescription@interface
The bottom type in the ClassVal type system.@interface
The bottom type in the MethodVal type system.@interface
Represents a Class object whose run-time value is not known at compile time.@interface
Represents aMethod
orConstructor
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 TargetLocationsModifier and TypeClassDescription@interface
The bottom type for the Returns Receiver Checker's type system.@interface
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 TargetLocationsModifier and TypeClassDescription@interface
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 TargetLocationsModifier and TypeClassDescription@interface
The bottom type in the Constant Value type system.