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 interfaceCalledMethodsBottomThe 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 interfaceCompilerMessageKeyBottomThe 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 interfaceFenumBottomThe bottom type in the Fenum type system.interfaceFenumTopThe 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 interfaceFormatBottomThe bottom type in the Format String type system.interfaceUnknownFormatThe 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 interfaceLocalizableKeyBottomThe 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 interfaceI18nFormatBottomThe bottom type in the Internationalization Format String type system.interfaceI18nUnknownFormatThe 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 interfaceLowerBoundBottomThe bottom type of the lower bound type system.interfaceSameLenBottomThe bottom type in the SameLen type system.interfaceSearchIndexBottomThe bottom type in the Search Index type system.interfaceSubstringIndexBottomThe bottom type in the Substring Index type system.interfaceUpperBoundBottomThe bottom type in the Upper Bound type system.interfaceUpperBoundLiteralA 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 interfaceFBCBottomThe 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 interfaceGuardedByBottomThe bottom type in the GuardedBy type system.interfaceGuardSatisfiedIf a variablexhas type@GuardSatisfied, then all lock expressions forx's value are held.interfaceNewObjectA 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 interfaceKeyForBottomThe 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 interfacePropertyKeyBottomThe 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 interfaceRegexBottomThe bottom type in the Regex type system.interfaceUnknownRegexRepresents 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 interfaceSignatureBottomThe 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 interfaceSignednessBottomThe 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 interfaceUnitsBottomThe 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 interfaceInitializedFieldsBottomThe 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 interfaceClassValBottomThe bottom type in the ClassVal type system.interfaceMethodValBottomThe bottom type in the MethodVal type system.interfaceUnknownClassRepresents a Class object whose run-time value is not known at compile time.interfaceUnknownMethodRepresents aMethodorConstructorexpression 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 interfaceBottomThisThe bottom type for the Returns Receiver Checker's type system.interfaceThisWrite@Thison 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 interfaceBottomA 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 interfaceBottomValThe bottom type in the Constant Value type system.
-