C# Class Microsoft.Fast.AST.ConstDef

Inheritance: Def

Show file Open project: AutomataDotNet/Automata Class Usage Examples

Public Properties

Property	Type	Description
expr	FExp
name	FastToken
sort	FastSort

Public Methods

Method	Description
ConstDef ( FastToken name, FastToken sort, FExp expr ) : System
PrettyPrint ( StringBuilder sb ) : void

Private Methods

Method	Description
Typecheck ( FastPgm pgm ) : void

Method Details

ConstDef() public method

public ConstDef ( FastToken name, FastToken sort, FExp expr ) : System
name	FastToken
sort	FastToken
expr	FExp
return	System

PrettyPrint() public method

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

Property Details

expr public property

public FExp,Microsoft.Fast.AST expr
return	FExp

name public property

public FastToken,Microsoft.Fast.AST name
return	FastToken

sort public property

public FastSort,Microsoft.Fast.AST sort
return	FastSort