Uses of Annotation Type
org.checkerframework.framework.qual.DefaultFor
Packages that use DefaultFor
Package
Description
Qualifiers for the Compiler Message Key Checker.
-
Uses of DefaultFor in org.checkerframework.checker.compilermsgs.qual
Classes in org.checkerframework.checker.compilermsgs.qual with annotations of type DefaultForModifier and TypeClassDescription@interface
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 DefaultForModifier and TypeClassDescription@interface
The bottom type in the Fenum type system.@interface
The top of the fake enumeration type hierarchy.@interface
An unqualified type. -
Uses of DefaultFor in org.checkerframework.checker.formatter.qual
Classes in org.checkerframework.checker.formatter.qual with annotations of type DefaultForModifier and TypeClassDescription@interface
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 DefaultForModifier and TypeClassDescription@interface
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 DefaultForModifier and TypeClassDescription@interface
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 DefaultForModifier and TypeClassDescription@interface
This type qualifier belongs to the freedom-before-commitment initialization tracking type-system.@interface
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 DefaultForModifier and TypeClassDescription@interface
Indicates that a variable has been interned, i.e., that the variable refers to the canonical representation of an object.@interface
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 DefaultForModifier and TypeClassDescription@interface
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
Indicates that an expression is not known to beLockHeld
.@interface
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 DefaultForModifier and TypeClassDescription@interface
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 DefaultForModifier 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 DefaultFor in org.checkerframework.checker.propkey.qual
Classes in org.checkerframework.checker.propkey.qual with annotations of type DefaultForModifier and TypeClassDescription@interface
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 DefaultForModifier and TypeClassDescription@interface
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 DefaultForModifier and TypeClassDescription@interface
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 -
Uses of DefaultFor in org.checkerframework.checker.tainting.qual
Classes in org.checkerframework.checker.tainting.qual with annotations of type DefaultForModifier and TypeClassDescription@interface
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 DefaultForModifier and TypeClassDescription@interface
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 DefaultForModifier and TypeClassDescription@interface
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 DefaultForModifier and TypeClassDescription@interface
The top type for the Returns Receiver Checker's type system.