C# Class Microsoft.Fast.AST.FastPgm

The top level Ast. Represents a Fast program.

Inheritance: Ast

Show file Open project: AutomataDotNet/Automata Class Usage Examples

Public Properties

Property	Type	Description
defs	List

Public Methods

Method	Description
Add ( Def def ) : void
Add ( IEnumerable moredefs ) : void
FindAlphabetDef ( FastToken alph ) : AlphabetDef
FindDef ( FastToken id ) : Def
FindEnumDef ( FastToken enu ) : EnumDef
FindFunctionDef ( FastToken func ) : FunctionDef
GetConstantSort ( FastToken id ) : FastSort
Parse ( Stream source, bool typecheck = true ) : FastPgm	Parses a fast program from a source stream. Calls Parser.ParseFromStream.
Parse ( string source, bool typecheck = true ) : FastPgm	Parses a fast program from a source string. Calls Parser.ParseFromString.
PrettyPrint ( StringBuilder sb ) : void
Typecheck ( ) : void

Method Details

Add() public method

public Add ( Def def ) : void
def	Def
return	void

Add() public method

public Add ( IEnumerable moredefs ) : void
moredefs	IEnumerable
return	void

FindAlphabetDef() public method

public FindAlphabetDef ( FastToken alph ) : AlphabetDef
alph	FastToken
return	AlphabetDef

FindDef() public method

public FindDef ( FastToken id ) : Def
id	FastToken
return	Def

FindEnumDef() public method

public FindEnumDef ( FastToken enu ) : EnumDef
enu	FastToken
return	EnumDef

FindFunctionDef() public method

public FindFunctionDef ( FastToken func ) : FunctionDef
func	FastToken
return	FunctionDef

GetConstantSort() public method

public GetConstantSort ( FastToken id ) : FastSort
id	FastToken
return	FastSort

Parse() public static method

Parses a fast program from a source stream. Calls Parser.ParseFromStream.

public static Parse ( Stream source, bool typecheck = true ) : FastPgm
source	Stream	given source stream
typecheck	bool	if false then typechecking is omitted
return	FastPgm

Parse() public static method

Parses a fast program from a source string. Calls Parser.ParseFromString.

public static Parse ( string source, bool typecheck = true ) : FastPgm
source	string	given source string
typecheck	bool	if false then typechecking is omitted
return	FastPgm

PrettyPrint() public method

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

Typecheck() public method

public Typecheck ( ) : void
return	void

Property Details

defs public property

public List defs
return	List