C# Class Microsoft.Fast.AST.AlphabetDef

Inheritance: Def

Show file Open project: AutomataDotNet/Automata Class Usage Examples

Public Properties

Property	Type	Description
attrSort	RecordSort
sort	FastSort
symbols	List

Public Methods

Method	Description
AddAttributes ( FastToken>.IEnumerable attrs ) : void
AddConstructors ( FastToken>.IEnumerable contructors ) : void
AlphabetDef ( FastToken name, FastToken>.IEnumerable attrs, FastToken>.IEnumerable constructors ) : System
PrettyPrint ( StringBuilder sb ) : void

Private Methods

Method	Description
IsValidSymbol ( FastToken symb, int arity ) : bool
Typecheck ( FastPgm pgm ) : void

Method Details

AddAttributes() public method

public AddAttributes ( FastToken>.IEnumerable attrs ) : void
attrs	FastToken>.IEnumerable
return	void

AddConstructors() public method

public AddConstructors ( FastToken>.IEnumerable contructors ) : void
contructors	FastToken>.IEnumerable
return	void

AlphabetDef() public method

public AlphabetDef ( FastToken name, FastToken>.IEnumerable attrs, FastToken>.IEnumerable constructors ) : System
name	FastToken
attrs	FastToken>.IEnumerable
constructors	FastToken>.IEnumerable
return	System

PrettyPrint() public method

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

Property Details

attrSort public property

public RecordSort,Microsoft.Fast.AST attrSort
return	RecordSort

sort public property

public FastSort,Microsoft.Fast.AST sort
return	FastSort

symbols public property

public List symbols
return	List