6 namespace TypeSystem.Operations {
11 public virtual bool IsBinary() {
return true; }
41 return ReportError(operation, typeExpression,
new Location());
virtual object Exec(IntType i, object arg)
virtual object Exec(MethodType m, object arg)
Representa an array type.
virtual object Exec(PropertyType p, object arg)
This class encapsulates a location in a specific file. Implements an Inmutable pattern. So it can be used in any context, that is his internal fields never change.
This class represent the entry wnen sending a message to an operation object derived from TypeExpress...
virtual object Exec(VoidType v, object arg)
virtual object Exec(DoubleType d, object arg)
virtual object Exec(IntersectionType i, object arg)
virtual object Exec(UserType u, object arg)
Represents a interface type.
virtual object Exec(ClassType c, object arg)
Represent a character type.
virtual object Exec(TypeVariable t, object arg)
virtual object ReportError(TypeExpression typeExpression)
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...
virtual string FullName
Gets the full name of the type Note: WriteType expression is the longest recursive representation of ...
Represent a integer type.
virtual object Exec(ClassTypeProxy c, object arg)
Represents a double type.
virtual object ReportError(String operation, TypeExpression typeExpression)
virtual object Exec(ArrayType a, object arg)
virtual object Exec(BCLClassType b, object arg)
virtual object ReportError(String operation, TypeExpression typeExpression, Location location)
virtual object Exec(StringType s, object arg)
virtual object Exec(FieldType g, object arg)
virtual object Exec(TypeExpression t, object arg)
virtual object Exec(BCLInterfaceType b, object arg)
Representa a property type.
Representa a method type.
virtual object Exec(NullType n, object arg)
virtual object Exec(InterfaceType i, object arg)
virtual object Exec(UnionType u, object arg)
virtual object Exec(BoolType b, object arg)
Representa an intersection type.
Represents a class or interface type.
virtual object Exec(CharType c, object arg)