C# Class PHPAnalysis.Analysis.CFG.BackwardTraversal

Inheritance: ITraversalTechnique

Exibir arquivo Open project: jtvn/Eir-CTLLTL

Public Methods

Method	Description
EdgeTarget ( Edge edge ) : CFGBlock
GetStartBlocks ( EdgeTag>.IBidirectionalGraph graph ) : IEnumerable
NextEdges ( EdgeTag>.IBidirectionalGraph graph, CFGBlock block ) : EdgeTag>>.IEnumerable

Method Details

EdgeTarget() public method

public EdgeTarget ( Edge edge ) : CFGBlock
edge	Edge
return	PHPAnalysis.Data.CFG.CFGBlock

GetStartBlocks() public method

public GetStartBlocks ( EdgeTag>.IBidirectionalGraph graph ) : IEnumerable
graph	EdgeTag>.IBidirectionalGraph
return	IEnumerable

NextEdges() public method

public NextEdges ( EdgeTag>.IBidirectionalGraph graph, CFGBlock block ) : EdgeTag>>.IEnumerable
graph	EdgeTag>.IBidirectionalGraph
block	PHPAnalysis.Data.CFG.CFGBlock
return	EdgeTag>>.IEnumerable