JavaScript is disabled on your browser.
Skip navigation links
Overview
Package
Class
Tree
Deprecated
Index
Help
Prev
Next
Frames
No Frames
All Classes
Hierarchy For All Packages
Package Hierarchies:
org.checkerframework.checker.builder.qual
,
org.checkerframework.checker.calledmethods.qual
,
org.checkerframework.checker.compilermsgs.qual
,
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.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.subtyping.qual
,
org.checkerframework.common.util.report.qual
,
org.checkerframework.common.value.qual
,
org.checkerframework.dataflow.qual
,
org.checkerframework.framework.qual
Annotation Type Hierarchy
org.checkerframework.dataflow.qual.
TerminatesExecution
(implements java.lang.annotation.
Annotation
)
org.checkerframework.dataflow.qual.
Deterministic
(implements java.lang.annotation.
Annotation
)
org.checkerframework.dataflow.qual.
SideEffectFree
(implements java.lang.annotation.
Annotation
)
org.checkerframework.dataflow.qual.
Pure
(implements java.lang.annotation.
Annotation
)
org.checkerframework.framework.qual.
RelevantJavaTypes
(implements java.lang.annotation.
Annotation
)
org.checkerframework.framework.qual.
PostconditionAnnotation
(implements java.lang.annotation.
Annotation
)
org.checkerframework.framework.qual.
NoQualifierParameter
(implements java.lang.annotation.
Annotation
)
org.checkerframework.framework.qual.
IgnoreInWholeProgramInference
(implements java.lang.annotation.
Annotation
)
org.checkerframework.framework.qual.
SubtypeOf
(implements java.lang.annotation.
Annotation
)
org.checkerframework.framework.qual.
PurityUnqualified
(implements java.lang.annotation.
Annotation
)
org.checkerframework.framework.qual.
MonotonicQualifier
(implements java.lang.annotation.
Annotation
)
org.checkerframework.framework.qual.
EnsuresQualifierIf
(implements java.lang.annotation.
Annotation
)
org.checkerframework.framework.qual.
EnsuresQualifierIf.List
(implements java.lang.annotation.
Annotation
)
org.checkerframework.framework.qual.
DefaultQualifierInHierarchy
(implements java.lang.annotation.
Annotation
)
org.checkerframework.framework.qual.
DefaultQualifier
(implements java.lang.annotation.
Annotation
)
org.checkerframework.framework.qual.
DefaultQualifier.List
(implements java.lang.annotation.
Annotation
)
org.checkerframework.framework.qual.
JavaExpression
(implements java.lang.annotation.
Annotation
)
org.checkerframework.framework.qual.
AnnotatedFor
(implements java.lang.annotation.
Annotation
)
org.checkerframework.framework.qual.
ConditionalPostconditionAnnotation
(implements java.lang.annotation.
Annotation
)
org.checkerframework.framework.qual.
StubFiles
(implements java.lang.annotation.
Annotation
)
org.checkerframework.framework.qual.
HasQualifierParameter
(implements java.lang.annotation.
Annotation
)
org.checkerframework.framework.qual.
PreconditionAnnotation
(implements java.lang.annotation.
Annotation
)
org.checkerframework.framework.qual.
Unused
(implements java.lang.annotation.
Annotation
)
org.checkerframework.framework.qual.
CFComment
(implements java.lang.annotation.
Annotation
)
org.checkerframework.framework.qual.
NoDefaultQualifierForUse
(implements java.lang.annotation.
Annotation
)
org.checkerframework.framework.qual.
QualifierForLiterals
(implements java.lang.annotation.
Annotation
)
org.checkerframework.framework.qual.
DefaultQualifierForUse
(implements java.lang.annotation.
Annotation
)
org.checkerframework.framework.qual.
EnsuresQualifier
(implements java.lang.annotation.
Annotation
)
org.checkerframework.framework.qual.
EnsuresQualifier.List
(implements java.lang.annotation.
Annotation
)
org.checkerframework.framework.qual.
FieldInvariant
(implements java.lang.annotation.
Annotation
)
org.checkerframework.framework.qual.
FromByteCode
(implements java.lang.annotation.
Annotation
)
org.checkerframework.framework.qual.
QualifierArgument
(implements java.lang.annotation.
Annotation
)
org.checkerframework.framework.qual.
InheritedAnnotation
(implements java.lang.annotation.
Annotation
)
org.checkerframework.framework.qual.
Covariant
(implements java.lang.annotation.
Annotation
)
org.checkerframework.framework.qual.
RequiresQualifier
(implements java.lang.annotation.
Annotation
)
org.checkerframework.framework.qual.
RequiresQualifier.List
(implements java.lang.annotation.
Annotation
)
org.checkerframework.framework.qual.
PolymorphicQualifier
(implements java.lang.annotation.
Annotation
)
org.checkerframework.framework.qual.
TargetLocations
(implements java.lang.annotation.
Annotation
)
org.checkerframework.framework.qual.
DefaultFor
(implements java.lang.annotation.
Annotation
)
org.checkerframework.framework.qual.
UpperBoundFor
(implements java.lang.annotation.
Annotation
)
org.checkerframework.framework.qual.
InvisibleQualifier
(implements java.lang.annotation.
Annotation
)
org.checkerframework.framework.qual.
FromStubFile
(implements java.lang.annotation.
Annotation
)
org.checkerframework.common.subtyping.qual.
Unqualified
(implements java.lang.annotation.
Annotation
)
org.checkerframework.common.subtyping.qual.
Bottom
(implements java.lang.annotation.
Annotation
)
org.checkerframework.common.value.qual.
IntRangeFromNonNegative
(implements java.lang.annotation.
Annotation
)
org.checkerframework.common.value.qual.
StaticallyExecutable
(implements java.lang.annotation.
Annotation
)
org.checkerframework.common.value.qual.
BoolVal
(implements java.lang.annotation.
Annotation
)
org.checkerframework.common.value.qual.
ArrayLenRange
(implements java.lang.annotation.
Annotation
)
org.checkerframework.common.value.qual.
MatchesRegex
(implements java.lang.annotation.
Annotation
)
org.checkerframework.common.value.qual.
IntVal
(implements java.lang.annotation.
Annotation
)
org.checkerframework.common.value.qual.
IntRange
(implements java.lang.annotation.
Annotation
)
org.checkerframework.common.value.qual.
ArrayLen
(implements java.lang.annotation.
Annotation
)
org.checkerframework.common.value.qual.
EnsuresMinLenIf
(implements java.lang.annotation.
Annotation
)
org.checkerframework.common.value.qual.
EnsuresMinLenIf.List
(implements java.lang.annotation.
Annotation
)
org.checkerframework.common.value.qual.
EnumVal
(implements java.lang.annotation.
Annotation
)
org.checkerframework.common.value.qual.
StringVal
(implements java.lang.annotation.
Annotation
)
org.checkerframework.common.value.qual.
DoubleVal
(implements java.lang.annotation.
Annotation
)
org.checkerframework.common.value.qual.
IntRangeFromPositive
(implements java.lang.annotation.
Annotation
)
org.checkerframework.common.value.qual.
BottomVal
(implements java.lang.annotation.
Annotation
)
org.checkerframework.common.value.qual.
PolyValue
(implements java.lang.annotation.
Annotation
)
org.checkerframework.common.value.qual.
UnknownVal
(implements java.lang.annotation.
Annotation
)
org.checkerframework.common.value.qual.
MinLenFieldInvariant
(implements java.lang.annotation.
Annotation
)
org.checkerframework.common.value.qual.
IntRangeFromGTENegativeOne
(implements java.lang.annotation.
Annotation
)
org.checkerframework.common.value.qual.
MinLen
(implements java.lang.annotation.
Annotation
)
org.checkerframework.common.util.report.qual.
ReportCall
(implements java.lang.annotation.
Annotation
)
org.checkerframework.common.util.report.qual.
ReportOverride
(implements java.lang.annotation.
Annotation
)
org.checkerframework.common.util.report.qual.
ReportUse
(implements java.lang.annotation.
Annotation
)
org.checkerframework.common.util.report.qual.
ReportWrite
(implements java.lang.annotation.
Annotation
)
org.checkerframework.common.util.report.qual.
ReportCreation
(implements java.lang.annotation.
Annotation
)
org.checkerframework.common.util.report.qual.
ReportInherit
(implements java.lang.annotation.
Annotation
)
org.checkerframework.common.util.report.qual.
ReportUnqualified
(implements java.lang.annotation.
Annotation
)
org.checkerframework.common.util.report.qual.
ReportReadWrite
(implements java.lang.annotation.
Annotation
)
org.checkerframework.common.initializedfields.qual.
InitializedFields
(implements java.lang.annotation.
Annotation
)
org.checkerframework.common.initializedfields.qual.
EnsuresInitializedFields
(implements java.lang.annotation.
Annotation
)
org.checkerframework.common.initializedfields.qual.
EnsuresInitializedFields.List
(implements java.lang.annotation.
Annotation
)
org.checkerframework.common.initializedfields.qual.
PolyInitializedFields
(implements java.lang.annotation.
Annotation
)
org.checkerframework.common.initializedfields.qual.
InitializedFieldsBottom
(implements java.lang.annotation.
Annotation
)
org.checkerframework.common.aliasing.qual.
MaybeLeaked
(implements java.lang.annotation.
Annotation
)
org.checkerframework.common.aliasing.qual.
Unique
(implements java.lang.annotation.
Annotation
)
org.checkerframework.common.aliasing.qual.
NonLeaked
(implements java.lang.annotation.
Annotation
)
org.checkerframework.common.aliasing.qual.
LeakedToResult
(implements java.lang.annotation.
Annotation
)
org.checkerframework.common.aliasing.qual.
MaybeAliased
(implements java.lang.annotation.
Annotation
)
org.checkerframework.common.reflection.qual.
MethodVal
(implements java.lang.annotation.
Annotation
)
org.checkerframework.common.reflection.qual.
Invoke
(implements java.lang.annotation.
Annotation
)
org.checkerframework.common.reflection.qual.
ClassBound
(implements java.lang.annotation.
Annotation
)
org.checkerframework.common.reflection.qual.
NewInstance
(implements java.lang.annotation.
Annotation
)
org.checkerframework.common.reflection.qual.
ClassVal
(implements java.lang.annotation.
Annotation
)
org.checkerframework.common.reflection.qual.
GetConstructor
(implements java.lang.annotation.
Annotation
)
org.checkerframework.common.reflection.qual.
ClassValBottom
(implements java.lang.annotation.
Annotation
)
org.checkerframework.common.reflection.qual.
ForName
(implements java.lang.annotation.
Annotation
)
org.checkerframework.common.reflection.qual.
GetClass
(implements java.lang.annotation.
Annotation
)
org.checkerframework.common.reflection.qual.
MethodValBottom
(implements java.lang.annotation.
Annotation
)
org.checkerframework.common.reflection.qual.
GetMethod
(implements java.lang.annotation.
Annotation
)
org.checkerframework.common.reflection.qual.
UnknownClass
(implements java.lang.annotation.
Annotation
)
org.checkerframework.common.reflection.qual.
UnknownMethod
(implements java.lang.annotation.
Annotation
)
org.checkerframework.common.returnsreceiver.qual.
BottomThis
(implements java.lang.annotation.
Annotation
)
org.checkerframework.common.returnsreceiver.qual.
UnknownThis
(implements java.lang.annotation.
Annotation
)
org.checkerframework.common.returnsreceiver.qual.
This
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.signature.qual.
DotSeparatedIdentifiers
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.signature.qual.
BinaryNameWithoutPackage
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.signature.qual.
BinaryName
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.signature.qual.
FullyQualifiedName
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.signature.qual.
CanonicalNameOrEmpty
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.signature.qual.
FieldDescriptorForPrimitive
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.signature.qual.
MethodDescriptor
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.signature.qual.
ArrayWithoutPackage
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.signature.qual.
CanonicalName
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.signature.qual.
SignatureBottom
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.signature.qual.
PolySignature
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.signature.qual.
SignatureUnknown
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.signature.qual.
FieldDescriptorWithoutPackage
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.signature.qual.
PrimitiveType
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.signature.qual.
FqBinaryName
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.signature.qual.
FieldDescriptor
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.signature.qual.
ClassGetName
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.signature.qual.
DotSeparatedIdentifiersOrPrimitiveType
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.signature.qual.
IdentifierOrPrimitiveType
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.signature.qual.
BinaryNameOrPrimitiveType
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.signature.qual.
InternalForm
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.signature.qual.
ClassGetSimpleName
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.signature.qual.
Identifier
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.i18nformatter.qual.
I18nInvalidFormat
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.i18nformatter.qual.
I18nValidFormat
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.i18nformatter.qual.
I18nFormat
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.i18nformatter.qual.
I18nChecksFormat
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.i18nformatter.qual.
I18nFormatBottom
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.i18nformatter.qual.
I18nUnknownFormat
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.i18nformatter.qual.
I18nMakeFormat
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.i18nformatter.qual.
I18nFormatFor
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.signedness.qual.
PolySigned
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.signedness.qual.
SignednessBottom
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.signedness.qual.
Unsigned
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.signedness.qual.
SignednessGlb
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.signedness.qual.
Signed
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.signedness.qual.
UnknownSignedness
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.signedness.qual.
SignedPositive
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.signedness.qual.
SignedPositiveFromUnsigned
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.formatter.qual.
Format
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.formatter.qual.
ReturnsFormat
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.formatter.qual.
InvalidFormat
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.formatter.qual.
FormatBottom
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.formatter.qual.
FormatMethod
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.formatter.qual.
UnknownFormat
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.nullness.qual.
NonNull
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.nullness.qual.
KeyFor
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.nullness.qual.
EnsuresNonNull
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.nullness.qual.
EnsuresNonNull.List
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.nullness.qual.
UnknownKeyFor
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.nullness.qual.
RequiresNonNull
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.nullness.qual.
AssertNonNullIfNonNull
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.nullness.qual.
EnsuresNonNullIf
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.nullness.qual.
EnsuresNonNullIf.List
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.nullness.qual.
EnsuresKeyFor
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.nullness.qual.
EnsuresKeyFor.List
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.nullness.qual.
MonotonicNonNull
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.nullness.qual.
KeyForBottom
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.nullness.qual.
EnsuresKeyForIf
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.nullness.qual.
EnsuresKeyForIf.List
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.nullness.qual.
PolyNull
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.nullness.qual.
PolyKeyFor
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.nullness.qual.
Nullable
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.tainting.qual.
PolyTainted
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.tainting.qual.
Untainted
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.tainting.qual.
Tainted
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.i18n.qual.
UnknownLocalized
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.i18n.qual.
UnknownLocalizableKey
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.i18n.qual.
LocalizableKeyBottom
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.i18n.qual.
LocalizableKey
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.i18n.qual.
Localized
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.propkey.qual.
PropertyKeyBottom
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.propkey.qual.
PropertyKey
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.propkey.qual.
UnknownPropertyKey
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.calledmethods.qual.
CalledMethodsPredicate
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.calledmethods.qual.
EnsuresCalledMethods
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.calledmethods.qual.
EnsuresCalledMethodsIf
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.calledmethods.qual.
EnsuresCalledMethodsIf.List
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.calledmethods.qual.
CalledMethodsBottom
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.calledmethods.qual.
CalledMethods
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.builder.qual.
ReturnsReceiver
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.builder.qual.
NotCalledMethods
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.builder.qual.
CalledMethods
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.units.qual.
mm
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.units.qual.
Length
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.units.qual.
s
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.units.qual.
Angle
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.units.qual.
Temperature
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.units.qual.
UnitsRelations
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.units.qual.
Speed
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.units.qual.
Mass
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.units.qual.
Luminance
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.units.qual.
K
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.units.qual.
kg
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.units.qual.
UnitsBottom
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.units.qual.
mPERs2
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.units.qual.
kmPERh
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.units.qual.
PolyUnit
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.units.qual.
Acceleration
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.units.qual.
UnitsMultiple
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.units.qual.
min
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.units.qual.
g
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.units.qual.
cd
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.units.qual.
h
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.units.qual.
Current
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.units.qual.
C
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.units.qual.
m2
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.units.qual.
MixedUnits
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.units.qual.
mPERs
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.units.qual.
km
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.units.qual.
Substance
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.units.qual.
radians
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.units.qual.
mol
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.units.qual.
UnknownUnits
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.units.qual.
mm2
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.units.qual.
Time
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.units.qual.
Area
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.units.qual.
degrees
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.units.qual.
A
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.units.qual.
m
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.units.qual.
km2
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.lock.qual.
GuardedByUnknown
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.lock.qual.
Holding
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.lock.qual.
EnsuresLockHeld
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.lock.qual.
EnsuresLockHeld.List
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.lock.qual.
LockingFree
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.lock.qual.
MayReleaseLocks
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.lock.qual.
GuardSatisfied
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.lock.qual.
GuardedBy
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.lock.qual.
EnsuresLockHeldIf
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.lock.qual.
EnsuresLockHeldIf.List
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.lock.qual.
LockHeld
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.lock.qual.
ReleasesNoLocks
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.lock.qual.
GuardedByBottom
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.lock.qual.
LockPossiblyHeld
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.compilermsgs.qual.
CompilerMessageKeyBottom
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.compilermsgs.qual.
CompilerMessageKey
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.compilermsgs.qual.
UnknownCompilerMessageKey
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.regex.qual.
UnknownRegex
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.regex.qual.
PolyRegex
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.regex.qual.
RegexBottom
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.regex.qual.
Regex
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.regex.qual.
PartialRegex
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.optional.qual.
PolyPresent
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.optional.qual.
MaybePresent
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.optional.qual.
Present
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.index.qual.
PolyLowerBound
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.index.qual.
LTOMLengthOf
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.index.qual.
IndexOrHigh
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.index.qual.
SearchIndexBottom
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.index.qual.
LowerBoundBottom
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.index.qual.
IndexFor
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.index.qual.
HasSubsequence
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.index.qual.
GTENegativeOne
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.index.qual.
LTLengthOf
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.index.qual.
LessThanBottom
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.index.qual.
EnsuresLTLengthOfIf
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.index.qual.
EnsuresLTLengthOfIf.List
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.index.qual.
NegativeIndexFor
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.index.qual.
PolyIndex
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.index.qual.
PolySameLen
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.index.qual.
EnsuresLTLengthOf
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.index.qual.
EnsuresLTLengthOf.List
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.index.qual.
IndexOrLow
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.index.qual.
SearchIndexUnknown
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.index.qual.
SameLen
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.index.qual.
LengthOf
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.index.qual.
SearchIndexFor
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.index.qual.
LTEqLengthOf
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.index.qual.
SubstringIndexBottom
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.index.qual.
LessThan
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.index.qual.
LessThanUnknown
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.index.qual.
SameLenBottom
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.index.qual.
UpperBoundUnknown
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.index.qual.
LowerBoundUnknown
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.index.qual.
SubstringIndexFor
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.index.qual.
SubstringIndexUnknown
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.index.qual.
SameLenUnknown
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.index.qual.
PolyUpperBound
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.index.qual.
UpperBoundBottom
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.index.qual.
PolyLength
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.index.qual.
Positive
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.index.qual.
NonNegative
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.interning.qual.
InternMethod
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.interning.qual.
PolyInterned
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.interning.qual.
UnknownInterned
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.interning.qual.
UsesObjectEquals
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.interning.qual.
CompareToMethod
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.interning.qual.
InternedDistinct
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.interning.qual.
FindDistinct
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.interning.qual.
Interned
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.interning.qual.
EqualsMethod
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.guieffect.qual.
UIType
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.guieffect.qual.
UIEffect
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.guieffect.qual.
UIPackage
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.guieffect.qual.
PolyUIType
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.guieffect.qual.
PolyUIEffect
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.guieffect.qual.
UI
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.guieffect.qual.
AlwaysSafe
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.guieffect.qual.
SafeEffect
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.guieffect.qual.
SafeType
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.guieffect.qual.
PolyUI
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.initialization.qual.
UnderInitialization
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.initialization.qual.
FBCBottom
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.initialization.qual.
NotOnlyInitialized
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.initialization.qual.
UnknownInitialization
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.initialization.qual.
Initialized
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.fenum.qual.
SwingTextOrientation
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.fenum.qual.
SwingVerticalOrientation
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.fenum.qual.
Fenum
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.fenum.qual.
AwtFlowLayout
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.fenum.qual.
AwtCursorType
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.fenum.qual.
SwingTitlePosition
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.fenum.qual.
FenumTop
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.fenum.qual.
FenumUnqualified
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.fenum.qual.
SwingTitleJustification
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.fenum.qual.
SwingElementOrientation
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.fenum.qual.
SwingHorizontalOrientation
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.fenum.qual.
FenumBottom
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.fenum.qual.
SwingBoxOrientation
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.fenum.qual.
AwtAlphaCompositingRule
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.fenum.qual.
PolyFenum
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.fenum.qual.
AwtColorSpace
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.fenum.qual.
SwingCompassDirection
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.fenum.qual.
SwingSplitPaneOrientation
(implements java.lang.annotation.
Annotation
)
Enum Hierarchy
java.lang.
Object
java.lang.
Enum
<E> (implements java.lang.
Comparable
<T>, java.io.
Serializable
)
org.checkerframework.dataflow.qual.
Pure.Kind
org.checkerframework.framework.qual.
TypeKind
org.checkerframework.framework.qual.
TypeUseLocation
org.checkerframework.framework.qual.
LiteralKind
org.checkerframework.checker.i18nformatter.qual.
I18nConversionCategory
org.checkerframework.checker.formatter.qual.
ConversionCategory
org.checkerframework.checker.units.qual.
Prefix
Skip navigation links
Overview
Package
Class
Tree
Deprecated
Index
Help
Prev
Next
Frames
No Frames
All Classes