C# Class Microsoft.Fast.AST.AlphabetDef

Inheritance: Def
Afficher le fichier Open project: AutomataDotNet/Automata Class Usage Examples

Méthodes publiques

Свойство Type Description
attrSort RecordSort
sort FastSort
symbols List

Méthodes publiques

Méthode 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

Méthode Description
IsValidSymbol ( FastToken symb, int arity ) : bool
Typecheck ( FastPgm pgm ) : void

Method Details

AddAttributes() public méthode

public AddAttributes ( FastToken>.IEnumerable attrs ) : void
attrs FastToken>.IEnumerable
Résultat void

AddConstructors() public méthode

public AddConstructors ( FastToken>.IEnumerable contructors ) : void
contructors FastToken>.IEnumerable
Résultat void

AlphabetDef() public méthode

public AlphabetDef ( FastToken name, FastToken>.IEnumerable attrs, FastToken>.IEnumerable constructors ) : System
name FastToken
attrs FastToken>.IEnumerable
constructors FastToken>.IEnumerable
Résultat System

PrettyPrint() public méthode

public PrettyPrint ( StringBuilder sb ) : void
sb StringBuilder
Résultat void

Property Details

attrSort public_oe property

public RecordSort,Microsoft.Fast.AST attrSort
Résultat RecordSort

sort public_oe property

public FastSort,Microsoft.Fast.AST sort
Résultat FastSort

symbols public_oe property

public List symbols
Résultat List