2003-05-19 Zoltan Varga <vargaz@freemail.hu>
[mono.git] / mcs / class / corlib / System.Reflection.Emit / TypeBuilder.cs
index 2f9786a91feab31652fbace5469ebfab997e6185..724b1d83216b7f526eb55a90702d090c2bed26b3 100644 (file)
@@ -37,6 +37,7 @@ namespace System.Reflection.Emit {
        private int class_size;
        private PackingSize packing_size;
        private Type created;
+       string fullname;
 
        public const int UnspecifiedTypeSize = 0;
 
@@ -54,18 +55,19 @@ namespace System.Reflection.Emit {
                        this.parent = null;
                        this.attrs = attr;
                        this.class_size = -1;
-                       this.tname = "<Module>";
+                       fullname = this.tname = "<Module>";
                        this.nspace = "";
                        pmodule = mb;
                        setup_internal_class (this);
                }
 
-               internal TypeBuilder (ModuleBuilder mb, string name, TypeAttributes attr, Type parent, Type[] interfaces, PackingSize packing_size, int type_size) {
+               internal TypeBuilder (ModuleBuilder mb, string name, TypeAttributes attr, Type parent, Type[] interfaces, PackingSize packing_size, int type_size, Type nesting_type) {
                        int sep_index;
                        this.parent = parent;
                        this.attrs = attr;
                        this.class_size = type_size;
                        this.packing_size = packing_size;
+                       this.nesting_type = nesting_type;
                        sep_index = name.LastIndexOf('.');
                        if (sep_index != -1) {
                                this.tname = name.Substring (sep_index + 1);
@@ -82,14 +84,16 @@ namespace System.Reflection.Emit {
                        // skip .<Module> ?
                        table_idx = mb.get_next_table_index (this, 0x02, true);
                        setup_internal_class (this);
+                       fullname = GetFullName ();
                }
 
                public override Assembly Assembly {
                        get {return pmodule.Assembly;}
                }
+
                public override string AssemblyQualifiedName {
                        get {
-                               return FullName + ", " + Assembly.ToString();
+                               return fullname + ", " + Assembly.GetName().FullName;
                        }
                }
                public override Type BaseType {
@@ -98,30 +102,40 @@ namespace System.Reflection.Emit {
                        }
                }
                public override Type DeclaringType {get {return nesting_type;}}
+
+               [MonoTODO]
                public override Type UnderlyingSystemType {
                        get {
+                               // This should return the type itself for non-enum types but 
+                               // that breaks mcs.
                                if (fields != null) {
                                        foreach (FieldBuilder f in fields) {
                                                if ((f.Attributes & FieldAttributes.Static) == 0)
                                                        return f.FieldType;
                                        }
                                }
-                               throw new InvalidOperationException (String.Format ("typebuilder: {0}", this));
+                               throw new InvalidOperationException ("Underlying type information on enumeration is not specified.");
                        }
                }
 
+               string GetFullName () {
+                       if (nesting_type != null)
+                               return String.Concat (nesting_type.FullName, "+", tname);
+                       if ((nspace != null) && (nspace.Length > 0))
+                               return String.Concat (nspace, ".", tname);
+                       return tname;
+               }
+       
                public override string FullName {
                        get {
-                               if (nesting_type != null)
-                                       return String.Concat (nesting_type.FullName, "+", tname);
-                               if ((nspace != null) && (nspace.Length > 0))
-                                       return String.Concat (nspace, ".", tname);
-                               return tname;
+                               return fullname;
                        }
                }
        
                public override Guid GUID {
-                       get {return Guid.Empty;}
+                       get {
+                           throw not_supported ();
+                       }
                }
 
                public override Module Module {
@@ -136,6 +150,9 @@ namespace System.Reflection.Emit {
                public PackingSize PackingSize {
                        get {return packing_size;}
                }
+               public int Size {
+                       get { return class_size; }
+               }
                public override Type ReflectedType {get {return nesting_type;}}
                public override MemberTypes MemberType { 
                        get {return MemberTypes.TypeInfo;}
@@ -147,7 +164,17 @@ namespace System.Reflection.Emit {
                }
 
                public void AddInterfaceImplementation( Type interfaceType) {
+                       if (interfaceType == null)
+                               throw new ArgumentNullException ("interfaceType");
+                       if (is_created)
+                               throw not_after_created ();
+
                        if (interfaces != null) {
+                               // Check for duplicates
+                               foreach (Type t in interfaces)
+                                       if (t == interfaceType)
+                                               return;
+
                                Type[] ifnew = new Type [interfaces.Length + 1];
                                interfaces.CopyTo (ifnew, 0);
                                ifnew [interfaces.Length] = interfaceType;
@@ -159,24 +186,63 @@ namespace System.Reflection.Emit {
                }
 
                [MonoTODO]
-               protected override ConstructorInfo GetConstructorImpl (BindingFlags bindingAttr, Binder binder, CallingConventions callConvention, Type[] types, ParameterModifier[] modifiers) {
-                       throw new NotImplementedException ();
+               protected override ConstructorInfo GetConstructorImpl (BindingFlags bindingAttr, Binder binder,
+                                                                      CallingConventions callConvention, Type[] types,
+                                                                      ParameterModifier[] modifiers)
+               {
+                       if (ctors == null)
+                               return null;
+
+                       ConstructorBuilder found = null;
+                       int count = 0;
+                       
+                       foreach (ConstructorBuilder cb in ctors){
+                               if (callConvention != CallingConventions.Any && cb.CallingConvention != callConvention)
+                                       continue;
+                               found = cb;
+                               count++;
+                       }
+
+                       if (count == 0)
+                               return null;
+                       if (types == null){
+                               if (count > 1)
+                                       throw new AmbiguousMatchException ();
+                               return found;
+                       }
+                       MethodBase[] match = new MethodBase [count];
+                       if (count == 1)
+                               match [0] = found;
+                       else {
+                               count = 0;
+                               foreach (ConstructorInfo m in ctors) {
+                                       if (callConvention != CallingConventions.Any && m.CallingConvention != callConvention)
+                                               continue;
+                                       match [count++] = m;
+                               }
+                       }
+                       if (binder == null)
+                               binder = Binder.DefaultBinder;
+                       return (ConstructorInfo)binder.SelectMethod (bindingAttr, match, types, modifiers);
                }
 
-               public override bool IsDefined( Type attributeType, bool inherit) {
-                       return false;
+               public override bool IsDefined( Type attributeType, bool inherit)
+               {
+                       throw not_supported ();
                }
-               public override object[] GetCustomAttributes(bool inherit) {
-                       return null;
+               
+               public override object[] GetCustomAttributes(bool inherit)
+               {
+                       throw not_supported ();
                }
-               public override object[] GetCustomAttributes(Type attributeType, bool inherit) {
-                       return null;
+               
+               public override object[] GetCustomAttributes(Type attributeType, bool inherit)
+               {
+                       throw not_supported ();
                }
 
-               [MonoTODO]
                public TypeBuilder DefineNestedType (string name) {
-                       // FIXME: LAMESPEC: what other attributes should we use here as default?
-                       return DefineNestedType (name, TypeAttributes.Public, pmodule.assemblyb.corlib_object_type, null);
+                       return DefineNestedType (name, TypeAttributes.NestedPrivate, pmodule.assemblyb.corlib_object_type, null);
                }
 
                public TypeBuilder DefineNestedType (string name, TypeAttributes attr) {
@@ -187,9 +253,24 @@ namespace System.Reflection.Emit {
                        return DefineNestedType (name, attr, parent, null);
                }
 
-               private TypeBuilder DefineNestedType (string name, TypeAttributes attr, Type parent, Type[] interfaces, PackingSize packsize, int typesize) {
-                       TypeBuilder res = new TypeBuilder (pmodule, name, attr, parent, interfaces, packsize, typesize);
-                       res.nesting_type = this;
+               private TypeBuilder DefineNestedType (string name, TypeAttributes attr, Type parent, Type[] interfaces,
+                                                     PackingSize packsize, int typesize)
+               {
+                       check_name ("name", name);
+                       // Visibility must be NestedXXX
+                       /* This breaks mcs
+                       if (((attrs & TypeAttributes.VisibilityMask) == TypeAttributes.Public) ||
+                               ((attrs & TypeAttributes.VisibilityMask) == TypeAttributes.NotPublic))
+                               throw new ArgumentException ("attr", "Bad type flags for nested type.");
+                       */
+                       if (interfaces != null)
+                               foreach (Type iface in interfaces)
+                                       if (iface == null)
+                                               throw new ArgumentNullException ("interfaces");
+
+                       TypeBuilder res = new TypeBuilder (pmodule, name, attr, parent, interfaces, packsize, typesize, this);
+                       res.fullname = res.GetFullName ();
+                       pmodule.RegisterTypeName (res, res.fullname);
                        if (subtypes != null) {
                                TypeBuilder[] new_types = new TypeBuilder [subtypes.Length + 1];
                                System.Array.Copy (subtypes, new_types, subtypes.Length);
@@ -214,7 +295,10 @@ namespace System.Reflection.Emit {
                        return DefineNestedType (name, attr, parent, null, packsize, UnspecifiedTypeSize);
                }
 
-               public ConstructorBuilder DefineConstructor( MethodAttributes attributes, CallingConventions callingConvention, Type[] parameterTypes) {
+               public ConstructorBuilder DefineConstructor (MethodAttributes attributes, CallingConventions callingConvention, Type[] parameterTypes)
+               {
+                       if (is_created)
+                               throw not_after_created ();
                        ConstructorBuilder cb = new ConstructorBuilder (this, attributes, callingConvention, parameterTypes);
                        if (ctors != null) {
                                ConstructorBuilder[] new_ctors = new ConstructorBuilder [ctors.Length+1];
@@ -228,8 +312,21 @@ namespace System.Reflection.Emit {
                        return cb;
                }
 
-               public ConstructorBuilder DefineDefaultConstructor( MethodAttributes attributes) {
-                       return DefineConstructor (attributes, CallingConventions.Standard, null);
+               public ConstructorBuilder DefineDefaultConstructor (MethodAttributes attributes)
+               {
+                       ConstructorBuilder cb = DefineConstructor (attributes, CallingConventions.Standard, null);
+
+                       ConstructorInfo parent_constructor = parent.GetConstructor (
+                               BindingFlags.Public | BindingFlags.NonPublic | BindingFlags.Instance,
+                               null, Type.EmptyTypes, null);
+
+                       ILGenerator ig = cb.GetILGenerator ();
+                       if (parent_constructor != null){
+                               ig.Emit (OpCodes.Ldarg_0);
+                               ig.Emit (OpCodes.Call, parent_constructor);
+                       }
+                       ig.Emit (OpCodes.Ret);
+                       return cb;
                }
 
                public MethodBuilder DefineMethod( string name, MethodAttributes attributes, Type returnType, Type[] parameterTypes) {
@@ -249,12 +346,32 @@ namespace System.Reflection.Emit {
                }
 
                public MethodBuilder DefineMethod( string name, MethodAttributes attributes, CallingConventions callingConvention, Type returnType, Type[] parameterTypes) {
+                       check_name ("name", name);
+                       if (is_created)
+                               throw not_after_created ();
+                       if (IsInterface && (
+                               !((attributes & MethodAttributes.Abstract) != 0) || 
+                               !((attributes & MethodAttributes.Virtual) != 0)))
+                               throw new ArgumentException ("attributes", "Interface method must be abstract and virtual.");
+
+                       if (returnType == null)
+                               returnType = pmodule.assemblyb.corlib_void_type;
                        MethodBuilder res = new MethodBuilder (this, name, attributes, callingConvention, returnType, parameterTypes);
                        append_method (res);
                        return res;
                }
 
                public MethodBuilder DefinePInvokeMethod (string name, string dllName, string entryName, MethodAttributes attributes, CallingConventions callingConvention, Type returnType, Type[] parameterTypes, CallingConvention nativeCallConv, CharSet nativeCharSet) {
+                       check_name ("name", name);
+                       check_name ("dllName", dllName);
+                       check_name ("entryName", entryName);
+                       if ((attributes & MethodAttributes.Abstract) != 0)
+                               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 ();
+
                        MethodBuilder res = new MethodBuilder (this, name, attributes, callingConvention, returnType, parameterTypes,
                                dllName, entryName, nativeCallConv, nativeCharSet);
                        append_method (res);
@@ -267,6 +384,13 @@ namespace System.Reflection.Emit {
                }
 
                public void DefineMethodOverride( MethodInfo methodInfoBody, MethodInfo methodInfoDeclaration) {
+                       if (methodInfoBody == null)
+                               throw new ArgumentNullException ("methodInfoBody");
+                       if (methodInfoDeclaration == null)
+                               throw new ArgumentNullException ("methodInfoDeclaration");
+                       if (is_created)
+                               throw not_after_created ();
+
                        if (methodInfoBody is MethodBuilder) {
                                MethodBuilder mb = (MethodBuilder)methodInfoBody;
                                mb.set_override (methodInfoDeclaration);
@@ -274,6 +398,12 @@ namespace System.Reflection.Emit {
                }
 
                public FieldBuilder DefineField( string fieldName, Type type, 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 ();
+
                        FieldBuilder res = new FieldBuilder (this, fieldName, type, attributes);
                        if (fields != null) {
                                FieldBuilder[] new_fields = new FieldBuilder [fields.Length+1];
@@ -289,6 +419,14 @@ namespace System.Reflection.Emit {
                }
 
                public PropertyBuilder DefineProperty( string name, PropertyAttributes attributes, Type returnType, Type[] parameterTypes) {
+                       check_name ("name", name);
+                       if (parameterTypes != null)
+                               foreach (Type param in parameterTypes)
+                                       if (param == null)
+                                               throw new ArgumentNullException ("parameterTypes");
+                       if (is_created)
+                               throw not_after_created ();
+
                        PropertyBuilder res = new PropertyBuilder (this, name, attributes, returnType, parameterTypes);
 
                        if (properties != null) {
@@ -305,6 +443,9 @@ namespace System.Reflection.Emit {
 
                [MonoTODO]
                public ConstructorBuilder DefineTypeInitializer() {
+                       if (is_created)
+                               throw not_after_created ();
+
                        throw new NotImplementedException ();
                }
 
@@ -313,27 +454,33 @@ namespace System.Reflection.Emit {
                
                public Type CreateType() {
                        /* handle nesting_type */
-                       if (created != null) {
-                               string err="type already created: " + created.ToString();
-                               throw new InvalidOperationException (err);
-                       }
+                       if (is_created)
+                               throw not_after_created ();
                        if (methods != null) {
                                foreach (MethodBuilder method in methods) {
                                        method.fixup ();
                                }
                        }
-                       if (ctors != null) {
-                               foreach (ConstructorBuilder ctor in ctors) {
+
+                       //
+                       // On classes, define a default constructor if not provided
+                       //
+                       if (!(IsInterface || IsValueType) && (ctors == null) && (tname != "<Module>"))
+                               DefineDefaultConstructor (MethodAttributes.Public);
+
+                       if (ctors != null){
+                               foreach (ConstructorBuilder ctor in ctors) 
                                        ctor.fixup ();
-                               }
                        }
+                       
                        created = create_runtime_class (this);
                        if (created != null)
                                return created;
                        return this;
                }
 
-               public override ConstructorInfo[] GetConstructors (BindingFlags bindingAttr) {
+               public override ConstructorInfo[] GetConstructors (BindingFlags bindingAttr)
+               {
                        if (ctors == null)
                                return new ConstructorInfo [0];
                        ArrayList l = new ArrayList ();
@@ -369,10 +516,15 @@ namespace System.Reflection.Emit {
                        return result;
                }
 
-               public override Type GetElementType () { return null; }
+               public override Type GetElementType () { 
+                       throw not_supported ();
+               }
 
                [MonoTODO]
                public override EventInfo GetEvent (string name, BindingFlags bindingAttr) {
+                       if (name == null)
+                               throw new ArgumentNullException ("name");
+
                        throw new NotImplementedException ();
                }
 
@@ -382,7 +534,9 @@ namespace System.Reflection.Emit {
 
                [MonoTODO]
                public override FieldInfo GetField( string name, BindingFlags bindingAttr) {
-                       //FIXME
+                       if (name == null)
+                               throw new ArgumentNullException ("name");
+
                        throw new NotImplementedException ();
                }
 
@@ -424,6 +578,9 @@ namespace System.Reflection.Emit {
 
                [MonoTODO]
                public override Type GetInterface (string name, bool ignoreCase) {
+                       if (name == null)
+                               throw new ArgumentNullException ("name");
+
                        throw new NotImplementedException ();
                }
                
@@ -487,7 +644,9 @@ namespace System.Reflection.Emit {
                
                [MonoTODO]
                public override Type GetNestedType( string name, BindingFlags bindingAttr) {
-                       // FIXME
+                       if (name == null)
+                               throw new ArgumentNullException ("name");
+
                        throw new NotImplementedException ();
                }
 
@@ -564,13 +723,14 @@ namespace System.Reflection.Emit {
                }
 
                protected override bool HasElementTypeImpl () {
-                       return IsArrayImpl() || IsByRefImpl() || IsPointerImpl ();
+                       // According to the MSDN docs, this is supported for TypeBuilders,
+                       // but in reality, it is not
+                       throw not_supported ();
+                       //                      return IsArrayImpl() || IsByRefImpl() || IsPointerImpl ();
                }
 
-               [MonoTODO]
                public override object InvokeMember( string name, BindingFlags invokeAttr, Binder binder, object target, object[] args, ParameterModifier[] modifiers, CultureInfo culture, string[] namedParameters) {
-                       // FIXME
-                       throw new NotImplementedException ();
+                       throw not_supported ();
                }
 
                protected override bool IsArrayImpl () {
@@ -597,9 +757,16 @@ namespace System.Reflection.Emit {
                                this != pmodule.assemblyb.corlib_enum_type);
                }
                
-               public override RuntimeTypeHandle TypeHandle { get { return _impl; } }
+               public override RuntimeTypeHandle TypeHandle { 
+                       get { 
+                               throw not_supported (); 
+                       } 
+               }
 
                public void SetCustomAttribute( CustomAttributeBuilder customBuilder) {
+                       if (customBuilder == null)
+                               throw new ArgumentNullException ("customBuilder");
+
                        string attrname = customBuilder.Ctor.ReflectedType.FullName;
                        if (attrname == "System.Runtime.InteropServices.StructLayoutAttribute") {
                                byte[] data = customBuilder.Data;
@@ -684,6 +851,12 @@ namespace System.Reflection.Emit {
                }
 
                public EventBuilder DefineEvent( string name, EventAttributes attributes, Type eventtype) {
+                       check_name ("name", name);
+                       if (eventtype == null)
+                               throw new ArgumentNullException ("eventtype");
+                       if (is_created)
+                               throw not_after_created ();
+
                        EventBuilder res = new EventBuilder (this, name, attributes, eventtype);
                        if (events != null) {
                                EventBuilder[] new_events = new EventBuilder [events.Length+1];
@@ -700,11 +873,17 @@ namespace System.Reflection.Emit {
                static int InitializedDataCount = 0;
                
                public FieldBuilder DefineInitializedData( string name, byte[] data, FieldAttributes attributes) {
-                       TypeBuilder datablobtype = pmodule.DefineType ("$ArrayType$"+InitializedDataCount.ToString(),
-                               TypeAttributes.Public|TypeAttributes.ExplicitLayout|TypeAttributes.Sealed,
-                               pmodule.assemblyb.corlib_value_type, PackingSize.Size1, data.Length);
-                       datablobtype.packing_size = PackingSize.Size1;
-                       datablobtype.class_size = data.Length;
+                       check_name ("name", name);
+                       if (data == null)
+                               throw new ArgumentNullException ("data");
+                       if ((data.Length == 0) || (data.Length > 0x3f0000))
+                               throw new ArgumentException ("data", "Data size must be > 0 and < 0x3f0000");
+                       if (is_created)
+                               throw not_after_created ();
+
+                       TypeBuilder datablobtype = DefineNestedType ("$ArrayType$"+InitializedDataCount.ToString(),
+                               TypeAttributes.NestedPrivate|TypeAttributes.ExplicitLayout|TypeAttributes.Sealed,
+                               pmodule.assemblyb.corlib_value_type, null, PackingSize.Size1, data.Length);
                        datablobtype.CreateType ();
                        FieldBuilder res = DefineField (name, datablobtype, attributes|FieldAttributes.Assembly|FieldAttributes.Static|FieldAttributes.HasFieldRVA);
                        res.SetRVAData (data);
@@ -714,6 +893,12 @@ namespace System.Reflection.Emit {
 
                [MonoTODO]
                public FieldBuilder DefineUninitializedData( string name, int size, FieldAttributes attributes) {
+                       check_name ("name", name);
+                       if ((size <= 0) || (size > 0x3f0000))
+                               throw new ArgumentException ("data", "Data size must be > 0 and < 0x3f0000");
+                       if (is_created)
+                               throw not_after_created ();
+
                        throw new NotImplementedException ();
                }
 
@@ -723,6 +908,11 @@ namespace System.Reflection.Emit {
                        }
                }
                public void SetParent (Type parentType) {
+                       if (parentType == null)
+                               throw new ArgumentNullException ("parentType");
+                       if (is_created)
+                               throw not_after_created ();
+
                        parent = parentType;
                }
                internal int get_next_table_index (object obj, int table, bool inc) {
@@ -736,5 +926,31 @@ namespace System.Reflection.Emit {
 
                        return created.GetInterfaceMap (interfaceType);
                }
+
+               internal bool is_created {
+                       get {
+                               return created != null;
+                       }
+               }
+
+               private Exception not_supported ()
+               {
+                       return new NotSupportedException ("The invoked member is not supported in a dynamic module.");
+               }
+
+               private Exception not_after_created ()
+               {
+                       return new InvalidOperationException ("Unable to change after type has been created.");
+               }
+
+               private void check_name (string argName, string name)
+               {
+                       if (name == null)
+                               throw new ArgumentNullException (argName);
+                       if (name == "")
+                               throw new ArgumentException (argName, "Empty name is not legal.");
+                       if (name.IndexOf ((char)0) != -1)
+                               throw new ArgumentException (argName, "Illegal name.");
+               }
        }
 }