C# Class PHPAnalysis.Analysis.CTLLTL.CTLLTL

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

Méthodes publiques

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

Private Methods

Méthode	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 méthode

public CTLLTL ( ) : System
Résultat	System

makeModel() public méthode

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