C# Class Microsoft.Fast.FastTransducerInstance

Show file Open project: AutomataDotNet/Automata Class Usage Examples

Public Properties

Property	Type	Description
alphabets	RankedAlphabetSort>.Dictionary
consts	List
enums	List
functions	List
queryRes	List
treeDefinitions	TreeClassDef>.Dictionary

Public Methods

Method	Description
DisposeZ3P ( ) : void	Dispose the context
MkFastTransducerInstance ( FastPgm fpg ) : FastTransducerInstance	Generate a FastTransducerInstance from a Fast program
MkFastTransducerInstance ( FastPgm fpg, TextWriter tw, LogLevel lv ) : FastTransducerInstance	Generate a FastTransducerInstance from a Fast program
ToFast ( StringBuilder sb ) : void	Generates the corresponding Fast code

Private Methods

Method	Description
FastTransducerInstance ( ) : System
FastTransducerInstance ( TextWriter tw ) : System
GenerateAlphabetSorts ( List defs, FastTransducerInstance fti ) : bool
GenerateConst ( ConstDef def, FastTransducerInstance fti ) : bool
GenerateConstsAndFunctions ( List constFunDefs, FastTransducerInstance fti ) : bool
GenerateDefinitions ( Def>.Dictionary defs, FastTransducerInstance fti ) : bool
GenerateEnumSort ( EnumDef def, FastTransducerInstance fti ) : bool
GenerateEnumSorts ( List enumDefs, FastTransducerInstance fti ) : bool
GenerateFunction ( FunctionDef def, FastTransducerInstance fti ) : bool
GenerateLanguagesAndTransductions ( Def>.Dictionary defs, FastTransducerInstance fti ) : bool
GenerateQueryResult ( QueryDef query, Def>.Dictionary defs, FastTransducerInstance fti ) : bool
GenerateQueryResults ( List queryDefs, Def>.Dictionary defs, FastTransducerInstance fti ) : bool
GenerateTreeClass ( Def>.Dictionary defs, FastTransducerInstance fti, RankedAlphabetSort ras ) : bool
GenerateTreeClasses ( Def>.Dictionary defs, FastTransducerInstance fti ) : bool

Method Details

DisposeZ3P() public static method

Dispose the context

public static DisposeZ3P ( ) : void
return	void

MkFastTransducerInstance() public static method

Generate a FastTransducerInstance from a Fast program

public static MkFastTransducerInstance ( FastPgm fpg ) : FastTransducerInstance
fpg	Microsoft.Fast.AST.FastPgm	the fast program
return	FastTransducerInstance

MkFastTransducerInstance() public static method

Generate a FastTransducerInstance from a Fast program

public static MkFastTransducerInstance ( FastPgm fpg, TextWriter tw, LogLevel lv ) : FastTransducerInstance
fpg	Microsoft.Fast.AST.FastPgm	the fast program
tw	System.IO.TextWriter
lv	LogLevel
return	FastTransducerInstance

ToFast() public method

Generates the corresponding Fast code

public ToFast ( StringBuilder sb ) : void
sb	StringBuilder	string builder to append the generated code
return	void

Property Details

alphabets public property

public Dictionary alphabets
return	RankedAlphabetSort>.Dictionary

consts public property

public List consts
return	List

enums public property

public List enums
return	List

functions public property

public List functions
return	List

queryRes public property

public List queryRes
return	List

treeDefinitions public property

public Dictionary treeDefinitions
return	TreeClassDef>.Dictionary