C# Class Microsoft.Fast.AST.TreeWitnessDef

Inheritance: TreeDef

显示文件 Open project: AutomataDotNet/Automata

Public Properties

Property	Type	Description
expr	FExp
language	BuiltinLangExp

Public Methods

Method	Description
PrettyPrint ( StringBuilder sb ) : void
TreeWitnessDef ( FastToken acc, FastToken alphabet, BuiltinLangExp language ) : System

Private Methods

Method	Description
Typecheck ( FastPgm pgm ) : void

Method Details

PrettyPrint() public method

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

TreeWitnessDef() public method

public TreeWitnessDef ( FastToken acc, FastToken alphabet, BuiltinLangExp language ) : System
acc	FastToken
alphabet	FastToken
language	BuiltinLangExp
return	System

Property Details

expr public_oe property

public FExp,Microsoft.Fast.AST expr
return	FExp

language public_oe property

public BuiltinLangExp,Microsoft.Fast.AST language
return	BuiltinLangExp