Uses of Class
org.checkerframework.framework.qual.DefaultFor
-
-
Uses of DefaultFor in org.checkerframework.checker.compilermsgs.qual
Classes in org.checkerframework.checker.compilermsgs.qual with annotations of type DefaultFor Modifier and Type Class Description interface
CompilerMessageKeyBottom
The bottom type in the Compiler Message Key type system. -
Uses of DefaultFor in org.checkerframework.checker.fenum.qual
Classes in org.checkerframework.checker.fenum.qual with annotations of type DefaultFor Modifier and Type Class Description interface
FenumBottom
The bottom type in the Fenum type system.interface
FenumTop
The top of the fake enumeration type hierarchy.interface
FenumUnqualified
An unqualified type. -
Uses of DefaultFor in org.checkerframework.checker.formatter.qual
Classes in org.checkerframework.checker.formatter.qual with annotations of type DefaultFor Modifier and Type Class Description interface
FormatBottom
The bottom type in the Format String type system. -
Uses of DefaultFor in org.checkerframework.checker.i18n.qual
Classes in org.checkerframework.checker.i18n.qual with annotations of type DefaultFor Modifier and Type Class Description interface
LocalizableKeyBottom
The bottom type in the Internationalization type system. -
Uses of DefaultFor in org.checkerframework.checker.i18nformatter.qual
Classes in org.checkerframework.checker.i18nformatter.qual with annotations of type DefaultFor Modifier and Type Class Description interface
I18nFormatBottom
The bottom type in the Internationalization Format String type system. -
Uses of DefaultFor in org.checkerframework.checker.initialization.qual
Classes in org.checkerframework.checker.initialization.qual with annotations of type DefaultFor Modifier and Type Class Description interface
Initialized
This type qualifier belongs to the freedom-before-commitment initialization tracking type-system.interface
UnknownInitialization
This type qualifier indicates how much of an object has been fully initialized. -
Uses of DefaultFor in org.checkerframework.checker.interning.qual
Classes in org.checkerframework.checker.interning.qual with annotations of type DefaultFor 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.interface
InternedDistinct
Indicates that no other value isequals()
to the given value. -
Uses of DefaultFor in org.checkerframework.checker.lock.qual
Classes in org.checkerframework.checker.lock.qual with annotations of type DefaultFor Modifier and Type Class Description interface
GuardedBy
Indicates that a thread may dereference the value referred to by the annotated variable only if the thread holds all the given lock expressions.interface
LockPossiblyHeld
Indicates that an expression is not known to beLockHeld
.interface
NewObject
A type that represents a newly-constructed object. -
Uses of DefaultFor in org.checkerframework.checker.mustcall.qual
Classes in org.checkerframework.checker.mustcall.qual with annotations of type DefaultFor Modifier and Type Class Description interface
MustCall
An expression of type@MustCall({"m1", "m2"})
may be obligated to callm1()
and/orm2()
before it is deallocated, but it is not obligated to call any other methods. -
Uses of DefaultFor in org.checkerframework.checker.nullness.qual
Classes in org.checkerframework.checker.nullness.qual with annotations of type DefaultFor 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 DefaultFor in org.checkerframework.checker.propkey.qual
Classes in org.checkerframework.checker.propkey.qual with annotations of type DefaultFor Modifier and Type Class Description interface
PropertyKeyBottom
The bottom type in the PropertyKeyChecker (and associated checkers) qualifier hierarchy. -
Uses of DefaultFor in org.checkerframework.checker.regex.qual
Classes in org.checkerframework.checker.regex.qual with annotations of type DefaultFor Modifier and Type Class Description interface
RegexBottom
The bottom type in the Regex type system. -
Uses of DefaultFor in org.checkerframework.checker.signature.qual
Classes in org.checkerframework.checker.signature.qual with annotations of type DefaultFor Modifier and Type Class Description interface
SignatureBottom
The bottom type in the Signature String type system. -
Uses of DefaultFor in org.checkerframework.checker.signedness.qual
Classes in org.checkerframework.checker.signedness.qual with annotations of type DefaultFor Modifier and Type Class Description interface
Signed
The value is to be interpreted as signed.interface
Unsigned
The value is to be interpreted as unsigned. -
Uses of DefaultFor in org.checkerframework.checker.tainting.qual
Classes in org.checkerframework.checker.tainting.qual with annotations of type DefaultFor Modifier and Type Class Description interface
Untainted
Denotes a reference that is untainted, i.e. -
Uses of DefaultFor in org.checkerframework.checker.units.qual
Classes in org.checkerframework.checker.units.qual with annotations of type DefaultFor Modifier and Type Class Description interface
UnitsBottom
The bottom type in the Units type system. -
Uses of DefaultFor in org.checkerframework.common.aliasing.qual
Classes in org.checkerframework.common.aliasing.qual with annotations of type DefaultFor Modifier and Type Class Description interface
MaybeAliased
An expression with this type might have an alias. -
Uses of DefaultFor in org.checkerframework.common.returnsreceiver.qual
Classes in org.checkerframework.common.returnsreceiver.qual with annotations of type DefaultFor Modifier and Type Class Description interface
UnknownThis
The top type for the Returns Receiver Checker's type system.
-