C# Class Microsoft.Fast.AST.AppExp

Inheritance: FExp
Show file Open project: AutomataDotNet/Automata Class Usage Examples

Public Properties

Property Type Description
args List
func FuncSymbol

Public Methods

Method Description
AppExp ( FastToken func, IEnumerable args ) : System
PrettyPrint ( StringBuilder sb ) : void

Private Methods

Method Description
CalcSort ( FastSort>.Func context, FastPgm program ) : void
CheckFunctionExpr ( FastSort>.Dictionary vars, HashSet attrNames, HashSet patternTrees, FastPgm pgm ) : void
CheckSort ( FastSort s ) : void
CheckStandardOps ( FastSort>.Dictionary varsConstsSorts ) : bool
CheckSubtreeGuard ( FastSort>.Dictionary subs, AlphabetDef alph, FastPgm pgm ) : void
CheckTransformation ( HashSet subs, AlphabetDef domAlph, AlphabetDef rangeAlph, FastPgm pgm ) : void
SetConstructorSort ( AlphabetDef alph ) : void

Method Details

AppExp() public method

public AppExp ( FastToken func, IEnumerable args ) : System
func FastToken
args IEnumerable
return System

PrettyPrint() public method

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

Property Details

args public property

public List args
return List

func public property

public FuncSymbol,Microsoft.Fast.AST func
return FuncSymbol