C# Class Algebra.QL.Extensions.TypeCheck.Expr.AvgExpr

Inheritance: Algebra.Core.Expr.VarExpr, ITypeCheckExpr
Exibir arquivo Open project: software-engineering-amsterdam/poly-ql

Public Methods

Method Description
AvgExpr ( string name ) : System
TypeCheck ( ITypeEnvironment env ) : ITypeCheckType

Method Details

AvgExpr() public method

public AvgExpr ( string name ) : System
name string
return System

TypeCheck() public method

public TypeCheck ( ITypeEnvironment env ) : ITypeCheckType
env ITypeEnvironment
return ITypeCheckType