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

Inheritance: MonaExpr

Mostrar archivo Open project: AutomataDotNet/Automata

Private Properties

Property	Type	Description
TypeCheck	void

Public Methods

Method	Description
MonaIsEmpty ( Token token, MonaExpr term ) : System
Print ( StringBuilder sb ) : void

Private Methods

Method	Description
TypeCheck ( MonaDecl>.Dictionary globals, MonaParam>.MapStack locals ) : void

Method Details

MonaIsEmpty() public method

public MonaIsEmpty ( Token token, MonaExpr term ) : System
token	Token
term	MonaExpr
return	System

Print() public method

public Print ( StringBuilder sb ) : void
sb	StringBuilder
return	void