C# 클래스 Microsoft.Fast.AST.ConstDef

상속: Def
파일 보기 프로젝트 열기: AutomataDotNet/Automata 1 사용 예제들

공개 프로퍼티들

프로퍼티 타입 설명
expr FExp
name FastToken
sort FastSort

공개 메소드들

메소드 설명
ConstDef ( FastToken name, FastToken sort, FExp expr ) : System
PrettyPrint ( StringBuilder sb ) : void

비공개 메소드들

메소드 설명
Typecheck ( FastPgm pgm ) : void

메소드 상세

ConstDef() 공개 메소드

public ConstDef ( FastToken name, FastToken sort, FExp expr ) : System
name FastToken
sort FastToken
expr FExp
리턴 System

PrettyPrint() 공개 메소드

public PrettyPrint ( StringBuilder sb ) : void
sb StringBuilder
리턴 void

프로퍼티 상세

expr 공개적으로 프로퍼티

public FExp,Microsoft.Fast.AST expr
리턴 FExp

name 공개적으로 프로퍼티

public FastToken,Microsoft.Fast.AST name
리턴 FastToken

sort 공개적으로 프로퍼티

public FastSort,Microsoft.Fast.AST sort
리턴 FastSort