C# Class Algebra.QL.TypeCheck.Expr.AddExpr

Inheritance: BinaryExpr, ITypeCheckExpr

Afficher le fichier Open project: software-engineering-amsterdam/poly-ql

Méthodes publiques

Méthode	Description
AddExpr ( ITypeCheckExpr l, ITypeCheckExpr r ) : System
TypeCheck ( ITypeEnvironment env ) : ITypeCheckType

Method Details

AddExpr() public méthode

public AddExpr ( ITypeCheckExpr l, ITypeCheckExpr r ) : System
l	ITypeCheckExpr
r	ITypeCheckExpr
Résultat	System

TypeCheck() public méthode

public TypeCheck ( ITypeEnvironment env ) : ITypeCheckType
env	ITypeEnvironment
Résultat	ITypeCheckType