C# Class PHPAnalysis.Analysis.CFG.ForwardTraversal

Inheritance: ITraversalTechnique

Afficher le fichier Open project: jtvn/Eir-CTLLTL

Méthodes publiques

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

Method Details

EdgeTarget() public méthode

public EdgeTarget ( Edge edge ) : CFGBlock
edge	Edge
Résultat	PHPAnalysis.Data.CFG.CFGBlock

GetStartBlocks() public méthode

public GetStartBlocks ( EdgeTag>.IBidirectionalGraph graph ) : IEnumerable
graph	EdgeTag>.IBidirectionalGraph
Résultat	IEnumerable

NextEdges() public méthode

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