Hierarchy For Package org.checkerframework.dataflow.analysis

Package Hierarchies:

• All Packages

Class Hierarchy

• java.lang.Object
  • 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>
  • 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.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>

Interface Hierarchy

• org.checkerframework.dataflow.analysis.AbstractValue<V>
• org.checkerframework.dataflow.cfg.node.NodeVisitor<R,P>
  • org.checkerframework.dataflow.analysis.TransferFunction<A,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