Uses of Class
org.checkerframework.framework.qual.DefaultQualifierInHierarchy
-
-
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 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 DefaultQualifierInHierarchy Modifier and Type Class Description interface
UnknownCompilerMessageKey
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 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 theString
type has an unknown localizable key property.interface
UnknownLocalized
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 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 beLockHeld
. -
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 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 DefaultQualifierInHierarchy Modifier and Type Class Description interface
NonNull
If an expression's type is qualified by@NonNull
, then the expression never evaluates tonull
.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
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 DefaultQualifierInHierarchy Modifier and Type Class Description interface
UnknownPropertyKey
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 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 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 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.
-