Uses of Annotation Interface
org.checkerframework.framework.qual.QualifierForLiterals

Packages that use QualifierForLiterals

Package	Description
org.checkerframework.checker.i18n.qual
org.checkerframework.checker.initialization.qual
org.checkerframework.checker.interning.qual
org.checkerframework.checker.lock.qual
org.checkerframework.checker.nullness.qual
org.checkerframework.checker.tainting.qual
org.checkerframework.common.returnsreceiver.qual

Uses of QualifierForLiterals in org.checkerframework.checker.i18n.qual

Classes in org.checkerframework.checker.i18n.qual with annotations of type QualifierForLiterals

Modifier and Type	Class	Description
@interface	Localized	Indicates that the String type has been localized and formatted for the target output locale.

Uses of QualifierForLiterals in org.checkerframework.checker.initialization.qual

Classes in org.checkerframework.checker.initialization.qual with annotations of type QualifierForLiterals

Modifier and Type	Class	Description
@interface	FBCBottom	The bottom type in the initialization type system.

Uses of QualifierForLiterals in org.checkerframework.checker.interning.qual

Classes in org.checkerframework.checker.interning.qual with annotations of type QualifierForLiterals

Modifier and Type	Class	Description
@interface	Interned	Indicates that a variable has been interned, i.e., that the variable refers to the canonical representation of an object.

Uses of QualifierForLiterals in org.checkerframework.checker.lock.qual

Classes in org.checkerframework.checker.lock.qual with annotations of type QualifierForLiterals

Modifier and Type	Class	Description
@interface	LockPossiblyHeld	Indicates that an expression is not known to be LockHeld.
@interface	NewObject	A type that represents a newly constructed object.

Uses of QualifierForLiterals in org.checkerframework.checker.nullness.qual

Classes in org.checkerframework.checker.nullness.qual with annotations of type QualifierForLiterals

Modifier and Type	Class	Description
@interface	NonNull	If an expression's type is qualified by @NonNull, then the expression never evaluates to null.
@interface	Nullable	Nullable is a type annotation that makes no commitments about whether the value is null.
@interface	UnknownKeyFor	Used internally by the type system; should never be written by a programmer.

Uses of QualifierForLiterals in org.checkerframework.checker.tainting.qual

Classes in org.checkerframework.checker.tainting.qual with annotations of type QualifierForLiterals

Modifier and Type	Class	Description
@interface	Untainted	Denotes a reference that is untainted, i.e., can be trusted.

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

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

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