Toggle navigation
Hot Examples
RU
EN
RU
DE
FR
ES
PT
IT
JP
ZH
KO
C#
PHP
C#
Java
Go
C++
Python
JS
TS
Найти
Главная
Microsoft
Automata
MSO
Mona
MonaPredDecl
C# Класс Microsoft.Automata.MSO.Mona.MonaPredDecl
Наследование:
MonaDecl
Показать файл
Открыть проект
Открытые свойства
Свойство
Тип
Описание
formula
MonaExpr
isMacro
bool
name
Token
parameters
Cons
pmap
MonaParam>.Dictionary
Открытые методы
Метод
Описание
Print
(
StringBuilder
sb
) :
void
Приватные методы
Метод
Описание
MonaPredDecl
(
Token
name
,
Cons
parameters
,
MonaParam>.Dictionary
pmap
,
MonaExpr
formula
,
bool
isMacro
= false ) :
System
TypeCheck
(
MonaDecl>.Dictionary
glob
,
MonaParam>.MapStack
loc
) :
void
Описание методов
Print()
публичный
Метод
public
Print
(
StringBuilder
sb
) :
void
sb
StringBuilder
Результат
void
Описание свойств
formula
публичное свойство
public
MonaExpr,Microsoft.Automata.MSO.Mona
formula
Результат
MonaExpr
isMacro
публичное свойство
public
bool
isMacro
Результат
bool
name
публичное свойство
public
Token,Microsoft.Automata.MSO.Mona
name
Результат
Token
parameters
публичное свойство
public
Cons
parameters
Результат
Cons
pmap
публичное свойство
public
Dictionary
pmap
Результат
MonaParam>.Dictionary