Class Hierarchy
- java.lang.Object
- pascal.taie.util.graph.AbstractEdge<N> (implements pascal.taie.util.graph.Edge<N>)
- pascal.taie.analysis.graph.icfg.ICFGEdge<Node>
- pascal.taie.analysis.graph.icfg.CallEdge<Node>
- pascal.taie.analysis.graph.icfg.CallToReturnEdge<Node>
- pascal.taie.analysis.graph.icfg.NormalEdge<Node>
- pascal.taie.analysis.graph.icfg.ReturnEdge<Node>
- pascal.taie.analysis.graph.icfg.ICFGEdge<Node>
- pascal.taie.analysis.Analysis
- pascal.taie.analysis.ProgramAnalysis<R>
- pascal.taie.analysis.graph.icfg.ICFGBuilder
- pascal.taie.analysis.ProgramAnalysis<R>
- pascal.taie.util.graph.AbstractEdge<N> (implements pascal.taie.util.graph.Edge<N>)
Interface Hierarchy
- java.lang.Iterable<T>
- pascal.taie.util.graph.Graph<N> (also extends java.io.Serializable)
- pascal.taie.analysis.graph.icfg.ICFG<Method,
Node>
- pascal.taie.analysis.graph.icfg.ICFG<Method,
- pascal.taie.util.graph.Graph<N> (also extends java.io.Serializable)
- java.io.Serializable