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.i18nformatter,
• org.checkerframework.checker.i18nformatter.qual,
• org.checkerframework.checker.index,
• org.checkerframework.checker.index.inequality,
• org.checkerframework.checker.index.lowerbound,
• org.checkerframework.checker.index.qual,
• org.checkerframework.checker.index.samelen,
• org.checkerframework.checker.index.searchindex,
• org.checkerframework.checker.index.substringindex,
• 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.lock,
• org.checkerframework.checker.lock.qual,
• org.checkerframework.checker.nullness,
• org.checkerframework.checker.nullness.qual,
• org.checkerframework.checker.optional,
• org.checkerframework.checker.optional.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.returnsreceiver,
• org.checkerframework.common.returnsreceiver.qual,
• org.checkerframework.common.subtyping,
• org.checkerframework.common.subtyping.qual,
• 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.common.wholeprograminference.scenelib,
• 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.stub,
• org.checkerframework.framework.type,
• org.checkerframework.framework.type.poly,
• 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.dependenttypes,
• org.checkerframework.framework.util.element,
• org.checkerframework.framework.util.typeinference,
• org.checkerframework.framework.util.typeinference.constraint,
• org.checkerframework.framework.util.typeinference.solver,
• org.checkerframework.javacutil,
• org.checkerframework.javacutil.trees,
• org.jmlspecs.annotation

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.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
  • org.checkerframework.dataflow.cfg.AbstractCFGVisualizer<A,S,T> (implements org.checkerframework.dataflow.cfg.CFGVisualizer<A,S,T>)
    • org.checkerframework.dataflow.cfg.DOTCFGVisualizer<A,S,T>
    • org.checkerframework.dataflow.cfg.StringCFGVisualizer<A,S,T>
  • 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)
      • org.checkerframework.dataflow.cfg.CFGBuilder.TryFinallyScopeMap
      • java.util.LinkedHashMap<K,V> (implements java.util.Map<K,V>)
        • org.checkerframework.framework.util.typeinference.solver.InferenceResult
      • org.checkerframework.common.wholeprograminference.WholeProgramInferenceScenesStorage.AnnotationsInContexts
  • org.checkerframework.dataflow.util.AbstractMostlySingleton<T> (implements java.util.Set<E>)
    • org.checkerframework.dataflow.util.IdentityMostlySingleton<T>
    • org.checkerframework.dataflow.util.MostlySingleton<T>
  • 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.inequality.LessThanTransfer
          • org.checkerframework.checker.index.lowerbound.LowerBoundTransfer
          • org.checkerframework.checker.index.searchindex.SearchIndexTransfer
          • org.checkerframework.checker.index.upperbound.UpperBoundTransfer
        • 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.nullness.KeyForTransfer
      • 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.dataflow.cfg.CFGProcessor
      • org.checkerframework.common.util.debug.SignaturePrinter
      • org.checkerframework.framework.source.SourceChecker (implements org.checkerframework.framework.util.CFContext, org.checkerframework.framework.util.OptionConfiguration)
        • org.checkerframework.framework.source.AggregateChecker
          • org.checkerframework.checker.i18n.I18nChecker
        • org.checkerframework.common.util.count.AnnotationStatistics
        • 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.NullnessChecker
          • org.checkerframework.checker.interning.InterningChecker
          • org.checkerframework.checker.nullness.KeyForSubchecker
          • org.checkerframework.checker.index.inequality.LessThanChecker
          • org.checkerframework.checker.lock.LockChecker
          • org.checkerframework.checker.index.lowerbound.LowerBoundChecker
          • org.checkerframework.common.reflection.MethodValChecker
          • org.checkerframework.checker.optional.OptionalChecker
          • 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.common.returnsreceiver.ReturnsReceiverChecker
          • org.checkerframework.checker.index.samelen.SameLenChecker
          • org.checkerframework.checker.index.searchindex.SearchIndexChecker
          • org.checkerframework.checker.signature.SignatureChecker
          • org.checkerframework.checker.signedness.SignednessChecker
          • org.checkerframework.checker.index.substringindex.SubstringIndexChecker
          • 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.checker.index.IndexChecker
          • org.checkerframework.common.value.ValueChecker
        • org.checkerframework.common.util.count.JavaCodeStatistics
      • org.checkerframework.common.util.debug.TreePrinter
    • org.checkerframework.common.util.debug.EmptyProcessor
    • org.checkerframework.common.util.debug.TreeDebug
  • org.checkerframework.framework.type.poly.AbstractQualifierPolymorphism (implements org.checkerframework.framework.type.poly.QualifierPolymorphism)
    • org.checkerframework.framework.type.poly.DefaultQualifierPolymorphism
  • org.checkerframework.framework.stub.AddAnnotatedFor
  • 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.nullness.KeyForAnalysis
      • 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.AnnotatedTypeCopierWithReplacement.Visitor
    • org.checkerframework.framework.type.TypeVariableSubstitutor.Visitor
  • org.checkerframework.framework.type.AnnotatedTypeCopierWithReplacement
  • org.checkerframework.framework.type.AnnotatedTypeFactory (implements org.checkerframework.javacutil.AnnotationProvider)
    • 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.index.inequality.LessThanAnnotatedTypeFactory
        • org.checkerframework.checker.index.lowerbound.LowerBoundAnnotatedTypeFactory
        • org.checkerframework.common.reflection.MethodValAnnotatedTypeFactory
        • 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.common.returnsreceiver.ReturnsReceiverAnnotatedTypeFactory
        • org.checkerframework.checker.index.samelen.SameLenAnnotatedTypeFactory
        • org.checkerframework.checker.index.searchindex.SearchIndexAnnotatedTypeFactory
        • org.checkerframework.checker.signature.SignatureAnnotatedTypeFactory
        • org.checkerframework.checker.signedness.SignednessAnnotatedTypeFactory
        • org.checkerframework.checker.index.substringindex.SubstringIndexAnnotatedTypeFactory
        • 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.nullness.KeyForAnnotatedTypeFactory
      • org.checkerframework.checker.lock.LockAnnotatedTypeFactory
    • org.checkerframework.common.util.debug.TypeOutputtingChecker.GeneralAnnotatedTypeFactory
  • org.checkerframework.framework.type.AnnotatedTypeFactory.ParameterizedExecutableType
  • 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.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.AnnotatedTypeCombiner
      • org.checkerframework.framework.type.visitor.AnnotatedTypeReplacer
    • 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.util.defaults.QualifierDefaults.DefaultApplierElement.DefaultApplierElementImpl
    • org.checkerframework.framework.type.visitor.SimpleAnnotatedTypeScanner<R,P>
    • org.checkerframework.framework.type.typeannotator.TypeAnnotator
      • org.checkerframework.framework.type.typeannotator.DefaultForTypeAnnotator
      • org.checkerframework.framework.type.typeannotator.DefaultQualifierForUseTypeAnnotator
      • 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.javacutil.AnnotationBuilder
  • org.checkerframework.framework.type.AnnotationClassLoader
    • org.checkerframework.common.subtyping.SubtypingAnnotationClassLoader
    • 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.common.wholeprograminference.scenelib.ASceneWrapper
  • 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.common.basetype.BaseTypeVisitor.OverrideChecker
    • org.checkerframework.checker.guieffect.GuiEffectVisitor.GuiEffectOverrideChecker
  • 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.nullness.KeyForStore
    • 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.KeyForValue
    • 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.TryFinallyScopeCell
  • org.checkerframework.dataflow.cfg.CFGBuilder.TryStack
  • org.checkerframework.dataflow.cfg.CFGBuilder.Tuple<A,B,C>
  • org.checkerframework.dataflow.cfg.CFGProcessor.CFGProcessResult
  • org.checkerframework.dataflow.cfg.CFGVisualizeLauncher
  • 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.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.Contract
    • org.checkerframework.framework.util.Contract.ConditionalPostcondition
    • org.checkerframework.framework.util.Contract.Postcondition
    • org.checkerframework.framework.util.Contract.Precondition
  • org.checkerframework.framework.util.ContractsUtils
  • org.checkerframework.dataflow.cfg.ControlFlowGraph
  • org.checkerframework.framework.type.DeclarationsIntoElements
  • org.checkerframework.framework.util.defaults.Default (implements java.lang.Comparable<T>)
  • 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.DependentTypesError
  • org.checkerframework.framework.util.dependenttypes.DependentTypesHelper
    • org.checkerframework.checker.index.OffsetDependentTypesHelper
  • org.checkerframework.framework.source.DiagMessage
  • 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.framework.type.visitor.EquivalentAtmComboScanner.Visited
  • org.checkerframework.framework.util.ExecUtil
  • org.checkerframework.framework.util.ExecUtil.Redirection
  • org.checkerframework.framework.util.typeinference.constraint.F2AReducer (implements org.checkerframework.framework.util.typeinference.constraint.AFReducer)
  • org.checkerframework.framework.util.FieldInvariants
  • org.checkerframework.framework.stub.FileStubResource (implements org.checkerframework.framework.stub.StubResource)
  • 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.common.returnsreceiver.FluentAPIGenerator
  • org.checkerframework.checker.formatter.FormatterTreeUtil
  • org.checkerframework.checker.formatter.FormatterTreeUtil.FormatCall
  • org.checkerframework.checker.formatter.FormatterTreeUtil.Result<E>
  • org.checkerframework.checker.formatter.FormatUtil
  • com.github.javaparser.ast.visitor.GenericVisitorAdapter<R,A> (implements com.github.javaparser.ast.visitor.GenericVisitor<R,A>)
    • org.checkerframework.framework.stub.ToIndexFileConverter
  • org.checkerframework.framework.util.typeinference.GlbUtil
  • org.checkerframework.framework.util.Heuristics
  • org.checkerframework.checker.i18nformatter.I18nFormatterTreeUtil
  • org.checkerframework.checker.i18nformatter.I18nFormatterTreeUtil.I18nFormatCall
  • org.checkerframework.checker.i18nformatter.I18nFormatUtil
  • org.checkerframework.checker.index.IndexMethodIdentifier
  • org.checkerframework.checker.index.IndexRefinementInfo
  • org.checkerframework.checker.index.IndexUtil
  • 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.framework.stub.JarEntryStubResource (implements org.checkerframework.framework.stub.StubResource)
  • org.checkerframework.framework.stub.JavaStubifier
  • org.checkerframework.checker.nullness.KeyForPropagator
  • org.checkerframework.framework.util.element.MethodApplier
  • org.checkerframework.framework.util.element.MethodTypeParamApplier
  • 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.ClassDeclarationNode
    • 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.LambdaResultExpressionNode
    • 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.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.checker.index.upperbound.OffsetEquation
  • org.checkerframework.checker.nullness.Opt
  • org.checkerframework.javacutil.Pair<V1,V2>
  • org.checkerframework.framework.util.element.ParamApplier
  • org.checkerframework.javacutil.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.type.QualifierUpperBounds
  • org.checkerframework.common.value.util.Range
  • org.checkerframework.common.value.ReflectiveEvaluator
  • org.checkerframework.checker.regex.RegexUtil
  • org.checkerframework.javacutil.Resolver
  • org.checkerframework.framework.source.Result
  • org.checkerframework.common.wholeprograminference.SceneToStubWriter
  • org.checkerframework.checker.signedness.SignednessUtil
  • org.checkerframework.checker.signedness.SignednessUtilExtra
  • 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.TreeAnnotator
      • org.checkerframework.common.aliasing.AliasingAnnotatedTypeFactory.AliasingTreeAnnotator
      • org.checkerframework.common.reflection.ClassValAnnotatedTypeFactory.ClassValTreeAnnotator
      • org.checkerframework.framework.util.dependenttypes.DependentTypesTreeAnnotator
      • 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.framework.type.treeannotator.LiteralTreeAnnotator
      • org.checkerframework.checker.lock.LockTreeAnnotator
      • org.checkerframework.common.reflection.MethodValAnnotatedTypeFactory.MethodValTreeAnnotator
      • org.checkerframework.checker.nullness.NullnessAnnotatedTypeFactory.NullnessTreeAnnotator
      • org.checkerframework.framework.type.treeannotator.PropagationTreeAnnotator
        • org.checkerframework.checker.nullness.NullnessAnnotatedTypeFactory.NullnessPropagationTreeAnnotator
      • org.checkerframework.checker.propkey.PropertyKeyAnnotatedTypeFactory.KeyLookupTreeAnnotator
      • org.checkerframework.checker.index.samelen.SameLenAnnotatedTypeFactory.SameLenTreeAnnotator
      • org.checkerframework.checker.index.upperbound.UpperBoundAnnotatedTypeFactory.UpperBoundTreeAnnotator
  • org.checkerframework.framework.type.StructuralEqualityVisitHistory
  • org.checkerframework.framework.stub.StubGenerator
  • org.checkerframework.framework.stub.StubParser
  • org.checkerframework.framework.stub.StubTypes
  • org.checkerframework.framework.stub.StubUtil
  • org.checkerframework.checker.index.Subsequence
  • org.checkerframework.framework.util.typeinference.solver.SubtypesSolver
  • org.checkerframework.framework.type.SubtypeVisitHistory
  • 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.javacutil.SystemUtil
  • 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
  • java.lang.Throwable (implements java.io.Serializable)
    • java.lang.Exception
      • org.checkerframework.framework.util.element.ElementAnnotationUtil.UnexpectedAnnotationLocationException
      • org.checkerframework.framework.util.FlowExpressionParseUtil.FlowExpressionParseException
      • org.checkerframework.checker.regex.RegexUtil.CheckedPatternSyntaxException
      • java.lang.RuntimeException
        • org.checkerframework.javacutil.BugInCF
        • 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.javacutil.UserError
  • 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.dataflow.util.PurityChecker.PurityCheckerHelper
      • 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.index.inequality.LessThanVisitor
          • org.checkerframework.checker.lock.LockVisitor
          • org.checkerframework.checker.index.lowerbound.LowerBoundVisitor
          • org.checkerframework.common.reflection.MethodValVisitor
          • org.checkerframework.checker.optional.OptionalVisitor
          • org.checkerframework.checker.regex.RegexVisitor
          • org.checkerframework.common.util.report.ReportVisitor
          • org.checkerframework.common.returnsreceiver.ReturnsReceiverVisitor
          • 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.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.checker.index.upperbound.UBQualifier
    • org.checkerframework.checker.index.upperbound.UBQualifier.LessThanLengthOf
    • org.checkerframework.checker.index.upperbound.UBQualifier.UpperBoundUnknownQualifier
  • 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.VisitorState
  • org.checkerframework.common.wholeprograminference.WholeProgramInferenceScenes (implements org.checkerframework.common.wholeprograminference.WholeProgramInference)
  • org.checkerframework.common.wholeprograminference.WholeProgramInferenceScenesStorage

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.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.dataflow.cfg.node.NodeVisitor<R,P>
  • org.checkerframework.dataflow.analysis.TransferFunction<A,S>
