Hierarchy For All Packages

Package Hierarchies:

• org.checkerframework.checker.compilermsgs,
• org.checkerframework.checker.compilermsgs.qual,
• org.checkerframework.checker.experimental.regex_qual,
• org.checkerframework.checker.experimental.tainting_qual,
• org.checkerframework.checker.experimental.tainting_qual.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.igj,
• org.checkerframework.checker.igj.qual,
• org.checkerframework.checker.initialization,
• org.checkerframework.checker.initialization.qual,
• org.checkerframework.checker.interning,
• org.checkerframework.checker.interning.qual,
• org.checkerframework.checker.javari,
• org.checkerframework.checker.javari.qual,
• org.checkerframework.checker.linear,
• org.checkerframework.checker.linear.qual,
• org.checkerframework.checker.lock,
• org.checkerframework.checker.lock.qual,
• org.checkerframework.checker.nullness,
• org.checkerframework.checker.nullness.compatqual,
• org.checkerframework.checker.nullness.qual,
• org.checkerframework.checker.oigj,
• org.checkerframework.checker.oigj.qual,
• org.checkerframework.checker.propkey,
• org.checkerframework.checker.propkey.qual,
• org.checkerframework.checker.regex,
• org.checkerframework.checker.regex.classic,
• org.checkerframework.checker.regex.classic.qual,
• org.checkerframework.checker.regex.qual,
• org.checkerframework.checker.signature,
• org.checkerframework.checker.signature.qual,
• org.checkerframework.checker.tainting,
• org.checkerframework.checker.tainting.classic,
• org.checkerframework.checker.tainting.classic.qual,
• 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.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.flow.util,
• 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.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.qualframework.base,
• org.checkerframework.qualframework.base.dataflow,
• org.checkerframework.qualframework.base.format,
• org.checkerframework.qualframework.poly,
• org.checkerframework.qualframework.poly.format,
• org.checkerframework.qualframework.poly.qual,
• org.checkerframework.qualframework.util,
• 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

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.DefaultInferredTypesApplier.InferredTypeApplyingVisitor
    • 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.qualframework.base.dataflow.QualTransferAdapter<Q>
        • org.checkerframework.common.value.ValueTransfer
      • org.checkerframework.checker.formatter.FormatterTransfer
      • org.checkerframework.checker.i18nformatter.I18nFormatterTransfer
      • 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.checker.regex.classic.RegexTransfer
    • org.checkerframework.dataflow.constantpropagation.ConstantPropagationTransfer (implements org.checkerframework.dataflow.analysis.TransferFunction<A,S>)
  • javax.annotation.processing.AbstractProcessor (implements javax.annotation.processing.Processor)
    • org.checkerframework.javacutil.AbstractTypeProcessor
      • org.checkerframework.javacutil.BasicTypeProcessor
      • org.checkerframework.common.util.debug.SignaturePrinter
      • org.checkerframework.framework.source.SourceChecker (implements org.checkerframework.framework.util.CFContext, org.checkerframework.javacutil.ErrorHandler, org.checkerframework.framework.util.OptionConfiguration)
        • org.checkerframework.framework.source.AggregateChecker
          • org.checkerframework.checker.i18n.I18nChecker
          • org.checkerframework.checker.oigj.OIGJChecker
        • org.checkerframework.common.basetype.BaseTypeChecker (implements org.checkerframework.common.basetype.BaseTypeContext)
          • org.checkerframework.common.aliasing.AliasingChecker
          • org.checkerframework.qualframework.base.CheckerAdapter<Q>
            • org.checkerframework.checker.regex.RegexChecker
            • org.checkerframework.checker.experimental.regex_qual.RegexCheckerAdapter
            • org.checkerframework.checker.tainting.TaintingChecker
            • org.checkerframework.checker.experimental.tainting_qual.TaintingCheckerAdapter
          • 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.igj.IGJChecker
          • org.checkerframework.checker.oigj.ImmutabilitySubchecker
          • 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.javari.JavariChecker
          • org.checkerframework.checker.nullness.KeyForSubchecker
          • org.checkerframework.checker.linear.LinearChecker
          • org.checkerframework.checker.lock.LockChecker
          • org.checkerframework.common.reflection.MethodValChecker
          • org.checkerframework.checker.oigj.OwnershipSubchecker
          • org.checkerframework.checker.propkey.PropertyKeyChecker
            • org.checkerframework.checker.compilermsgs.CompilerMessagesChecker
            • org.checkerframework.checker.i18n.LocalizableKeyChecker
          • org.checkerframework.framework.util.PurityChecker
          • org.checkerframework.checker.regex.classic.RegexClassicChecker
          • org.checkerframework.common.util.report.ReportChecker
          • org.checkerframework.checker.signature.SignatureChecker
          • org.checkerframework.common.subtyping.SubtypingChecker
          • org.checkerframework.checker.tainting.classic.TaintingClassicChecker
          • org.checkerframework.common.util.debug.TypeOutputtingChecker
          • org.checkerframework.checker.units.UnitsChecker
          • org.checkerframework.common.value.ValueChecker
        • org.checkerframework.common.util.count.Locations
      • org.checkerframework.common.util.debug.TreePrinter
    • org.checkerframework.common.util.count.AnnotationsCounter
    • org.checkerframework.common.util.debug.EmptyProcessor
    • org.checkerframework.common.util.debug.TreeDebug
  • org.checkerframework.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.formatter.FormatterAnalysis
      • org.checkerframework.checker.i18nformatter.I18nFormatterAnalysis
      • org.checkerframework.checker.nullness.KeyForAnalysis
      • org.checkerframework.checker.lock.LockAnalysis
      • org.checkerframework.checker.nullness.NullnessAnalysis
      • org.checkerframework.checker.regex.classic.RegexAnalysis
    • org.checkerframework.qualframework.base.dataflow.QualAnalysis<Q>
  • 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.guieffect.GuiEffectTypeFactory
        • org.checkerframework.checker.i18n.I18nAnnotatedTypeFactory
        • org.checkerframework.checker.igj.IGJAnnotatedTypeFactory
        • org.checkerframework.checker.oigj.ImmutabilityAnnotatedTypeFactory
        • org.checkerframework.checker.interning.InterningAnnotatedTypeFactory
        • org.checkerframework.checker.javari.JavariAnnotatedTypeFactory
        • org.checkerframework.checker.linear.LinearAnnotatedTypeFactory
        • org.checkerframework.common.reflection.MethodValAnnotatedTypeFactory
        • org.checkerframework.checker.oigj.OwnershipAnnotatedTypeFactory
        • org.checkerframework.checker.propkey.PropertyKeyAnnotatedTypeFactory
          • org.checkerframework.checker.compilermsgs.CompilerMessagesAnnotatedTypeFactory
          • org.checkerframework.checker.i18n.LocalizableKeyAnnotatedTypeFactory
        • org.checkerframework.framework.util.PurityAnnotatedTypeFactory
        • org.checkerframework.checker.signature.SignatureAnnotatedTypeFactory
        • org.checkerframework.common.subtyping.SubtypingAnnotatedTypeFactory
        • org.checkerframework.checker.tainting.classic.TaintingClassicAnnotatedTypeFactory
        • org.checkerframework.checker.units.UnitsAnnotatedTypeFactory
        • org.checkerframework.common.value.ValueAnnotatedTypeFactory
      • org.checkerframework.checker.formatter.FormatterAnnotatedTypeFactory
      • org.checkerframework.checker.i18nformatter.I18nFormatterAnnotatedTypeFactory
      • 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.checker.regex.classic.RegexClassicAnnotatedTypeFactory
  • 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.ListTypeAnnotator
      • org.checkerframework.framework.type.typeannotator.PropagationTypeAnnotator
  • org.checkerframework.framework.util.AnnotationBuilder
  • org.checkerframework.framework.type.AnnotationClassLoader
    • org.checkerframework.checker.units.UnitsAnnotationClassLoader
  • org.checkerframework.qualframework.poly.AnnotationConverterConfiguration<Q>
  • 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.dataflow.cfg.CFGBuilder
    • org.checkerframework.framework.flow.CFCFGBuilder
  • org.checkerframework.dataflow.cfg.CFGBuilder.CFGTranslationPhaseThree
  • org.checkerframework.dataflow.cfg.CFGBuilder.CFGTranslationPhaseTwo
  • org.checkerframework.dataflow.cfg.CFGBuilder.ExtendedNode
    • org.checkerframework.dataflow.cfg.CFGBuilder.ConditionalJump
    • org.checkerframework.dataflow.cfg.CFGBuilder.NodeHolder
    • org.checkerframework.dataflow.cfg.CFGBuilder.NodeWithExceptionsHolder
    • org.checkerframework.dataflow.cfg.CFGBuilder.UnconditionalJump
  • org.checkerframework.dataflow.cfg.CFGBuilder.Label
  • org.checkerframework.dataflow.cfg.CFGBuilder.PhaseOneResult
  • org.checkerframework.dataflow.cfg.CFGBuilder.TryCatchFrame (implements org.checkerframework.dataflow.cfg.CFGBuilder.TryFrame)
  • org.checkerframework.dataflow.cfg.CFGBuilder.TryFinallyFrame (implements org.checkerframework.dataflow.cfg.CFGBuilder.TryFrame)
  • org.checkerframework.dataflow.cfg.CFGBuilder.TryStack
  • org.checkerframework.dataflow.cfg.CFGBuilder.Tuple<A,B,C>
  • org.checkerframework.dataflow.cfg.CFGDOTVisualizer
  • org.checkerframework.qualframework.base.Checker<Q> (implements org.checkerframework.qualframework.util.QualifierContext<Q>)
    • org.checkerframework.qualframework.poly.QualifierParameterChecker<Q>
      • org.checkerframework.checker.regex.RegexQualPolyChecker
      • org.checkerframework.checker.tainting.TaintingQualChecker
    • org.checkerframework.checker.experimental.regex_qual.RegexQualChecker
    • org.checkerframework.checker.experimental.tainting_qual.TaintingChecker
  • org.checkerframework.qualframework.base.CheckerAdapter.QualAnnotationFormatterAdapter (implements org.checkerframework.framework.type.AnnotatedTypeFormatter, org.checkerframework.framework.util.AnnotationFormatter)
  • org.checkerframework.framework.test.CheckerFrameworkTest
  • 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.qualframework.poly.CombiningOperation.Glb<Q> (implements org.checkerframework.qualframework.poly.CombiningOperation<Q>)
  • org.checkerframework.qualframework.poly.CombiningOperation.Lub<Q> (implements org.checkerframework.qualframework.poly.CombiningOperation<Q>)
  • 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.ConstructorReturnUtil
  • org.checkerframework.qualframework.poly.ContainmentHierarchy<Q> (implements org.checkerframework.qualframework.base.QualifierHierarchy<Q>)
  • org.checkerframework.framework.util.ContractsUtils
  • 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.qualframework.base.format.DefaultQualifiedTypeFormatter.AnnoToQualFormatter
    • org.checkerframework.checker.units.UnitsAnnotatedTypeFormatter.UnitsAnnotationFormatter
  • org.checkerframework.framework.type.DefaultInferredTypesApplier
  • org.checkerframework.qualframework.base.format.DefaultQualFormatter<Q> (implements org.checkerframework.qualframework.base.format.QualFormatter<Q>)
  • org.checkerframework.qualframework.base.DefaultQualifiedTypeFactory<Q> (implements org.checkerframework.qualframework.base.QualifiedTypeFactory<Q>)
    • org.checkerframework.qualframework.poly.QualifierParameterTypeFactory<Q>
      • org.checkerframework.checker.regex.RegexQualifiedTypeFactory
      • org.checkerframework.checker.tainting.TaintingQualifiedTypeFactory
    • org.checkerframework.checker.experimental.regex_qual.RegexQualifiedTypeFactory
    • org.checkerframework.checker.experimental.tainting_qual.TaintingQualifiedTypeFactory
  • org.checkerframework.qualframework.base.format.DefaultQualifiedTypeFormatter<Q,QUAL_FORMATTER> (implements org.checkerframework.qualframework.base.format.QualifiedTypeFormatter<Q>)
    • org.checkerframework.qualframework.poly.format.PrettyQualifiedTypeFormatter<Q>
  • 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.qualframework.base.DefaultTypeHierarchy<Q> (implements org.checkerframework.qualframework.base.TypeHierarchy<Q>)
  • org.checkerframework.framework.util.DependentTypes
  • 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.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.PureMethodCall
    • org.checkerframework.dataflow.analysis.FlowExpressions.ThisReference
    • org.checkerframework.dataflow.analysis.FlowExpressions.Unknown
    • org.checkerframework.dataflow.analysis.FlowExpressions.ValueLiteral
  • org.checkerframework.checker.formatter.FormatterTreeUtil
  • org.checkerframework.checker.formatter.FormatterTreeUtil.FormatCall
  • org.checkerframework.checker.formatter.FormatUtil
  • org.checkerframework.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.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.framework.flow.util.LubTypeVariableAnnotator
  • 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.BitwiseAndNode
    • org.checkerframework.dataflow.cfg.node.BitwiseComplementNode
    • org.checkerframework.dataflow.cfg.node.BitwiseOrNode
    • org.checkerframework.dataflow.cfg.node.BitwiseXorNode
    • org.checkerframework.dataflow.cfg.node.CaseNode
    • org.checkerframework.dataflow.cfg.node.ClassNameNode
    • org.checkerframework.dataflow.cfg.node.ConditionalAndNode
    • org.checkerframework.dataflow.cfg.node.ConditionalNotNode
    • org.checkerframework.dataflow.cfg.node.ConditionalOrNode
    • org.checkerframework.dataflow.cfg.node.EqualToNode
    • org.checkerframework.dataflow.cfg.node.FieldAccessNode
    • org.checkerframework.dataflow.cfg.node.FloatingDivisionNode
    • org.checkerframework.dataflow.cfg.node.FloatingRemainderNode
    • org.checkerframework.dataflow.cfg.node.FunctionalInterfaceNode
    • org.checkerframework.dataflow.cfg.node.GreaterThanNode
    • org.checkerframework.dataflow.cfg.node.GreaterThanOrEqualNode
    • org.checkerframework.dataflow.cfg.node.InstanceOfNode
    • org.checkerframework.dataflow.cfg.node.IntegerDivisionNode
    • org.checkerframework.dataflow.cfg.node.IntegerRemainderNode
    • org.checkerframework.dataflow.cfg.node.LeftShiftNode
    • org.checkerframework.dataflow.cfg.node.LessThanNode
    • org.checkerframework.dataflow.cfg.node.LessThanOrEqualNode
    • org.checkerframework.dataflow.cfg.node.LocalVariableNode
    • org.checkerframework.dataflow.cfg.node.MarkerNode
    • org.checkerframework.dataflow.cfg.node.MethodAccessNode
    • org.checkerframework.dataflow.cfg.node.MethodInvocationNode
    • org.checkerframework.dataflow.cfg.node.NarrowingConversionNode
    • org.checkerframework.dataflow.cfg.node.NotEqualNode
    • org.checkerframework.dataflow.cfg.node.NullChkNode
    • org.checkerframework.dataflow.cfg.node.NumericalAdditionNode
    • org.checkerframework.dataflow.cfg.node.NumericalMinusNode
    • org.checkerframework.dataflow.cfg.node.NumericalMultiplicationNode
    • org.checkerframework.dataflow.cfg.node.NumericalPlusNode
    • org.checkerframework.dataflow.cfg.node.NumericalSubtractionNode
    • org.checkerframework.dataflow.cfg.node.ObjectCreationNode
    • org.checkerframework.dataflow.cfg.node.PackageNameNode
    • org.checkerframework.dataflow.cfg.node.ParameterizedTypeNode
    • org.checkerframework.dataflow.cfg.node.PrimitiveTypeNode
    • org.checkerframework.dataflow.cfg.node.ReturnNode
    • org.checkerframework.dataflow.cfg.node.SignedRightShiftNode
    • org.checkerframework.dataflow.cfg.node.StringConcatenateAssignmentNode
    • org.checkerframework.dataflow.cfg.node.StringConcatenateNode
    • org.checkerframework.dataflow.cfg.node.StringConversionNode
    • org.checkerframework.dataflow.cfg.node.SuperNode
    • org.checkerframework.dataflow.cfg.node.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.UnsignedRightShiftNode
    • org.checkerframework.dataflow.cfg.node.ValueLiteralNode
      • org.checkerframework.dataflow.cfg.node.BooleanLiteralNode
      • org.checkerframework.dataflow.cfg.node.CharacterLiteralNode
      • org.checkerframework.dataflow.cfg.node.DoubleLiteralNode
      • org.checkerframework.dataflow.cfg.node.FloatLiteralNode
      • org.checkerframework.dataflow.cfg.node.IntegerLiteralNode
      • org.checkerframework.dataflow.cfg.node.LongLiteralNode
      • org.checkerframework.dataflow.cfg.node.NullLiteralNode
      • org.checkerframework.dataflow.cfg.node.ShortLiteralNode
      • org.checkerframework.dataflow.cfg.node.StringLiteralNode
    • org.checkerframework.dataflow.cfg.node.VariableDeclarationNode
    • org.checkerframework.dataflow.cfg.node.WideningConversionNode
  • org.checkerframework.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.NullnessUtils
  • 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.qualframework.poly.PolyQual<Q>
    • org.checkerframework.qualframework.poly.PolyQual.Combined<Q>
    • org.checkerframework.qualframework.poly.PolyQual.GroundQual<Q>
    • org.checkerframework.qualframework.poly.PolyQual.QualVar<Q>
  • org.checkerframework.qualframework.poly.PolyQualHierarchy<Q> (implements org.checkerframework.qualframework.base.QualifierHierarchy<Q>)
  • org.checkerframework.qualframework.poly.format.PrettyQualParamsFormatter<Q> (implements org.checkerframework.qualframework.poly.format.QualParamsFormatter<Q>)
  • org.checkerframework.dataflow.util.PurityChecker
  • org.checkerframework.dataflow.util.PurityChecker.PurityResult
  • org.checkerframework.dataflow.util.PurityUtils
  • org.checkerframework.qualframework.base.QualifiedTypeMirror<Q>
    • org.checkerframework.qualframework.base.QualifiedTypeMirror.QualifiedArrayType<Q>
    • org.checkerframework.qualframework.base.QualifiedTypeMirror.QualifiedDeclaredType<Q>
    • org.checkerframework.qualframework.base.QualifiedTypeMirror.QualifiedExecutableType<Q>
    • org.checkerframework.qualframework.base.QualifiedTypeMirror.QualifiedIntersectionType<Q>
    • org.checkerframework.qualframework.base.QualifiedTypeMirror.QualifiedNoType<Q>
    • org.checkerframework.qualframework.base.QualifiedTypeMirror.QualifiedNullType<Q>
    • org.checkerframework.qualframework.base.QualifiedTypeMirror.QualifiedParameterDeclaration<Q>
    • org.checkerframework.qualframework.base.QualifiedTypeMirror.QualifiedPrimitiveType<Q>
    • org.checkerframework.qualframework.base.QualifiedTypeMirror.QualifiedTypeDeclaration<Q>
    • org.checkerframework.qualframework.base.QualifiedTypeMirror.QualifiedTypeVariable<Q>
    • org.checkerframework.qualframework.base.QualifiedTypeMirror.QualifiedUnionType<Q>
    • org.checkerframework.qualframework.base.QualifiedTypeMirror.QualifiedWildcardType<Q>
  • org.checkerframework.qualframework.base.QualifiedTypeParameterBounds<Q>
  • 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.qualframework.base.QualifierMapVisitor<Q,R,P> (implements org.checkerframework.qualframework.base.QualifiedTypeVisitor<Q,R,P>)
  • org.checkerframework.qualframework.poly.QualifierParameterHierarchy<Q> (implements org.checkerframework.qualframework.base.QualifierHierarchy<Q>)
  • org.checkerframework.framework.util.QualifierPolymorphism
  • org.checkerframework.qualframework.poly.QualParams<Q> (implements java.util.Map<K,V>)
  • org.checkerframework.qualframework.base.dataflow.QualStore<Q> (implements org.checkerframework.dataflow.analysis.Store<S>)
  • org.checkerframework.qualframework.base.dataflow.QualTransfer<Q> (implements org.checkerframework.dataflow.analysis.TransferFunction<A,S>)
    • org.checkerframework.checker.experimental.regex_qual.RegexQualifiedTransfer
    • org.checkerframework.checker.regex.RegexQualifiedTransfer
  • org.checkerframework.qualframework.base.dataflow.QualValue<Q> (implements org.checkerframework.dataflow.analysis.AbstractValue<V>)
  • org.checkerframework.common.value.ReflectiveEvalutator
  • org.checkerframework.checker.experimental.regex_qual.Regex
    • org.checkerframework.checker.experimental.regex_qual.Regex.PartialRegex
    • org.checkerframework.checker.experimental.regex_qual.Regex.RegexVal
  • org.checkerframework.checker.experimental.regex_qual.RegexAnnotationConverter (implements org.checkerframework.qualframework.base.AnnotationConverter<Q>)
  • org.checkerframework.checker.experimental.regex_qual.RegexQualifierHierarchy (implements org.checkerframework.qualframework.base.QualifierHierarchy<Q>)
  • org.checkerframework.checker.regex.RegexUtil
  • org.checkerframework.javacutil.Resolver
  • org.checkerframework.framework.util.Resolver2
  • org.checkerframework.framework.source.Result
  • org.checkerframework.framework.source.Result.DiagMessage
  • org.junit.runner.Runner (implements org.junit.runner.Describable)
    • org.junit.runners.ParentRunner<T> (implements org.junit.runner.manipulation.Filterable, org.junit.runner.manipulation.Sortable)
      • org.junit.runners.Suite
        • org.checkerframework.framework.test.TestSuite
  • org.checkerframework.qualframework.base.SetQualifierVisitor<Q> (implements org.checkerframework.qualframework.base.QualifiedTypeVisitor<Q,R,P>)
  • org.checkerframework.framework.type.visitor.SimpleAnnotatedTypeVisitor<R,P> (implements org.checkerframework.framework.type.visitor.AnnotatedTypeVisitor<R,P>)
  • org.checkerframework.framework.test.SimpleOptionMap
  • org.checkerframework.qualframework.base.SimpleQualifiedTypeVisitor<Q,R,P> (implements org.checkerframework.qualframework.base.QualifiedTypeVisitor<Q,R,P>)
  • org.checkerframework.qualframework.poly.SimpleQualifierParameterAnnotationConverter<Q> (implements org.checkerframework.qualframework.poly.QualifierParameterAnnotationConverter<Q>)
    • org.checkerframework.checker.regex.RegexAnnotationConverter
    • org.checkerframework.checker.tainting.TaintingAnnotationConverter
  • 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.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.common.reflection.MethodValAnnotatedTypeFactory.MethodValTreeAnnotator
      • 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.common.value.ValueAnnotatedTypeFactory.ValueTreeAnnotator
    • org.checkerframework.qualframework.base.TreeAnnotator<Q>
      • org.checkerframework.qualframework.poly.QualifierParameterTreeAnnotator<Q>
  • 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.qualframework.poly.format.SurfaceSyntaxFormatterConfiguration<Q>
  • org.checkerframework.qualframework.poly.format.SurfaceSyntaxQualParamsFormatter<Q> (implements org.checkerframework.qualframework.poly.format.QualParamsFormatter<Q>)
  • org.checkerframework.qualframework.poly.format.SurfaceSyntaxQualParamsFormatter.AnnotationParts
  • org.checkerframework.framework.type.SyntheticArrays
  • org.checkerframework.checker.nullness.SystemGetPropertyHandler
  • org.checkerframework.checker.experimental.tainting_qual.TaintingAnnotationConverter (implements org.checkerframework.qualframework.base.AnnotationConverter<Q>)
  • org.checkerframework.checker.experimental.tainting_qual.TaintingQualifierHierarchy (implements org.checkerframework.qualframework.base.QualifierHierarchy<Q>)
  • org.checkerframework.checker.tainting.TaintingQualifierHierarchy (implements org.checkerframework.qualframework.base.QualifierHierarchy<Q>)
  • 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.igj.IGJVisitor
          • org.checkerframework.checker.oigj.ImmutabilityVisitor
          • org.checkerframework.checker.initialization.InitializationVisitor<Factory,Value,Store>
            • org.checkerframework.checker.nullness.NullnessVisitor
          • org.checkerframework.checker.interning.InterningVisitor
          • org.checkerframework.checker.javari.JavariVisitor
          • org.checkerframework.checker.nullness.KeyForVisitor
          • org.checkerframework.checker.linear.LinearVisitor
          • org.checkerframework.checker.lock.LockVisitor
          • org.checkerframework.common.reflection.MethodValVisitor
          • org.checkerframework.checker.oigj.OwnershipVisitor
          • org.checkerframework.checker.regex.classic.RegexClassicVisitor
          • org.checkerframework.common.util.report.ReportVisitor
          • org.checkerframework.qualframework.base.TypecheckVisitorAdapter<Q>
            • org.checkerframework.checker.experimental.regex_qual.RegexTypecheckVisitor
            • org.checkerframework.checker.regex.RegexTypecheckVisitor
          • org.checkerframework.common.util.debug.TypeOutputtingChecker.Visitor
          • org.checkerframework.checker.units.UnitsVisitor
          • org.checkerframework.common.value.ValueVisitor
      • org.checkerframework.common.util.debug.TreeDebug.Visitor
  • org.checkerframework.javacutil.TreeUtils
  • org.checkerframework.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.qualframework.base.TypeAnnotator<Q> (implements org.checkerframework.qualframework.util.ExtendedTypeVisitor<R,P>)
    • org.checkerframework.qualframework.poly.QualifierParameterTypeAnnotator<Q>
  • 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.qualframework.base.TypeMirrorConverter<Q>
  • org.checkerframework.framework.type.TypesIntoElements
  • org.checkerframework.javacutil.TypesUtils
  • org.checkerframework.framework.type.TypeVariableSubstitutor
    • org.checkerframework.qualframework.base.TypeVariableSubstitutorAdapter<Q>
  • org.checkerframework.qualframework.base.TypeVariableSubstitutor<Q>
    • org.checkerframework.qualframework.poly.QualifiedParameterTypeVariableSubstitutor<Q>
  • 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.qualframework.poly.Wildcard<Q>
  • org.checkerframework.qualframework.util.WrappedAnnotatedTypeMirror (implements org.checkerframework.qualframework.util.ExtendedTypeMirror)
    • org.checkerframework.qualframework.util.WrappedAnnotatedTypeMirror.WrappedAnnotatedArrayType (implements org.checkerframework.qualframework.util.ExtendedArrayType)
    • org.checkerframework.qualframework.util.WrappedAnnotatedTypeMirror.WrappedAnnotatedDeclaredType (implements org.checkerframework.qualframework.util.ExtendedDeclaredType, org.checkerframework.qualframework.util.ExtendedTypeDeclaration)
    • org.checkerframework.qualframework.util.WrappedAnnotatedTypeMirror.WrappedAnnotatedExecutableType (implements org.checkerframework.qualframework.util.ExtendedExecutableType)
    • org.checkerframework.qualframework.util.WrappedAnnotatedTypeMirror.WrappedAnnotatedIntersectionType (implements org.checkerframework.qualframework.util.ExtendedIntersectionType)
    • org.checkerframework.qualframework.util.WrappedAnnotatedTypeMirror.WrappedAnnotatedNoType (implements org.checkerframework.qualframework.util.ExtendedNoType)
    • org.checkerframework.qualframework.util.WrappedAnnotatedTypeMirror.WrappedAnnotatedNullType (implements org.checkerframework.qualframework.util.ExtendedNullType)
    • org.checkerframework.qualframework.util.WrappedAnnotatedTypeMirror.WrappedAnnotatedPrimitiveType (implements org.checkerframework.qualframework.util.ExtendedPrimitiveType)
    • org.checkerframework.qualframework.util.WrappedAnnotatedTypeMirror.WrappedAnnotatedTypeVariable (implements org.checkerframework.qualframework.util.ExtendedParameterDeclaration, org.checkerframework.qualframework.util.ExtendedTypeVariable)
    • org.checkerframework.qualframework.util.WrappedAnnotatedTypeMirror.WrappedAnnotatedUnionType (implements org.checkerframework.qualframework.util.ExtendedUnionType)
    • org.checkerframework.qualframework.util.WrappedAnnotatedTypeMirror.WrappedAnnotatedWildcardType (implements org.checkerframework.qualframework.util.ExtendedWildcardType)

