Uses of Annotation Type
org.checkerframework.framework.qual.DefaultQualifierInHierarchy
Packages that use DefaultQualifierInHierarchy
Package
Description
Qualifiers for the Compiler Message Key Checker.
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 DefaultQualifierInHierarchyModifier and TypeClassDescription@interface
If an expression has type@CalledMethods({"m1", "m2"})
, then methodsm1
andm2
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 DefaultQualifierInHierarchyModifier and TypeClassDescription@interface
AString
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 -
Uses of DefaultQualifierInHierarchy in org.checkerframework.checker.formatter.qual
Classes in org.checkerframework.checker.formatter.qual with annotations of type DefaultQualifierInHierarchy -
Uses of DefaultQualifierInHierarchy in org.checkerframework.checker.guieffect.qual
Classes in org.checkerframework.checker.guieffect.qual with annotations of type DefaultQualifierInHierarchyModifier and TypeClassDescription@interface
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 DefaultQualifierInHierarchyModifier and TypeClassDescription@interface
Indicates that theString
type has an unknown localizable key property.@interface
Indicates that theString
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 -
Uses of DefaultQualifierInHierarchy in org.checkerframework.checker.index.qual
Classes in org.checkerframework.checker.index.qual with annotations of type DefaultQualifierInHierarchyModifier and TypeClassDescription@interface
The top qualifier for the LessThan type hierarchy.@interface
The annotated expression evaluates to value that might be -2 or lower.@interface
This type represents any variable that isn't known to have the same length as another sequence.@interface
The top type for the SearchIndex type system.@interface
The top type for the Substring Index type system.@interface
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 DefaultQualifierInHierarchyModifier and TypeClassDescription@interface
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 DefaultQualifierInHierarchyModifier and TypeClassDescription@interface
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 DefaultQualifierInHierarchyModifier 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
. -
Uses of DefaultQualifierInHierarchy in org.checkerframework.checker.mustcall.qual
Classes in org.checkerframework.checker.mustcall.qual with annotations of type DefaultQualifierInHierarchyModifier 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 DefaultQualifierInHierarchy in org.checkerframework.checker.nullness.qual
Classes in org.checkerframework.checker.nullness.qual with annotations of type DefaultQualifierInHierarchyModifier and TypeClassDescription@interface
If an expression's type is qualified by@NonNull
, then the expression never evaluates tonull
.@interface
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 DefaultQualifierInHierarchyModifier and TypeClassDescription@interface
TheOptional
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 DefaultQualifierInHierarchyModifier and TypeClassDescription@interface
Indicates that theString
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 DefaultQualifierInHierarchyModifier and TypeClassDescription@interface
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 DefaultQualifierInHierarchyModifier and TypeClassDescription@interface
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 -
Uses of DefaultQualifierInHierarchy in org.checkerframework.checker.tainting.qual
Classes in org.checkerframework.checker.tainting.qual with annotations of type DefaultQualifierInHierarchyModifier and TypeClassDescription@interface
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 DefaultQualifierInHierarchyModifier and TypeClassDescription@interface
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 DefaultQualifierInHierarchyModifier and TypeClassDescription@interface
An expression with this type might have an alias.@interface
Temporary type qualifier: -
Uses of DefaultQualifierInHierarchy in org.checkerframework.common.initializedfields.qual
Classes in org.checkerframework.common.initializedfields.qual with annotations of type DefaultQualifierInHierarchyModifier and TypeClassDescription@interface
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 DefaultQualifierInHierarchyModifier and TypeClassDescription@interface
Represents a Class object whose run-time value is not known at compile time.@interface
Represents aMethod
orConstructor
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 DefaultQualifierInHierarchyModifier and TypeClassDescription@interface
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 DefaultQualifierInHierarchyModifier and TypeClassDescription@interface
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 DefaultQualifierInHierarchyModifier and TypeClassDescription@interface
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 DefaultQualifierInHierarchyModifier and TypeClassDescription@interface
An annotation intended solely for representing an unqualified type in the qualifier hierarchy for the Purity Checker.