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

상속: Def

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

공개 프로퍼티들

프로퍼티	타입	설명
attrSort	RecordSort
sort	FastSort
symbols	List

공개 메소드들

메소드	설명
AddAttributes ( FastToken>.IEnumerable attrs ) : void
AddConstructors ( FastToken>.IEnumerable contructors ) : void
AlphabetDef ( FastToken name, FastToken>.IEnumerable attrs, FastToken>.IEnumerable constructors ) : System
PrettyPrint ( StringBuilder sb ) : void

비공개 메소드들

메소드	설명
IsValidSymbol ( FastToken symb, int arity ) : bool
Typecheck ( FastPgm pgm ) : void

메소드 상세

AddAttributes() 공개 메소드

public AddAttributes ( FastToken>.IEnumerable attrs ) : void
attrs	FastToken>.IEnumerable
리턴	void

AddConstructors() 공개 메소드

public AddConstructors ( FastToken>.IEnumerable contructors ) : void
contructors	FastToken>.IEnumerable
리턴	void

AlphabetDef() 공개 메소드

public AlphabetDef ( FastToken name, FastToken>.IEnumerable attrs, FastToken>.IEnumerable constructors ) : System
name	FastToken
attrs	FastToken>.IEnumerable
constructors	FastToken>.IEnumerable
리턴	System

PrettyPrint() 공개 메소드

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

프로퍼티 상세

attrSort 공개적으로 프로퍼티

public RecordSort,Microsoft.Fast.AST attrSort
리턴	RecordSort

sort 공개적으로 프로퍼티

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

symbols 공개적으로 프로퍼티

public List symbols
리턴	List