C# Class PHPAnalysis.Analysis.CFG.Traversal.CFGTraverser

Afficher le fichier Open project: jtvn/Eir-CTLLTL Class Usage Examples

Méthodes publiques

Méthode	Description
Analyze ( EdgeTag>.IBidirectionalGraph graph ) : void
CFGTraverser ( ITraversalTechnique traversalStrategy, ICFGAnalysis analysis, IWorklist worklist ) : System.Collections.Generic

Private Methods

Méthode	Description
AddStartingBlocksToWorklist ( EdgeTag>.IBidirectionalGraph graph ) : void
Initialize ( EdgeTag>.IBidirectionalGraph graph ) : void
WorklistTraversal ( EdgeTag>.IBidirectionalGraph graph ) : void
WorklistTraversal2 ( EdgeTag>.IBidirectionalGraph graph ) : void

Method Details

Analyze() public méthode

public Analyze ( EdgeTag>.IBidirectionalGraph graph ) : void
graph	EdgeTag>.IBidirectionalGraph
Résultat	void

CFGTraverser() public méthode

public CFGTraverser ( ITraversalTechnique traversalStrategy, ICFGAnalysis analysis, IWorklist worklist ) : System.Collections.Generic
traversalStrategy	ITraversalTechnique
analysis	ICFGAnalysis
worklist	IWorklist
Résultat	System.Collections.Generic