C# Class Microsoft.Fast.AST.DomainExp

Inheritance: BuiltinLangExp
Exibir arquivo Open project: AutomataDotNet/Automata

Public Properties

Property Type Description
arg1 BuiltinTransExp

Public Methods

Method Description
DomainExp ( FastToken func, BuiltinTransExp arg1 ) : System
PrettyPrint ( StringBuilder sb ) : void
ToString ( ) : string

Private Methods

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

Method Details

DomainExp() public method

public DomainExp ( FastToken func, BuiltinTransExp arg1 ) : System
func FastToken
arg1 BuiltinTransExp
return System

PrettyPrint() public method

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

ToString() public method

public ToString ( ) : string
return string

Property Details

arg1 public_oe property

public BuiltinTransExp,Microsoft.Fast.AST arg1
return BuiltinTransExp