Uses of Annotation Type
org.checkerframework.framework.qual.DefaultQualifierInHierarchy

Packages that use DefaultQualifierInHierarchy

Package	Description
org.checkerframework.checker.calledmethods.qual
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.guieffect.qual
org.checkerframework.checker.i18n.qual
org.checkerframework.checker.i18nformatter.qual
org.checkerframework.checker.index.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.optional.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.initializedfields.qual
org.checkerframework.common.reflection.qual
org.checkerframework.common.returnsreceiver.qual
org.checkerframework.common.util.report.qual
org.checkerframework.common.value.qual
org.checkerframework.framework.qual	Contains the basic annotations to be used by all type systems and meta-annotations to qualify annotations (qualifiers).

Uses of DefaultQualifierInHierarchy in org.checkerframework.checker.calledmethods.qual

Classes in org.checkerframework.checker.calledmethods.qual with annotations of type DefaultQualifierInHierarchy

Modifier and Type	Class	Description
@interface	CalledMethods	If an expression has type @CalledMethods({"m1", "m2"}), then methods m1 and m2 have definitely been called on its value.

Uses of DefaultQualifierInHierarchy in org.checkerframework.checker.compilermsgs.qual

Classes in org.checkerframework.checker.compilermsgs.qual with annotations of type DefaultQualifierInHierarchy

Modifier and Type	Class	Description
@interface	UnknownCompilerMessageKey	A String that might or might not be a compiler message key.

Uses of DefaultQualifierInHierarchy in org.checkerframework.checker.fenum.qual

Classes in org.checkerframework.checker.fenum.qual with annotations of type DefaultQualifierInHierarchy

Modifier and Type	Class	Description
@interface	FenumUnqualified	An unqualified type.

Uses of DefaultQualifierInHierarchy in org.checkerframework.checker.formatter.qual

Classes in org.checkerframework.checker.formatter.qual with annotations of type DefaultQualifierInHierarchy

Modifier and Type	Class	Description
@interface	UnknownFormat	The top qualifier.

Uses of DefaultQualifierInHierarchy in org.checkerframework.checker.guieffect.qual

Classes in org.checkerframework.checker.guieffect.qual with annotations of type DefaultQualifierInHierarchy

Modifier and Type	Class	Description
@interface	AlwaysSafe	Annotation to override the UI effect on a class, and make a field or method safe for non-UI code to use.

Uses of DefaultQualifierInHierarchy in org.checkerframework.checker.i18n.qual

Classes in org.checkerframework.checker.i18n.qual with annotations of type DefaultQualifierInHierarchy

Modifier and Type	Class	Description
@interface	UnknownLocalizableKey	Indicates that the String type has an unknown localizable key property.
@interface	UnknownLocalized	Indicates that the String type has unknown localization properties.

Uses of DefaultQualifierInHierarchy in org.checkerframework.checker.i18nformatter.qual

Classes in org.checkerframework.checker.i18nformatter.qual with annotations of type DefaultQualifierInHierarchy

Modifier and Type	Class	Description
@interface	I18nUnknownFormat	The top qualifier.

Uses of DefaultQualifierInHierarchy in org.checkerframework.checker.index.qual

Classes in org.checkerframework.checker.index.qual with annotations of type DefaultQualifierInHierarchy

Modifier and Type	Class	Description
@interface	LessThanUnknown	The top qualifier for the LessThan type hierarchy.
@interface	LowerBoundUnknown	The annotated expression evaluates to value that might be -2 or lower.
@interface	SameLenUnknown	This type represents any variable that isn't known to have the same length as another sequence.
@interface	SearchIndexUnknown	The top type for the SearchIndex type system.
@interface	SubstringIndexUnknown	The top type for the Substring Index type system.
@interface	UpperBoundUnknown	A variable not known to have a relation to any sequence length.

Uses of DefaultQualifierInHierarchy in org.checkerframework.checker.initialization.qual

Classes in org.checkerframework.checker.initialization.qual with annotations of type DefaultQualifierInHierarchy

Modifier and Type	Class	Description
@interface	Initialized	This type qualifier belongs to the freedom-before-commitment initialization tracking type-system.

Uses of DefaultQualifierInHierarchy in org.checkerframework.checker.interning.qual

Classes in org.checkerframework.checker.interning.qual with annotations of type DefaultQualifierInHierarchy

Modifier and Type	Class	Description
@interface	UnknownInterned	The top qualifier for the Interning Checker.

Uses of DefaultQualifierInHierarchy in org.checkerframework.checker.lock.qual

Classes in org.checkerframework.checker.lock.qual with annotations of type DefaultQualifierInHierarchy

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.

Uses of DefaultQualifierInHierarchy in org.checkerframework.checker.mustcall.qual

Classes in org.checkerframework.checker.mustcall.qual with annotations of type DefaultQualifierInHierarchy

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 DefaultQualifierInHierarchy in org.checkerframework.checker.nullness.qual