Interface Hierarchy

• org.checkerframework.dataflow.analysis.AbstractValue<V>
• org.checkerframework.framework.util.typeinference.constraint.AFReducer
• javax.lang.model.AnnotatedConstruct
  • org.checkerframework.qualframework.util.ExtendedTypeMirror
    • org.checkerframework.qualframework.util.ExtendedArrayType
    • org.checkerframework.qualframework.util.ExtendedDeclaredType
      • org.checkerframework.qualframework.util.ExtendedErrorType
    • org.checkerframework.qualframework.util.ExtendedErrorType
    • org.checkerframework.qualframework.util.ExtendedExecutableType
    • org.checkerframework.qualframework.util.ExtendedIntersectionType
    • org.checkerframework.qualframework.util.ExtendedNoType
    • org.checkerframework.qualframework.util.ExtendedNullType
    • org.checkerframework.qualframework.util.ExtendedParameterDeclaration
    • org.checkerframework.qualframework.util.ExtendedPrimitiveType
    • org.checkerframework.qualframework.util.ExtendedReferenceType
      • org.checkerframework.qualframework.util.ExtendedArrayType
      • org.checkerframework.qualframework.util.ExtendedDeclaredType
        • org.checkerframework.qualframework.util.ExtendedErrorType
      • org.checkerframework.qualframework.util.ExtendedErrorType
      • org.checkerframework.qualframework.util.ExtendedNullType
      • org.checkerframework.qualframework.util.ExtendedTypeVariable
    • org.checkerframework.qualframework.util.ExtendedTypeDeclaration
    • org.checkerframework.qualframework.util.ExtendedTypeVariable
    • org.checkerframework.qualframework.util.ExtendedUnionType
    • org.checkerframework.qualframework.util.ExtendedWildcardType
