• Главная
• Microsoft
• Fast
• FastTransducerInstance

C# Класс Microsoft.Fast.FastTransducerInstance

Показать файл Открыть проект Примеры использования класса

Открытые свойства

Свойство	Тип	Описание
alphabets	RankedAlphabetSort>.Dictionary
consts	List
enums	List
functions	List
queryRes	List
treeDefinitions	TreeClassDef>.Dictionary

Открытые методы

Метод	Описание
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

Приватные методы

Метод	Описание
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

Описание методов

Описание свойств