Hierarchy For All Packages

Package Hierarchies:

• org.checkerframework.dataflow.analysis,
• org.checkerframework.dataflow.cfg,
• org.checkerframework.dataflow.cfg.block,
• org.checkerframework.dataflow.cfg.builder,
• org.checkerframework.dataflow.cfg.node,
• org.checkerframework.dataflow.cfg.playground,
• org.checkerframework.dataflow.cfg.visualize,
• org.checkerframework.dataflow.constantpropagation,
• org.checkerframework.dataflow.expression,
• org.checkerframework.dataflow.livevariable,
• org.checkerframework.dataflow.qual,
• org.checkerframework.dataflow.util

Class Hierarchy

• java.lang.Object
  • org.checkerframework.dataflow.analysis.AbstractAnalysis<V,S,T> (implements org.checkerframework.dataflow.analysis.Analysis<V,S,T>)
    • org.checkerframework.dataflow.analysis.BackwardAnalysisImpl<V,S,T> (implements org.checkerframework.dataflow.analysis.BackwardAnalysis<V,S,T>)
    • org.checkerframework.dataflow.analysis.ForwardAnalysisImpl<V,S,T> (implements org.checkerframework.dataflow.analysis.ForwardAnalysis<V,S,T>)
  • org.checkerframework.dataflow.analysis.AbstractAnalysis.Worklist
  • org.checkerframework.dataflow.analysis.AbstractAnalysis.Worklist.BackwardDFOComparator (implements java.util.Comparator<T>)
  • org.checkerframework.dataflow.analysis.AbstractAnalysis.Worklist.ForwardDFOComparator (implements java.util.Comparator<T>)
  • org.checkerframework.dataflow.cfg.visualize.AbstractCFGVisualizer<V,S,T> (implements org.checkerframework.dataflow.cfg.visualize.CFGVisualizer<V,S,T>)
    • org.checkerframework.dataflow.cfg.visualize.DOTCFGVisualizer<V,S,T>
    • org.checkerframework.dataflow.cfg.visualize.StringCFGVisualizer<V,S,T>
  • org.checkerframework.dataflow.util.AbstractMostlySingleton<T> (implements java.util.Set<E>)
    • org.checkerframework.dataflow.util.IdentityMostlySingleton<T>
    • org.checkerframework.dataflow.util.MostlySingleton<T>
  • org.checkerframework.dataflow.cfg.node.AbstractNodeVisitor<R,P> (implements org.checkerframework.dataflow.cfg.node.NodeVisitor<R,P>)
    • org.checkerframework.dataflow.constantpropagation.ConstantPropagationTransfer (implements org.checkerframework.dataflow.analysis.ForwardTransferFunction<V,S>)
    • org.checkerframework.dataflow.livevariable.LiveVarTransfer (implements org.checkerframework.dataflow.analysis.BackwardTransferFunction<V,S>)
  • javax.annotation.processing.AbstractProcessor (implements javax.annotation.processing.Processor)
    • org.checkerframework.javacutil.AbstractTypeProcessor
      • org.checkerframework.javacutil.BasicTypeProcessor
        • org.checkerframework.dataflow.cfg.CFGProcessor
  • org.checkerframework.dataflow.analysis.AnalysisResult<V,S> (implements org.plumelib.util.UniqueId)
  • 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.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.builder.CFGBuilder
  • org.checkerframework.dataflow.cfg.CFGProcessor.CFGProcessResult
  • org.checkerframework.dataflow.cfg.builder.CFGTranslationPhaseThree
  • org.checkerframework.dataflow.cfg.builder.CFGTranslationPhaseTwo
  • org.checkerframework.dataflow.cfg.visualize.CFGVisualizeLauncher
  • 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 (implements org.plumelib.util.UniqueId)
  • org.checkerframework.dataflow.expression.FlowExpressions
  • org.checkerframework.dataflow.cfg.playground.LiveVariablePlayground
  • org.checkerframework.dataflow.livevariable.LiveVarStore (implements org.checkerframework.dataflow.analysis.Store<S>)
  • org.checkerframework.dataflow.livevariable.LiveVarValue (implements org.checkerframework.dataflow.analysis.AbstractValue<V>)
  • org.checkerframework.dataflow.cfg.node.Node (implements org.plumelib.util.UniqueId)
    • org.checkerframework.dataflow.cfg.node.ArrayAccessNode
    • org.checkerframework.dataflow.cfg.node.ArrayCreationNode
    • org.checkerframework.dataflow.cfg.node.ArrayTypeNode
    • org.checkerframework.dataflow.cfg.node.AssertionErrorNode
    • org.checkerframework.dataflow.cfg.node.AssignmentNode
    • org.checkerframework.dataflow.cfg.node.BinaryOperationNode
      • org.checkerframework.dataflow.cfg.node.BitwiseAndNode
      • org.checkerframework.dataflow.cfg.node.BitwiseOrNode
      • org.checkerframework.dataflow.cfg.node.BitwiseXorNode
      • org.checkerframework.dataflow.cfg.node.ConditionalAndNode
      • org.checkerframework.dataflow.cfg.node.ConditionalOrNode
      • org.checkerframework.dataflow.cfg.node.EqualToNode
      • org.checkerframework.dataflow.cfg.node.FloatingDivisionNode
      • org.checkerframework.dataflow.cfg.node.FloatingRemainderNode
      • org.checkerframework.dataflow.cfg.node.GreaterThanNode
      • org.checkerframework.dataflow.cfg.node.GreaterThanOrEqualNode
      • org.checkerframework.dataflow.cfg.node.IntegerDivisionNode
      • org.checkerframework.dataflow.cfg.node.IntegerRemainderNode
      • org.checkerframework.dataflow.cfg.node.LeftShiftNode
      • org.checkerframework.dataflow.cfg.node.LessThanNode
      • org.checkerframework.dataflow.cfg.node.LessThanOrEqualNode
      • org.checkerframework.dataflow.cfg.node.NotEqualNode
      • org.checkerframework.dataflow.cfg.node.NumericalAdditionNode
      • org.checkerframework.dataflow.cfg.node.NumericalMultiplicationNode
      • org.checkerframework.dataflow.cfg.node.NumericalSubtractionNode
      • org.checkerframework.dataflow.cfg.node.SignedRightShiftNode
      • org.checkerframework.dataflow.cfg.node.StringConcatenateNode
      • org.checkerframework.dataflow.cfg.node.UnsignedRightShiftNode
    • org.checkerframework.dataflow.cfg.node.CaseNode
    • org.checkerframework.dataflow.cfg.node.ClassDeclarationNode
    • org.checkerframework.dataflow.cfg.node.ClassNameNode
    • org.checkerframework.dataflow.cfg.node.FieldAccessNode
    • org.checkerframework.dataflow.cfg.node.FunctionalInterfaceNode
    • org.checkerframework.dataflow.cfg.node.InstanceOfNode
    • org.checkerframework.dataflow.cfg.node.LambdaResultExpressionNode
    • org.checkerframework.dataflow.cfg.node.LocalVariableNode
    • org.checkerframework.dataflow.cfg.node.MarkerNode
    • org.checkerframework.dataflow.cfg.node.MethodAccessNode
    • org.checkerframework.dataflow.cfg.node.MethodInvocationNode
    • org.checkerframework.dataflow.cfg.node.NarrowingConversionNode
    • org.checkerframework.dataflow.cfg.node.NullChkNode
    • org.checkerframework.dataflow.cfg.node.ObjectCreationNode
    • org.checkerframework.dataflow.cfg.node.PackageNameNode
    • org.checkerframework.dataflow.cfg.node.ParameterizedTypeNode
    • org.checkerframework.dataflow.cfg.node.PrimitiveTypeNode
    • org.checkerframework.dataflow.cfg.node.ReturnNode
    • org.checkerframework.dataflow.cfg.node.StringConcatenateAssignmentNode
    • org.checkerframework.dataflow.cfg.node.StringConversionNode
    • org.checkerframework.dataflow.cfg.node.SuperNode
    • org.checkerframework.dataflow.cfg.node.SynchronizedNode
    • org.checkerframework.dataflow.cfg.node.TernaryExpressionNode
    • org.checkerframework.dataflow.cfg.node.ThisLiteralNode
      • org.checkerframework.dataflow.cfg.node.ExplicitThisLiteralNode
      • org.checkerframework.dataflow.cfg.node.ImplicitThisLiteralNode
    • org.checkerframework.dataflow.cfg.node.ThrowNode
    • org.checkerframework.dataflow.cfg.node.TypeCastNode
    • org.checkerframework.dataflow.cfg.node.UnaryOperationNode
      • org.checkerframework.dataflow.cfg.node.BitwiseComplementNode
      • org.checkerframework.dataflow.cfg.node.ConditionalNotNode
      • org.checkerframework.dataflow.cfg.node.NumericalMinusNode
      • org.checkerframework.dataflow.cfg.node.NumericalPlusNode
    • org.checkerframework.dataflow.cfg.node.ValueLiteralNode
      • org.checkerframework.dataflow.cfg.node.BooleanLiteralNode
      • org.checkerframework.dataflow.cfg.node.CharacterLiteralNode
      • org.checkerframework.dataflow.cfg.node.DoubleLiteralNode
      • org.checkerframework.dataflow.cfg.node.FloatLiteralNode
      • org.checkerframework.dataflow.cfg.node.IntegerLiteralNode
      • org.checkerframework.dataflow.cfg.node.LongLiteralNode
      • org.checkerframework.dataflow.cfg.node.NullLiteralNode
      • org.checkerframework.dataflow.cfg.node.ShortLiteralNode
      • org.checkerframework.dataflow.cfg.node.StringLiteralNode
    • org.checkerframework.dataflow.cfg.node.VariableDeclarationNode
    • org.checkerframework.dataflow.cfg.node.WideningConversionNode
  • org.checkerframework.dataflow.util.NodeUtils
  • org.checkerframework.dataflow.cfg.builder.PhaseOneResult
  • org.checkerframework.dataflow.util.PurityChecker
  • org.checkerframework.dataflow.util.PurityChecker.PurityResult
  • org.checkerframework.dataflow.util.PurityUtils
  • org.checkerframework.dataflow.expression.Receiver
    • org.checkerframework.dataflow.expression.ArrayAccess
    • org.checkerframework.dataflow.expression.ArrayCreation
    • org.checkerframework.dataflow.expression.BinaryOperation
    • org.checkerframework.dataflow.expression.ClassName
    • org.checkerframework.dataflow.expression.FieldAccess
    • org.checkerframework.dataflow.expression.LocalVariable
    • org.checkerframework.dataflow.expression.MethodCall
    • org.checkerframework.dataflow.expression.ThisReference
    • org.checkerframework.dataflow.expression.Unknown
    • org.checkerframework.dataflow.expression.ValueLiteral
  • org.checkerframework.dataflow.analysis.TransferInput<V,S> (implements org.plumelib.util.UniqueId)
  • org.checkerframework.dataflow.analysis.TransferResult<V,S>
    • org.checkerframework.dataflow.analysis.ConditionalTransferResult<V,S>
    • org.checkerframework.dataflow.analysis.RegularTransferResult<V,S>
  • 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.builder.CFGTranslationPhaseOne
      • org.checkerframework.dataflow.util.PurityChecker.PurityCheckerHelper
  • org.checkerframework.dataflow.cfg.UnderlyingAST (implements org.plumelib.util.UniqueId)
    • 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.dataflow.analysis.Analysis<V,S,T>
  • org.checkerframework.dataflow.analysis.BackwardAnalysis<V,S,T>
  • org.checkerframework.dataflow.analysis.ForwardAnalysis<V,S,T>