Classes in org.checkerframework.checker.nullness.qual with annotations of type DefaultQualifierInHierarchy

Modifier and Type	Class	Description
@interface	NonNull	If an expression's type is qualified by @NonNull, then the expression never evaluates to null.
@interface	UnknownKeyFor	Used internally by the type system; should never be written by a programmer.

Uses of DefaultQualifierInHierarchy in org.checkerframework.checker.optional.qual

Classes in org.checkerframework.checker.optional.qual with annotations of type DefaultQualifierInHierarchy

Modifier and Type	Class	Description
@interface	MaybePresent	The Optional container may or may not contain a value.

Uses of DefaultQualifierInHierarchy in org.checkerframework.checker.propkey.qual

Classes in org.checkerframework.checker.propkey.qual with annotations of type DefaultQualifierInHierarchy

Modifier and Type	Class	Description
@interface	UnknownPropertyKey	Indicates that the String type has an unknown property key property.

Uses of DefaultQualifierInHierarchy in org.checkerframework.checker.regex.qual

Classes in org.checkerframework.checker.regex.qual with annotations of type DefaultQualifierInHierarchy

Modifier and Type	Class	Description
@interface	UnknownRegex	Represents the top of the Regex qualifier hierarchy.

Uses of DefaultQualifierInHierarchy in org.checkerframework.checker.signature.qual

Classes in org.checkerframework.checker.signature.qual with annotations of type DefaultQualifierInHierarchy

Modifier and Type	Class	Description
@interface	SignatureUnknown	Top qualifier in the type hierarchy.

Uses of DefaultQualifierInHierarchy in org.checkerframework.checker.signedness.qual

Classes in org.checkerframework.checker.signedness.qual with annotations of type DefaultQualifierInHierarchy

Modifier and Type	Class	Description
@interface	Signed	The value is to be interpreted as signed.

Uses of DefaultQualifierInHierarchy in org.checkerframework.checker.tainting.qual

Classes in org.checkerframework.checker.tainting.qual with annotations of type DefaultQualifierInHierarchy

Modifier and Type	Class	Description
@interface	Tainted	Denotes a possibly-tainted value: at run time, the value might be tainted or might be untainted.

Uses of DefaultQualifierInHierarchy in org.checkerframework.checker.units.qual

Classes in org.checkerframework.checker.units.qual with annotations of type DefaultQualifierInHierarchy

Modifier and Type	Class	Description
@interface	UnknownUnits	UnknownUnits is the top type of the type hierarchy.

Uses of DefaultQualifierInHierarchy in org.checkerframework.common.aliasing.qual

Classes in org.checkerframework.common.aliasing.qual with annotations of type DefaultQualifierInHierarchy

Modifier and Type	Class	Description
@interface	MaybeAliased	An expression with this type might have an alias.
@interface	MaybeLeaked	Temporary type qualifier:

Uses of DefaultQualifierInHierarchy in org.checkerframework.common.initializedfields.qual

Classes in org.checkerframework.common.initializedfields.qual with annotations of type DefaultQualifierInHierarchy

Modifier and Type	Class	Description
@interface	InitializedFields	Indicates which fields have definitely been initialized.

Uses of DefaultQualifierInHierarchy in org.checkerframework.common.reflection.qual

Classes in org.checkerframework.common.reflection.qual with annotations of type DefaultQualifierInHierarchy

Modifier and Type	Class	Description
@interface	UnknownClass	Represents a Class object whose run-time value is not known at compile time.
@interface	UnknownMethod	Represents a Method or Constructor expression whose run-time value is not known at compile time.

Uses of DefaultQualifierInHierarchy in org.checkerframework.common.returnsreceiver.qual

Classes in org.checkerframework.common.returnsreceiver.qual with annotations of type DefaultQualifierInHierarchy

Modifier and Type	Class	Description
@interface	UnknownThis	The top type for the Returns Receiver Checker's type system.

Uses of DefaultQualifierInHierarchy in org.checkerframework.common.util.report.qual

Classes in org.checkerframework.common.util.report.qual with annotations of type DefaultQualifierInHierarchy

Modifier and Type	Class	Description
@interface	ReportUnqualified	An annotation intended solely for representing an unqualified type in the qualifier hierarchy for the Report Checker.

Uses of DefaultQualifierInHierarchy in org.checkerframework.common.value.qual

Classes in org.checkerframework.common.value.qual with annotations of type DefaultQualifierInHierarchy

Modifier and Type	Class	Description
@interface	UnknownVal	UnknownVal is a type annotation indicating that the expression's value is not known at compile type.

Uses of DefaultQualifierInHierarchy in org.checkerframework.framework.qual

Classes in org.checkerframework.framework.qual with annotations of type DefaultQualifierInHierarchy

Modifier and Type	Class	Description
@interface	PurityUnqualified	An annotation intended solely for representing an unqualified type in the qualifier hierarchy for the Purity Checker.