C# Class Microsoft.Fast.AST.ConstDef

Inheritance: Def

Exibir arquivo 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_oe property

public FExp,Microsoft.Fast.AST expr
return	FExp

name public_oe property

public FastToken,Microsoft.Fast.AST name
return	FastToken

sort public_oe property

public FastSort,Microsoft.Fast.AST sort
return	FastSort