18 using System.Collections.Generic;
21 using ErrorManagement;
22 using TypeSystem.Operations;
24 namespace TypeSystem {
45 get {
return this.memberInfo; }
47 if (this.memberInfo == null) {
48 this.memberInfo = value;
72 Predicate<TypeExpression> predicate = delegate(
TypeExpression te2) {
75 if (
typeSet.Find(predicate) == null) {
76 this.typeSet.Add(type);
Represents a error produced when a MethodType has class information and tries to assign other class i...
This class represent the entry wnen sending a message to an operation object derived from TypeExpress...
Implemeents a double dispatcher pattern Role:
string MemberIdentifier
Gets the attribute name
Abstract class that represents all different types.
List< TypeExpression > typeSet
Stores a set of type expression
Representa a method type.
override object AcceptOperation(TypeSystemOperation op, object arg)
AccessModifier MemberInfo
Gets or sets the attribute information of method type
bool AddMethod(MethodType type)
Adds a new method for overload.
Association Class between ClassType and MethodType (or Fields). Represents the access modifier inform...
A class that makes possible to have intersection types as class members (overload) ...
Representa an intersection type.
Representa a class attribute (fields or methods).