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

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

공개 프로퍼티들

프로퍼티 타입 설명
expr FExp
language BuiltinLangExp

공개 메소드들

메소드 설명
ContainsQueryDef ( FastToken print, BuiltinLangExp lang, FExp tree ) : System
PrettyPrint ( StringBuilder sb ) : void

비공개 메소드들

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

메소드 상세

ContainsQueryDef() 공개 메소드

public ContainsQueryDef ( FastToken print, BuiltinLangExp lang, FExp tree ) : System
print FastToken
lang BuiltinLangExp
tree FExp
리턴 System

PrettyPrint() 공개 메소드

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

프로퍼티 상세

expr 공개적으로 프로퍼티

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

language 공개적으로 프로퍼티

public BuiltinLangExp,Microsoft.Fast.AST language
리턴 BuiltinLangExp