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

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

Private Properties

Свойство Type Description
TypeCheck void

Méthodes publiques

Méthode Description
MonaIsEmpty ( Token token, MonaExpr term ) : System
Print ( StringBuilder sb ) : void

Private Methods

Méthode Description
TypeCheck ( MonaDecl>.Dictionary globals, MonaParam>.MapStack locals ) : void

Method Details

MonaIsEmpty() public méthode

public MonaIsEmpty ( Token token, MonaExpr term ) : System
token Token
term MonaExpr
Résultat System

Print() public méthode

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