Hierarchy For Package pascal.taie.analysis.dataflow.fact

Package Hierarchies:

• All Packages

Class Hierarchy

• java.lang.Object
  • pascal.taie.analysis.dataflow.fact.DataflowResult<Node,Fact> (implements pascal.taie.analysis.dataflow.fact.NodeResult<Node,Fact>)
  • pascal.taie.analysis.dataflow.fact.MapFact<K,V> (implements pascal.taie.util.Copyable<T>)
  • pascal.taie.analysis.dataflow.fact.SetFact<E> (implements pascal.taie.util.Copyable<T>, java.lang.Iterable<T>)
    • pascal.taie.analysis.dataflow.fact.ToppedSetFact<E>

Interface Hierarchy

• pascal.taie.analysis.StmtResult<R>
  • pascal.taie.analysis.dataflow.fact.NodeResult<Node,Fact>