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

Mostra file Open project: jtvn/Eir-CTLLTL Class Usage Examples

Public Methods

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

Private Methods

Method	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 method

public Analyze ( EdgeTag>.IBidirectionalGraph graph ) : void
graph	EdgeTag>.IBidirectionalGraph
return	void

CFGTraverser() public method

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