2007-01-10 Chris Toshok <toshok@ximian.com>
[mono.git] / mcs / mcs / support.cs
index 5d227bf3f442c5b4f23e894d60a420e0ed9e4ab8..b0bb63d99cb7940748a222c5e59697abdf113528 100644 (file)
@@ -32,40 +32,83 @@ namespace Mono.CSharp {
        public class ReflectionParameters : ParameterData {
                ParameterInfo [] pi;
                Type [] types;
-               bool last_arg_is_params = false;
-               bool is_varargs = false;
-               
+               int params_idx = -1;
+               bool is_varargs;
+               ParameterData gpd;
+
                public ReflectionParameters (MethodBase mb)
                {
-                       object [] attrs;
-
                        ParameterInfo [] pi = mb.GetParameters ();
                        is_varargs = (mb.CallingConvention & CallingConventions.VarArgs) != 0;
-                       
+
                        this.pi = pi;
-                       int count = pi.Length-1;
-
-                       if (pi.Length == 0) {
-                               types = TypeManager.NoTypes;
-                       } else {
-                               types = new Type [pi.Length];
-                               for (int i = 0; i < pi.Length; i++)
-                                       types [i] = pi [i].ParameterType;
+                       int count = pi.Length;
+
+                       if (count == 0) {
+                               types = Type.EmptyTypes;
+                               return;
                        }
 
-                       if (count >= 0) {
-                               attrs = pi [count].GetCustomAttributes (TypeManager.param_array_type, true);
+                       types = new Type [count];
+                       for (int i = 0; i < count; i++)
+                               types [i] = pi [i].ParameterType;
+
+                       // TODO: This (if) should be done one level higher to correctly use
+                       // out caching facilities.
+                       MethodBase generic = TypeManager.DropGenericMethodArguments (mb);
+                       if (generic != mb) {
+                               gpd = TypeManager.GetParameterData (generic);
+                               if (gpd.HasParams) {
+                                       for (int i = gpd.Count; i != 0; --i) {
+                                               if ((gpd.ParameterModifier (i-1) & Parameter.Modifier.PARAMS) != 0) {
+                                                       this.params_idx = i-1;
+                                                       break;
+                                               }
+                                       }
+                               }
+                               return;
+                       }
 
-                               if (attrs == null)
-                                       return;
-                               
-                               if (attrs.Length == 0)
+                       //
+                       // So far, the params attribute can be used in C# for the last
+                       // and next to last method parameters.
+                       // If some other language can place it anywhere we will
+                       // have to analyze all parameters and not just last 2.
+                       //
+                       --count;
+                       for (int i = count; i >= 0 && i > count - 2; --i) {
+                               if (!pi [i].ParameterType.IsArray)
+                                       continue;
+
+                               object [] attrs = pi [i].GetCustomAttributes (TypeManager.param_array_type, true);
+                               if (attrs.Length == 1) {
+                                       params_idx = i;
                                        return;
+                               }
+                       }
+               }
+
+               public override bool Equals (object obj)
+               {
+                       ReflectionParameters rp = obj as ReflectionParameters;
+                       if (rp == null)
+                               return false;
 
-                               last_arg_is_params = true;
+                       if (Count != rp.Count)
+                               return false;
+
+                       for (int i = 0; i < Count; ++i) {
+                       if (!types [i].Equals (rp.types [i]))
+                               return false;
                        }
+                       return true;
+               }
+
+               public override int GetHashCode ()
+               {
+                       return base.GetHashCode ();
                }
-               
+
                public string GetSignatureForError ()
                {
                        StringBuilder sb = new StringBuilder ("(");
@@ -85,31 +128,27 @@ namespace Mono.CSharp {
 
                public Type ParameterType (int pos)
                {
-                       if (last_arg_is_params && pos >= pi.Length - 1)
-                               return pi [pi.Length - 1].ParameterType;
-                       else if (is_varargs && pos >= pi.Length)
+                       if (is_varargs && pos >= pi.Length)
                                return TypeManager.runtime_argument_handle_type;
-                       else {
-                               Type t = pi [pos].ParameterType;
 
-                               return t;
-                       }
+                       return pi [pos].ParameterType;
                }
 
                public string ParameterName (int pos)
                {
-                       if (last_arg_is_params && pos >= pi.Length - 1)
-                               return pi [pi.Length - 1].Name;
-                       else if (is_varargs && pos >= pi.Length)
+                       if (gpd != null)
+                               return gpd.ParameterName (pos);
+
+                       if (is_varargs && pos >= pi.Length)
                                return "__arglist";
-                       else 
-                               return pi [pos].Name;
+
+                       return pi [pos].Name;
                }
 
                public string ParameterDesc (int pos)
                {
                        if (is_varargs && pos >= pi.Length)
-                               return "";                      
+                               return "";
 
                        StringBuilder sb = new StringBuilder ();
 
@@ -123,24 +162,26 @@ namespace Mono.CSharp {
                                        sb.Append ("out ");
                                else
                                        sb.Append ("ref ");
-                       } 
+                       }
 
-                       if (pos >= pi.Length - 1 && last_arg_is_params)
+                       if (params_idx == pos)
                                sb.Append ("params ");
 
                        sb.Append (TypeManager.CSharpName (partype).Replace ("&", ""));
 
                        return sb.ToString ();
-                       
                }
 
                public Parameter.Modifier ParameterModifier (int pos)
                {
-                       if (last_arg_is_params && pos >= pi.Length - 1)
+                       if (pos == params_idx)
                                return Parameter.Modifier.PARAMS;
                        else if (is_varargs && pos >= pi.Length)
                                return Parameter.Modifier.ARGLIST;
-                       
+
+                       if (gpd != null)
+                               return gpd.ParameterModifier (pos);
+
                        Type t = pi [pos].ParameterType;
                        if (t.IsByRef){
                                if ((pi [pos].Attributes & (ParameterAttributes.Out|ParameterAttributes.In)) == ParameterAttributes.Out)
@@ -148,36 +189,89 @@ namespace Mono.CSharp {
                                else
                                        return Parameter.Modifier.REF;
                        }
-                       
+
                        return Parameter.Modifier.NONE;
                }
 
                public int Count {
-                       get {
-                               return is_varargs ? pi.Length + 1 : pi.Length;
-                       }
+                       get { return is_varargs ? pi.Length + 1 : pi.Length; }
                }
 
                public bool HasParams {
-                       get {
-                               return this.last_arg_is_params;
-                       }
+                       get { return params_idx != -1; }
                }
 
                public Type[] Types {
-                       get {
-                               return types;
-                       }
+                       get { return types; }
                }
-               
        }
 
+#if GMCS_SOURCE
+       public class ReflectionConstraints : GenericConstraints
+       {
+               GenericParameterAttributes attrs;
+               Type base_type;
+               Type class_constraint;
+               Type[] iface_constraints;
+               string name;
+
+               public static GenericConstraints GetConstraints (Type t)
+               {
+                       Type [] constraints = t.GetGenericParameterConstraints ();
+                       GenericParameterAttributes attrs = t.GenericParameterAttributes;
+                       if (constraints.Length == 0 && attrs == GenericParameterAttributes.None)
+                               return null;
+                       return new ReflectionConstraints (t.Name, constraints, attrs);
+               }
+
+               private ReflectionConstraints (string name, Type [] constraints, GenericParameterAttributes attrs)
+               {
+                       this.name = name;
+                       this.attrs = attrs;
+
+                       if ((constraints.Length > 0) && !constraints [0].IsInterface) {
+                               class_constraint = constraints [0];
+                               iface_constraints = new Type [constraints.Length - 1];
+                               Array.Copy (constraints, 1, iface_constraints, 0, constraints.Length - 1);
+                       } else
+                               iface_constraints = constraints;
+
+                       if (HasValueTypeConstraint)
+                               base_type = TypeManager.value_type;
+                       else if (class_constraint != null)
+                               base_type = class_constraint;
+                       else
+                               base_type = TypeManager.object_type;
+               }
+
+               public override string TypeParameter {
+                       get { return name; }
+               }
+
+               public override GenericParameterAttributes Attributes {
+                       get { return attrs; }
+               }
+
+               public override Type ClassConstraint {
+                       get { return class_constraint; }
+               }
+
+               public override Type EffectiveBaseClass {
+                       get { return base_type; }
+               }
+
+               public override Type[] InterfaceConstraints {
+                       get { return iface_constraints; }
+               }
+       }
+#endif
+
        class PtrHashtable : Hashtable {
                sealed class PtrComparer : IComparer {
                        private PtrComparer () {}
-                       
+
                        public static PtrComparer Instance = new PtrComparer ();
-                       
+
                        public int Compare (object x, object y)
                        {
                                if (x == y)
@@ -186,7 +280,7 @@ namespace Mono.CSharp {
                                        return 1;
                        }
                }
-               
+
                public PtrHashtable ()
                {
                        comparer = PtrComparer.Instance;
@@ -234,12 +328,12 @@ namespace Mono.CSharp {
                        this.len = len;
                        comparer = new ArrComparer (len);
                }
-       }                       
+       }
 
        struct Pair {
                public object First;
                public object Second;
-               
+
                public Pair (object f, object s)
                {
                        First = f;
@@ -330,26 +424,26 @@ namespace Mono.CSharp {
 
        public class DoubleHash {
                const int DEFAULT_INITIAL_BUCKETS = 100;
-               
+
                public DoubleHash () : this (DEFAULT_INITIAL_BUCKETS) {}
-               
+
                public DoubleHash (int size)
                {
                        count = size;
                        buckets = new Entry [size];
                }
-               
+
                int count;
                Entry [] buckets;
                int size = 0;
-               
+
                class Entry {
                        public object key1;
                        public object key2;
                        public int hash;
                        public object value;
                        public Entry next;
-       
+
                        public Entry (object key1, object key2, int hash, object value, Entry next)
                        {
                                this.key1 = key1;
@@ -363,7 +457,7 @@ namespace Mono.CSharp {
                public bool Lookup (object a, object b, out object res)
                {
                        int h = (a.GetHashCode () ^ b.GetHashCode ()) & 0x7FFFFFFF;
-                       
+
                        for (Entry e = buckets [h % count]; e != null; e = e.next) {
                                if (e.hash == h && e.key1.Equals (a) && e.key2.Equals (b)) {
                                        res = e.value;
@@ -377,22 +471,22 @@ namespace Mono.CSharp {
                public void Insert (object a, object b, object value)
                {
                        // Is it an existing one?
-               
+
                        int h = (a.GetHashCode () ^ b.GetHashCode ()) & 0x7FFFFFFF;
-                       
+
                        for (Entry e = buckets [h % count]; e != null; e = e.next) {
                                if (e.hash == h && e.key1.Equals (a) && e.key2.Equals (b))
                                        e.value = value;
                        }
-                       
+
                        int bucket = h % count;
                        buckets [bucket] = new Entry (a, b, h, value, buckets [bucket]);
-                       
+
                        // Grow whenever we double in size
                        if (size++ == count) {
                                count <<= 1;
                                count ++;
-                               
+
                                Entry [] newBuckets = new Entry [count];
                                foreach (Entry root in buckets) {
                                        Entry e = root;