Hierarchy For All Packages

Package Hierarchies:

• 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.javacutil,
• org.checkerframework.javacutil.dist,
• org.checkerframework.javacutil.trees

Class Hierarchy

• java.lang.Object
  • org.checkerframework.dataflow.cfg.node.AbstractNodeVisitor<R,P> (implements org.checkerframework.dataflow.cfg.node.NodeVisitor<R,P>)
    • org.checkerframework.dataflow.constantpropagation.ConstantPropagationTransfer (implements org.checkerframework.dataflow.analysis.TransferFunction<A,S>)
  • javax.annotation.processing.AbstractProcessor (implements javax.annotation.processing.Processor)
    • org.checkerframework.javacutil.AbstractTypeProcessor
      • org.checkerframework.javacutil.BasicTypeProcessor
  • org.checkerframework.dataflow.analysis.Analysis<A,S,T>
  • 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.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.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.dataflow.cfg.CFGBuilder
  • 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.javacutil.CollectionUtils
  • org.checkerframework.dataflow.constantpropagation.Constant (implements org.checkerframework.dataflow.analysis.AbstractValue<V>)
  • org.checkerframework.dataflow.cfg.playground.ConstantPropagationPlayground
  • org.checkerframework.dataflow.constantpropagation.ConstantPropagationStore (implements org.checkerframework.dataflow.analysis.Store<S>)
  • org.checkerframework.dataflow.cfg.ControlFlowGraph
  • org.checkerframework.dataflow.cfg.DOTCFGVisualizer<A,S,T> (implements org.checkerframework.dataflow.cfg.CFGVisualizer<A,S,T>)
  • org.checkerframework.javacutil.ElementUtils
  • org.checkerframework.javacutil.ErrorReporter
  • org.checkerframework.dataflow.analysis.FlowExpressions
  • org.checkerframework.dataflow.analysis.FlowExpressions.Receiver
    • org.checkerframework.dataflow.analysis.FlowExpressions.ArrayAccess
    • org.checkerframework.dataflow.analysis.FlowExpressions.ArrayCreation
    • org.checkerframework.dataflow.analysis.FlowExpressions.ClassName
    • org.checkerframework.dataflow.analysis.FlowExpressions.FieldAccess
    • org.checkerframework.dataflow.analysis.FlowExpressions.LocalVariable
    • org.checkerframework.dataflow.analysis.FlowExpressions.MethodCall
    • org.checkerframework.dataflow.analysis.FlowExpressions.ThisReference
    • org.checkerframework.dataflow.analysis.FlowExpressions.Unknown
    • org.checkerframework.dataflow.analysis.FlowExpressions.ValueLiteral
  • org.checkerframework.dataflow.util.HashCodeUtils
  • org.checkerframework.javacutil.InternalUtils
  • org.checkerframework.dataflow.cfg.JavaSource2CFGDOT
  • org.checkerframework.javacutil.dist.ManualTaglet (implements com.sun.tools.doclets.Taglet)
  • org.checkerframework.dataflow.util.MostlySingleton<T> (implements java.util.Set<E>)
  • 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.dataflow.util.NodeUtils
  • org.checkerframework.javacutil.Pair<V1,V2>
  • org.checkerframework.dataflow.util.PurityChecker
  • org.checkerframework.dataflow.util.PurityChecker.PurityResult
  • org.checkerframework.dataflow.util.PurityUtils
  • org.checkerframework.javacutil.Resolver
  • com.sun.source.util.SimpleTreeVisitor<R,P> (implements com.sun.source.tree.TreeVisitor<R,P>)
    • org.checkerframework.dataflow.util.PurityChecker.PurityCheckerHelper
  • 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.javacutil.trees.TreeParser
  • com.sun.source.util.TreeScanner<R,P> (implements com.sun.source.tree.TreeVisitor<R,P>)
    • com.sun.source.util.TreePathScanner<R,P>
      • org.checkerframework.dataflow.cfg.CFGBuilder.CFGTranslationPhaseOne
  • org.checkerframework.javacutil.TreeUtils
  • org.checkerframework.javacutil.TypeAnnotationUtils
  • org.checkerframework.javacutil.TypesUtils
  • org.checkerframework.dataflow.cfg.UnderlyingAST
    • org.checkerframework.dataflow.cfg.UnderlyingAST.CFGLambda
    • org.checkerframework.dataflow.cfg.UnderlyingAST.CFGMethod
    • org.checkerframework.dataflow.cfg.UnderlyingAST.CFGStatement

Interface Hierarchy

• org.checkerframework.dataflow.analysis.AbstractValue<V>
• org.checkerframework.javacutil.AnnotationProvider
• org.checkerframework.dataflow.cfg.block.Block
  • org.checkerframework.dataflow.cfg.block.ConditionalBlock
  • org.checkerframework.dataflow.cfg.block.ExceptionBlock
  • org.checkerframework.dataflow.cfg.block.RegularBlock
  • org.checkerframework.dataflow.cfg.block.SingleSuccessorBlock
    • org.checkerframework.dataflow.cfg.block.ExceptionBlock
    • org.checkerframework.dataflow.cfg.block.RegularBlock
    • org.checkerframework.dataflow.cfg.block.SpecialBlock
  • org.checkerframework.dataflow.cfg.block.SpecialBlock
• org.checkerframework.dataflow.cfg.CFGBuilder.CFGTranslationPhaseThree.PredecessorHolder
• org.checkerframework.dataflow.cfg.CFGBuilder.TryFrame
• org.checkerframework.dataflow.cfg.CFGVisualizer<A,S,T>
• org.checkerframework.javacutil.ErrorHandler
• org.checkerframework.dataflow.cfg.node.NodeVisitor<R,P>
  • org.checkerframework.dataflow.analysis.TransferFunction<A,S>
• org.checkerframework.dataflow.analysis.Store<S>

Annotation Type Hierarchy

• 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)

Enum Hierarchy

• java.lang.Object
  • java.lang.Enum<E> (implements java.lang.Comparable<T>, java.io.Serializable)
    • 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