C# Class Microsoft.Fast.AST.TransNameExp

Inheritance: BuiltinTransExp
Mostra file Open project: AutomataDotNet/Automata

Public Methods

Method Description
PrettyPrint ( StringBuilder sb ) : void
ToString ( ) : string
TransNameExp ( FastToken func ) : System

Private Methods

Method Description
BTECheckSorts ( Def>.Dictionary defs, FastPgm pgm ) : void

Method Details

PrettyPrint() public method

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

ToString() public method

public ToString ( ) : string
return string

TransNameExp() public method

public TransNameExp ( FastToken func ) : System
func FastToken
return System