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

Packages that use ICFGEdge

Package	Description
pascal.taie.analysis.dataflow.inter
pascal.taie.analysis.graph.icfg	Provides the classes necessary to represent an inter-procedural control-flow graph (ICFG).

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

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

Modifier and Type	Method	Description
Fact	AbstractInterDataflowAnalysis.transferEdge(ICFGEdge<Node> edge, Fact out)	Dispatches ICFGEdge to specific edge transfer functions according to the concrete type of ICFGEdge.
Fact	InterDataflowAnalysis.transferEdge(ICFGEdge<Node> edge, Fact out)	Edge Transfer function for this analysis.

Uses of ICFGEdge in pascal.taie.analysis.graph.icfg

Subclasses of ICFGEdge in pascal.taie.analysis.graph.icfg

Modifier and Type	Class	Description
class	CallEdge<Node>	The edge connecting a call site to method entry of the callee.
class	CallToReturnEdge<Node>	The edge connecting a call site and its return site.
class	NormalEdge<Node>	The edge connecting nodes in the same method.
class	ReturnEdge<Node>	The edge connecting a method exit to return site of the call site.

Methods in pascal.taie.analysis.graph.icfg that return types with arguments of type ICFGEdge

Modifier and Type	Method	Description
Set<ICFGEdge<Node>>	ICFG.getInEdgesOf(Node node)
Set<ICFGEdge<Node>>	ICFG.getOutEdgesOf(Node node)