C# Class Microsoft.Fast.AST.TransDefDef

Inheritance: DefDef

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

Méthodes publiques

Свойство	Type	Description
expr	BuiltinTransExp
range	FastSort

Méthodes publiques

Méthode	Description
PrettyPrint ( StringBuilder sb ) : void
TransDefDef ( FastToken name, FastToken alphabet1, FastToken alphabet2, BuiltinTransExp expr ) : System

Private Methods

Méthode	Description
Typecheck ( FastPgm pgm ) : void

Method Details

PrettyPrint() public méthode

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

TransDefDef() public méthode

public TransDefDef ( FastToken name, FastToken alphabet1, FastToken alphabet2, BuiltinTransExp expr ) : System
name	FastToken
alphabet1	FastToken
alphabet2	FastToken
expr	BuiltinTransExp
Résultat	System

Property Details

expr public_oe property

public BuiltinTransExp,Microsoft.Fast.AST expr
Résultat	BuiltinTransExp

range public_oe property

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