• org.checkerframework.framework.type.AnnotatedTypeFormatter
• org.checkerframework.framework.type.visitor.AnnotatedTypeVisitor<R,P>
• org.checkerframework.qualframework.base.AnnotationConverter<Q>
  • org.checkerframework.qualframework.poly.QualifierParameterAnnotationConverter<Q>
• 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.qualframework.util.QualifierContext<Q>
• 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.qualframework.poly.CombiningOperation<Q>
• org.checkerframework.javacutil.ErrorHandler
• org.checkerframework.qualframework.util.ExtendedTypeVisitor<R,P>
• 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.qualframework.base.format.QualFormatter<Q>
  • org.checkerframework.qualframework.poly.format.QualParamsFormatter<Q>
• org.checkerframework.qualframework.base.QualifiedTypeFactory<Q>
• org.checkerframework.qualframework.base.format.QualifiedTypeFormatter<Q>
• org.checkerframework.qualframework.base.QualifiedTypes<Q>
• org.checkerframework.qualframework.base.QualifiedTypeVisitor<Q,R,P>
• org.checkerframework.qualframework.base.QualifierHierarchy<Q>
• 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.qualframework.base.TypeHierarchy<Q>
• org.checkerframework.common.basetype.TypeValidator
• org.checkerframework.checker.units.UnitsRelations
• org.checkerframework.stubparser.ast.visitor.VoidVisitor<A>

