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:
android.annotation
,
android.support.annotation
,
com.sun.istack.internal
,
edu.umd.cs.findbugs.annotations
,
javax.annotation
,
javax.annotation.concurrent
,
javax.annotation.meta
,
javax.validation.constraints
,
lombok
,
net.jcip.annotations
,
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.i18nformatter
,
org.checkerframework.checker.i18nformatter.qual
,
org.checkerframework.checker.i18nformatter.unittests
,
org.checkerframework.checker.index
,
org.checkerframework.checker.index.lowerbound
,
org.checkerframework.checker.index.minlen
,
org.checkerframework.checker.index.qual
,
org.checkerframework.checker.index.samelen
,
org.checkerframework.checker.index.upperbound
,
org.checkerframework.checker.initialization
,
org.checkerframework.checker.initialization.qual
,
org.checkerframework.checker.interning
,
org.checkerframework.checker.interning.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.compatqual
,
org.checkerframework.checker.nullness.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.signedness
,
org.checkerframework.checker.signedness.qual
,
org.checkerframework.checker.tainting
,
org.checkerframework.checker.tainting.qual
,
org.checkerframework.checker.units
,
org.checkerframework.checker.units.qual
,
org.checkerframework.common.aliasing
,
org.checkerframework.common.aliasing.qual
,
org.checkerframework.common.basetype
,
org.checkerframework.common.reflection
,
org.checkerframework.common.reflection.qual
,
org.checkerframework.common.subtyping
,
org.checkerframework.common.util
,
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.common.value.util
,
org.checkerframework.common.wholeprograminference
,
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.test.diagnostics
,
org.checkerframework.framework.type
,
org.checkerframework.framework.type.treeannotator
,
org.checkerframework.framework.type.typeannotator
,
org.checkerframework.framework.type.visitor
,
org.checkerframework.framework.util
,
org.checkerframework.framework.util.defaults
,
org.checkerframework.framework.util.element
,
org.checkerframework.framework.util.expressionannotations
,
org.checkerframework.framework.util.typeinference
,
org.checkerframework.framework.util.typeinference.constraint
,
org.checkerframework.framework.util.typeinference.solver
,
org.checkerframework.javacutil
,
org.checkerframework.javacutil.dist
,
org.checkerframework.javacutil.trees
,
org.checkerframework.stubparser
,
org.checkerframework.stubparser.ast
,
org.checkerframework.stubparser.ast.body
,
org.checkerframework.stubparser.ast.expr
,
org.checkerframework.stubparser.ast.stmt
,
org.checkerframework.stubparser.ast.type
,
org.checkerframework.stubparser.ast.visitor
,
org.eclipse.jdt.annotation
,
org.eclipse.jgit.annotations
,
org.jetbrains.annotations
,
org.jmlspecs.annotation
,
org.netbeans.api.annotations.common
Class Hierarchy
java.lang.
Object
org.checkerframework.framework.util.typeinference.constraint.
A2FReducer
(implements org.checkerframework.framework.util.typeinference.constraint.
AFReducer
)
org.checkerframework.framework.type.visitor.
AbstractAtmComboVisitor
<RETURN_TYPE,PARAM> (implements org.checkerframework.framework.type.visitor.
AtmComboVisitor
<RETURN_TYPE,PARAM>)
org.checkerframework.framework.type.
AsSuperVisitor
org.checkerframework.framework.type.
DefaultRawnessComparer
org.checkerframework.framework.type.
DefaultTypeHierarchy
(implements org.checkerframework.framework.type.
TypeHierarchy
)
org.checkerframework.checker.nullness.
KeyForAnnotatedTypeFactory.KeyForTypeHierarchy
org.checkerframework.framework.type.visitor.
EquivalentAtmComboScanner
<RETURN_TYPE,PARAM>
org.checkerframework.framework.type.
EqualityAtmComparer
org.checkerframework.framework.type.
StructuralEqualityComparer
java.util.
AbstractMap
<K,V> (implements java.util.
Map
<K,V>)
java.util.
HashMap
<K,V> (implements java.lang.
Cloneable
, java.util.
Map
<K,V>, java.io.
Serializable
)
java.util.
LinkedHashMap
<K,V> (implements java.util.
Map
<K,V>)
org.checkerframework.framework.util.typeinference.solver.
InferenceResult
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.common.aliasing.
AliasingTransfer
org.checkerframework.checker.formatter.
FormatterTransfer
org.checkerframework.checker.i18nformatter.
I18nFormatterTransfer
org.checkerframework.checker.index.
IndexAbstractTransfer
org.checkerframework.checker.index.lowerbound.
LowerBoundTransfer
org.checkerframework.checker.index.minlen.
MinLenTransfer
org.checkerframework.checker.index.upperbound.
UpperBoundTransfer
org.checkerframework.checker.nullness.
KeyForTransfer
org.checkerframework.checker.regex.
RegexTransfer
org.checkerframework.checker.index.samelen.
SameLenTransfer
org.checkerframework.common.value.
ValueTransfer
org.checkerframework.checker.initialization.
InitializationTransfer
<V,T,S>
org.checkerframework.checker.nullness.
NullnessTransfer
org.checkerframework.checker.lock.
LockTransfer
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.framework.util.
CFContext
, org.checkerframework.javacutil.
ErrorHandler
, org.checkerframework.framework.util.
OptionConfiguration
)
org.checkerframework.framework.source.
AggregateChecker
org.checkerframework.checker.i18n.
I18nChecker
org.checkerframework.common.basetype.
BaseTypeChecker
(implements org.checkerframework.common.basetype.
BaseTypeContext
)
org.checkerframework.common.aliasing.
AliasingChecker
org.checkerframework.common.reflection.
ClassValChecker
org.checkerframework.checker.fenum.
FenumChecker
org.checkerframework.checker.formatter.
FormatterChecker
org.checkerframework.checker.guieffect.
GuiEffectChecker
org.checkerframework.checker.i18nformatter.
I18nFormatterChecker
org.checkerframework.checker.i18n.
I18nSubchecker
org.checkerframework.checker.initialization.
InitializationChecker
org.checkerframework.checker.nullness.
AbstractNullnessChecker
org.checkerframework.checker.nullness.
NullnessChecker
org.checkerframework.checker.nullness.
NullnessRawnessChecker
org.checkerframework.checker.interning.
InterningChecker
org.checkerframework.checker.nullness.
KeyForSubchecker
org.checkerframework.checker.linear.
LinearChecker
org.checkerframework.checker.lock.
LockChecker
org.checkerframework.checker.index.lowerbound.
LowerBoundChecker
org.checkerframework.checker.index.
IndexChecker
org.checkerframework.common.reflection.
MethodValChecker
org.checkerframework.checker.index.minlen.
MinLenChecker
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.index.samelen.
SameLenChecker
org.checkerframework.checker.signature.
SignatureChecker
org.checkerframework.checker.signedness.
SignednessChecker
org.checkerframework.common.subtyping.
SubtypingChecker
org.checkerframework.checker.tainting.
TaintingChecker
org.checkerframework.common.util.debug.
TypeOutputtingChecker
org.checkerframework.checker.units.
UnitsChecker
org.checkerframework.checker.index.upperbound.
UpperBoundChecker
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.framework.util.typeinference.constraint.
AFConstraint
org.checkerframework.framework.util.typeinference.constraint.
A2F
org.checkerframework.framework.util.typeinference.constraint.
F2A
org.checkerframework.framework.util.typeinference.constraint.
FIsA
org.checkerframework.dataflow.analysis.
Analysis
<A,S,T>
org.checkerframework.framework.flow.
CFAbstractAnalysis
<V,S,T>
org.checkerframework.framework.flow.
CFAnalysis
org.checkerframework.checker.lock.
LockAnalysis
org.checkerframework.checker.nullness.
NullnessAnalysis
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.
AnnotatedTypeCopier
(implements org.checkerframework.framework.type.visitor.
AnnotatedTypeVisitor
<R,P>)
org.checkerframework.framework.type.
AnnotatedTypeReplacer.Visitor
org.checkerframework.framework.type.
TypeVariableSubstitutor.Visitor
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.aliasing.
AliasingAnnotatedTypeFactory
org.checkerframework.common.reflection.
ClassValAnnotatedTypeFactory
org.checkerframework.checker.fenum.
FenumAnnotatedTypeFactory
org.checkerframework.checker.formatter.
FormatterAnnotatedTypeFactory
org.checkerframework.checker.guieffect.
GuiEffectTypeFactory
org.checkerframework.checker.i18n.
I18nAnnotatedTypeFactory
org.checkerframework.checker.i18nformatter.
I18nFormatterAnnotatedTypeFactory
org.checkerframework.checker.interning.
InterningAnnotatedTypeFactory
org.checkerframework.checker.nullness.
KeyForAnnotatedTypeFactory
org.checkerframework.checker.linear.
LinearAnnotatedTypeFactory
org.checkerframework.checker.index.lowerbound.
LowerBoundAnnotatedTypeFactory
org.checkerframework.common.reflection.
MethodValAnnotatedTypeFactory
org.checkerframework.checker.index.minlen.
MinLenAnnotatedTypeFactory
org.checkerframework.checker.propkey.
PropertyKeyAnnotatedTypeFactory
org.checkerframework.checker.compilermsgs.
CompilerMessagesAnnotatedTypeFactory
org.checkerframework.checker.i18n.
LocalizableKeyAnnotatedTypeFactory
org.checkerframework.framework.util.
PurityAnnotatedTypeFactory
org.checkerframework.checker.regex.
RegexAnnotatedTypeFactory
org.checkerframework.checker.index.samelen.
SameLenAnnotatedTypeFactory
org.checkerframework.checker.signature.
SignatureAnnotatedTypeFactory
org.checkerframework.checker.signedness.
SignednessAnnotatedTypeFactory
org.checkerframework.common.subtyping.
SubtypingAnnotatedTypeFactory
org.checkerframework.checker.units.
UnitsAnnotatedTypeFactory
org.checkerframework.checker.index.upperbound.
UpperBoundAnnotatedTypeFactory
org.checkerframework.common.value.
ValueAnnotatedTypeFactory
org.checkerframework.checker.initialization.
InitializationAnnotatedTypeFactory
<Value,Store,Transfer,Flow>
org.checkerframework.checker.nullness.
NullnessAnnotatedTypeFactory
org.checkerframework.checker.lock.
LockAnnotatedTypeFactory
org.checkerframework.framework.type.
AnnotatedTypeMirror
org.checkerframework.framework.type.
AnnotatedTypeMirror.AnnotatedArrayType
org.checkerframework.framework.type.
AnnotatedTypeMirror.AnnotatedDeclaredType
org.checkerframework.framework.type.
AnnotatedTypeMirror.AnnotatedExecutableType
org.checkerframework.framework.type.
AnnotatedTypeMirror.AnnotatedIntersectionType
org.checkerframework.framework.type.
AnnotatedTypeMirror.AnnotatedNoType
org.checkerframework.framework.type.
AnnotatedTypeMirror.AnnotatedNullType
org.checkerframework.framework.type.
AnnotatedTypeMirror.AnnotatedPrimitiveType
org.checkerframework.framework.type.
AnnotatedTypeMirror.AnnotatedTypeVariable
org.checkerframework.framework.type.
AnnotatedTypeMirror.AnnotatedUnionType
org.checkerframework.framework.type.
AnnotatedTypeMirror.AnnotatedWildcardType
org.checkerframework.framework.type.
AnnotatedTypeParameterBounds
org.checkerframework.framework.type.
AnnotatedTypeReplacer
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
(implements org.checkerframework.common.basetype.
TypeValidator
)
org.checkerframework.common.util.report.
ReportVisitor.ReportTypeValidator
org.checkerframework.framework.type.
HashcodeAtmVisitor
org.checkerframework.framework.type.visitor.
SimpleAnnotatedTypeScanner
<R,P>
org.checkerframework.framework.type.typeannotator.
TypeAnnotator
org.checkerframework.framework.type.typeannotator.
ImplicitsTypeAnnotator
org.checkerframework.checker.initialization.
InitializationAnnotatedTypeFactory.CommitmentTypeAnnotator
org.checkerframework.checker.nullness.
NullnessAnnotatedTypeFactory.NullnessTypeAnnotator
org.checkerframework.framework.type.typeannotator.
IrrelevantTypeAnnotator
org.checkerframework.framework.type.typeannotator.
ListTypeAnnotator
org.checkerframework.framework.type.typeannotator.
PropagationTypeAnnotator
org.checkerframework.framework.util.
AnnotationBuilder
org.checkerframework.framework.type.
AnnotationClassLoader
org.checkerframework.checker.units.
UnitsAnnotationClassLoader
org.checkerframework.common.wholeprograminference.
AnnotationConverter
org.checkerframework.framework.util.
AnnotationMirrorMap
<V> (implements java.util.
Map
<K,V>)
org.checkerframework.framework.util.
AnnotationMirrorSet
(implements java.util.
Set
<E>)
org.checkerframework.javacutil.
AnnotationUtils
org.checkerframework.dataflow.cfg.node.
AssignmentContext
org.checkerframework.dataflow.cfg.node.
AssignmentContext.AssignmentLhsContext
org.checkerframework.dataflow.cfg.node.
AssignmentContext.LambdaReturnContext
org.checkerframework.dataflow.cfg.node.
AssignmentContext.MethodParameterContext
org.checkerframework.dataflow.cfg.node.
AssignmentContext.MethodReturnContext
org.checkerframework.stubparser.
ASTHelper
org.checkerframework.stubparser.
ASTParserTokenManager
(implements org.checkerframework.stubparser.
ASTParserConstants
)
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.type.
BoundsInitializer
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.checker.lock.
LockStore
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.framework.flow.
CFAbstractValue.AnnotationSetAndTypeMirrorVisitor
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.framework.test.
CheckerFrameworkPerDirectoryTest
org.checkerframework.framework.test.
CheckerFrameworkPerFileTest
org.checkerframework.framework.util.
CheckerMain
org.checkerframework.framework.util.
CheckerDevelMain
org.checkerframework.framework.util.element.
ClassTypeParamApplier
org.checkerframework.checker.nullness.
CollectionToArrayHeuristics
org.checkerframework.javacutil.
CollectionUtils
org.checkerframework.framework.util.
ComboLog
org.checkerframework.framework.test.
CompilationResult
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.typeinference.solver.
ConstraintMap
org.checkerframework.framework.util.typeinference.solver.
ConstraintMapBuilder
org.checkerframework.framework.util.
ContractsUtils
org.checkerframework.framework.util.
ContractsUtils.Contract
org.checkerframework.framework.util.
ContractsUtils.ConditionalPostcondition
org.checkerframework.framework.util.
ContractsUtils.Postcondition
org.checkerframework.framework.util.
ContractsUtils.Precondition
org.checkerframework.dataflow.cfg.
ControlFlowGraph
org.checkerframework.framework.type.
DeclarationsIntoElements
org.checkerframework.framework.type.
DefaultAnnotatedTypeFormatter
(implements org.checkerframework.framework.type.
AnnotatedTypeFormatter
)
org.checkerframework.checker.nullness.
NullnessAnnotatedTypeFormatter
org.checkerframework.checker.units.
UnitsAnnotatedTypeFormatter
org.checkerframework.framework.type.
DefaultAnnotatedTypeFormatter.FormattingVisitor
(implements org.checkerframework.framework.type.visitor.
AnnotatedTypeVisitor
<R,P>)
org.checkerframework.checker.nullness.
NullnessAnnotatedTypeFormatter.NullnessFormattingVisitor
org.checkerframework.checker.units.
UnitsAnnotatedTypeFormatter.UnitsFormattingVisitor
org.checkerframework.framework.util.
DefaultAnnotationFormatter
(implements org.checkerframework.framework.util.
AnnotationFormatter
)
org.checkerframework.checker.units.
UnitsAnnotatedTypeFormatter.UnitsAnnotationFormatter
org.checkerframework.framework.type.
DefaultInferredTypesApplier
org.checkerframework.common.reflection.
DefaultReflectionResolver
(implements org.checkerframework.common.reflection.
ReflectionResolver
)
org.checkerframework.framework.util.typeinference.
DefaultTypeArgumentInference
(implements org.checkerframework.framework.util.typeinference.
TypeArgumentInference
)
org.checkerframework.framework.util.
DependentTypes
org.checkerframework.dataflow.cfg.
DOTCFGVisualizer
<A,S,T> (implements org.checkerframework.dataflow.cfg.
CFGVisualizer
<A,S,T>)
org.checkerframework.stubparser.ast.visitor.
DumpVisitor
(implements org.checkerframework.stubparser.ast.visitor.
VoidVisitor
<A>)
org.checkerframework.checker.guieffect.
Effect
org.checkerframework.checker.guieffect.
Effect.EffectRange
org.checkerframework.framework.type.
ElementAnnotationApplier
org.checkerframework.framework.util.element.
ElementAnnotationUtil
org.checkerframework.javacutil.
ElementUtils
org.checkerframework.framework.util.typeinference.solver.
EqualitiesSolver
org.checkerframework.stubparser.ast.visitor.
EqualsVisitor
(implements org.checkerframework.stubparser.ast.visitor.
GenericVisitor
<R,A>)
org.checkerframework.framework.type.visitor.
EquivalentAtmComboScanner.Visited
org.checkerframework.javacutil.
ErrorReporter
org.checkerframework.framework.util.
ExecUtil
org.checkerframework.framework.util.
ExecUtil.Redirection
org.checkerframework.framework.util.expressionannotations.
ExpressionAnnotationError
org.checkerframework.framework.util.expressionannotations.
ExpressionAnnotationHelper
org.checkerframework.framework.util.typeinference.constraint.
F2AReducer
(implements org.checkerframework.framework.util.typeinference.constraint.
AFReducer
)
org.checkerframework.framework.util.typeinference.constraint.
FIsAReducer
(implements org.checkerframework.framework.util.typeinference.constraint.
AFReducer
)
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.ArrayCreation
org.checkerframework.dataflow.analysis.
FlowExpressions.ClassName
org.checkerframework.dataflow.analysis.
FlowExpressions.FieldAccess
org.checkerframework.dataflow.analysis.
FlowExpressions.LocalVariable
org.checkerframework.dataflow.analysis.
FlowExpressions.MethodCall
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.stubparser.ast.visitor.
GenericVisitorAdapter
<R,A> (implements org.checkerframework.stubparser.ast.visitor.
GenericVisitor
<R,A>)
org.checkerframework.framework.util.typeinference.
GlbUtil
org.checkerframework.dataflow.util.
HashCodeUtils
org.checkerframework.framework.util.
Heuristics
org.checkerframework.framework.util.
Heuristics.Matchers
org.checkerframework.checker.i18nformatter.unittests.
I18nConversionCategoryTest
org.checkerframework.checker.i18nformatter.
I18nFormatterTreeUtil
org.checkerframework.checker.i18nformatter.
I18nFormatterTreeUtil.I18nFormatCall
org.checkerframework.checker.i18nformatter.
I18nFormatUtil
org.checkerframework.checker.i18nformatter.unittests.
I18nHasFormatTest
org.checkerframework.framework.test.
ImmutableTestConfiguration
(implements org.checkerframework.framework.test.
TestConfiguration
)
org.checkerframework.checker.index.
IndexMethodIdentifier
org.checkerframework.checker.index.
IndexRefinementInfo
org.checkerframework.framework.util.typeinference.solver.
InferredValue
org.checkerframework.framework.util.typeinference.solver.
InferredValue.InferredTarget
org.checkerframework.framework.util.typeinference.solver.
InferredValue.InferredType
org.checkerframework.javacutil.
InternalUtils
org.checkerframework.stubparser.
JavaCharStream
org.checkerframework.framework.test.diagnostics.
JavaDiagnosticReader
(implements java.util.
Iterator
<E>)
org.checkerframework.stubparser.
JavaParser
org.checkerframework.dataflow.cfg.
JavaSource2CFGDOT
org.checkerframework.checker.nullness.
KeyForPropagator
org.checkerframework.javacutil.dist.
ManualTaglet
(implements com.sun.tools.doclets.Taglet)
org.checkerframework.framework.util.element.
MethodApplier
org.checkerframework.framework.util.element.
MethodTypeParamApplier
org.checkerframework.stubparser.ast.body.
ModifierSet
org.checkerframework.stubparser.ast.visitor.
ModifierVisitorAdapter
<A> (implements org.checkerframework.stubparser.ast.visitor.
GenericVisitor
<R,A>)
org.checkerframework.dataflow.util.
MostlySingleton
<T> (implements java.util.
Set
<E>)
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.
BinaryOperationNode
org.checkerframework.dataflow.cfg.node.
BitwiseAndNode
org.checkerframework.dataflow.cfg.node.
BitwiseOrNode
org.checkerframework.dataflow.cfg.node.
BitwiseXorNode
org.checkerframework.dataflow.cfg.node.
ConditionalAndNode
org.checkerframework.dataflow.cfg.node.
ConditionalOrNode
org.checkerframework.dataflow.cfg.node.
EqualToNode
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.
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.
NotEqualNode
org.checkerframework.dataflow.cfg.node.
NumericalAdditionNode
org.checkerframework.dataflow.cfg.node.
NumericalMultiplicationNode
org.checkerframework.dataflow.cfg.node.
NumericalSubtractionNode
org.checkerframework.dataflow.cfg.node.
SignedRightShiftNode
org.checkerframework.dataflow.cfg.node.
StringConcatenateNode
org.checkerframework.dataflow.cfg.node.
UnsignedRightShiftNode
org.checkerframework.dataflow.cfg.node.
CaseNode
org.checkerframework.dataflow.cfg.node.
ClassNameNode
org.checkerframework.dataflow.cfg.node.
FieldAccessNode
org.checkerframework.dataflow.cfg.node.
FunctionalInterfaceNode
org.checkerframework.dataflow.cfg.node.
InstanceOfNode
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.
NullChkNode
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.
StringConcatenateAssignmentNode
org.checkerframework.dataflow.cfg.node.
StringConversionNode
org.checkerframework.dataflow.cfg.node.
SuperNode
org.checkerframework.dataflow.cfg.node.
SynchronizedNode
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.
UnaryOperationNode
org.checkerframework.dataflow.cfg.node.
BitwiseComplementNode
org.checkerframework.dataflow.cfg.node.
ConditionalNotNode
org.checkerframework.dataflow.cfg.node.
NumericalMinusNode
org.checkerframework.dataflow.cfg.node.
NumericalPlusNode
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.stubparser.ast.
Node
org.checkerframework.stubparser.ast.body.
BodyDeclaration
org.checkerframework.stubparser.ast.body.
AnnotationMemberDeclaration
org.checkerframework.stubparser.ast.body.
ConstructorDeclaration
org.checkerframework.stubparser.ast.body.
EmptyMemberDeclaration
org.checkerframework.stubparser.ast.body.
EnumConstantDeclaration
org.checkerframework.stubparser.ast.body.
FieldDeclaration
org.checkerframework.stubparser.ast.body.
InitializerDeclaration
org.checkerframework.stubparser.ast.body.
MethodDeclaration
org.checkerframework.stubparser.ast.body.
TypeDeclaration
org.checkerframework.stubparser.ast.body.
AnnotationDeclaration
org.checkerframework.stubparser.ast.body.
ClassOrInterfaceDeclaration
org.checkerframework.stubparser.ast.body.
EmptyTypeDeclaration
org.checkerframework.stubparser.ast.body.
EnumDeclaration
org.checkerframework.stubparser.ast.stmt.
CatchClause
org.checkerframework.stubparser.ast.
Comment
org.checkerframework.stubparser.ast.
BlockComment
org.checkerframework.stubparser.ast.body.
JavadocComment
org.checkerframework.stubparser.ast.
LineComment
org.checkerframework.stubparser.ast.
CompilationUnit
org.checkerframework.stubparser.ast.expr.
Expression
org.checkerframework.stubparser.ast.expr.
AnnotationExpr
org.checkerframework.stubparser.ast.expr.
MarkerAnnotationExpr
org.checkerframework.stubparser.ast.expr.
NormalAnnotationExpr
org.checkerframework.stubparser.ast.expr.
SingleMemberAnnotationExpr
org.checkerframework.stubparser.ast.expr.
ArrayAccessExpr
org.checkerframework.stubparser.ast.expr.
ArrayCreationExpr
org.checkerframework.stubparser.ast.expr.
ArrayInitializerExpr
org.checkerframework.stubparser.ast.expr.
AssignExpr
org.checkerframework.stubparser.ast.expr.
BinaryExpr
org.checkerframework.stubparser.ast.expr.
CastExpr
org.checkerframework.stubparser.ast.expr.
ClassExpr
org.checkerframework.stubparser.ast.expr.
ConditionalExpr
org.checkerframework.stubparser.ast.expr.
EnclosedExpr
org.checkerframework.stubparser.ast.expr.
FieldAccessExpr
org.checkerframework.stubparser.ast.expr.
InstanceOfExpr
org.checkerframework.stubparser.ast.expr.
LiteralExpr
org.checkerframework.stubparser.ast.expr.
BooleanLiteralExpr
org.checkerframework.stubparser.ast.expr.
NullLiteralExpr
org.checkerframework.stubparser.ast.expr.
StringLiteralExpr
org.checkerframework.stubparser.ast.expr.
CharLiteralExpr
org.checkerframework.stubparser.ast.expr.
DoubleLiteralExpr
org.checkerframework.stubparser.ast.expr.
IntegerLiteralExpr
org.checkerframework.stubparser.ast.expr.
IntegerLiteralMinValueExpr
org.checkerframework.stubparser.ast.expr.
LongLiteralExpr
org.checkerframework.stubparser.ast.expr.
LongLiteralMinValueExpr
org.checkerframework.stubparser.ast.expr.
MethodCallExpr
org.checkerframework.stubparser.ast.expr.
NameExpr
org.checkerframework.stubparser.ast.expr.
QualifiedNameExpr
org.checkerframework.stubparser.ast.expr.
ObjectCreationExpr
org.checkerframework.stubparser.ast.expr.
SuperExpr
org.checkerframework.stubparser.ast.expr.
ThisExpr
org.checkerframework.stubparser.ast.expr.
UnaryExpr
org.checkerframework.stubparser.ast.expr.
VariableDeclarationExpr
org.checkerframework.stubparser.ast.
ImportDeclaration
org.checkerframework.stubparser.ast.
IndexUnit
org.checkerframework.stubparser.ast.expr.
MemberValuePair
org.checkerframework.stubparser.ast.
PackageDeclaration
org.checkerframework.stubparser.ast.body.
Parameter
org.checkerframework.stubparser.ast.stmt.
Statement
org.checkerframework.stubparser.ast.stmt.
AssertStmt
org.checkerframework.stubparser.ast.stmt.
BlockStmt
org.checkerframework.stubparser.ast.stmt.
BreakStmt
org.checkerframework.stubparser.ast.stmt.
ContinueStmt
org.checkerframework.stubparser.ast.stmt.
DoStmt
org.checkerframework.stubparser.ast.stmt.
EmptyStmt
org.checkerframework.stubparser.ast.stmt.
ExplicitConstructorInvocationStmt
org.checkerframework.stubparser.ast.stmt.
ExpressionStmt
org.checkerframework.stubparser.ast.stmt.
ForeachStmt
org.checkerframework.stubparser.ast.stmt.
ForStmt
org.checkerframework.stubparser.ast.stmt.
IfStmt
org.checkerframework.stubparser.ast.stmt.
LabeledStmt
org.checkerframework.stubparser.ast.stmt.
ReturnStmt
org.checkerframework.stubparser.ast.stmt.
SwitchEntryStmt
org.checkerframework.stubparser.ast.stmt.
SwitchStmt
org.checkerframework.stubparser.ast.stmt.
SynchronizedStmt
org.checkerframework.stubparser.ast.stmt.
ThrowStmt
org.checkerframework.stubparser.ast.stmt.
TryStmt
org.checkerframework.stubparser.ast.stmt.
TypeDeclarationStmt
org.checkerframework.stubparser.ast.stmt.
WhileStmt
org.checkerframework.stubparser.ast.type.
Type
org.checkerframework.stubparser.ast.type.
ClassOrInterfaceType
org.checkerframework.stubparser.ast.type.
PrimitiveType
org.checkerframework.stubparser.ast.type.
ReferenceType
org.checkerframework.stubparser.ast.type.
VoidType
org.checkerframework.stubparser.ast.type.
WildcardType
org.checkerframework.stubparser.ast.
TypeParameter
org.checkerframework.stubparser.ast.body.
VariableDeclarator
org.checkerframework.stubparser.ast.body.
VariableDeclaratorId
org.checkerframework.dataflow.util.
NodeUtils
org.checkerframework.checker.nullness.
NullnessUtil
org.checkerframework.common.value.util.
NumberMath
<T>
org.checkerframework.common.value.util.
ByteMath
org.checkerframework.common.value.util.
DoubleMath
org.checkerframework.common.value.util.
FloatMath
org.checkerframework.common.value.util.
IntegerMath
org.checkerframework.common.value.util.
LongMath
org.checkerframework.common.value.util.
ShortMath
org.checkerframework.common.value.util.
NumberUtils
org.checkerframework.common.value.
Operators
org.checkerframework.javacutil.
Pair
<V1,V2>
org.checkerframework.framework.util.element.
ParamApplier
org.checkerframework.framework.util.
PluginUtil
org.checkerframework.dataflow.util.
PurityChecker
org.checkerframework.dataflow.util.
PurityChecker.PurityResult
org.checkerframework.dataflow.util.
PurityUtils
org.checkerframework.framework.util.defaults.
QualifierDefaults
org.checkerframework.framework.util.defaults.
QualifierDefaults.DefaultApplierElement
org.checkerframework.framework.type.
QualifierHierarchy
org.checkerframework.framework.util.
MultiGraphQualifierHierarchy
org.checkerframework.common.aliasing.
AliasingAnnotatedTypeFactory.AliasingQualifierHierarchy
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.checker.index.upperbound.
UpperBoundAnnotatedTypeFactory.UpperBoundQualifierHierarchy
org.checkerframework.framework.util.
QualifierPolymorphism
org.checkerframework.common.value.
ReflectiveEvalutator
org.checkerframework.checker.regex.
RegexUtil
org.checkerframework.javacutil.
Resolver
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.
PerDirectorySuite
org.checkerframework.framework.test.
PerFileSuite
org.checkerframework.checker.index.samelen.
SameLenUtils
org.checkerframework.checker.signedness.
SignednessUtil
org.checkerframework.framework.type.visitor.
SimpleAnnotatedTypeVisitor
<R,P> (implements org.checkerframework.framework.type.visitor.
AnnotatedTypeVisitor
<R,P>)
org.checkerframework.framework.test.
SimpleOptionMap
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.dataflow.util.
PurityChecker.PurityCheckerHelper
org.checkerframework.framework.type.treeannotator.
TreeAnnotator
org.checkerframework.common.aliasing.
AliasingAnnotatedTypeFactory.AliasingTreeAnnotator
org.checkerframework.common.reflection.
ClassValAnnotatedTypeFactory.ClassValTreeAnnotator
org.checkerframework.framework.util.expressionannotations.
ExpressionAnnotationTreeAnnotator
org.checkerframework.framework.type.treeannotator.
ImplicitsTreeAnnotator
org.checkerframework.checker.initialization.
InitializationAnnotatedTypeFactory.CommitmentTreeAnnotator
org.checkerframework.checker.nullness.
KeyForPropagationTreeAnnotator
org.checkerframework.framework.type.treeannotator.
ListTreeAnnotator
org.checkerframework.framework.type.treeannotator.
DebugListTreeAnnotator
org.checkerframework.checker.lock.
LockTreeAnnotator
org.checkerframework.common.reflection.
MethodValAnnotatedTypeFactory.MethodValTreeAnnotator
org.checkerframework.checker.index.minlen.
MinLenAnnotatedTypeFactory.MinLenTreeAnnotator
org.checkerframework.checker.nullness.
NullnessAnnotatedTypeFactory.NullnessTreeAnnotator
org.checkerframework.framework.type.treeannotator.
PropagationTreeAnnotator
org.checkerframework.checker.nullness.
NullnessAnnotatedTypeFactory.NullnessPropagationAnnotator
org.checkerframework.checker.propkey.
PropertyKeyAnnotatedTypeFactory.KeyLookupTreeAnnotator
org.checkerframework.checker.index.upperbound.
UpperBoundAnnotatedTypeFactory.UpperBoundTreeAnnotator
org.checkerframework.common.value.
ValueAnnotatedTypeFactory.ValueTreeAnnotator
org.checkerframework.stubparser.ast.visitor.
SimpleVoidVisitor
<A> (implements org.checkerframework.stubparser.ast.visitor.
VoidVisitor
<A>)
org.checkerframework.framework.util.typeinference.solver.
SubtypesSolver
org.checkerframework.framework.util.element.
SuperTypeApplier
org.checkerframework.framework.util.typeinference.solver.
SupertypesSolver
org.checkerframework.framework.type.
SyntheticArrays
org.checkerframework.checker.nullness.
SystemGetPropertyHandler
org.checkerframework.framework.util.typeinference.solver.
TargetConstraints
org.checkerframework.framework.util.typeinference.solver.
TargetConstraints.Equalities
org.checkerframework.framework.util.typeinference.solver.
TargetConstraints.Subtypes
org.checkerframework.framework.util.typeinference.solver.
TargetConstraints.Supertypes
org.checkerframework.framework.test.
TestConfigurationBuilder
org.checkerframework.framework.test.diagnostics.
TestDiagnostic
org.checkerframework.framework.test.diagnostics.
TestDiagnosticLine
org.checkerframework.framework.test.diagnostics.
TestDiagnosticUtils
org.checkerframework.framework.test.
TestUtilities
java.lang.
Throwable
(implements java.io.
Serializable
)
java.lang.
Error
org.checkerframework.stubparser.
TokenMgrError
java.lang.
Exception
org.checkerframework.framework.util.
FlowExpressionParseUtil.FlowExpressionParseException
org.checkerframework.stubparser.
ParseException
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.stubparser.
Token
(implements java.io.
Serializable
)
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>)
org.checkerframework.framework.util.
TreePathCacher
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.common.aliasing.
AliasingVisitor
org.checkerframework.common.reflection.
ClassValVisitor
org.checkerframework.checker.fenum.
FenumVisitor
org.checkerframework.checker.formatter.
FormatterVisitor
org.checkerframework.checker.guieffect.
GuiEffectVisitor
org.checkerframework.checker.i18nformatter.
I18nFormatterVisitor
org.checkerframework.checker.initialization.
InitializationVisitor
<Factory,Value,Store>
org.checkerframework.checker.nullness.
NullnessVisitor
org.checkerframework.checker.interning.
InterningVisitor
org.checkerframework.checker.linear.
LinearVisitor
org.checkerframework.checker.lock.
LockVisitor
org.checkerframework.checker.index.lowerbound.
LowerBoundVisitor
org.checkerframework.common.reflection.
MethodValVisitor
org.checkerframework.checker.regex.
RegexVisitor
org.checkerframework.common.util.report.
ReportVisitor
org.checkerframework.checker.index.samelen.
SameLenVisitor
org.checkerframework.checker.signedness.
SignednessVisitor
org.checkerframework.common.util.debug.
TypeOutputtingChecker.Visitor
org.checkerframework.checker.units.
UnitsVisitor
org.checkerframework.checker.index.upperbound.
UpperBoundVisitor
org.checkerframework.common.value.
ValueVisitor
org.checkerframework.common.util.debug.
TreeDebug.Visitor
org.checkerframework.javacutil.
TreeUtils
org.checkerframework.framework.util.typeinference.constraint.
TUConstraint
org.checkerframework.framework.util.typeinference.constraint.
TIsU
org.checkerframework.framework.util.typeinference.constraint.
TSubU
org.checkerframework.framework.util.typeinference.constraint.
TSuperU
org.checkerframework.javacutil.
TypeAnnotationUtils
org.checkerframework.framework.util.typeinference.
TypeArgInferenceUtil
org.checkerframework.framework.util.
TypeArgumentMapper
org.checkerframework.framework.test.
TypecheckExecutor
org.checkerframework.framework.test.
TypecheckResult
org.checkerframework.framework.util.element.
TypeDeclarationApplier
org.checkerframework.framework.type.
TypesIntoElements
org.checkerframework.javacutil.
TypesUtils
org.checkerframework.framework.type.
TypeVariableSubstitutor
org.checkerframework.framework.util.element.
TypeVarUseApplier
org.checkerframework.common.util.
TypeVisualizer
org.checkerframework.dataflow.cfg.
UnderlyingAST
org.checkerframework.dataflow.cfg.
UnderlyingAST.CFGLambda
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.
UnitsRelationsTools
org.checkerframework.checker.units.
UnitsTools
org.checkerframework.common.value.
ValueCheckerUtils
org.checkerframework.framework.util.element.
VariableApplier
org.checkerframework.framework.type.visitor.
VisitHistory
org.checkerframework.framework.type.
VisitorState
org.checkerframework.stubparser.ast.visitor.
VoidVisitorAdapter
<A> (implements org.checkerframework.stubparser.ast.visitor.
VoidVisitor
<A>)
org.checkerframework.common.wholeprograminference.
WholeProgramInferenceScenes
(implements org.checkerframework.common.wholeprograminference.
WholeProgramInference
)
org.checkerframework.common.wholeprograminference.
WholeProgramInferenceScenesHelper
Interface Hierarchy
org.checkerframework.dataflow.analysis.
AbstractValue
<V>
org.checkerframework.framework.util.typeinference.constraint.
AFReducer
org.checkerframework.framework.type.
AnnotatedTypeFormatter
org.checkerframework.framework.type.visitor.
AnnotatedTypeVisitor
<R,P>
org.checkerframework.framework.util.
AnnotationFormatter
org.checkerframework.javacutil.
AnnotationProvider
org.checkerframework.stubparser.
ASTParserConstants
org.checkerframework.framework.type.visitor.
AtmComboVisitor
<RETURN_TYPE,PARAM>
org.checkerframework.framework.util.
BaseContext
org.checkerframework.common.basetype.
BaseTypeContext
org.checkerframework.framework.util.
CFContext
org.checkerframework.common.basetype.
BaseTypeContext
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.dataflow.cfg.
CFGVisualizer
<A,S,T>
org.checkerframework.javacutil.
ErrorHandler
org.checkerframework.checker.formatter.
FormatterTreeUtil.Result
<E>
org.checkerframework.stubparser.ast.visitor.
GenericVisitor
<R,A>
org.checkerframework.framework.test.diagnostics.
JavaDiagnosticReader.DiagnosticCodec
org.checkerframework.dataflow.cfg.node.
NodeVisitor
<R,P>
org.checkerframework.dataflow.analysis.
TransferFunction
<A,S>
org.checkerframework.framework.util.
OptionConfiguration
org.checkerframework.common.reflection.
ReflectionResolver
org.checkerframework.dataflow.analysis.
Store
<S>
org.checkerframework.framework.test.
TestConfiguration
org.checkerframework.framework.util.typeinference.
TypeArgumentInference
org.checkerframework.framework.type.
TypeHierarchy
org.checkerframework.common.basetype.
TypeValidator
org.checkerframework.checker.units.
UnitsRelations
org.checkerframework.stubparser.ast.visitor.
VoidVisitor
<A>
org.checkerframework.common.wholeprograminference.
WholeProgramInference
Annotation Type Hierarchy
android.annotation.
NonNull
(implements java.lang.annotation.
Annotation
)
android.annotation.
Nullable
(implements java.lang.annotation.
Annotation
)
android.support.annotation.
NonNull
(implements java.lang.annotation.
Annotation
)
android.support.annotation.
Nullable
(implements java.lang.annotation.
Annotation
)
com.sun.istack.internal.
Interned
(implements java.lang.annotation.
Annotation
)
com.sun.istack.internal.
NotNull
(implements java.lang.annotation.
Annotation
)
com.sun.istack.internal.
Nullable
(implements java.lang.annotation.
Annotation
)
edu.umd.cs.findbugs.annotations.
CheckForNull
(implements java.lang.annotation.
Annotation
)
edu.umd.cs.findbugs.annotations.
NonNull
(implements java.lang.annotation.
Annotation
)
edu.umd.cs.findbugs.annotations.
Nullable
(implements java.lang.annotation.
Annotation
)
edu.umd.cs.findbugs.annotations.
UnknownNullness
(implements java.lang.annotation.
Annotation
)
javax.annotation.
CheckForNull
(implements java.lang.annotation.
Annotation
)
javax.annotation.
Nonnull
(implements java.lang.annotation.
Annotation
)
javax.annotation.
Nullable
(implements java.lang.annotation.
Annotation
)
javax.annotation.concurrent.
GuardedBy
(implements java.lang.annotation.
Annotation
)
javax.validation.constraints.
NotNull
(implements java.lang.annotation.
Annotation
)
lombok.
NonNull
(implements java.lang.annotation.
Annotation
)
net.jcip.annotations.
GuardedBy
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.compilermsgs.qual.
CompilerMessageKey
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.compilermsgs.qual.
CompilerMessageKeyBottom
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.compilermsgs.qual.
UnknownCompilerMessageKey
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.fenum.qual.
AwtAlphaCompositingRule
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.fenum.qual.
AwtColorSpace
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.fenum.qual.
AwtCursorType
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.fenum.qual.
AwtFlowLayout
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.fenum.qual.
Fenum
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.fenum.qual.
FenumBottom
(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.
PolyFenum
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.fenum.qual.
SwingBoxOrientation
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.fenum.qual.
SwingCompassDirection
(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.
SwingSplitPaneOrientation
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.fenum.qual.
SwingTextOrientation
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.fenum.qual.
SwingTitleJustification
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.fenum.qual.
SwingTitlePosition
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.fenum.qual.
SwingVerticalOrientation
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.formatter.qual.
Format
(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.
InvalidFormat
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.formatter.qual.
ReturnsFormat
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.formatter.qual.
UnknownFormat
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.guieffect.qual.
AlwaysSafe
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.guieffect.qual.
PolyUI
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.guieffect.qual.
PolyUIEffect
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.guieffect.qual.
PolyUIType
(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.
UI
(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.
UIType
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.i18n.qual.
LocalizableKey
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.i18n.qual.
LocalizableKeyBottom
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.i18n.qual.
Localized
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.i18n.qual.
UnknownLocalizableKey
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.i18n.qual.
UnknownLocalized
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.i18nformatter.qual.
I18nChecksFormat
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.i18nformatter.qual.
I18nFormat
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.i18nformatter.qual.
I18nFormatBottom
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.i18nformatter.qual.
I18nFormatFor
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.i18nformatter.qual.
I18nInvalidFormat
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.i18nformatter.qual.
I18nMakeFormat
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.i18nformatter.qual.
I18nUnknownFormat
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.i18nformatter.qual.
I18nValidFormat
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.index.qual.
GTENegativeOne
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.index.qual.
IndexFor
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.index.qual.
IndexOrHigh
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.index.qual.
LTEqLengthOf
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.index.qual.
LTLengthOf
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.index.qual.
LTOMLengthOf
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.index.qual.
LowerBoundUnknown
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.index.qual.
MinLen
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.index.qual.
MinLenBottom
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.index.qual.
NonNegative
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.index.qual.
Positive
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.index.qual.
SameLen
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.index.qual.
SameLenBottom
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.index.qual.
SameLenUnknown
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.index.qual.
UpperBoundBottom
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.index.qual.
UpperBoundUnknown
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.initialization.qual.
FBCBottom
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.initialization.qual.
Initialized
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.initialization.qual.
NotOnlyInitialized
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.initialization.qual.
UnderInitialization
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.initialization.qual.
UnknownInitialization
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.interning.qual.
Interned
(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.linear.qual.
Linear
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.linear.qual.
Normal
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.linear.qual.
Unusable
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.lock.qual.
EnsuresLockHeld
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.lock.qual.
EnsuresLockHeldIf
(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.
GuardedByBottom
(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.
LockHeld
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.lock.qual.
LockPossiblyHeld
(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.
ReleasesNoLocks
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.nullness.compatqual.
KeyForDecl
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.nullness.compatqual.
KeyForType
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.nullness.compatqual.
MonotonicNonNullDecl
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.nullness.compatqual.
MonotonicNonNullType
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.nullness.compatqual.
NonNullDecl
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.nullness.compatqual.
NonNullType
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.nullness.compatqual.
NullableDecl
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.nullness.compatqual.
NullableType
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.nullness.compatqual.
PolyNullDecl
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.nullness.compatqual.
PolyNullType
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.nullness.qual.
AssertNonNullIfNonNull
(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.
EnsuresNonNullIf
(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.
LazyNonNull
(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.
NonRaw
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.nullness.qual.
Nullable
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.nullness.qual.
PolyKeyFor
(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.
Raw
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.nullness.qual.
RequiresNonNull
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.nullness.qual.
UnknownKeyFor
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.propkey.qual.
PropertyKey
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.propkey.qual.
PropertyKeyBottom
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.propkey.qual.
UnknownPropertyKey
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.regex.qual.
PartialRegex
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.regex.qual.
PolyRegex
(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.
UnknownRegex
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.signature.qual.
BinaryName
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.signature.qual.
BinaryNameForNonArray
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.signature.qual.
BinaryNameForNonArrayInUnnamedPackage
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.signature.qual.
BinaryNameInUnnamedPackage
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.signature.qual.
ClassGetName
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.signature.qual.
ClassGetSimpleName
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.signature.qual.
FieldDescriptor
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.signature.qual.
FieldDescriptorForArray
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.signature.qual.
FullyQualifiedName
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.signature.qual.
Identifier
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.signature.qual.
IdentifierOrArray
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.signature.qual.
InternalForm
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.signature.qual.
MethodDescriptor
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.signature.qual.
PolySignature
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.signature.qual.
SignatureBottom
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.signature.qual.
SignatureUnknown
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.signature.qual.
SourceNameForNonArrayNonInner
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.signature.qual.
SourceNameForNonInner
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.signedness.qual.
Constant
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.signedness.qual.
PolySignedness
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.signedness.qual.
Signed
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.signedness.qual.
SignednessBottom
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.signedness.qual.
UnknownSignedness
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.signedness.qual.
Unsigned
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.tainting.qual.
PolyTainted
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.tainting.qual.
Tainted
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.tainting.qual.
Untainted
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.units.qual.
A
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.units.qual.
Acceleration
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.units.qual.
Angle
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.units.qual.
Area
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.units.qual.
C
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.units.qual.
Current
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.units.qual.
K
(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.
Mass
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.units.qual.
MixedUnits
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.units.qual.
PolyUnit
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.units.qual.
Speed
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.units.qual.
Substance
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.units.qual.
Temperature
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.units.qual.
Time
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.units.qual.
UnitsBottom
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.units.qual.
UnitsMultiple
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.units.qual.
UnitsRelations
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.units.qual.
UnknownUnits
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.units.qual.
cd
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.units.qual.
degrees
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.units.qual.
g
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.units.qual.
h
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.units.qual.
kg
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.units.qual.
km
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.units.qual.
km2
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.units.qual.
kmPERh
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.units.qual.
m
(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.
mPERs2
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.units.qual.
min
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.units.qual.
mm
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.units.qual.
mm2
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.units.qual.
mol
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.units.qual.
radians
(implements java.lang.annotation.
Annotation
)
org.checkerframework.checker.units.qual.
s
(implements java.lang.annotation.
Annotation
)
org.eclipse.jdt.annotation.
NonNull
(implements java.lang.annotation.
Annotation
)
org.eclipse.jdt.annotation.
Nullable
(implements java.lang.annotation.
Annotation
)
org.eclipse.jgit.annotations.
NonNull
(implements java.lang.annotation.
Annotation
)
org.eclipse.jgit.annotations.
Nullable
(implements java.lang.annotation.
Annotation
)
org.jetbrains.annotations.
NotNull
(implements java.lang.annotation.
Annotation
)
org.jetbrains.annotations.
Nullable
(implements java.lang.annotation.
Annotation
)
org.jmlspecs.annotation.
NonNull
(implements java.lang.annotation.
Annotation
)
org.jmlspecs.annotation.
Nullable
(implements java.lang.annotation.
Annotation
)
org.netbeans.api.annotations.common.
CheckForNull
(implements java.lang.annotation.
Annotation
)
org.netbeans.api.annotations.common.
NonNull
(implements java.lang.annotation.
Annotation
)
org.netbeans.api.annotations.common.
NullAllowed
(implements java.lang.annotation.
Annotation
)
org.netbeans.api.annotations.common.
NullUnknown
(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.aliasing.qual.
NonLeaked
(implements java.lang.annotation.
Annotation
)
org.checkerframework.common.aliasing.qual.
MaybeAliased
(implements java.lang.annotation.
Annotation
)
org.checkerframework.common.aliasing.qual.
MaybeLeaked
(implements java.lang.annotation.
Annotation
)
org.checkerframework.common.aliasing.qual.
LeakedToResult
(implements java.lang.annotation.
Annotation
)
org.checkerframework.common.aliasing.qual.
Unique
(implements java.lang.annotation.
Annotation
)
org.checkerframework.common.reflection.qual.
ClassValBottom
(implements java.lang.annotation.
Annotation
)
org.checkerframework.common.reflection.qual.
GetClass
(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.
Invoke
(implements java.lang.annotation.
Annotation
)
org.checkerframework.common.reflection.qual.
GetConstructor
(implements java.lang.annotation.
Annotation
)
org.checkerframework.common.reflection.qual.
ForName
(implements java.lang.annotation.
Annotation
)
org.checkerframework.common.reflection.qual.
NewInstance
(implements java.lang.annotation.
Annotation
)
org.checkerframework.common.reflection.qual.
GetMethod
(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.
ReportUnqualified
(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.
BoolVal
(implements java.lang.annotation.
Annotation
)
org.checkerframework.common.value.qual.
UnknownVal
(implements java.lang.annotation.
Annotation
)
org.checkerframework.common.value.qual.
ArrayLen
(implements java.lang.annotation.
Annotation
)
org.checkerframework.common.value.qual.
DoubleVal
(implements java.lang.annotation.
Annotation
)
org.checkerframework.common.value.qual.
StaticallyExecutable
(implements java.lang.annotation.
Annotation
)
org.checkerframework.common.value.qual.
BottomVal
(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.
AnnotatedFor
(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.
ConditionalPostconditionAnnotation
(implements java.lang.annotation.
Annotation
)
org.checkerframework.framework.qual.
FromByteCode
(implements java.lang.annotation.
Annotation
)
org.checkerframework.framework.qual.
IgnoreInWholeProgramInference
(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.
TargetLocations
(implements java.lang.annotation.
Annotation
)
org.checkerframework.framework.qual.
RelevantJavaTypes
(implements java.lang.annotation.
Annotation
)
org.checkerframework.framework.qual.
DefaultInUncheckedCodeFor
(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.
InheritedAnnotation
(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.
DefaultQualifierInHierarchyInUncheckedCode
(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.
PerDirectorySuite.Name
(implements java.lang.annotation.
Annotation
)
org.checkerframework.framework.test.
PerFileSuite.Name
(implements java.lang.annotation.
Annotation
)
org.checkerframework.framework.util.
PurityUnqualified
(implements java.lang.annotation.
Annotation
)
Enum Hierarchy
java.lang.
Object
java.lang.
Enum
<E> (implements java.lang.
Comparable
<T>, java.io.
Serializable
)
javax.annotation.meta.
When
org.checkerframework.checker.formatter.
FormatterTreeUtil.InvocationType
org.checkerframework.checker.formatter.qual.
ConversionCategory
org.checkerframework.checker.i18nformatter.
I18nFormatterTreeUtil.FormatType
org.checkerframework.checker.i18nformatter.qual.
I18nConversionCategory
org.checkerframework.checker.nullness.
KeyForPropagator.PropagationDirection
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.stubparser.ast.expr.
AssignExpr.Operator
org.checkerframework.stubparser.ast.expr.
UnaryExpr.Operator
org.checkerframework.stubparser.ast.expr.
BinaryExpr.Operator
org.checkerframework.stubparser.ast.type.
PrimitiveType.Primitive
org.checkerframework.framework.qual.
TypeUseLocation
org.checkerframework.framework.qual.
LiteralKind
org.checkerframework.framework.test.diagnostics.
DiagnosticKind
org.checkerframework.framework.type.
GenericAnnotatedTypeFactory.ScanState
org.checkerframework.framework.util.
ContractsUtils.Contract.Kind
org.checkerframework.framework.util.
PluginUtil.CheckerProp
org.checkerframework.framework.util.
AtmCombo
Skip navigation links
Overview
Package
Class
Tree
Deprecated
Index
Help
Prev
Next
Frames
No Frames
All Classes