Uses of Class
pascal.taie.analysis.graph.cfg.CFGEdge

Packages that use CFGEdge

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

Uses of CFGEdge in pascal.taie.analysis.dataflow.analysis

Methods in pascal.taie.analysis.dataflow.analysis with parameters of type CFGEdge

Modifier and Type	Method	Description
boolean	AbstractDataflowAnalysis.needTransferEdge(CFGEdge<Node> edge)	By default, a data-flow analysis does not have edge transfer, i.e., does not need to perform transfer for any edges.
boolean	DataflowAnalysis.needTransferEdge(CFGEdge<Node> edge)
Fact	AbstractDataflowAnalysis.transferEdge(CFGEdge<Node> edge, Fact nodeFact)
Fact	DataflowAnalysis.transferEdge(CFGEdge<Node> edge, Fact nodeFact)	Edge Transfer function for this analysis.

Uses of CFGEdge in pascal.taie.analysis.dataflow.analysis.constprop

Methods in pascal.taie.analysis.dataflow.analysis.constprop with parameters of type CFGEdge

Modifier and Type	Method	Description
boolean	ConstantPropagation.Analysis.needTransferEdge(CFGEdge<Stmt> edge)
CPFact	ConstantPropagation.Analysis.transferEdge(CFGEdge<Stmt> edge, CPFact nodeFact)

Uses of CFGEdge in pascal.taie.analysis.graph.cfg

Methods in pascal.taie.analysis.graph.cfg that return types with arguments of type CFGEdge

Modifier and Type	Method	Description
Set<CFGEdge<N>>	CFG.getInEdgesOf(N node)
Set<CFGEdge<N>>	CFG.getOutEdgesOf(N node)

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

Methods in pascal.taie.analysis.graph.icfg that return CFGEdge

Modifier and Type	Method	Description
CFGEdge<Node>	NormalEdge.getCFGEdge()

Constructors in pascal.taie.analysis.graph.icfg with parameters of type CFGEdge

Modifier	Constructor	Description
	CallToReturnEdge(CFGEdge<Node> edge)