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.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 Class Hierarchy

• java.lang.Object
  • java.lang.Enum<E> (implements java.lang.Comparable<T>, java.lang.constant.Constable, java.io.Serializable)
    • org.checkerframework.dataflow.analysis.Analysis.BeforeOrAfter
    • org.checkerframework.dataflow.analysis.Analysis.Direction
    • org.checkerframework.dataflow.analysis.Store.FlowRule
    • org.checkerframework.dataflow.analysis.Store.Kind