2005-01-31 Zoltan Varga <vargaz@freemail.hu>
[mono.git] / mcs / class / corlib / System.Reflection.Emit / TypeBuilder.cs
index 2815b2449f69569d3c02c78a913725ae1bec772a..9e2468fae1784851527a79af32a9a5172f48b8be 100644 (file)
@@ -7,6 +7,29 @@
 // (C) 2001 Ximian, Inc.  http://www.ximian.com
 //
 
+//
+// Copyright (C) 2004 Novell, Inc (http://www.novell.com)
+//
+// Permission is hereby granted, free of charge, to any person obtaining
+// a copy of this software and associated documentation files (the
+// "Software"), to deal in the Software without restriction, including
+// without limitation the rights to use, copy, modify, merge, publish,
+// distribute, sublicense, and/or sell copies of the Software, and to
+// permit persons to whom the Software is furnished to do so, subject to
+// the following conditions:
+// 
+// The above copyright notice and this permission notice shall be
+// included in all copies or substantial portions of the Software.
+// 
+// THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND,
+// EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF
+// MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND
+// NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE
+// LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION
+// OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION
+// WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.
+//
+
 using System;
 using System.Text;
 using System.Reflection;
@@ -36,19 +59,20 @@ namespace System.Reflection.Emit {
        private EventBuilder[] events;
        private CustomAttributeBuilder[] cattrs;
        internal TypeBuilder[] subtypes;
-       private TypeAttributes attrs;
+       internal TypeAttributes attrs;
        private int table_idx;
        private ModuleBuilder pmodule;
        private int class_size;
        private PackingSize packing_size;
+       private IntPtr generic_container;
 #if NET_2_0 || BOOTSTRAP_NET_2_0
        private GenericTypeParameterBuilder[] generic_params;
 #else
         private Object generic_params; /* so offsets don't change */
 #endif
        private RefEmitPermissionSet[] permissions;     
-       #endregion
        private Type created;
+       #endregion
        string fullname;
 
        public const int UnspecifiedTypeSize = 0;
@@ -64,7 +88,10 @@ namespace System.Reflection.Emit {
                private extern void create_internal_class (TypeBuilder tb);
                
                [MethodImplAttribute(MethodImplOptions.InternalCall)]
-               private extern void setup_generic_class (TypeBuilder tb);
+               private extern void setup_generic_class ();
+
+               [MethodImplAttribute(MethodImplOptions.InternalCall)]
+               private extern void create_generic_class ();
 
                [MethodImplAttribute(MethodImplOptions.InternalCall)]
                private extern EventInfo get_event_info (EventBuilder eb);
@@ -72,7 +99,8 @@ namespace System.Reflection.Emit {
                internal TypeBuilder (ModuleBuilder mb, TypeAttributes attr) {
                        this.parent = null;
                        this.attrs = attr;
-                       this.class_size = -1;
+                       this.class_size = UnspecifiedTypeSize;
+                       this.table_idx = 1;
                        fullname = this.tname = "<Module>";
                        this.nspace = "";
                        pmodule = mb;
@@ -168,7 +196,8 @@ namespace System.Reflection.Emit {
        
                public override Guid GUID {
                        get {
-                           throw not_supported ();
+                               check_created ();
+                               return created.GUID;
                        }
                }
 
@@ -197,8 +226,7 @@ namespace System.Reflection.Emit {
                                (action == SecurityAction.RequestRefuse))
                                throw new ArgumentException ("Request* values are not permitted", "action");
 
-                       if (is_created)
-                               throw not_after_created ();
+                       check_not_created ();
 
                        if (permissions != null) {
                                /* Check duplicate actions */
@@ -220,8 +248,7 @@ namespace System.Reflection.Emit {
                public void AddInterfaceImplementation( Type interfaceType) {
                        if (interfaceType == null)
                                throw new ArgumentNullException ("interfaceType");
-                       if (is_created)
-                               throw not_after_created ();
+                       check_not_created ();
 
                        if (interfaces != null) {
                                // Check for duplicates
@@ -244,6 +271,8 @@ namespace System.Reflection.Emit {
                                                                       CallingConventions callConvention, Type[] types,
                                                                       ParameterModifier[] modifiers)
                {
+                       check_created ();
+                       
                        if (ctors == null)
                                return null;
 
@@ -291,12 +320,16 @@ namespace System.Reflection.Emit {
                
                public override object[] GetCustomAttributes(bool inherit)
                {
-                       throw not_supported ();
+                       check_created ();
+
+                       return created.GetCustomAttributes (inherit);
                }
                
                public override object[] GetCustomAttributes(Type attributeType, bool inherit)
                {
-                       throw not_supported ();
+                       check_created ();
+
+                       return created.GetCustomAttributes (attributeType, inherit);
                }
 
                public TypeBuilder DefineNestedType (string name) {
@@ -364,8 +397,7 @@ namespace System.Reflection.Emit {
 #endif
                ConstructorBuilder DefineConstructor (MethodAttributes attributes, CallingConventions callingConvention, Type[] parameterTypes, Type[][] requiredCustomModifiers, Type[][] optionalCustomModifiers)
                {
-                       if (is_created)
-                               throw not_after_created ();
+                       check_not_created ();
                        ConstructorBuilder cb = new ConstructorBuilder (this, attributes, callingConvention, parameterTypes, requiredCustomModifiers, optionalCustomModifiers);
                        if (ctors != null) {
                                ConstructorBuilder[] new_ctors = new ConstructorBuilder [ctors.Length+1];
@@ -381,8 +413,6 @@ namespace System.Reflection.Emit {
 
                public ConstructorBuilder DefineDefaultConstructor (MethodAttributes attributes)
                {
-                       ConstructorBuilder cb = DefineConstructor (attributes, CallingConventions.Standard, new Type [0]);
-
                        Type parent_type;
 
                        if (parent != null)
@@ -394,12 +424,18 @@ namespace System.Reflection.Emit {
                                parent_type.GetConstructor (
                                        BindingFlags.Public | BindingFlags.NonPublic | BindingFlags.Instance,
                                        null, Type.EmptyTypes, null);
+                       if (parent_constructor == null) {
+                               throw new NotSupportedException ("Parent does"
+                                       + " not have a default constructor."
+                                       + " The default constructor must be"
+                                       + " explicitly defined.");
+                       }
 
+                       ConstructorBuilder cb = DefineConstructor (attributes, 
+                               CallingConventions.Standard, new Type[0]);
                        ILGenerator ig = cb.GetILGenerator ();
-                       if (parent_constructor != null){
-                               ig.Emit (OpCodes.Ldarg_0);
-                               ig.Emit (OpCodes.Call, parent_constructor);
-                       }
+                       ig.Emit (OpCodes.Ldarg_0);
+                       ig.Emit (OpCodes.Call, parent_constructor);
                        ig.Emit (OpCodes.Ret);
                        return cb;
                }
@@ -433,8 +469,7 @@ namespace System.Reflection.Emit {
 #endif
                MethodBuilder DefineMethod( string name, MethodAttributes attributes, CallingConventions callingConvention, Type returnType, Type[] returnTypeRequiredCustomModifiers, Type[] returnTypeOptionalCustomModifiers, Type[] parameterTypes, Type[][] parameterTypeRequiredCustomModifiers, Type[][] parameterTypeOptionalCustomModifiers) {
                        check_name ("name", name);
-                       if (is_created)
-                               throw not_after_created ();
+                       check_not_created ();
                        if (IsInterface && (
                                !((attributes & MethodAttributes.Abstract) != 0) || 
                                !((attributes & MethodAttributes.Virtual) != 0)))
@@ -476,8 +511,7 @@ namespace System.Reflection.Emit {
                                throw new ArgumentException ("attributes", "PInvoke methods must be static and native and cannot be abstract.");
                        if (IsInterface)
                                throw new ArgumentException ("PInvoke methods cannot exist on interfaces.");            
-                       if (is_created)
-                               throw not_after_created ();
+                       check_not_created ();
 
                        MethodBuilder res 
                                = new MethodBuilder (
@@ -509,8 +543,7 @@ namespace System.Reflection.Emit {
                                throw new ArgumentNullException ("methodInfoBody");
                        if (methodInfoDeclaration == null)
                                throw new ArgumentNullException ("methodInfoDeclaration");
-                       if (is_created)
-                               throw not_after_created ();
+                       check_not_created ();
 
                        if (methodInfoBody is MethodBuilder) {
                                MethodBuilder mb = (MethodBuilder)methodInfoBody;
@@ -527,12 +560,11 @@ namespace System.Reflection.Emit {
 #else
                internal
 #endif
-           FieldBuilder DefineFieldstring fieldName, Type type, Type[] requiredCustomAttributes, Type[] optionalCustomAttributes, FieldAttributes attributes) {
+           FieldBuilder DefineField (string fieldName, Type type, Type[] requiredCustomAttributes, Type[] optionalCustomAttributes, FieldAttributes attributes) {
                        check_name ("fieldName", fieldName);
                        if (type == typeof (void))
                                throw new ArgumentException ("type",  "Bad field type in defining field.");
-                       if (is_created)
-                               throw not_after_created ();
+                       check_not_created ();
 
                        FieldBuilder res = new FieldBuilder (this, fieldName, type, attributes, requiredCustomAttributes, optionalCustomAttributes);
                        if (fields != null) {
@@ -558,8 +590,7 @@ namespace System.Reflection.Emit {
                                foreach (Type param in parameterTypes)
                                        if (param == null)
                                                throw new ArgumentNullException ("parameterTypes");
-                       if (is_created)
-                               throw not_after_created ();
+                       check_not_created ();
 
                        PropertyBuilder res = new PropertyBuilder (this, name, attributes, returnType, parameterTypes);
 
@@ -594,8 +625,8 @@ namespace System.Reflection.Emit {
                
                public Type CreateType() {
                        /* handle nesting_type */
-                       if (is_created)
-                               throw not_after_created ();
+                       if (created != null)
+                               return created;
 
                        // Fire TypeResolve events for fields whose type is an unfinished
                        // value type.
@@ -627,7 +658,8 @@ namespace System.Reflection.Emit {
                        //
                        // On classes, define a default constructor if not provided
                        //
-                       if (!(IsInterface || IsValueType) && (ctors == null) && (tname != "<Module>"))
+                       if (!(IsInterface || IsValueType) && (ctors == null) && (tname != "<Module>") && 
+                               (GetAttributeFlagsImpl () & TypeAttributes.Abstract | TypeAttributes.Sealed) != (TypeAttributes.Abstract | TypeAttributes.Sealed))
                                DefineDefaultConstructor (MethodAttributes.Public);
 
                        if (ctors != null){
@@ -679,11 +711,13 @@ namespace System.Reflection.Emit {
                }
 
                public override Type GetElementType () { 
-                       throw not_supported ();
+                       check_created ();
+                       return created.GetElementType ();
                }
 
                public override EventInfo GetEvent (string name, BindingFlags bindingAttr) {
-                       throw not_supported ();
+                       check_created ();
+                       return created.GetEvent (name, bindingAttr);
                }
 
                /* Needed to keep signature compatibility with MS.NET */
@@ -693,9 +727,13 @@ namespace System.Reflection.Emit {
                }
 
                public override EventInfo[] GetEvents (BindingFlags bindingAttr) {
-                       // FIXME: Under MS.NET, this throws a NotImplementedException
-                       // But mcs calls this method. How can that be?
-                       return new EventInfo [0];
+                       /* FIXME: mcs calls this
+                          check_created ();
+                       */
+                       if (!is_created)
+                               return new EventInfo [0];
+                       else
+                               return created.GetEvents (bindingAttr);
                }
 
                // This is only used from MonoGenericInst.initialize().
@@ -822,7 +860,8 @@ namespace System.Reflection.Emit {
                }
 
                public override Type GetInterface (string name, bool ignoreCase) {
-                       throw not_supported ();
+                       check_created ();
+                       return created.GetInterface (name, ignoreCase);
                }
                
                public override Type[] GetInterfaces () {
@@ -837,11 +876,13 @@ namespace System.Reflection.Emit {
 
                public override MemberInfo[] GetMember (string name, MemberTypes type,
                                                                                                BindingFlags bindingAttr) {
-                       throw not_supported ();
+                       check_created ();
+                       return created.GetMember (name, type, bindingAttr);
                }
 
                public override MemberInfo[] GetMembers (BindingFlags bindingAttr) {
-                       throw not_supported ();
+                       check_created ();
+                       return created.GetMembers (bindingAttr);
                }
 
                private MethodInfo[] GetMethodsByName (string name, BindingFlags bindingAttr, bool ignoreCase, Type reflected_type) {
@@ -911,9 +952,7 @@ namespace System.Reflection.Emit {
                                                             CallingConventions callConvention,
                                                             Type[] types, ParameterModifier[] modifiers)
                {
-                       if (!is_created)
-                               /* MS.Net throws this exception if the type is unfinished... */
-                               throw not_supported ();
+                       check_created ();
 
                        bool ignoreCase = ((bindingAttr & BindingFlags.IgnoreCase) != 0);
                        MethodInfo[] methods = GetMethodsByName (name, bindingAttr, ignoreCase, this);
@@ -958,13 +997,14 @@ namespace System.Reflection.Emit {
                }
 
                public override Type GetNestedType( string name, BindingFlags bindingAttr) {
-                       throw not_supported ();
+                       check_created ();
+                       return created.GetNestedType (name, bindingAttr);
                }
 
                public override Type[] GetNestedTypes (BindingFlags bindingAttr) {
                        bool match;
                        ArrayList result = new ArrayList ();
-               
+
                        if (subtypes == null)
                                return Type.EmptyTypes;
                        foreach (TypeBuilder t in subtypes) {
@@ -1032,14 +1072,13 @@ namespace System.Reflection.Emit {
                }
 
                protected override bool HasElementTypeImpl () {
-                       // According to the MSDN docs, this is supported for TypeBuilders,
-                       // but in reality, it is not
-                       throw not_supported ();
-                       //                      return IsArrayImpl() || IsByRefImpl() || IsPointerImpl ();
+                       check_created ();
+                       return created.HasElementType;
                }
 
                public override object InvokeMember( string name, BindingFlags invokeAttr, Binder binder, object target, object[] args, ParameterModifier[] modifiers, CultureInfo culture, string[] namedParameters) {
-                       throw not_supported ();
+                       check_created ();
+                       return created.InvokeMember (name, invokeAttr, binder, target, args, modifiers, culture, namedParameters);
                }
 
                protected override bool IsArrayImpl ()
@@ -1070,7 +1109,8 @@ namespace System.Reflection.Emit {
                
                public override RuntimeTypeHandle TypeHandle { 
                        get { 
-                               throw not_supported (); 
+                               check_created ();
+                               return created.TypeHandle;
                        } 
                }
 
@@ -1176,8 +1216,7 @@ namespace System.Reflection.Emit {
                        check_name ("name", name);
                        if (eventtype == null)
                                throw new ArgumentNullException ("eventtype");
-                       if (is_created)
-                               throw not_after_created ();
+                       check_not_created ();
 
                        EventBuilder res = new EventBuilder (this, name, attributes, eventtype);
                        if (events != null) {
@@ -1210,8 +1249,7 @@ namespace System.Reflection.Emit {
                        check_name ("name", name);
                        if ((size <= 0) || (size > 0x3f0000))
                                throw new ArgumentException ("size", "Data size must be > 0 and < 0x3f0000");
-                       if (is_created)
-                               throw not_after_created ();
+                       check_not_created ();
 
                        string s = "$ArrayType$"+UnmanagedDataCount.ToString();
                        UnmanagedDataCount++;
@@ -1230,10 +1268,11 @@ namespace System.Reflection.Emit {
                public void SetParent (Type parentType) {
                        if (parentType == null)
                                throw new ArgumentNullException ("parentType");
-                       if (is_created)
-                               throw not_after_created ();
+                       check_not_created ();
 
                        parent = parentType;
+                       // will just set the parent-related bits if called a second time
+                       setup_internal_class (this);
                }
                internal int get_next_table_index (object obj, int table, bool inc) {
                        return pmodule.get_next_table_index (obj, table, inc);
@@ -1258,9 +1297,16 @@ namespace System.Reflection.Emit {
                        return new NotSupportedException ("The invoked member is not supported in a dynamic module.");
                }
 
-               private Exception not_after_created ()
+               private void check_not_created ()
+               {
+                       if (is_created)
+                               throw new InvalidOperationException ("Unable to change after type has been created.");
+               }
+
+               private void check_created ()
                {
-                       return new InvalidOperationException ("Unable to change after type has been created.");
+                       if (!is_created)
+                               throw not_supported ();
                }
 
                private void check_name (string argName, string name)
@@ -1278,7 +1324,23 @@ namespace System.Reflection.Emit {
                        return FullName;
                }
 
+               [MonoTODO]
+               public override bool IsAssignableFrom (Type c)
+               {
+                       return base.IsAssignableFrom (c);
+               }
+
+               [MonoTODO]
+               public override bool IsSubclassOf (Type c)
+               {
+                       return base.IsSubclassOf (c);
+               }
+
 #if NET_2_0 || BOOTSTRAP_NET_2_0
+               public bool IsCreated () {
+                       return is_created;
+               }
+
                public override Type[] GetGenericArguments ()
                {
                        if (generic_params != null)
@@ -1289,7 +1351,7 @@ namespace System.Reflection.Emit {
 
                public override Type GetGenericTypeDefinition ()
                {
-                       setup_generic_class (this);
+                       create_generic_class ();
 
                        return base.GetGenericTypeDefinition ();
                }
@@ -1323,8 +1385,10 @@ namespace System.Reflection.Emit {
                        }
                }
 
-               public GenericTypeParameterBuilder[] DefineGenericParameters (string[] names)
+               public GenericTypeParameterBuilder[] DefineGenericParameters (params string[] names)
                {
+                       setup_generic_class ();
+
                        generic_params = new GenericTypeParameterBuilder [names.Length];
                        for (int i = 0; i < names.Length; i++)
                                generic_params [i] = new GenericTypeParameterBuilder (