• org.checkerframework.framework.util.OptionConfiguration
• org.checkerframework.framework.type.poly.QualifierPolymorphism
• org.checkerframework.common.reflection.ReflectionResolver
• org.checkerframework.dataflow.analysis.Store<S>
• org.checkerframework.framework.stub.StubResource
• org.checkerframework.framework.util.typeinference.TypeArgumentInference
• org.checkerframework.framework.type.TypeHierarchy
• org.checkerframework.common.basetype.TypeValidator
• org.checkerframework.checker.units.UnitsRelations
• org.checkerframework.common.wholeprograminference.WholeProgramInference

Annotation Type Hierarchy

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

Enum Hierarchy

• java.lang.Object
  • java.lang.Enum<E> (implements java.lang.Comparable<T>, java.io.Serializable)
    • org.checkerframework.checker.i18nformatter.I18nFormatterTreeUtil.FormatType
    • org.checkerframework.checker.i18nformatter.qual.I18nConversionCategory
    • org.checkerframework.checker.formatter.FormatterTreeUtil.InvocationType
    • org.checkerframework.checker.formatter.qual.ConversionCategory
    • org.checkerframework.checker.nullness.KeyForPropagator.PropagationDirection
    • org.checkerframework.checker.units.qual.Prefix
    • org.checkerframework.framework.type.GenericAnnotatedTypeFactory.ScanState
    • org.checkerframework.framework.util.AtmCombo
    • org.checkerframework.framework.util.defaults.QualifierDefaults.BoundType
    • org.checkerframework.framework.util.Contract.Kind
    • org.checkerframework.framework.qual.TypeKind
    • org.checkerframework.framework.qual.TypeUseLocation
    • org.checkerframework.framework.qual.LiteralKind
    • org.checkerframework.common.wholeprograminference.WholeProgramInference.OutputFormat
    • org.checkerframework.dataflow.cfg.UnderlyingAST.Kind
    • org.checkerframework.dataflow.cfg.block.Block.BlockType
    • org.checkerframework.dataflow.cfg.block.SpecialBlock.SpecialBlockType
    • org.checkerframework.dataflow.cfg.CFGBuilder.ExtendedNode.ExtendedNodeType
    • org.checkerframework.dataflow.util.AbstractMostlySingleton.State
    • org.checkerframework.dataflow.analysis.Store.Kind
    • org.checkerframework.dataflow.analysis.Store.FlowRule
    • org.checkerframework.dataflow.constantpropagation.Constant.Type
    • org.checkerframework.dataflow.qual.Pure.Kind
    • org.checkerframework.javacutil.PluginUtil.CheckerProp