C# Class Microsoft.Fast.AST.FunctionDef

Inheritance: Def

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

Méthodes publiques

Свойство	Type	Description
expr	FExp
inputVariables	FastSort>>.List
name	FastToken
outputSort	FastSort
sort	FastSort

Méthodes publiques

Méthode	Description
FunctionDef ( FastToken name, FastSort>.List vars, FastSort outputSort, FExp expr ) : System
PrettyPrint ( StringBuilder sb ) : void

Private Methods

Méthode	Description
Typecheck ( FastPgm pgm ) : void

Method Details

FunctionDef() public méthode

public FunctionDef ( FastToken name, FastSort>.List vars, FastSort outputSort, FExp expr ) : System
name	FastToken
vars	FastSort>.List
outputSort	FastSort
expr	FExp
Résultat	System

PrettyPrint() public méthode

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

Property Details

expr public_oe property

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

inputVariables public_oe property

public List> inputVariables
Résultat	FastSort>>.List

name public_oe property

public FastToken,Microsoft.Fast.AST name
Résultat	FastToken

outputSort public_oe property

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

sort public_oe property

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