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

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

공개 프로퍼티들

프로퍼티 타입 설명
expr FExp
inputVariables FastSort>>.List
name FastToken
outputSort FastSort
sort FastSort

공개 메소드들

메소드 설명
FunctionDef ( FastToken name, FastSort>.List vars, FastSort outputSort, FExp expr ) : System
PrettyPrint ( StringBuilder sb ) : void

비공개 메소드들

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

메소드 상세

FunctionDef() 공개 메소드

public FunctionDef ( FastToken name, FastSort>.List vars, FastSort outputSort, FExp expr ) : System
name FastToken
vars FastSort>.List
outputSort FastSort
expr FExp
리턴 System

PrettyPrint() 공개 메소드

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

프로퍼티 상세

expr 공개적으로 프로퍼티

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

inputVariables 공개적으로 프로퍼티

public List> inputVariables
리턴 FastSort>>.List

name 공개적으로 프로퍼티

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

outputSort 공개적으로 프로퍼티

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

sort 공개적으로 프로퍼티

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