• org.checkerframework.dataflow.cfg.builder.CFGTranslationPhaseThree.PredecessorHolder
• org.checkerframework.dataflow.cfg.visualize.CFGVisualizer<V,S,T>
• org.checkerframework.dataflow.cfg.node.NodeVisitor<R,P>
  • org.checkerframework.dataflow.analysis.BackwardTransferFunction<V,S>
  • org.checkerframework.dataflow.analysis.ForwardTransferFunction<V,S>
  • org.checkerframework.dataflow.analysis.TransferFunction<V,S>
    • org.checkerframework.dataflow.analysis.BackwardTransferFunction<V,S>
    • org.checkerframework.dataflow.analysis.ForwardTransferFunction<V,S>
• org.checkerframework.dataflow.analysis.Store<S>
• org.plumelib.util.UniqueId
  • 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

Annotation Type Hierarchy

• org.checkerframework.dataflow.qual.TerminatesExecution (implements java.lang.annotation.Annotation)
• org.checkerframework.dataflow.qual.Deterministic (implements java.lang.annotation.Annotation)
• org.checkerframework.dataflow.qual.SideEffectFree (implements java.lang.annotation.Annotation)
• org.checkerframework.dataflow.qual.Pure (implements java.lang.annotation.Annotation)

Enum Hierarchy

• java.lang.Object
  • java.lang.Enum<E> (implements java.lang.Comparable<T>, java.io.Serializable)
    • org.checkerframework.dataflow.cfg.UnderlyingAST.Kind
    • org.checkerframework.dataflow.cfg.block.Block.BlockType
    • org.checkerframework.dataflow.cfg.block.SpecialBlock.SpecialBlockType
    • org.checkerframework.dataflow.cfg.visualize.AbstractCFGVisualizer.VisualizeWhere
    • org.checkerframework.dataflow.util.AbstractMostlySingleton.State
    • org.checkerframework.dataflow.analysis.Analysis.Direction
    • org.checkerframework.dataflow.analysis.Store.Kind
    • org.checkerframework.dataflow.analysis.Store.FlowRule
    • org.checkerframework.dataflow.constantpropagation.Constant.Type
    • org.checkerframework.dataflow.qual.Pure.Kind