1 using System.Collections.Generic;
3 namespace TypeSystem.Operations {
14 this.typeExpression = typeExpression;
19 #region Equals.TypeExpresion
21 return te.Equals(this.typeExpression);
24 #region Equals.MethodType
31 for (
int i = 0; i < method.ParameterListCount; i++)
37 #region Equals.ClassTypeProxy
42 #region Equals.TypeVariable
49 throw new System.NotImplementedException();
override object Exec(MethodType m, object arg)
This class represent the entry wnen sending a message to an operation object derived from TypeExpress...
Implemeents a double dispatcher pattern Role:
Abstract class that represents all different types.
Represents a generic type expression
Represents a proxy of a class type. It implements the unfold operatations of theoretical type systes...
int ParameterListCount
Gets the number of parameters
override object Exec(TypeExpression te, object arg)
override object Exec(TypeVariable t, object arg)
override object Exec(ClassTypeProxy ct, object arg)
Representa a method type.
EqualsForOverloadOperation(TypeExpression typeExpression)
TypeExpression GetParameter(int index)
Gets the type expression of the specific parameter
override object ReportError(TypeExpression firstOperand)