C# 클래스 Microsoft.Automata.MSO.Mona.MonaPredDecl

상속: MonaDecl
파일 보기 프로젝트 열기: AutomataDotNet/Automata

공개 프로퍼티들

프로퍼티 타입 설명
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