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.compilermsgs
,
org.checkerframework.checker.compilermsgs.qual
,
org.checkerframework.checker.fenum
,
org.checkerframework.checker.fenum.qual
,
org.checkerframework.checker.formatter
,
org.checkerframework.checker.formatter.qual
,
org.checkerframework.checker.guieffect
,
org.checkerframework.checker.guieffect.qual
,
org.checkerframework.checker.i18n
,
org.checkerframework.checker.i18n.qual
,
org.checkerframework.checker.igj
,
org.checkerframework.checker.igj.qual
,
org.checkerframework.checker.initialization
,
org.checkerframework.checker.initialization.qual
,
org.checkerframework.checker.interning
,
org.checkerframework.checker.interning.qual
,
org.checkerframework.checker.javari
,
org.checkerframework.checker.javari.qual
,
org.checkerframework.checker.linear
,
org.checkerframework.checker.linear.qual
,
org.checkerframework.checker.lock
,
org.checkerframework.checker.lock.qual
,
org.checkerframework.checker.nullness
,
org.checkerframework.checker.nullness.qual
,
org.checkerframework.checker.oigj
,
org.checkerframework.checker.oigj.qual
,
org.checkerframework.checker.propkey
,
org.checkerframework.checker.propkey.qual
,
org.checkerframework.checker.regex
,
org.checkerframework.checker.regex.qual
,
org.checkerframework.checker.signature
,
org.checkerframework.checker.signature.qual
,
org.checkerframework.checker.tainting
,
org.checkerframework.checker.tainting.qual
,
org.checkerframework.checker.units
,
org.checkerframework.checker.units.qual
,
org.checkerframework.common.basetype
,
org.checkerframework.common.reflection
,
org.checkerframework.common.reflection.qual
,
org.checkerframework.common.subtyping
,
org.checkerframework.common.util.count
,
org.checkerframework.common.util.debug
,
org.checkerframework.common.util.report
,
org.checkerframework.common.util.report.qual
,
org.checkerframework.common.value
,
org.checkerframework.common.value.qual
,
org.checkerframework.dataflow.analysis
,
org.checkerframework.dataflow.cfg
,
org.checkerframework.dataflow.cfg.block
,
org.checkerframework.dataflow.cfg.node
,
org.checkerframework.dataflow.cfg.playground
,
org.checkerframework.dataflow.constantpropagation
,
org.checkerframework.dataflow.qual
,
org.checkerframework.dataflow.util
,
org.checkerframework.framework.flow
,
org.checkerframework.framework.qual
,
org.checkerframework.framework.source
,
org.checkerframework.framework.test
,
org.checkerframework.framework.type
,
org.checkerframework.framework.type.visitor
,
org.checkerframework.framework.util
,
org.checkerframework.javacutil
,
org.checkerframework.javacutil.dist
,
org.checkerframework.javacutil.trees
Class Hierarchy
java.lang.Object
org.checkerframework.dataflow.cfg.node.
AbstractNodeVisitor
<R,P> (implements org.checkerframework.dataflow.cfg.node.
NodeVisitor
<R,P>)
org.checkerframework.framework.flow.
CFAbstractTransfer
<V,S,T> (implements org.checkerframework.dataflow.analysis.
TransferFunction
<A,S>)
org.checkerframework.framework.flow.
CFTransfer
org.checkerframework.checker.formatter.
FormatterTransfer
org.checkerframework.checker.initialization.
InitializationTransfer
<V,T,S>
org.checkerframework.checker.nullness.
NullnessTransfer
org.checkerframework.checker.regex.
RegexTransfer
org.checkerframework.dataflow.constantpropagation.
ConstantPropagationTransfer
(implements org.checkerframework.dataflow.analysis.
TransferFunction
<A,S>)
javax.annotation.processing.AbstractProcessor (implements javax.annotation.processing.Processor)
org.checkerframework.javacutil.
AbstractTypeProcessor
org.checkerframework.javacutil.
BasicTypeProcessor
org.checkerframework.common.util.debug.
SignaturePrinter
org.checkerframework.framework.source.
SourceChecker
(implements org.checkerframework.javacutil.
ErrorHandler
)
org.checkerframework.framework.source.
AggregateChecker
org.checkerframework.checker.i18n.
I18nChecker
org.checkerframework.checker.nullness.
NullnessChecker
org.checkerframework.checker.nullness.
NullnessRawnessChecker
org.checkerframework.checker.oigj.
OIGJChecker
org.checkerframework.common.basetype.
BaseTypeChecker
org.checkerframework.checker.fenum.
FenumChecker
org.checkerframework.checker.formatter.
FormatterChecker
org.checkerframework.checker.guieffect.
GuiEffectChecker
org.checkerframework.checker.i18n.
I18nSubchecker
org.checkerframework.checker.igj.
IGJChecker
org.checkerframework.checker.oigj.
ImmutabilitySubchecker
org.checkerframework.checker.initialization.
InitializationChecker
org.checkerframework.checker.nullness.
AbstractNullnessChecker
org.checkerframework.checker.nullness.
AbstractNullnessFbcChecker
org.checkerframework.checker.nullness.
AbstractNullnessRawnessChecker
org.checkerframework.checker.interning.
InterningChecker
org.checkerframework.checker.javari.
JavariChecker
org.checkerframework.checker.nullness.
KeyForSubchecker
org.checkerframework.checker.linear.
LinearChecker
org.checkerframework.checker.lock.
LockChecker
org.checkerframework.checker.oigj.
OwnershipSubchecker
org.checkerframework.checker.propkey.
PropertyKeyChecker
org.checkerframework.checker.compilermsgs.
CompilerMessagesChecker
org.checkerframework.checker.i18n.
LocalizableKeyChecker
org.checkerframework.framework.util.
PurityChecker
org.checkerframework.checker.regex.
RegexChecker
org.checkerframework.common.util.report.
ReportChecker
org.checkerframework.checker.signature.
SignatureChecker
org.checkerframework.common.subtyping.
SubtypingChecker
org.checkerframework.checker.tainting.
TaintingChecker
org.checkerframework.common.util.debug.
TypeOutputtingChecker
org.checkerframework.checker.units.
UnitsChecker
org.checkerframework.common.value.
ValueChecker
org.checkerframework.common.util.count.
Locations
org.checkerframework.common.util.debug.
TreePrinter
org.checkerframework.common.util.count.
AnnotationsCounter
org.checkerframework.common.util.debug.
EmptyProcessor
org.checkerframework.common.util.debug.
TreeDebug
org.checkerframework.dataflow.analysis.
Analysis
<A,S,T>
org.checkerframework.framework.flow.
CFAbstractAnalysis
<V,S,T>
org.checkerframework.framework.flow.
CFAnalysis
org.checkerframework.checker.formatter.
FormatterAnalysis
org.checkerframework.checker.nullness.
NullnessAnalysis
org.checkerframework.checker.regex.
RegexAnalysis
org.checkerframework.dataflow.analysis.
Analysis.Worklist
org.checkerframework.dataflow.analysis.
Analysis.Worklist.DFOComparator
(implements java.util.Comparator<T>)
org.checkerframework.dataflow.analysis.
AnalysisResult
<A,S>
com.sun.tools.javac.code.AnnoConstruct (implements javax.lang.model.AnnotatedConstruct)
com.sun.tools.javac.code.Symbol (implements javax.lang.model.element.Element)
com.sun.tools.javac.code.Symbol.VarSymbol (implements javax.lang.model.element.VariableElement)
org.checkerframework.javacutil.trees.
DetachedVarSymbol
org.checkerframework.framework.type.
AnnotatedTypeFactory
(implements org.checkerframework.javacutil.
AnnotationProvider
)
org.checkerframework.framework.type.
GeneralAnnotatedTypeFactory
org.checkerframework.framework.type.
GenericAnnotatedTypeFactory
<Value,Store,TransferFunction,FlowAnalysis>
org.checkerframework.common.basetype.
BaseAnnotatedTypeFactory
org.checkerframework.common.reflection.
ClassValAnnotatedTypeFactory
org.checkerframework.checker.fenum.
FenumAnnotatedTypeFactory
org.checkerframework.checker.guieffect.
GuiEffectTypeFactory
org.checkerframework.checker.i18n.
I18nAnnotatedTypeFactory
org.checkerframework.checker.igj.
IGJAnnotatedTypeFactory
org.checkerframework.checker.oigj.
ImmutabilityAnnotatedTypeFactory
org.checkerframework.checker.interning.
InterningAnnotatedTypeFactory
org.checkerframework.checker.javari.
JavariAnnotatedTypeFactory
org.checkerframework.checker.nullness.
KeyForAnnotatedTypeFactory
org.checkerframework.checker.linear.
LinearAnnotatedTypeFactory
org.checkerframework.checker.lock.
LockAnnotatedTypeFactory
org.checkerframework.common.reflection.
MethodValAnnotatedTypeFactory
org.checkerframework.checker.oigj.
OwnershipAnnotatedTypeFactory
org.checkerframework.checker.propkey.
PropertyKeyAnnotatedTypeFactory
org.checkerframework.checker.compilermsgs.
CompilerMessagesAnnotatedTypeFactory
org.checkerframework.checker.i18n.
LocalizableKeyAnnotatedTypeFactory
org.checkerframework.common.reflection.
ReflectionResolutionAnnotatedTypeFactory
org.checkerframework.checker.signature.
SignatureAnnotatedTypeFactory
org.checkerframework.common.subtyping.
SubtypingAnnotatedTypeFactory
org.checkerframework.checker.units.
UnitsAnnotatedTypeFactory
org.checkerframework.common.value.
ValueAnnotatedTypeFactory
org.checkerframework.checker.formatter.
FormatterAnnotatedTypeFactory
org.checkerframework.checker.initialization.
InitializationAnnotatedTypeFactory
<Value,Store,Transfer,Flow>
org.checkerframework.checker.nullness.
NullnessAnnotatedTypeFactory
org.checkerframework.checker.regex.
RegexAnnotatedTypeFactory
org.checkerframework.framework.type.
AnnotatedTypeMirror
org.checkerframework.framework.type.
AnnotatedTypeMirror.AnnotatedArrayType
(implements org.checkerframework.framework.type.
AnnotatedTypeMirror.AnnotatedReferenceType
)
org.checkerframework.framework.type.
AnnotatedTypeMirror.AnnotatedDeclaredType
(implements org.checkerframework.framework.type.
AnnotatedTypeMirror.AnnotatedReferenceType
)
org.checkerframework.framework.type.
AnnotatedTypeMirror.AnnotatedExecutableType
org.checkerframework.framework.type.
AnnotatedTypeMirror.AnnotatedIntersectionType
org.checkerframework.framework.type.
AnnotatedTypeMirror.AnnotatedNoType
org.checkerframework.framework.type.
AnnotatedTypeMirror.AnnotatedNullType
(implements org.checkerframework.framework.type.
AnnotatedTypeMirror.AnnotatedReferenceType
)
org.checkerframework.framework.type.
AnnotatedTypeMirror.AnnotatedPrimitiveType
(implements org.checkerframework.framework.type.
AnnotatedTypeMirror.AnnotatedReferenceType
)
org.checkerframework.framework.type.
AnnotatedTypeMirror.AnnotatedTypeVariable
(implements org.checkerframework.framework.type.
AnnotatedTypeMirror.AnnotatedReferenceType
)
org.checkerframework.framework.type.
AnnotatedTypeMirror.AnnotatedUnionType
org.checkerframework.framework.type.
AnnotatedTypeMirror.AnnotatedWildcardType
org.checkerframework.framework.util.
AnnotatedTypes
org.checkerframework.framework.type.visitor.
AnnotatedTypeScanner
<R,P> (implements org.checkerframework.framework.type.visitor.
AnnotatedTypeVisitor
<R,P>)
org.checkerframework.framework.type.visitor.
AnnotatedTypeComparer
<R>
org.checkerframework.framework.type.visitor.
AnnotatedTypeMerger
org.checkerframework.framework.type.
AnnotatedTypeFactory.InheritedFromClassAnnotator
org.checkerframework.common.basetype.
BaseTypeValidator
org.checkerframework.common.util.report.
ReportVisitor.ReportTypeValidator
org.checkerframework.framework.type.visitor.
SimpleAnnotatedTypeScanner
<R,P>
org.checkerframework.framework.type.
TypeAnnotator
org.checkerframework.checker.initialization.
InitializationAnnotatedTypeFactory.CommitmentTypeAnnotator
org.checkerframework.checker.nullness.
NullnessAnnotatedTypeFactory.NullnessTypeAnnotator
org.checkerframework.framework.util.
AnnotationBuilder
org.checkerframework.javacutil.
AnnotationUtils
org.checkerframework.dataflow.cfg.node.
AssignmentContext
org.checkerframework.dataflow.cfg.node.
AssignmentContext.AssignmentLhsContext
org.checkerframework.dataflow.cfg.node.
AssignmentContext.MethodParameterContext
org.checkerframework.dataflow.cfg.node.
AssignmentContext.MethodReturnContext
org.checkerframework.javacutil.
BasicAnnotationProvider
(implements org.checkerframework.javacutil.
AnnotationProvider
)
org.checkerframework.dataflow.cfg.block.
BlockImpl
(implements org.checkerframework.dataflow.cfg.block.
Block
)
org.checkerframework.dataflow.cfg.block.
ConditionalBlockImpl
(implements org.checkerframework.dataflow.cfg.block.
ConditionalBlock
)
org.checkerframework.dataflow.cfg.block.
SingleSuccessorBlockImpl
(implements org.checkerframework.dataflow.cfg.block.
SingleSuccessorBlock
)
org.checkerframework.dataflow.cfg.block.
ExceptionBlockImpl
(implements org.checkerframework.dataflow.cfg.block.
ExceptionBlock
)
org.checkerframework.dataflow.cfg.block.
RegularBlockImpl
(implements org.checkerframework.dataflow.cfg.block.
RegularBlock
)
org.checkerframework.dataflow.cfg.block.
SpecialBlockImpl
(implements org.checkerframework.dataflow.cfg.block.
SpecialBlock
)
org.checkerframework.framework.flow.
CFAbstractStore
<V,S> (implements org.checkerframework.dataflow.analysis.
Store
<S>)
org.checkerframework.framework.flow.
CFStore
org.checkerframework.checker.initialization.
InitializationStore
<V,S>
org.checkerframework.checker.nullness.
NullnessStore
org.checkerframework.framework.flow.
CFAbstractValue
<V> (implements org.checkerframework.dataflow.analysis.
AbstractValue
<V>)
org.checkerframework.framework.flow.
CFValue
org.checkerframework.checker.nullness.
NullnessValue
org.checkerframework.dataflow.cfg.
CFGBuilder
org.checkerframework.framework.flow.
CFCFGBuilder
org.checkerframework.dataflow.cfg.
CFGBuilder.CFGTranslationPhaseThree
org.checkerframework.dataflow.cfg.
CFGBuilder.CFGTranslationPhaseTwo
org.checkerframework.dataflow.cfg.
CFGBuilder.ExtendedNode
org.checkerframework.dataflow.cfg.
CFGBuilder.ConditionalJump
org.checkerframework.dataflow.cfg.
CFGBuilder.NodeHolder
org.checkerframework.dataflow.cfg.
CFGBuilder.NodeWithExceptionsHolder
org.checkerframework.dataflow.cfg.
CFGBuilder.UnconditionalJump
org.checkerframework.dataflow.cfg.
CFGBuilder.Label
org.checkerframework.dataflow.cfg.
CFGBuilder.PhaseOneResult
org.checkerframework.dataflow.cfg.
CFGBuilder.TryCatchFrame
(implements org.checkerframework.dataflow.cfg.
CFGBuilder.TryFrame
)
org.checkerframework.dataflow.cfg.
CFGBuilder.TryFinallyFrame
(implements org.checkerframework.dataflow.cfg.
CFGBuilder.TryFrame
)
org.checkerframework.dataflow.cfg.
CFGBuilder.TryStack
org.checkerframework.dataflow.cfg.
CFGBuilder.Tuple
<A,B,C>
org.checkerframework.dataflow.cfg.
CFGDOTVisualizer
org.checkerframework.framework.util.
CheckerMain
org.checkerframework.framework.util.
CheckerDevelMain
org.checkerframework.framework.test.
CheckerTest
org.checkerframework.framework.test.
ParameterizedCheckerTest
org.checkerframework.checker.nullness.
CollectionToArrayHeuristics
org.checkerframework.dataflow.constantpropagation.
Constant
(implements org.checkerframework.dataflow.analysis.
AbstractValue
<V>)
org.checkerframework.dataflow.cfg.playground.
ConstantPropagationPlayground
org.checkerframework.dataflow.constantpropagation.
ConstantPropagationStore
(implements org.checkerframework.dataflow.analysis.
Store
<S>)
org.checkerframework.framework.util.
ContractsUtils
org.checkerframework.dataflow.cfg.
ControlFlowGraph
org.checkerframework.common.reflection.
DefaultReflectionResolver
(implements org.checkerframework.common.reflection.
ReflectionResolver
)
org.checkerframework.framework.util.
DependentTypes
org.checkerframework.checker.guieffect.
Effect
org.checkerframework.checker.guieffect.
Effect.EffectRange
org.checkerframework.javacutil.
ElementUtils
org.checkerframework.javacutil.
ErrorReporter
org.checkerframework.framework.util.
ExecUtil
org.checkerframework.framework.util.
ExecUtil.Redirection
org.checkerframework.framework.util.
FlowExpressionParseUtil
org.checkerframework.framework.util.
FlowExpressionParseUtil.FlowExpressionContext
org.checkerframework.dataflow.analysis.
FlowExpressions
org.checkerframework.dataflow.analysis.
FlowExpressions.Receiver
org.checkerframework.dataflow.analysis.
FlowExpressions.ArrayAccess
org.checkerframework.dataflow.analysis.
FlowExpressions.ClassName
org.checkerframework.dataflow.analysis.
FlowExpressions.FieldAccess
org.checkerframework.dataflow.analysis.
FlowExpressions.LocalVariable
org.checkerframework.dataflow.analysis.
FlowExpressions.PureMethodCall
org.checkerframework.dataflow.analysis.
FlowExpressions.ThisReference
org.checkerframework.dataflow.analysis.
FlowExpressions.Unknown
org.checkerframework.dataflow.analysis.
FlowExpressions.ValueLiteral
org.checkerframework.checker.formatter.
FormatterTreeUtil
org.checkerframework.checker.formatter.
FormatterTreeUtil.FormatCall
org.checkerframework.checker.formatter.
FormatUtil
org.checkerframework.dataflow.util.
HashCodeUtils
org.checkerframework.framework.util.
Heuristics
org.checkerframework.framework.util.
Heuristics.Matchers
org.checkerframework.javacutil.
InternalUtils
org.checkerframework.dataflow.cfg.
JavaSource2CFGDOT
org.checkerframework.javacutil.dist.
ManualTaglet
(implements com.sun.tools.doclets.Taglet)
org.checkerframework.framework.util.
MultiGraphQualifierHierarchy.MultiGraphFactory
org.checkerframework.dataflow.cfg.node.
Node
org.checkerframework.dataflow.cfg.node.
ArrayAccessNode
org.checkerframework.dataflow.cfg.node.
ArrayCreationNode
org.checkerframework.dataflow.cfg.node.
ArrayTypeNode
org.checkerframework.dataflow.cfg.node.
AssertionErrorNode
org.checkerframework.dataflow.cfg.node.
AssignmentNode
org.checkerframework.dataflow.cfg.node.
BitwiseAndNode
org.checkerframework.dataflow.cfg.node.
BitwiseComplementNode
org.checkerframework.dataflow.cfg.node.
BitwiseOrNode
org.checkerframework.dataflow.cfg.node.
BitwiseXorNode
org.checkerframework.dataflow.cfg.node.
CaseNode
org.checkerframework.dataflow.cfg.node.
ClassNameNode
org.checkerframework.dataflow.cfg.node.
ConditionalAndNode
org.checkerframework.dataflow.cfg.node.
ConditionalNotNode
org.checkerframework.dataflow.cfg.node.
ConditionalOrNode
org.checkerframework.dataflow.cfg.node.
EqualToNode
org.checkerframework.dataflow.cfg.node.
FieldAccessNode
org.checkerframework.dataflow.cfg.node.
FloatingDivisionNode
org.checkerframework.dataflow.cfg.node.
FloatingRemainderNode
org.checkerframework.dataflow.cfg.node.
GreaterThanNode
org.checkerframework.dataflow.cfg.node.
GreaterThanOrEqualNode
org.checkerframework.dataflow.cfg.node.
InstanceOfNode
org.checkerframework.dataflow.cfg.node.
IntegerDivisionNode
org.checkerframework.dataflow.cfg.node.
IntegerRemainderNode
org.checkerframework.dataflow.cfg.node.
LeftShiftNode
org.checkerframework.dataflow.cfg.node.
LessThanNode
org.checkerframework.dataflow.cfg.node.
LessThanOrEqualNode
org.checkerframework.dataflow.cfg.node.
LocalVariableNode
org.checkerframework.dataflow.cfg.node.
MarkerNode
org.checkerframework.dataflow.cfg.node.
MethodAccessNode
org.checkerframework.dataflow.cfg.node.
MethodInvocationNode
org.checkerframework.dataflow.cfg.node.
NarrowingConversionNode
org.checkerframework.dataflow.cfg.node.
NotEqualNode
org.checkerframework.dataflow.cfg.node.
NullChkNode
org.checkerframework.dataflow.cfg.node.
NumericalAdditionNode
org.checkerframework.dataflow.cfg.node.
NumericalMinusNode
org.checkerframework.dataflow.cfg.node.
NumericalMultiplicationNode
org.checkerframework.dataflow.cfg.node.
NumericalPlusNode
org.checkerframework.dataflow.cfg.node.
NumericalSubtractionNode
org.checkerframework.dataflow.cfg.node.
ObjectCreationNode
org.checkerframework.dataflow.cfg.node.
PackageNameNode
org.checkerframework.dataflow.cfg.node.
ParameterizedTypeNode
org.checkerframework.dataflow.cfg.node.
PrimitiveTypeNode
org.checkerframework.dataflow.cfg.node.
ReturnNode
org.checkerframework.dataflow.cfg.node.
SignedRightShiftNode
org.checkerframework.dataflow.cfg.node.
StringConcatenateAssignmentNode
org.checkerframework.dataflow.cfg.node.
StringConcatenateNode
org.checkerframework.dataflow.cfg.node.
StringConversionNode
org.checkerframework.dataflow.cfg.node.
SuperNode
org.checkerframework.dataflow.cfg.node.
TernaryExpressionNode
org.checkerframework.dataflow.cfg.node.
ThisLiteralNode
org.checkerframework.dataflow.cfg.node.
ExplicitThisLiteralNode
org.checkerframework.dataflow.cfg.node.
ImplicitThisLiteralNode
org.checkerframework.dataflow.cfg.node.
ThrowNode
org.checkerframework.dataflow.cfg.node.
TypeCastNode
org.checkerframework.dataflow.cfg.node.
UnsignedRightShiftNode
org.checkerframework.dataflow.cfg.node.
ValueLiteralNode
org.checkerframework.dataflow.cfg.node.
BooleanLiteralNode
org.checkerframework.dataflow.cfg.node.
CharacterLiteralNode
org.checkerframework.dataflow.cfg.node.
DoubleLiteralNode
org.checkerframework.dataflow.cfg.node.
FloatLiteralNode
org.checkerframework.dataflow.cfg.node.
IntegerLiteralNode
org.checkerframework.dataflow.cfg.node.
LongLiteralNode
org.checkerframework.dataflow.cfg.node.
NullLiteralNode
org.checkerframework.dataflow.cfg.node.
ShortLiteralNode
org.checkerframework.dataflow.cfg.node.
StringLiteralNode
org.checkerframework.dataflow.cfg.node.
VariableDeclarationNode
org.checkerframework.dataflow.cfg.node.
WideningConversionNode
org.checkerframework.dataflow.util.
NodeUtils
org.checkerframework.checker.nullness.
NullnessUtils
org.checkerframework.common.value.
Operators
org.checkerframework.javacutil.
Pair
<V1,V2>
org.checkerframework.framework.util.
PluginUtil
org.checkerframework.dataflow.util.
PurityChecker
org.checkerframework.dataflow.util.
PurityChecker.PurityCheckerHelper
(implements com.sun.source.tree.TreeVisitor<R,P>)
org.checkerframework.dataflow.util.
PurityChecker.PurityResult
org.checkerframework.dataflow.util.
PurityUtils
org.checkerframework.framework.util.
QualifierDefaults
org.checkerframework.framework.util.
QualifierDefaults.DefaultApplierElement
org.checkerframework.framework.type.
QualifierHierarchy
org.checkerframework.framework.util.
MultiGraphQualifierHierarchy
org.checkerframework.common.reflection.
ClassValAnnotatedTypeFactory.ClassValQualifierHierarchy
org.checkerframework.framework.util.
GraphQualifierHierarchy
org.checkerframework.checker.fenum.
FenumAnnotatedTypeFactory.FenumQualifierHierarchy
org.checkerframework.checker.units.
UnitsAnnotatedTypeFactory.UnitsQualifierHierarchy
org.checkerframework.checker.initialization.
InitializationAnnotatedTypeFactory.InitializationQualifierHierarchy
org.checkerframework.checker.nullness.
NullnessAnnotatedTypeFactory.NullnessQualifierHierarchy
org.checkerframework.common.reflection.
MethodValAnnotatedTypeFactory.MethodValQualifierHierarchy
org.checkerframework.framework.util.
QualifierPolymorphism
org.checkerframework.checker.regex.
RegexUtil
org.checkerframework.javacutil.
Resolver
org.checkerframework.framework.util.
Resolver2
org.checkerframework.framework.source.
Result
org.checkerframework.framework.source.
Result.DiagMessage
org.junit.runner.Runner (implements org.junit.runner.Describable)
org.junit.runners.ParentRunner<T> (implements org.junit.runner.manipulation.Filterable, org.junit.runner.manipulation.Sortable)
org.junit.runners.Suite
org.checkerframework.framework.test.
CheckerParameterized
org.checkerframework.framework.type.visitor.
SimpleAnnotatedTypeVisitor
<R,P> (implements org.checkerframework.framework.type.visitor.
AnnotatedTypeVisitor
<R,P>)
com.sun.source.util.SimpleTreeVisitor<R,P> (implements com.sun.source.tree.TreeVisitor<R,P>)
org.checkerframework.framework.util.
Heuristics.Matcher
org.checkerframework.framework.util.
Heuristics.OfKind
org.checkerframework.framework.util.
Heuristics.OrMatcher
org.checkerframework.framework.util.
Heuristics.PreceededBy
org.checkerframework.framework.util.
Heuristics.WithIn
org.checkerframework.framework.util.
Heuristics.WithinTrueBranch
org.checkerframework.framework.type.
TreeAnnotator
org.checkerframework.common.reflection.
ClassValAnnotatedTypeFactory.ClassValTreeAnnotator
org.checkerframework.checker.initialization.
InitializationAnnotatedTypeFactory.CommitmentTreeAnnotator
org.checkerframework.checker.nullness.
NullnessAnnotatedTypeFactory.NullnessTreeAnnotator
org.checkerframework.common.reflection.
MethodValAnnotatedTypeFactory.MethodValTreeAnnotator
org.checkerframework.checker.propkey.
PropertyKeyAnnotatedTypeFactory.KeyLookupTreeAnnotator
org.checkerframework.common.value.
ValueAnnotatedTypeFactory.ValueTreeAnnotator
org.checkerframework.checker.nullness.
SystemGetPropertyHandler
org.checkerframework.framework.test.
TestInput
org.checkerframework.framework.test.
TestRun
(implements java.lang.Iterable<T>)
org.checkerframework.framework.test.
TestUtilities
java.lang.Throwable (implements java.io.Serializable)
java.lang.Exception
org.checkerframework.framework.util.
FlowExpressionParseUtil.FlowExpressionParseException
org.checkerframework.checker.regex.
RegexUtil.CheckedPatternSyntaxException
java.lang.RuntimeException
java.lang.IllegalArgumentException
java.util.IllegalFormatException
java.util.IllegalFormatConversionException
org.checkerframework.checker.formatter.
FormatUtil.IllegalFormatConversionCategoryException
java.util.MissingFormatArgumentException
org.checkerframework.checker.formatter.
FormatUtil.ExcessiveOrMissingFormatArgumentException
org.checkerframework.framework.source.
SourceChecker.CheckerError
org.checkerframework.dataflow.analysis.
TransferInput
<A,S>
org.checkerframework.dataflow.analysis.
TransferResult
<A,S>
org.checkerframework.dataflow.analysis.
ConditionalTransferResult
<A,S>
org.checkerframework.dataflow.analysis.
RegularTransferResult
<A,S>
org.checkerframework.javacutil.trees.
TreeBuilder
org.checkerframework.framework.flow.
CFTreeBuilder
org.checkerframework.javacutil.trees.
TreeParser
com.sun.source.util.TreeScanner<R,P> (implements com.sun.source.tree.TreeVisitor<R,P>)
com.sun.source.util.TreePathScanner<R,P>
org.checkerframework.dataflow.cfg.
CFGBuilder.CFGTranslationPhaseOne
org.checkerframework.framework.flow.
CFCFGBuilder.CFCFGTranslationPhaseOne
org.checkerframework.framework.source.
SourceVisitor
<R,P>
org.checkerframework.common.basetype.
BaseTypeVisitor
<Factory>
org.checkerframework.checker.fenum.
FenumVisitor
org.checkerframework.checker.formatter.
FormatterVisitor
org.checkerframework.checker.guieffect.
GuiEffectVisitor
org.checkerframework.checker.igj.
IGJVisitor
org.checkerframework.checker.oigj.
ImmutabilityVisitor
org.checkerframework.checker.initialization.
InitializationVisitor
<Factory,Value,Store>
org.checkerframework.checker.nullness.
NullnessVisitor
org.checkerframework.checker.interning.
InterningVisitor
org.checkerframework.checker.javari.
JavariVisitor
org.checkerframework.checker.nullness.
KeyForVisitor
org.checkerframework.checker.linear.
LinearVisitor
org.checkerframework.checker.lock.
LockVisitor
org.checkerframework.checker.oigj.
OwnershipVisitor
org.checkerframework.checker.regex.
RegexVisitor
org.checkerframework.common.util.report.
ReportVisitor
org.checkerframework.common.util.debug.
TypeOutputtingChecker.Visitor
org.checkerframework.checker.units.
UnitsVisitor
org.checkerframework.common.value.
ValueVisitor
org.checkerframework.common.util.debug.
TreeDebug.Visitor
org.checkerframework.javacutil.
TreeUtils
org.checkerframework.javacutil.
TypeAnnotationUtils
org.checkerframework.framework.type.
TypeFromElement
org.checkerframework.framework.type.
TypeHierarchy
org.checkerframework.framework.type.
TypesIntoElements
org.checkerframework.javacutil.
TypesUtils
org.checkerframework.dataflow.cfg.
UnderlyingAST
org.checkerframework.dataflow.cfg.
UnderlyingAST.CFGMethod
org.checkerframework.dataflow.cfg.
UnderlyingAST.CFGStatement
org.checkerframework.checker.units.
UnitsRelationsDefault
(implements org.checkerframework.checker.units.
UnitsRelations
)
org.checkerframework.checker.units.
UnitsTools
org.checkerframework.framework.type.
VisitorState
Interface Hierarchy
org.checkerframework.dataflow.analysis.
AbstractValue
<V>
org.checkerframework.framework.type.
AnnotatedTypeMirror.AnnotatedReferenceType
org.checkerframework.framework.type.visitor.
AnnotatedTypeVisitor
<R,P>
org.checkerframework.javacutil.
AnnotationProvider
org.checkerframework.dataflow.cfg.block.
Block
org.checkerframework.dataflow.cfg.block.
ConditionalBlock
org.checkerframework.dataflow.cfg.block.
ExceptionBlock
org.checkerframework.dataflow.cfg.block.
RegularBlock
org.checkerframework.dataflow.cfg.block.
SingleSuccessorBlock
org.checkerframework.dataflow.cfg.block.
ExceptionBlock
org.checkerframework.dataflow.cfg.block.
RegularBlock
org.checkerframework.dataflow.cfg.block.
SpecialBlock
org.checkerframework.dataflow.cfg.block.
SpecialBlock
org.checkerframework.dataflow.cfg.
CFGBuilder.CFGTranslationPhaseThree.PredecessorHolder
org.checkerframework.dataflow.cfg.
CFGBuilder.TryFrame
org.checkerframework.javacutil.
ErrorHandler
org.checkerframework.checker.formatter.
FormatterTreeUtil.Result
<E>
org.checkerframework.dataflow.cfg.node.
NodeVisitor
<R,P>
org.checkerframework.dataflow.analysis.
TransferFunction
<A,S>
org.checkerframework.common.reflection.
ReflectionResolver
org.checkerframework.dataflow.analysis.
Store
<S>
org.checkerframework.checker.units.
UnitsRelations
Annotation Type Hierarchy
org.checkerframework.checker.compilermsgs.qual.
CompilerMessageKey
(implements java.lang.annotation.Annotation)
org.checkerframework.checker.fenum.qual.
AwtCursorType
(implements java.lang.annotation.Annotation)
org.checkerframework.checker.fenum.qual.
FenumUnqualified
(implements java.lang.annotation.Annotation)
org.checkerframework.checker.fenum.qual.
SwingElementOrientation
(implements java.lang.annotation.Annotation)
org.checkerframework.checker.fenum.qual.
SwingTitlePosition
(implements java.lang.annotation.Annotation)
org.checkerframework.checker.fenum.qual.
SwingBoxOrientation
(implements java.lang.annotation.Annotation)
org.checkerframework.checker.fenum.qual.
SwingTitleJustification
(implements java.lang.annotation.Annotation)
org.checkerframework.checker.fenum.qual.
SwingCompassDirection
(implements java.lang.annotation.Annotation)
org.checkerframework.checker.fenum.qual.
SwingVerticalOrientation
(implements java.lang.annotation.Annotation)
org.checkerframework.checker.fenum.qual.
SwingTextOrientation
(implements java.lang.annotation.Annotation)
org.checkerframework.checker.fenum.qual.
AwtAlphaCompositingRule
(implements java.lang.annotation.Annotation)
org.checkerframework.checker.fenum.qual.
AwtFlowLayout
(implements java.lang.annotation.Annotation)
org.checkerframework.checker.fenum.qual.
FenumTop
(implements java.lang.annotation.Annotation)
org.checkerframework.checker.fenum.qual.
Fenum
(implements java.lang.annotation.Annotation)
org.checkerframework.checker.fenum.qual.
AwtColorSpace
(implements java.lang.annotation.Annotation)
org.checkerframework.checker.fenum.qual.
SwingHorizontalOrientation
(implements java.lang.annotation.Annotation)
org.checkerframework.checker.fenum.qual.
SwingSplitPaneOrientation
(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.formatter.qual.
ReturnsFormat
(implements java.lang.annotation.Annotation)
org.checkerframework.checker.formatter.qual.
Format
(implements java.lang.annotation.Annotation)
org.checkerframework.checker.guieffect.qual.
PolyUIType
(implements java.lang.annotation.Annotation)
org.checkerframework.checker.guieffect.qual.
AlwaysSafe
(implements java.lang.annotation.Annotation)
org.checkerframework.checker.guieffect.qual.
UIType
(implements java.lang.annotation.Annotation)
org.checkerframework.checker.guieffect.qual.
UI
(implements java.lang.annotation.Annotation)
org.checkerframework.checker.guieffect.qual.
PolyUI
(implements java.lang.annotation.Annotation)
org.checkerframework.checker.guieffect.qual.
UIEffect
(implements java.lang.annotation.Annotation)
org.checkerframework.checker.guieffect.qual.
SafeType
(implements java.lang.annotation.Annotation)
org.checkerframework.checker.guieffect.qual.
SafeEffect
(implements java.lang.annotation.Annotation)
org.checkerframework.checker.guieffect.qual.
PolyUIEffect
(implements java.lang.annotation.Annotation)
org.checkerframework.checker.guieffect.qual.
UIPackage
(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.i18n.qual.
UnknownLocalized
(implements java.lang.annotation.Annotation)
org.checkerframework.checker.igj.qual.
Assignable
(implements java.lang.annotation.Annotation)
org.checkerframework.checker.igj.qual.
I
(implements java.lang.annotation.Annotation)
org.checkerframework.checker.igj.qual.
AssignsFields
(implements java.lang.annotation.Annotation)
org.checkerframework.checker.igj.qual.
Immutable
(implements java.lang.annotation.Annotation)
org.checkerframework.checker.igj.qual.
ReadOnly
(implements java.lang.annotation.Annotation)
org.checkerframework.checker.igj.qual.
Mutable
(implements java.lang.annotation.Annotation)
org.checkerframework.checker.initialization.qual.
UnknownInitialization
(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.
Initialized
(implements java.lang.annotation.Annotation)
org.checkerframework.checker.interning.qual.
UsesObjectEquals
(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.
Interned
(implements java.lang.annotation.Annotation)
org.checkerframework.checker.javari.qual.
Assignable
(implements java.lang.annotation.Annotation)
org.checkerframework.checker.javari.qual.
PolyRead
(implements java.lang.annotation.Annotation)
org.checkerframework.checker.javari.qual.
ThisMutable
(implements java.lang.annotation.Annotation)
org.checkerframework.checker.javari.qual.
ReadOnly
(implements java.lang.annotation.Annotation)
org.checkerframework.checker.javari.qual.
Mutable
(implements java.lang.annotation.Annotation)
org.checkerframework.checker.javari.qual.
QReadOnly
(implements java.lang.annotation.Annotation)
org.checkerframework.checker.linear.qual.
Normal
(implements java.lang.annotation.Annotation)
org.checkerframework.checker.linear.qual.
Linear
(implements java.lang.annotation.Annotation)
org.checkerframework.checker.linear.qual.
Unusable
(implements java.lang.annotation.Annotation)
org.checkerframework.checker.lock.qual.
Holding
(implements java.lang.annotation.Annotation)
org.checkerframework.checker.lock.qual.
GuardedByTop
(implements java.lang.annotation.Annotation)
org.checkerframework.checker.lock.qual.
GuardedByBottom
(implements java.lang.annotation.Annotation)
org.checkerframework.checker.lock.qual.
GuardedBy
(implements java.lang.annotation.Annotation)
org.checkerframework.checker.nullness.qual.
PolyNull
(implements java.lang.annotation.Annotation)
org.checkerframework.checker.nullness.qual.
PolyRaw
(implements java.lang.annotation.Annotation)
org.checkerframework.checker.nullness.qual.
KeyFor
(implements java.lang.annotation.Annotation)
org.checkerframework.checker.nullness.qual.
KeyForBottom
(implements java.lang.annotation.Annotation)
org.checkerframework.checker.nullness.qual.
AssertNonNullIfNonNull
(implements java.lang.annotation.Annotation)
org.checkerframework.checker.nullness.qual.
RequiresNonNull
(implements java.lang.annotation.Annotation)
org.checkerframework.checker.nullness.qual.
Covariant
(implements java.lang.annotation.Annotation)
org.checkerframework.checker.nullness.qual.
EnsuresNonNull
(implements java.lang.annotation.Annotation)
org.checkerframework.checker.nullness.qual.
Raw
(implements java.lang.annotation.Annotation)
org.checkerframework.checker.nullness.qual.
MonotonicNonNull
(implements java.lang.annotation.Annotation)
org.checkerframework.checker.nullness.qual.
NonNull
(implements java.lang.annotation.Annotation)
org.checkerframework.checker.nullness.qual.
Nullable
(implements java.lang.annotation.Annotation)
org.checkerframework.checker.nullness.qual.
EnsuresNonNullIf
(implements java.lang.annotation.Annotation)
org.checkerframework.checker.nullness.qual.
UnknownKeyFor
(implements java.lang.annotation.Annotation)
org.checkerframework.checker.nullness.qual.
LazyNonNull
(implements java.lang.annotation.Annotation)
org.checkerframework.checker.nullness.qual.
NonRaw
(implements java.lang.annotation.Annotation)
org.checkerframework.checker.oigj.qual.
Dominator
(implements java.lang.annotation.Annotation)
org.checkerframework.checker.oigj.qual.
Modifier
(implements java.lang.annotation.Annotation)
org.checkerframework.checker.oigj.qual.
Assignable
(implements java.lang.annotation.Annotation)
org.checkerframework.checker.oigj.qual.
I
(implements java.lang.annotation.Annotation)
org.checkerframework.checker.oigj.qual.
AssignsFields
(implements java.lang.annotation.Annotation)
org.checkerframework.checker.oigj.qual.
Immutable
(implements java.lang.annotation.Annotation)
org.checkerframework.checker.oigj.qual.
World
(implements java.lang.annotation.Annotation)
org.checkerframework.checker.oigj.qual.
ReadOnly
(implements java.lang.annotation.Annotation)
org.checkerframework.checker.oigj.qual.
WildCard
(implements java.lang.annotation.Annotation)
org.checkerframework.checker.oigj.qual.
O
(implements java.lang.annotation.Annotation)
org.checkerframework.checker.oigj.qual.
Mutable
(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.regex.qual.
UnknownRegex
(implements java.lang.annotation.Annotation)
org.checkerframework.checker.regex.qual.
PartialRegex
(implements java.lang.annotation.Annotation)
org.checkerframework.checker.regex.qual.
Regex
(implements java.lang.annotation.Annotation)
org.checkerframework.checker.regex.qual.
RegexBottom
(implements java.lang.annotation.Annotation)
org.checkerframework.checker.regex.qual.
PolyRegex
(implements java.lang.annotation.Annotation)
org.checkerframework.checker.signature.qual.
FullyQualifiedName
(implements java.lang.annotation.Annotation)
org.checkerframework.checker.signature.qual.
SourceName
(implements java.lang.annotation.Annotation)
org.checkerframework.checker.signature.qual.
BinaryNameForNonArray
(implements java.lang.annotation.Annotation)
org.checkerframework.checker.signature.qual.
MethodDescriptor
(implements java.lang.annotation.Annotation)
org.checkerframework.checker.signature.qual.
FieldDescriptor
(implements java.lang.annotation.Annotation)
org.checkerframework.checker.signature.qual.
SignatureBottom
(implements java.lang.annotation.Annotation)
org.checkerframework.checker.signature.qual.
UnannotatedString
(implements java.lang.annotation.Annotation)
org.checkerframework.checker.signature.qual.
BinaryName
(implements java.lang.annotation.Annotation)
org.checkerframework.checker.signature.qual.
FieldDescriptorForArray
(implements java.lang.annotation.Annotation)
org.checkerframework.checker.signature.qual.
ClassGetName
(implements java.lang.annotation.Annotation)
org.checkerframework.checker.signature.qual.
PolySignature
(implements java.lang.annotation.Annotation)
org.checkerframework.checker.signature.qual.
SourceNameForNonArray
(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.units.qual.
Time
(implements java.lang.annotation.Annotation)
org.checkerframework.checker.units.qual.
UnitsMultiple
(implements java.lang.annotation.Annotation)
org.checkerframework.checker.units.qual.
kmPERh
(implements java.lang.annotation.Annotation)
org.checkerframework.checker.units.qual.
m2
(implements java.lang.annotation.Annotation)
org.checkerframework.checker.units.qual.
mPERs
(implements java.lang.annotation.Annotation)
org.checkerframework.checker.units.qual.
kg
(implements java.lang.annotation.Annotation)
org.checkerframework.checker.units.qual.
g
(implements java.lang.annotation.Annotation)
org.checkerframework.checker.units.qual.
C
(implements java.lang.annotation.Annotation)
org.checkerframework.checker.units.qual.
mPERs2
(implements java.lang.annotation.Annotation)
org.checkerframework.checker.units.qual.
Acceleration
(implements java.lang.annotation.Annotation)
org.checkerframework.checker.units.qual.
A
(implements java.lang.annotation.Annotation)
org.checkerframework.checker.units.qual.
Length
(implements java.lang.annotation.Annotation)
org.checkerframework.checker.units.qual.
Luminance
(implements java.lang.annotation.Annotation)
org.checkerframework.checker.units.qual.
km
(implements java.lang.annotation.Annotation)
org.checkerframework.checker.units.qual.
mm2
(implements java.lang.annotation.Annotation)
org.checkerframework.checker.units.qual.
s
(implements java.lang.annotation.Annotation)
org.checkerframework.checker.units.qual.
K
(implements java.lang.annotation.Annotation)
org.checkerframework.checker.units.qual.
cd
(implements java.lang.annotation.Annotation)
org.checkerframework.checker.units.qual.
mol
(implements java.lang.annotation.Annotation)
org.checkerframework.checker.units.qual.
Current
(implements java.lang.annotation.Annotation)
org.checkerframework.checker.units.qual.
m
(implements java.lang.annotation.Annotation)
org.checkerframework.checker.units.qual.
Speed
(implements java.lang.annotation.Annotation)
org.checkerframework.checker.units.qual.
UnitsBottom
(implements java.lang.annotation.Annotation)
org.checkerframework.checker.units.qual.
radians
(implements java.lang.annotation.Annotation)
org.checkerframework.checker.units.qual.
Area
(implements java.lang.annotation.Annotation)
org.checkerframework.checker.units.qual.
Temperature
(implements java.lang.annotation.Annotation)
org.checkerframework.checker.units.qual.
Substance
(implements java.lang.annotation.Annotation)
org.checkerframework.checker.units.qual.
UnitsRelations
(implements java.lang.annotation.Annotation)
org.checkerframework.checker.units.qual.
min
(implements java.lang.annotation.Annotation)
org.checkerframework.checker.units.qual.
Angle
(implements java.lang.annotation.Annotation)
org.checkerframework.checker.units.qual.
h
(implements java.lang.annotation.Annotation)
org.checkerframework.checker.units.qual.
mm
(implements java.lang.annotation.Annotation)
org.checkerframework.checker.units.qual.
Mass
(implements java.lang.annotation.Annotation)
org.checkerframework.checker.units.qual.
km2
(implements java.lang.annotation.Annotation)
org.checkerframework.checker.units.qual.
UnknownUnits
(implements java.lang.annotation.Annotation)
org.checkerframework.checker.units.qual.
MixedUnits
(implements java.lang.annotation.Annotation)
org.checkerframework.checker.units.qual.
degrees
(implements java.lang.annotation.Annotation)
org.checkerframework.dataflow.qual.
Deterministic
(implements java.lang.annotation.Annotation)
org.checkerframework.dataflow.qual.
Pure
(implements java.lang.annotation.Annotation)
org.checkerframework.dataflow.qual.
SideEffectFree
(implements java.lang.annotation.Annotation)
org.checkerframework.dataflow.qual.
TerminatesExecution
(implements java.lang.annotation.Annotation)
org.checkerframework.common.reflection.qual.
ClassValBottom
(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.reflection.qual.
ClassVal
(implements java.lang.annotation.Annotation)
org.checkerframework.common.reflection.qual.
MethodVal
(implements java.lang.annotation.Annotation)
org.checkerframework.common.reflection.qual.
MethodValBottom
(implements java.lang.annotation.Annotation)
org.checkerframework.common.reflection.qual.
ClassBound
(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.
ReportCreation
(implements java.lang.annotation.Annotation)
org.checkerframework.common.util.report.qual.
ReportReadWrite
(implements java.lang.annotation.Annotation)
org.checkerframework.common.util.report.qual.
ReportInherit
(implements java.lang.annotation.Annotation)
org.checkerframework.common.util.report.qual.
ReportWrite
(implements java.lang.annotation.Annotation)
org.checkerframework.common.util.report.qual.
ReportUse
(implements java.lang.annotation.Annotation)
org.checkerframework.common.value.qual.
StringVal
(implements java.lang.annotation.Annotation)
org.checkerframework.common.value.qual.
LongVal
(implements java.lang.annotation.Annotation)
org.checkerframework.common.value.qual.
BoolVal
(implements java.lang.annotation.Annotation)
org.checkerframework.common.value.qual.
UnknownVal
(implements java.lang.annotation.Annotation)
org.checkerframework.common.value.qual.
CharVal
(implements java.lang.annotation.Annotation)
org.checkerframework.common.value.qual.
ArrayLen
(implements java.lang.annotation.Annotation)
org.checkerframework.common.value.qual.
ByteVal
(implements java.lang.annotation.Annotation)
org.checkerframework.common.value.qual.
DoubleVal
(implements java.lang.annotation.Annotation)
org.checkerframework.common.value.qual.
FloatVal
(implements java.lang.annotation.Annotation)
org.checkerframework.common.value.qual.
ShortVal
(implements java.lang.annotation.Annotation)
org.checkerframework.common.value.qual.
BottomVal
(implements java.lang.annotation.Annotation)
org.checkerframework.common.value.qual.
Analyzable
(implements java.lang.annotation.Annotation)
org.checkerframework.common.value.qual.
IntVal
(implements java.lang.annotation.Annotation)
org.checkerframework.framework.qual.
DefaultQualifier
(implements java.lang.annotation.Annotation)
org.checkerframework.framework.qual.
DefaultQualifiers
(implements java.lang.annotation.Annotation)
org.checkerframework.framework.qual.
EnsuresQualifiers
(implements java.lang.annotation.Annotation)
org.checkerframework.framework.qual.
StubFiles
(implements java.lang.annotation.Annotation)
org.checkerframework.framework.qual.
DefaultQualifierInHierarchy
(implements java.lang.annotation.Annotation)
org.checkerframework.framework.qual.
TypeQualifier
(implements java.lang.annotation.Annotation)
org.checkerframework.framework.qual.
ConditionalPostconditionAnnotation
(implements java.lang.annotation.Annotation)
org.checkerframework.framework.qual.
TypeQualifiers
(implements java.lang.annotation.Annotation)
org.checkerframework.framework.qual.
FromByteCode
(implements java.lang.annotation.Annotation)
org.checkerframework.framework.qual.
PolymorphicQualifier
(implements java.lang.annotation.Annotation)
org.checkerframework.framework.qual.
Unqualified
(implements java.lang.annotation.Annotation)
org.checkerframework.framework.qual.
PostconditionAnnotation
(implements java.lang.annotation.Annotation)
org.checkerframework.framework.qual.
SubtypeOf
(implements java.lang.annotation.Annotation)
org.checkerframework.framework.qual.
PolyAll
(implements java.lang.annotation.Annotation)
org.checkerframework.framework.qual.
DefaultFor
(implements java.lang.annotation.Annotation)
org.checkerframework.framework.qual.
Dependent
(implements java.lang.annotation.Annotation)
org.checkerframework.framework.qual.
FromStubFile
(implements java.lang.annotation.Annotation)
org.checkerframework.framework.qual.
EnsuresQualifier
(implements java.lang.annotation.Annotation)
org.checkerframework.framework.qual.
EnsuresQualifiersIf
(implements java.lang.annotation.Annotation)
org.checkerframework.framework.qual.
RequiresQualifier
(implements java.lang.annotation.Annotation)
org.checkerframework.framework.qual.
PreconditionAnnotation
(implements java.lang.annotation.Annotation)
org.checkerframework.framework.qual.
EnsuresQualifierIf
(implements java.lang.annotation.Annotation)
org.checkerframework.framework.qual.
MonotonicQualifier
(implements java.lang.annotation.Annotation)
org.checkerframework.framework.qual.
RequiresQualifiers
(implements java.lang.annotation.Annotation)
org.checkerframework.framework.qual.
Unused
(implements java.lang.annotation.Annotation)
org.checkerframework.framework.qual.
ImplicitFor
(implements java.lang.annotation.Annotation)
org.checkerframework.framework.qual.
Bottom
(implements java.lang.annotation.Annotation)
org.checkerframework.framework.qual.
InvisibleQualifier
(implements java.lang.annotation.Annotation)
org.checkerframework.framework.source.
SupportedOptions
(implements java.lang.annotation.Annotation)
org.checkerframework.framework.source.
SupportedLintOptions
(implements java.lang.annotation.Annotation)
org.checkerframework.framework.source.
SuppressWarningsKeys
(implements java.lang.annotation.Annotation)
org.checkerframework.framework.test.
CheckerParameterized.Name
(implements java.lang.annotation.Annotation)
Enum Hierarchy
java.lang.Object
java.lang.Enum<E> (implements java.lang.Comparable<T>, java.io.Serializable)
org.checkerframework.checker.formatter.
FormatterTreeUtil.InvocationType
org.checkerframework.checker.formatter.qual.
ConversionCategory
org.checkerframework.checker.units.qual.
Prefix
org.checkerframework.dataflow.analysis.
Store.Kind
org.checkerframework.dataflow.analysis.
Store.FlowRule
org.checkerframework.dataflow.cfg.
CFGBuilder.ExtendedNode.ExtendedNodeType
org.checkerframework.dataflow.cfg.
UnderlyingAST.Kind
org.checkerframework.dataflow.cfg.block.
Block.BlockType
org.checkerframework.dataflow.cfg.block.
SpecialBlock.SpecialBlockType
org.checkerframework.dataflow.constantpropagation.
Constant.Type
org.checkerframework.dataflow.qual.
Pure.Kind
org.checkerframework.framework.qual.
DefaultLocation
org.checkerframework.framework.type.
GenericAnnotatedTypeFactory.ScanState
org.checkerframework.framework.util.
PluginUtil.CheckerProp
Skip navigation links
Overview
Package
Class
Tree
Deprecated
Index
Help
Prev
Next
Frames
No Frames
All Classes