Initial import of the Generic MCS tree.

[mono.git] / mcs / gmcs / decl.cs

diff --git a/mcs/gmcs/decl.cs b/mcs/gmcs/decl.cs
index 02316464f346d2ecef22dac626e3c4deb7ef4fd8..1a0e78f9bb735f2fb374d7adf223fd50998983bc 100755 (executable)
--- a/mcs/gmcs/decl.cs
+++ b/mcs/gmcs/decl.cs
@@ -296,7 +296,12 @@ namespace Mono.CSharp {
                /// </summary>
                protected Hashtable defined_names;
 
-               TypeContainer parent;           
+               //
+               // Whether we are Generic
+               //
+               public bool IsGeneric;
+               
+               TypeContainer parent;
 
                public DeclSpace (TypeContainer parent, string name, Location l)
                        : base (name, l)
@@ -304,6 +309,12 @@ namespace Mono.CSharp {
                        Basename = name.Substring (1 + name.LastIndexOf ('.'));
                        defined_names = new Hashtable ();
                        this.parent = parent;
+
+                       //
+                       // We are generic if our parent is generic
+                       //
+                       if (parent != null)
+                               IsGeneric = parent.IsGeneric;
                }
 
                /// <summary>
@@ -762,6 +773,64 @@ namespace Mono.CSharp {
                public abstract MemberCache MemberCache {
                        get;
                }
+
+               //
+               // Extensions for generics
+               //
+               ArrayList type_parameter_list;
+
+               ///
+               /// Called by the parser to configure the type_parameter_list for this
+               /// declaration space
+               ///
+               public AdditionResult SetParameterInfo (ArrayList type_parameter_list, object constraints)
+               {
+                       this.type_parameter_list = type_parameter_list;
+
+                       //
+                       // Mark this type as Generic
+                       //
+                       IsGeneric = true;
+                       
+                       //
+                       // Register all the names
+                       //
+                       foreach (string type_parameter in type_parameter_list){
+                               AdditionResult res = IsValid (type_parameter, type_parameter);
+
+                               if (res != AdditionResult.Success)
+                                       return res;
+
+                               DefineName (type_parameter, GetGenericData ());
+                       }
+
+                       return AdditionResult.Success;
+               }
+
+               //
+               // This is just something to flag the defined names for now
+               //
+               const int GENERIC_COOKIE = 20;
+               static object generic_flag = GENERIC_COOKIE;
+               
+               static object GetGenericData ()
+               {
+                       return generic_flag;
+               }
+               
+               /// <summary>
+               ///   Returns a GenericTypeExpr if `name' refers to a type parameter
+               /// </summary>
+               public TypeParameterExpr LookupGeneric (string name, Location l)
+               {
+                       foreach (string type_parameter in type_parameter_list){
+                               Console.WriteLine ("   trying: " + type_parameter);
+                               if (name == type_parameter)
+                                       return new TypeParameterExpr (name, l);
+                       }
+
+                       return null;
+               }
        }
 
        /// <summary>