C# Class Microsoft.Fast.FastTransducerInstance

Mostra 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_oe property

public Dictionary alphabets
return	RankedAlphabetSort>.Dictionary

consts public_oe property

public List consts
return	List

enums public_oe property

public List enums
return	List

functions public_oe property

public List functions
return	List

queryRes public_oe property

public List queryRes
return	List

treeDefinitions public_oe property

public Dictionary treeDefinitions
return	TreeClassDef>.Dictionary