Uses of Annotation Interface
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.index.qual
org.checkerframework.checker.interning.qual
org.checkerframework.checker.lock.qual
org.checkerframework.checker.nullness.qual
org.checkerframework.checker.regex.qual
org.checkerframework.checker.sqlquotes.qual
org.checkerframework.checker.units.qual
org.checkerframework.common.aliasing.qual
org.checkerframework.common.reflection.qual
org.checkerframework.common.returnsreceiver.qual
org.checkerframework.common.subtyping.qual
org.checkerframework.common.util.count.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	A String 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 the String type has an unknown localizable key property.
@interface	UnknownLocalized	Indicates that the String 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.index.qual

Classes in org.checkerframework.checker.index.qual with annotations of type InvisibleQualifier

Modifier and Type	Class	Description
@interface	LessThanUnknown	The top qualifier for the LessThan type hierarchy.
@interface	LowerBoundUnknown	The annotated expression evaluates to a value that might be -2 or lower.
@interface	SameLenUnknown	This type represents any variable that isn't known to have the same length as another sequence.
@interface	SearchIndexUnknown	The top type for the SearchIndex type system.
@interface	SubstringIndexUnknown	The top type for the Substring Index type system.
@interface	UnshrinkableRef	An expression of type @UnshrinkableRef may not be used to remove elements, e.g., by calling remove() or clear() on it.
@interface	UpperBoundUnknown	A variable not known to have a relation to any sequence length.

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 be LockHeld.

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.sqlquotes.qual

Classes in org.checkerframework.checker.sqlquotes.qual with annotations of type InvisibleQualifier

Modifier and Type	Class	Description
@interface	SqlQuotesBottom	Represents the bottom of the SQL Quotes 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 a Method or Constructor expression whose run-time value is not known at compile time.

Uses of InvisibleQualifier in org.checkerframework.common.returnsreceiver.qual

Classes in org.checkerframework.common.returnsreceiver.qual with annotations of type InvisibleQualifier

Modifier and Type	Class	Description
@interface	UnknownThis	The top type for the Returns Receiver Checker's type system.

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 to SubtypeOf.value(), in a type qualifier declaration.

Uses of InvisibleQualifier in org.checkerframework.common.util.count.report.qual

Classes in org.checkerframework.common.util.count.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.
@interface	UnknownVal	UnknownVal is a type annotation indicating that the expression's value is not known at compile time.

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.