Uses of Class
org.checkerframework.framework.qual.TargetLocations
-
-
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 variablex
has type@GuardSatisfied
, then all lock expressions forx
'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 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 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.
-