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

Inheritance: Algebra.Core.Expr.VarExpr, ITypeCheckExpr
Afficher le fichier Open project: software-engineering-amsterdam/poly-ql

Méthodes publiques

Méthode Description
TypeCheck ( ITypeEnvironment env ) : ITypeCheckType
VarExpr ( string name ) : System

Method Details

TypeCheck() public méthode

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

VarExpr() public méthode

public VarExpr ( string name ) : System
name string
Résultat System