Uses of Annotation Type
org.checkerframework.framework.qual.QualifierForLiterals
Packages that use QualifierForLiterals
Package
Description
-
Uses of QualifierForLiterals in org.checkerframework.checker.i18n.qual
Classes in org.checkerframework.checker.i18n.qual with annotations of type QualifierForLiteralsModifier and TypeClassDescription@interface
Indicates that theString
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 QualifierForLiteralsModifier and TypeClassDescription@interface
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 QualifierForLiteralsModifier and TypeClassDescription@interface
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 QualifierForLiteralsModifier and TypeClassDescription@interface
Indicates that an expression is not known to beLockHeld
.@interface
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 QualifierForLiteralsModifier and TypeClassDescription@interface
If an expression's type is qualified by@NonNull
, then the expression never evaluates tonull
.@interface
Nullable
is a type annotation that makes no commitments about whether the value isnull
.@interface
Used internally by the type system; should never be written by a programmer. -
Uses of QualifierForLiterals in org.checkerframework.checker.signedness.qual
Classes in org.checkerframework.checker.signedness.qual with annotations of type QualifierForLiteralsModifier and TypeClassDescription@interface
-
Uses of QualifierForLiterals in org.checkerframework.checker.tainting.qual
Classes in org.checkerframework.checker.tainting.qual with annotations of type QualifierForLiteralsModifier and TypeClassDescription@interface
Denotes a reference that is untainted, i.e. -
Uses of QualifierForLiterals in org.checkerframework.common.returnsreceiver.qual
Classes in org.checkerframework.common.returnsreceiver.qual with annotations of type QualifierForLiteralsModifier and TypeClassDescription@interface
The top type for the Returns Receiver Checker's type system.