Annotation Type Hierarchy

• org.checkerframework.checker.compilermsgs.qual.CompilerMessageKey (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.experimental.tainting_qual.qual.PolyTainted (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.experimental.tainting_qual.qual.Untainted (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.experimental.tainting_qual.qual.Tainted (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.fenum.qual.AwtCursorType (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.fenum.qual.FenumUnqualified (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.fenum.qual.SwingElementOrientation (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.fenum.qual.SwingTitlePosition (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.fenum.qual.SwingBoxOrientation (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.fenum.qual.SwingTitleJustification (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.fenum.qual.SwingCompassDirection (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.fenum.qual.SwingVerticalOrientation (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.fenum.qual.SwingTextOrientation (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.fenum.qual.AwtAlphaCompositingRule (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.fenum.qual.AwtFlowLayout (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.fenum.qual.FenumTop (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.fenum.qual.Fenum (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.fenum.qual.FenumBottom (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.fenum.qual.AwtColorSpace (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.fenum.qual.SwingHorizontalOrientation (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.fenum.qual.SwingSplitPaneOrientation (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.formatter.qual.InvalidFormat (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.formatter.qual.FormatBottom (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.formatter.qual.FormatMethod (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.formatter.qual.UnknownFormat (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.formatter.qual.ReturnsFormat (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.formatter.qual.Format (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.guieffect.qual.PolyUIType (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.guieffect.qual.AlwaysSafe (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.guieffect.qual.UIType (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.guieffect.qual.UI (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.guieffect.qual.PolyUI (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.guieffect.qual.UIEffect (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.guieffect.qual.SafeType (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.guieffect.qual.SafeEffect (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.guieffect.qual.PolyUIEffect (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.guieffect.qual.UIPackage (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.i18n.qual.LocalizableKey (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.i18n.qual.Localized (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.i18n.qual.UnknownLocalized (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.i18nformatter.qual.I18nUnknownFormat (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.i18nformatter.qual.I18nMakeFormat (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.i18nformatter.qual.I18nInvalidFormat (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.i18nformatter.qual.I18nChecksFormat (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.i18nformatter.qual.I18nFormatFor (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.I18nFormatBottom (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.igj.qual.Assignable (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.igj.qual.I (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.igj.qual.AssignsFields (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.igj.qual.Immutable (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.igj.qual.ReadOnly (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.igj.qual.Mutable (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.igj.qual.IGJBottom (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.initialization.qual.UnknownInitialization (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.initialization.qual.UnderInitialization (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.initialization.qual.FBCBottom (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.initialization.qual.NotOnlyInitialized (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.initialization.qual.Initialized (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.interning.qual.UsesObjectEquals (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.interning.qual.PolyInterned (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.interning.qual.UnknownInterned (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.interning.qual.Interned (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.javari.qual.Assignable (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.javari.qual.PolyRead (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.javari.qual.ThisMutable (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.javari.qual.ReadOnly (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.javari.qual.Mutable (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.javari.qual.QReadOnly (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.linear.qual.Normal (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.linear.qual.Linear (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.linear.qual.Unusable (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.lock.qual.Holding (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.lock.qual.LockPossiblyHeld (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.lock.qual.EnsuresLockHeld (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.lock.qual.HoldingOnEntry (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.LockHeld (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.KeyForType (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.nullness.compatqual.KeyForDecl (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.nullness.compatqual.PolyNullType (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.nullness.compatqual.NonNullDecl (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.nullness.compatqual.PolyNullDecl (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.nullness.compatqual.NullableDecl (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.nullness.compatqual.NonNullType (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.nullness.compatqual.NullableType (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.nullness.qual.PolyNull (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.nullness.qual.PolyRaw (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.nullness.qual.KeyFor (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.nullness.qual.KeyForBottom (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.nullness.qual.AssertNonNullIfNonNull (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.nullness.qual.RequiresNonNull (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.nullness.qual.Covariant (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.nullness.qual.EnsuresNonNull (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.nullness.qual.PolyKeyFor (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.nullness.qual.Raw (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.nullness.qual.MonotonicNonNull (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.nullness.qual.NonNull (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.nullness.qual.Nullable (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.nullness.qual.EnsuresNonNullIf (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.nullness.qual.UnknownKeyFor (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.nullness.qual.LazyNonNull (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.nullness.qual.NonRaw (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.oigj.qual.Dominator (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.oigj.qual.Modifier (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.oigj.qual.Assignable (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.oigj.qual.I (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.oigj.qual.AssignsFields (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.oigj.qual.OIGJMutabilityBottom (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.oigj.qual.Immutable (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.oigj.qual.World (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.oigj.qual.ReadOnly (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.oigj.qual.WildCard (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.oigj.qual.O (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.oigj.qual.Mutable (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.propkey.qual.PropertyKeyBottom (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.propkey.qual.PropertyKey (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.propkey.qual.UnknownPropertyKey (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.regex.classic.qual.UnknownRegex (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.regex.classic.qual.PartialRegex (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.regex.classic.qual.RegexBottom (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.regex.classic.qual.PolyRegex (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.regex.qual.MultiVar (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.regex.qual.MultiPolyRegex (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.regex.qual.Wild (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.regex.qual.MultiWild (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.regex.qual.MethodRegexParam (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.regex.qual.MultiClassRegexParam (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.regex.qual.MultiRegex (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.regex.qual.Var (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.regex.qual.Regex (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.regex.qual.MultiMethodRegexParam (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.regex.qual.ClassRegexParam (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.regex.qual.PolyRegex (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.signature.qual.FullyQualifiedName (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.signature.qual.ClassGetSimpleName (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.signature.qual.BinaryNameForNonArray (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.signature.qual.MethodDescriptor (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.signature.qual.FieldDescriptor (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.signature.qual.BinaryNameForNonArrayInUnnamedPackage (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.signature.qual.SignatureBottom (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.signature.qual.UnannotatedString (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.signature.qual.InternalForm (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.signature.qual.BinaryName (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.signature.qual.BinaryNameInUnnamedPackage (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.signature.qual.FieldDescriptorForArray (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.signature.qual.ClassGetName (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.signature.qual.SourceNameForNonArrayNonInner (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.signature.qual.IdentifierOrArray (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.signature.qual.SourceNameForNonInner (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.signature.qual.PolySignature (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.signature.qual.Identifier (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.tainting.classic.qual.PolyTainted (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.tainting.classic.qual.Untainted (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.tainting.classic.qual.Tainted (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.tainting.qual.MultiVar (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.tainting.qual.PolyTainted (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.tainting.qual.Wild (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.tainting.qual.MethodTaintingParam (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.tainting.qual.MultiWild (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.tainting.qual.ClassTaintingParam (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.tainting.qual.Var (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.tainting.qual.MultiPolyTainted (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.tainting.qual.MultiMethodTaintingParam (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.tainting.qual.Untainted (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.tainting.qual.MultiClassTaintingParam (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.tainting.qual.MultiUntainted (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.tainting.qual.MultiTainted (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.tainting.qual.Tainted (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.units.qual.Time (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.units.qual.UnitsMultiple (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.units.qual.kmPERh (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.units.qual.m2 (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.units.qual.mPERs (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.units.qual.kg (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.units.qual.g (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.units.qual.C (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.units.qual.mPERs2 (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.units.qual.Acceleration (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.units.qual.A (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.units.qual.Length (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.units.qual.Luminance (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.units.qual.km (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.units.qual.mm2 (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.units.qual.s (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.units.qual.K (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.units.qual.cd (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.units.qual.mol (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.units.qual.Current (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.units.qual.m (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.units.qual.Speed (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.units.qual.UnitsBottom (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.units.qual.radians (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.units.qual.Area (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.units.qual.Temperature (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.units.qual.Substance (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.units.qual.UnitsRelations (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.units.qual.min (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.units.qual.Angle (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.units.qual.h (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.units.qual.mm (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.units.qual.Mass (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.units.qual.km2 (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.units.qual.UnknownUnits (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.units.qual.MixedUnits (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.units.qual.degrees (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.units.qual.PolyUnit (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.dataflow.qual.LockingFree (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.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.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.FieldIsExpression (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.TestSuite.Name (implements java.lang.annotation.Annotation)
• org.checkerframework.framework.util.PurityUnqualified (implements java.lang.annotation.Annotation)
• org.checkerframework.qualframework.base.TypeMirrorConverter.Key (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.experimental.tainting_qual.Tainting
    • 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.tainting.Tainting
    • 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.PluginUtil.CheckerProp
    • org.checkerframework.framework.util.AtmCombo
    • org.checkerframework.qualframework.poly.qual.Wildcard