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

상속: BinaryExpr, ITypeCheckExpr

파일 보기 프로젝트 열기: software-engineering-amsterdam/poly-ql

공개 메소드들

메소드	설명
AddExpr ( ITypeCheckExpr l, ITypeCheckExpr r ) : System
TypeCheck ( ITypeEnvironment env ) : ITypeCheckType

메소드 상세

AddExpr() 공개 메소드

public AddExpr ( ITypeCheckExpr l, ITypeCheckExpr r ) : System
l	ITypeCheckExpr
r	ITypeCheckExpr
리턴	System

TypeCheck() 공개 메소드

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