C# 클래스 Algebra.QL.TypeCheck.Expr.VarExpr

상속: Algebra.Core.Expr.VarExpr, ITypeCheckExpr
파일 보기 프로젝트 열기: software-engineering-amsterdam/poly-ql

공개 메소드들

메소드 설명
TypeCheck ( ITypeEnvironment env ) : ITypeCheckType
VarExpr ( string name ) : System

메소드 상세

TypeCheck() 공개 메소드

public TypeCheck ( ITypeEnvironment env ) : ITypeCheckType
env ITypeEnvironment
리턴 ITypeCheckType

VarExpr() 공개 메소드

public VarExpr ( string name ) : System
name string
리턴 System