Uses of Class
org.checkerframework.framework.qual.QualifierForLiterals
-
-
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 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 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 beLockHeld
.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 tonull
.interface
Nullable
Nullable
is a type annotation that makes no commitments about whether the value isnull
.interface
UnknownKeyFor
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 QualifierForLiterals Modifier and Type Class Description interface
SignednessGlb
-
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. -
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.
-