Uses of Class
org.checkerframework.framework.qual.InvisibleQualifier
-
Packages that use InvisibleQualifier Package Description org.checkerframework.checker.compilermsgs.qual Qualifiers for the Compiler Message Key Checker.org.checkerframework.checker.formatter.qual org.checkerframework.checker.i18n.qual org.checkerframework.checker.i18nformatter.qual org.checkerframework.checker.interning.qual org.checkerframework.checker.lock.qual org.checkerframework.checker.nullness.qual org.checkerframework.checker.regex.qual org.checkerframework.checker.units.qual org.checkerframework.common.aliasing.qual org.checkerframework.common.reflection.qual org.checkerframework.common.subtyping.qual org.checkerframework.common.util.report.qual org.checkerframework.common.value.qual org.checkerframework.framework.qual Contains the basic annotations to be used by all type systems and meta-annotations to qualify annotations (qualifiers). -
-
Uses of InvisibleQualifier in org.checkerframework.checker.compilermsgs.qual
Classes in org.checkerframework.checker.compilermsgs.qual with annotations of type InvisibleQualifier Modifier and Type Class Description interface
UnknownCompilerMessageKey
AString
that might or might not be a compiler message key. -
Uses of InvisibleQualifier in org.checkerframework.checker.formatter.qual
Classes in org.checkerframework.checker.formatter.qual with annotations of type InvisibleQualifier Modifier and Type Class Description interface
UnknownFormat
The top qualifier. -
Uses of InvisibleQualifier in org.checkerframework.checker.i18n.qual
Classes in org.checkerframework.checker.i18n.qual with annotations of type InvisibleQualifier Modifier and Type Class Description interface
UnknownLocalizableKey
Indicates that theString
type has an unknown localizable key property.interface
UnknownLocalized
Indicates that theString
type has unknown localization properties. -
Uses of InvisibleQualifier in org.checkerframework.checker.i18nformatter.qual
Classes in org.checkerframework.checker.i18nformatter.qual with annotations of type InvisibleQualifier Modifier and Type Class Description interface
I18nUnknownFormat
The top qualifier. -
Uses of InvisibleQualifier in org.checkerframework.checker.interning.qual
Classes in org.checkerframework.checker.interning.qual with annotations of type InvisibleQualifier Modifier and Type Class Description interface
UnknownInterned
The top qualifier for the Interning Checker. -
Uses of InvisibleQualifier in org.checkerframework.checker.lock.qual
Classes in org.checkerframework.checker.lock.qual with annotations of type InvisibleQualifier Modifier and Type Class Description interface
LockHeld
Indicates that an expression is used as a lock and the lock is known to be held on the current thread.interface
LockPossiblyHeld
Indicates that an expression is not known to beLockHeld
. -
Uses of InvisibleQualifier in org.checkerframework.checker.nullness.qual
Classes in org.checkerframework.checker.nullness.qual with annotations of type InvisibleQualifier Modifier and Type Class Description interface
KeyForBottom
The bottom type in the Map Key type system.interface
UnknownKeyFor
Used internally by the type system; should never be written by a programmer. -
Uses of InvisibleQualifier in org.checkerframework.checker.regex.qual
Classes in org.checkerframework.checker.regex.qual with annotations of type InvisibleQualifier Modifier and Type Class Description interface
PartialRegex
Indicates a String that is not a syntactically valid regular expression.interface
RegexBottom
The bottom type in the Regex type system.interface
UnknownRegex
Represents the top of the Regex qualifier hierarchy. -
Uses of InvisibleQualifier in org.checkerframework.checker.units.qual
Classes in org.checkerframework.checker.units.qual with annotations of type InvisibleQualifier Modifier and Type Class Description interface
UnknownUnits
UnknownUnits is the top type of the type hierarchy. -
Uses of InvisibleQualifier in org.checkerframework.common.aliasing.qual
Classes in org.checkerframework.common.aliasing.qual with annotations of type InvisibleQualifier Modifier and Type Class Description interface
MaybeLeaked
Temporary type qualifier: -
Uses of InvisibleQualifier in org.checkerframework.common.reflection.qual
Classes in org.checkerframework.common.reflection.qual with annotations of type InvisibleQualifier 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 InvisibleQualifier in org.checkerframework.common.subtyping.qual
Classes in org.checkerframework.common.subtyping.qual with annotations of type InvisibleQualifier Modifier and Type Class Description interface
Unqualified
A special annotation intended solely for representing an unqualified type in the qualifier hierarchy, as an argument toSubtypeOf.value()
, in a type qualifier declaration. -
Uses of InvisibleQualifier in org.checkerframework.common.util.report.qual
Classes in org.checkerframework.common.util.report.qual with annotations of type InvisibleQualifier Modifier and Type Class Description interface
ReportUnqualified
An annotation intended solely for representing an unqualified type in the qualifier hierarchy for the Report Checker. -
Uses of InvisibleQualifier in org.checkerframework.common.value.qual
Classes in org.checkerframework.common.value.qual with annotations of type InvisibleQualifier Modifier and Type Class Description interface
BottomVal
The bottom type in the Constant Value type system. -
Uses of InvisibleQualifier in org.checkerframework.framework.qual
Classes in org.checkerframework.framework.qual with annotations of type InvisibleQualifier Modifier and Type Class Description interface
PurityUnqualified
An annotation intended solely for representing an unqualified type in the qualifier hierarchy for the Purity Checker.
-