C# Class Microsoft.Fast.AST.AlphabetDef

Inheritance: Def

Exibir arquivo 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_oe property

public RecordSort,Microsoft.Fast.AST attrSort
return	RecordSort

sort public_oe property

public FastSort,Microsoft.Fast.AST sort
return	FastSort

symbols public_oe property

public List symbols
return	List