Uses of Class
pascal.taie.analysis.graph.icfg.ReturnEdge

Packages that use ReturnEdge

Package	Description
pascal.taie.analysis.dataflow.inter

Uses of ReturnEdge in pascal.taie.analysis.dataflow.inter

Methods in pascal.taie.analysis.dataflow.inter with parameters of type ReturnEdge

Modifier and Type	Method	Description
protected abstract Fact	AbstractInterDataflowAnalysis.transferReturnEdge(ReturnEdge<Node> edge, Fact returnOut)
protected CPFact	InterConstantPropagation.transferReturnEdge(ReturnEdge<Stmt> edge, CPFact returnOut)