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

상속: Ast

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

공개 프로퍼티들

프로퍼티	타입	설명
given	List
pat	Pattern
to	FExp
where	FExp

공개 메소드들

메소드	설명
AddGivenCase ( FExp gc ) : void
GuardedExp ( Pattern pat ) : System
GuardedExp ( Pattern pat, FExp where, List given ) : System
GuardedExp ( Pattern pat, FExp where, List given, FExp to ) : System
PrettyPrint ( StringBuilder sb ) : void

메소드 상세

AddGivenCase() 공개 메소드

public AddGivenCase ( FExp gc ) : void
gc	FExp
리턴	void

GuardedExp() 공개 메소드

public GuardedExp ( Pattern pat ) : System
pat	Pattern
리턴	System

GuardedExp() 공개 메소드

public GuardedExp ( Pattern pat, FExp where, List given ) : System
pat	Pattern
where	FExp
given	List
리턴	System

GuardedExp() 공개 메소드

public GuardedExp ( Pattern pat, FExp where, List given, FExp to ) : System
pat	Pattern
where	FExp
given	List
to	FExp
리턴	System

PrettyPrint() 공개 메소드

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

프로퍼티 상세

given 공개적으로 프로퍼티

public List given
리턴	List

pat 공개적으로 프로퍼티

public Pattern pat
리턴	Pattern

to 공개적으로 프로퍼티

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

where 공개적으로 프로퍼티

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