C# Class Microsoft.Automata.MSO.Mona.MonaLet

Inheritance: MonaExpr
Afficher le fichier Open project: AutomataDotNet/Automata

Méthodes publiques

Свойство Type Description
let_vars MonaParam>.Dictionary
lets MonaExpr>>.Cons

Méthodes publiques

Méthode Description
Print ( StringBuilder sb ) : void

Private Methods

Méthode Description
MonaLet ( Token letkind, MonaExpr>.Cons lets, MonaExpr formula, MonaParam>.Dictionary let_vars ) : System
PrintLet ( MonaExpr>.Tuple t ) : string
TypeCheck ( MonaDecl>.Dictionary globals, MonaParam>.MapStack locals ) : void

Method Details

Print() public méthode

public Print ( StringBuilder sb ) : void
sb StringBuilder
Résultat void

Property Details

let_vars public_oe property

public Dictionary let_vars
Résultat MonaParam>.Dictionary

lets public_oe property

public Cons> lets
Résultat MonaExpr>>.Cons