C# Class PHPAnalysis.Analysis.CTLLTL.CTLLTL

ファイルを表示 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