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

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

Méthodes publiques

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

Method Details

SumExpr() public méthode

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

TypeCheck() public méthode

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