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