Uses of Annotation Type
org.checkerframework.framework.qual.InvisibleQualifier
Packages that use InvisibleQualifier
Package
Description
Qualifiers for the Compiler Message Key Checker.
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 InvisibleQualifierModifier and TypeClassDescription@interface
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 -
Uses of InvisibleQualifier in org.checkerframework.checker.i18n.qual
Classes in org.checkerframework.checker.i18n.qual with annotations of type InvisibleQualifierModifier and TypeClassDescription@interface
Indicates that theString
type has an unknown localizable key property.@interface
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 -
Uses of InvisibleQualifier in org.checkerframework.checker.interning.qual
Classes in org.checkerframework.checker.interning.qual with annotations of type InvisibleQualifierModifier and TypeClassDescription@interface
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 InvisibleQualifierModifier and TypeClassDescription@interface
Indicates that an expression is used as a lock and the lock is known to be held on the current thread.@interface
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 InvisibleQualifierModifier and TypeClassDescription@interface
The bottom type in the Map Key type system.@interface
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 InvisibleQualifierModifier and TypeClassDescription@interface
Indicates a String that is not a syntactically valid regular expression.@interface
The bottom type in the Regex type system.@interface
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 InvisibleQualifierModifier and TypeClassDescription@interface
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 -
Uses of InvisibleQualifier in org.checkerframework.common.reflection.qual
Classes in org.checkerframework.common.reflection.qual with annotations of type InvisibleQualifierModifier 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 InvisibleQualifier in org.checkerframework.common.subtyping.qual
Classes in org.checkerframework.common.subtyping.qual with annotations of type InvisibleQualifierModifier and TypeClassDescription@interface
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 InvisibleQualifierModifier and TypeClassDescription@interface
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 InvisibleQualifierModifier and TypeClassDescription@interface
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 InvisibleQualifierModifier and TypeClassDescription@interface
An annotation intended solely for representing an unqualified type in the qualifier hierarchy for the Purity Checker.