Uses of Class
org.checkerframework.framework.qual.DefaultFor

Packages that use DefaultFor

Package	Description
org.checkerframework.checker.compilermsgs.qual	Qualifiers for the Compiler Message Key Checker.
org.checkerframework.checker.fenum.qual
org.checkerframework.checker.formatter.qual
org.checkerframework.checker.i18n.qual
org.checkerframework.checker.i18nformatter.qual
org.checkerframework.checker.initialization.qual
org.checkerframework.checker.interning.qual
org.checkerframework.checker.lock.qual
org.checkerframework.checker.mustcall.qual
org.checkerframework.checker.nullness.qual
org.checkerframework.checker.propkey.qual
org.checkerframework.checker.regex.qual
org.checkerframework.checker.signature.qual
org.checkerframework.checker.signedness.qual
org.checkerframework.checker.tainting.qual
org.checkerframework.checker.units.qual
org.checkerframework.common.aliasing.qual
org.checkerframework.common.returnsreceiver.qual

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 is equals() 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 be LockHeld.
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 call m1() and/or m2() 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 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 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.