C# Class PHPAnalysis.Analysis.CTLLTL.CTLLTL

Datei anzeigen Open project: jtvn/Eir-CTLLTL Class Usage Examples

Public Methods

Method	Description
CTLLTL ( ) : System
makeModel ( EdgeTag>.BidirectionalGraph graph, IncludeResolver resolver, string path ) : void

Private Methods

Method	Description
BFS ( CFGBlock root, EdgeTag>.BidirectionalGraph _graph ) : void
GenSpec ( System file ) : void
GenerateIf ( ) : void
GetBlockName ( CTLLTLNode block ) : void
MakeCNode ( CFGBlock block ) : CTLLTLNode
WriteSpecialStuff ( System file ) : void
WriteToFile ( string path ) : void

Method Details

CTLLTL() public method

public CTLLTL ( ) : System
return	System

makeModel() public method

public makeModel ( EdgeTag>.BidirectionalGraph graph, IncludeResolver resolver, string path ) : void
graph	EdgeTag>.BidirectionalGraph
resolver	PHPAnalysis.Analysis.AST.IncludeResolver
path	string
return	void