Hierarchy For Package org.checkerframework.dataflow.analysis

Package Hierarchies:

• All Packages

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.analysis.AnalysisResult<V,S> (implements org.plumelib.util.UniqueId)
  • 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.BinaryOperation
    • 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.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>

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.node.NodeVisitor<R,P>
  • 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>

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.analysis.Analysis.Direction