60d78ded37c689b1f56a2b59d01e9d9e0bd84021
[mono.git] / mcs / class / corlib / System.Reflection.Emit / ModuleBuilder.cs
1 //
2 // Copyright (C) 2004 Novell, Inc (http://www.novell.com)
3 //
4 // Permission is hereby granted, free of charge, to any person obtaining
5 // a copy of this software and associated documentation files (the
6 // "Software"), to deal in the Software without restriction, including
7 // without limitation the rights to use, copy, modify, merge, publish,
8 // distribute, sublicense, and/or sell copies of the Software, and to
9 // permit persons to whom the Software is furnished to do so, subject to
10 // the following conditions:
11 // 
12 // The above copyright notice and this permission notice shall be
13 // included in all copies or substantial portions of the Software.
14 // 
15 // THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND,
16 // EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF
17 // MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND
18 // NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE
19 // LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION
20 // OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION
21 // WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.
22 //
23
24 //
25 // System.Reflection.Emit/ModuleBuilder.cs
26 //
27 // Author:
28 //   Paolo Molaro (lupus@ximian.com)
29 //
30 // (C) 2001 Ximian, Inc.  http://www.ximian.com
31 //
32
33 #if !FULL_AOT_RUNTIME
34 using System;
35 using System.Reflection;
36 using System.Collections;
37 using System.Collections.Generic;
38 using System.Runtime.CompilerServices;
39 using System.Runtime.InteropServices;
40 using System.Diagnostics.SymbolStore;
41 using System.IO;
42 using System.Resources;
43 using System.Globalization;
44
45 namespace System.Reflection.Emit {
46         [ComVisible (true)]
47         [ComDefaultInterface (typeof (_ModuleBuilder))]
48         [ClassInterface (ClassInterfaceType.None)]
49         [StructLayout (LayoutKind.Sequential)]
50         public class ModuleBuilder : Module, _ModuleBuilder {
51
52 #pragma warning disable 169, 414
53                 #region Sync with object-internals.h
54                 private UIntPtr dynamic_image; /* GC-tracked */
55                 private int num_types;
56                 private TypeBuilder[] types;
57                 private CustomAttributeBuilder[] cattrs;
58                 private byte[] guid;
59                 private int table_idx;
60                 internal AssemblyBuilder assemblyb;
61                 private MethodBuilder[] global_methods;
62                 private FieldBuilder[] global_fields;
63                 bool is_main;
64                 private MonoResource[] resources;
65                 private IntPtr unparented_classes;
66                 #endregion
67 #pragma warning restore 169, 414
68                 
69                 private TypeBuilder global_type;
70                 private Type global_type_created;
71                 // name_cache keys are display names
72                 Dictionary<TypeName, TypeBuilder> name_cache;
73                 Dictionary<string, int> us_string_cache;
74                 private int[] table_indexes;
75                 bool transient;
76                 ModuleBuilderTokenGenerator token_gen;
77                 Hashtable resource_writers;
78                 ISymbolWriter symbolWriter;
79
80                 static bool has_warned_about_symbolWriter;
81
82                 [MethodImplAttribute(MethodImplOptions.InternalCall)]
83                 private static extern void basic_init (ModuleBuilder ab);
84
85                 [MethodImplAttribute(MethodImplOptions.InternalCall)]
86                 private static extern void set_wrappers_type (ModuleBuilder mb, Type ab);
87
88                 internal ModuleBuilder (AssemblyBuilder assb, string name, string fullyqname, bool emitSymbolInfo, bool transient) {
89                         this.name = this.scopename = name;
90                         this.fqname = fullyqname;
91                         this.assembly = this.assemblyb = assb;
92                         this.transient = transient;
93                         // to keep mcs fast we do not want CryptoConfig wo be involved to create the RNG
94                         guid = Guid.FastNewGuidArray ();
95                         // guid = Guid.NewGuid().ToByteArray ();
96                         table_idx = get_next_table_index (this, 0x00, true);
97                         name_cache = new Dictionary<TypeName, TypeBuilder> ();
98                         us_string_cache = new Dictionary<string, int> (512);
99
100                         basic_init (this);
101
102                         CreateGlobalType ();
103
104                         if (assb.IsRun) {
105                                 TypeBuilder tb = new TypeBuilder (this, TypeAttributes.Abstract, 0xFFFFFF); /*last valid token*/
106                                 Type type = tb.CreateType ();
107                                 set_wrappers_type (this, type);
108                         }
109
110                         if (emitSymbolInfo) {
111                                 Assembly asm = Assembly.LoadWithPartialName ("Mono.CompilerServices.SymbolWriter");
112
113                                 Type t = null;
114                                 if (asm != null)
115                                         t = asm.GetType ("Mono.CompilerServices.SymbolWriter.SymbolWriterImpl");
116
117                                 if (t == null) {
118                                         WarnAboutSymbolWriter ("Failed to load the default Mono.CompilerServices.SymbolWriter assembly");
119                                 } else {
120                                         try {
121                                                 symbolWriter = (ISymbolWriter) Activator.CreateInstance (t, new object[] { this });
122                                         } catch (System.MissingMethodException) {
123                                                 WarnAboutSymbolWriter ("The default Mono.CompilerServices.SymbolWriter is not available on this platform");                                     
124                                                 return;
125                                         }
126                                 }
127                                 
128                                 string fileName = fqname;
129                                 if (assemblyb.AssemblyDir != null)
130                                         fileName = Path.Combine (assemblyb.AssemblyDir, fileName);
131                                 symbolWriter.Initialize (IntPtr.Zero, fileName, true);
132                         }
133                 }
134
135                 static void WarnAboutSymbolWriter (string message) 
136                 {
137                         if (has_warned_about_symbolWriter)
138                                 return;
139
140                         has_warned_about_symbolWriter = true;
141                         Console.Error.WriteLine ("WARNING: {0}", message);
142                 }
143
144                 public override string FullyQualifiedName {get { return fqname;}}
145
146                 public bool IsTransient () {
147                         return transient;
148                 }
149
150                 public void CreateGlobalFunctions () 
151                 {
152                         if (global_type_created != null)
153                                 throw new InvalidOperationException ("global methods already created");
154                         if (global_type != null)
155                                 global_type_created = global_type.CreateType ();
156                 }
157
158                 public FieldBuilder DefineInitializedData( string name, byte[] data, FieldAttributes attributes) {
159                         if (data == null)
160                                 throw new ArgumentNullException ("data");
161
162                         FieldBuilder fb = DefineUninitializedData (name, data.Length, 
163                                                                                                            attributes | FieldAttributes.HasFieldRVA);
164                         fb.SetRVAData (data);
165
166                         return fb;
167                 }
168
169                 public FieldBuilder DefineUninitializedData (string name, int size, FieldAttributes attributes)
170                 {
171                         if (name == null)
172                                 throw new ArgumentNullException ("name");
173                         if (global_type_created != null)
174                                 throw new InvalidOperationException ("global fields already created");
175                         if ((size <= 0) || (size > 0x3f0000))
176                                 throw new ArgumentException ("size", "Data size must be > 0 and < 0x3f0000");
177
178                         CreateGlobalType ();
179
180                         string typeName = "$ArrayType$" + size;
181                         Type datablobtype = GetType (typeName, false, false);
182                         if (datablobtype == null) {
183                                 TypeBuilder tb = DefineType (typeName, 
184                                     TypeAttributes.Public|TypeAttributes.ExplicitLayout|TypeAttributes.Sealed,
185                                         assemblyb.corlib_value_type, null, PackingSize.Size1, size);
186                                 tb.CreateType ();
187                                 datablobtype = tb;
188                         }
189                         FieldBuilder fb = global_type.DefineField (name, datablobtype, attributes|FieldAttributes.Static);
190
191                         if (global_fields != null) {
192                                 FieldBuilder[] new_fields = new FieldBuilder [global_fields.Length+1];
193                                 System.Array.Copy (global_fields, new_fields, global_fields.Length);
194                                 new_fields [global_fields.Length] = fb;
195                                 global_fields = new_fields;
196                         } else {
197                                 global_fields = new FieldBuilder [1];
198                                 global_fields [0] = fb;
199                         }
200                         return fb;
201                 }
202
203                 private void addGlobalMethod (MethodBuilder mb) {
204                         if (global_methods != null) {
205                                 MethodBuilder[] new_methods = new MethodBuilder [global_methods.Length+1];
206                                 System.Array.Copy (global_methods, new_methods, global_methods.Length);
207                                 new_methods [global_methods.Length] = mb;
208                                 global_methods = new_methods;
209                         } else {
210                                 global_methods = new MethodBuilder [1];
211                                 global_methods [0] = mb;
212                         }
213                 }
214
215                 public MethodBuilder DefineGlobalMethod (string name, MethodAttributes attributes, Type returnType, Type[] parameterTypes)
216                 {
217                         return DefineGlobalMethod (name, attributes, CallingConventions.Standard, returnType, parameterTypes);
218                 }
219
220                 public MethodBuilder DefineGlobalMethod (string name, MethodAttributes attributes, CallingConventions callingConvention, Type returnType, Type[] parameterTypes) {
221                         return DefineGlobalMethod (name, attributes, callingConvention, returnType, null, null, parameterTypes, null, null);
222                 }
223
224                 public MethodBuilder DefineGlobalMethod (string name, MethodAttributes attributes, CallingConventions callingConvention, Type returnType, Type[] requiredReturnTypeCustomModifiers, Type[] optionalReturnTypeCustomModifiers, Type[] parameterTypes, Type[][] requiredParameterTypeCustomModifiers, Type[][] optionalParameterTypeCustomModifiers)
225                 {
226                         if (name == null)
227                                 throw new ArgumentNullException ("name");
228                         if ((attributes & MethodAttributes.Static) == 0)
229                                 throw new ArgumentException ("global methods must be static");
230                         if (global_type_created != null)
231                                 throw new InvalidOperationException ("global methods already created");
232                         CreateGlobalType ();
233                         MethodBuilder mb = global_type.DefineMethod (name, attributes, callingConvention, returnType, requiredReturnTypeCustomModifiers, optionalReturnTypeCustomModifiers, parameterTypes, requiredParameterTypeCustomModifiers, optionalParameterTypeCustomModifiers);
234
235                         addGlobalMethod (mb);
236                         return mb;
237                 }
238
239                 public MethodBuilder DefinePInvokeMethod (string name, string dllName, MethodAttributes attributes, CallingConventions callingConvention, Type returnType, Type[] parameterTypes, CallingConvention nativeCallConv, CharSet nativeCharSet) {
240                         return DefinePInvokeMethod (name, dllName, name, attributes, callingConvention, returnType, parameterTypes, nativeCallConv, nativeCharSet);
241                 }
242
243                 public MethodBuilder DefinePInvokeMethod (string name, string dllName, string entryName, MethodAttributes attributes, CallingConventions callingConvention, Type returnType, Type[] parameterTypes, CallingConvention nativeCallConv, CharSet nativeCharSet) {
244                         if (name == null)
245                                 throw new ArgumentNullException ("name");
246                         if ((attributes & MethodAttributes.Static) == 0)
247                                 throw new ArgumentException ("global methods must be static");
248                         if (global_type_created != null)
249                                 throw new InvalidOperationException ("global methods already created");
250                         CreateGlobalType ();
251                         MethodBuilder mb = global_type.DefinePInvokeMethod (name, dllName, entryName, attributes, callingConvention, returnType, parameterTypes, nativeCallConv, nativeCharSet);
252
253                         addGlobalMethod (mb);
254                         return mb;
255                 }                       
256
257                 public TypeBuilder DefineType (string name) {
258                         return DefineType (name, 0);
259                 }
260
261                 public TypeBuilder DefineType (string name, TypeAttributes attr) {
262                         if ((attr & TypeAttributes.Interface) != 0)
263                                 return DefineType (name, attr, null, null);
264                         return DefineType (name, attr, typeof(object), null);
265                 }
266
267                 public TypeBuilder DefineType (string name, TypeAttributes attr, Type parent) {
268                         return DefineType (name, attr, parent, null);
269                 }
270
271                 private void AddType (TypeBuilder tb)
272                 {
273                         if (types != null) {
274                                 if (types.Length == num_types) {
275                                         TypeBuilder[] new_types = new TypeBuilder [types.Length * 2];
276                                         System.Array.Copy (types, new_types, num_types);
277                                         types = new_types;
278                                 }
279                         } else {
280                                 types = new TypeBuilder [1];
281                         }
282                         types [num_types] = tb;
283                         num_types ++;
284                 }
285
286                 private TypeBuilder DefineType (string name, TypeAttributes attr, Type parent, Type[] interfaces, PackingSize packingSize, int typesize) {
287                         if (name == null)
288                                 throw new ArgumentNullException ("fullname");
289                         TypeIdentifier ident = TypeIdentifiers.FromInternal (name);
290                         if (name_cache.ContainsKey (ident))
291                                 throw new ArgumentException ("Duplicate type name within an assembly.");
292                         TypeBuilder res = new TypeBuilder (this, name, attr, parent, interfaces, packingSize, typesize, null);
293                         AddType (res);
294
295                         name_cache.Add (ident, res);
296                         
297                         return res;
298                 }
299
300                 internal void RegisterTypeName (TypeBuilder tb, TypeName name)
301                 {
302                         name_cache.Add (name, tb);
303                 }
304                 
305                 internal TypeBuilder GetRegisteredType (TypeName name)
306                 {
307                         TypeBuilder result = null;
308                         name_cache.TryGetValue (name, out result);
309                         return result;
310                 }
311
312                 [ComVisible (true)]
313                 public TypeBuilder DefineType (string name, TypeAttributes attr, Type parent, Type[] interfaces) {
314                         return DefineType (name, attr, parent, interfaces, PackingSize.Unspecified, TypeBuilder.UnspecifiedTypeSize);
315                 }
316
317                 public TypeBuilder DefineType (string name, TypeAttributes attr, Type parent, int typesize) {
318                         return DefineType (name, attr, parent, null, PackingSize.Unspecified, typesize);
319                 }
320
321                 public TypeBuilder DefineType (string name, TypeAttributes attr, Type parent, PackingSize packsize) {
322                         return DefineType (name, attr, parent, null, packsize, TypeBuilder.UnspecifiedTypeSize);
323                 }
324
325                 public TypeBuilder DefineType (string name, TypeAttributes attr, Type parent, PackingSize packingSize, int typesize) {
326                         return DefineType (name, attr, parent, null, packingSize, typesize);
327                 }
328
329                 public MethodInfo GetArrayMethod( Type arrayClass, string methodName, CallingConventions callingConvention, Type returnType, Type[] parameterTypes) {
330                         return new MonoArrayMethod (arrayClass, methodName, callingConvention, returnType, parameterTypes);
331                 }
332
333                 public EnumBuilder DefineEnum( string name, TypeAttributes visibility, Type underlyingType) {
334                         TypeIdentifier ident = TypeIdentifiers.FromInternal (name);
335                         if (name_cache.ContainsKey (ident))
336                                 throw new ArgumentException ("Duplicate type name within an assembly.");
337
338                         EnumBuilder eb = new EnumBuilder (this, name, visibility, underlyingType);
339                         TypeBuilder res = eb.GetTypeBuilder ();
340                         AddType (res);
341                         name_cache.Add (ident, res);
342                         return eb;
343                 }
344
345                 [ComVisible (true)]
346                 public override Type GetType( string className) {
347                         return GetType (className, false, false);
348                 }
349                 
350                 [ComVisible (true)]
351                 public override Type GetType( string className, bool ignoreCase) {
352                         return GetType (className, false, ignoreCase);
353                 }
354
355                 private TypeBuilder search_in_array (TypeBuilder[] arr, int validElementsInArray, TypeName className) {
356                         int i;
357                         for (i = 0; i < validElementsInArray; ++i) {
358                                 if (String.Compare (className.DisplayName, arr [i].FullName, true, CultureInfo.InvariantCulture) == 0) {
359                                         return arr [i];
360                                 }
361                         }
362                         return null;
363                 }
364
365                 private TypeBuilder search_nested_in_array (TypeBuilder[] arr, int validElementsInArray, TypeName className) {
366                         int i;
367                         for (i = 0; i < validElementsInArray; ++i) {
368                                 if (String.Compare (className.DisplayName, arr [i].Name, true, CultureInfo.InvariantCulture) == 0)
369                                         return arr [i];
370                         }
371                         return null;
372                 }
373
374                 private TypeBuilder GetMaybeNested (TypeBuilder t, IEnumerable<TypeName> nested) {
375                         TypeBuilder result = t;
376
377                         foreach (TypeName pname in nested) {
378                                 if (result.subtypes == null)
379                                         return null;
380                                 result = search_nested_in_array(result.subtypes, result.subtypes.Length, pname);
381                                 if (result == null)
382                                         return null;
383                         }
384                         return result;
385                 }
386
387                 [ComVisible (true)]
388                 public override Type GetType (string className, bool throwOnError, bool ignoreCase)
389                 {
390                         if (className == null)
391                                 throw new ArgumentNullException ("className");
392                         if (className.Length == 0)
393                                 throw new ArgumentException ("className");
394
395                         TypeBuilder result = null;
396
397                         if (types == null && throwOnError)
398                                 throw new TypeLoadException (className);
399
400                         TypeSpec ts = TypeSpec.Parse (className);
401
402                         if (!ignoreCase) {
403                                 var displayNestedName = ts.TypeNameWithoutModifiers();
404                                 name_cache.TryGetValue (displayNestedName, out result);
405                         } else {
406                                 if (types != null)
407                                         result = search_in_array (types, num_types,  ts.Name);
408                                 if (!ts.IsNested && result != null) {
409                                         result = GetMaybeNested (result, ts.Nested);
410                                 }
411                         }
412                         if ((result == null) && throwOnError)
413                                 throw new TypeLoadException (className);
414                         if (result != null && (ts.HasModifiers || ts.IsByRef)) {
415                                 Type mt = result;
416                                 if (result is TypeBuilder) {
417                                         var tb = result as TypeBuilder;
418                                         if (tb.is_created)
419                                                 mt = tb.CreateType ();
420                                 }
421                                 foreach (var mod in ts.Modifiers) {
422                                         if (mod is PointerSpec)
423                                                 mt = mt.MakePointerType ();
424                                         else if (mod is ArraySpec) {
425                                                 var spec = mod as ArraySpec;
426                                                 if (spec.IsBound)
427                                                         return null;
428                                                 if (spec.Rank == 1)
429                                                         mt = mt.MakeArrayType ();
430                                                 else
431                                                         mt = mt.MakeArrayType (spec.Rank);
432                                         }
433                                 }
434                                 if (ts.IsByRef)
435                                         mt = mt.MakeByRefType ();
436                                 result = mt as TypeBuilder;
437                                 if (result == null)
438                                         return mt;
439                         }
440                         if (result != null && result.is_created)
441                                 return result.CreateType ();
442                         else
443                                 return result;
444                 }
445
446                 internal int get_next_table_index (object obj, int table, bool inc) {
447                         if (table_indexes == null) {
448                                 table_indexes = new int [64];
449                                 for (int i=0; i < 64; ++i)
450                                         table_indexes [i] = 1;
451                                 /* allow room for .<Module> in TypeDef table */
452                                 table_indexes [0x02] = 2;
453                         }
454                         // Console.WriteLine ("getindex for table "+table.ToString()+" got "+table_indexes [table].ToString());
455                         if (inc)
456                                 return table_indexes [table]++;
457                         return table_indexes [table];
458                 }
459
460                 public void SetCustomAttribute( CustomAttributeBuilder customBuilder) {
461                         if (cattrs != null) {
462                                 CustomAttributeBuilder[] new_array = new CustomAttributeBuilder [cattrs.Length + 1];
463                                 cattrs.CopyTo (new_array, 0);
464                                 new_array [cattrs.Length] = customBuilder;
465                                 cattrs = new_array;
466                         } else {
467                                 cattrs = new CustomAttributeBuilder [1];
468                                 cattrs [0] = customBuilder;
469                         }
470                 }
471
472                 [ComVisible (true)]
473                 public void SetCustomAttribute( ConstructorInfo con, byte[] binaryAttribute) {
474                         SetCustomAttribute (new CustomAttributeBuilder (con, binaryAttribute));
475                 }
476
477                 public ISymbolWriter GetSymWriter () {
478                         return symbolWriter;
479                 }
480
481                 public ISymbolDocumentWriter DefineDocument (string url, Guid language, Guid languageVendor, Guid documentType)
482                 {
483                         if (symbolWriter != null)
484                                 return symbolWriter.DefineDocument (url, language, languageVendor, documentType);
485                         else
486                                 return null;
487                 }
488
489                 public override Type [] GetTypes ()
490                 {
491                         if (types == null)
492                                 return Type.EmptyTypes;
493
494                         int n = num_types;
495                         Type [] copy = new Type [n];
496                         Array.Copy (types, copy, n);
497
498                         // MS replaces the typebuilders with their created types
499                         for (int i = 0; i < copy.Length; ++i)
500                                 if (types [i].is_created)
501                                         copy [i] = types [i].CreateType ();
502
503                         return copy;
504                 }
505
506                 public IResourceWriter DefineResource (string name, string description, ResourceAttributes attribute)
507                 {
508                         if (name == null)
509                                 throw new ArgumentNullException ("name");
510                         if (name == String.Empty)
511                                 throw new ArgumentException ("name cannot be empty");
512                         if (transient)
513                                 throw new InvalidOperationException ("The module is transient");
514                         if (!assemblyb.IsSave)
515                                 throw new InvalidOperationException ("The assembly is transient");
516                         ResourceWriter writer = new ResourceWriter (new MemoryStream ());
517                         if (resource_writers == null)
518                                 resource_writers = new Hashtable ();
519                         resource_writers [name] = writer;
520
521                         // The data is filled out later
522                         if (resources != null) {
523                                 MonoResource[] new_r = new MonoResource [resources.Length + 1];
524                                 System.Array.Copy(resources, new_r, resources.Length);
525                                 resources = new_r;
526                         } else {
527                                 resources = new MonoResource [1];
528                         }
529                         int p = resources.Length - 1;
530                         resources [p].name = name;
531                         resources [p].attrs = attribute;
532
533                         return writer;
534                 }
535
536                 public IResourceWriter DefineResource (string name, string description)
537                 {
538                         return DefineResource (name, description, ResourceAttributes.Public);
539                 }
540
541                 [MonoTODO]
542                 public void DefineUnmanagedResource (byte[] resource)
543                 {
544                         if (resource == null)
545                                 throw new ArgumentNullException ("resource");
546
547                         throw new NotImplementedException ();
548                 }
549
550                 [MonoTODO]
551                 public void DefineUnmanagedResource (string resourceFileName)
552                 {
553                         if (resourceFileName == null)
554                                 throw new ArgumentNullException ("resourceFileName");
555                         if (resourceFileName == String.Empty)
556                                 throw new ArgumentException ("resourceFileName");
557                         if (!File.Exists (resourceFileName) || Directory.Exists (resourceFileName))
558                                 throw new FileNotFoundException ("File '" + resourceFileName + "' does not exist or is a directory.");
559
560                         throw new NotImplementedException ();
561                 }
562
563                 public void DefineManifestResource (string name, Stream stream, ResourceAttributes attribute) {
564                         if (name == null)
565                                 throw new ArgumentNullException ("name");
566                         if (name == String.Empty)
567                                 throw new ArgumentException ("name cannot be empty");
568                         if (stream == null)
569                                 throw new ArgumentNullException ("stream");
570                         if (transient)
571                                 throw new InvalidOperationException ("The module is transient");
572                         if (!assemblyb.IsSave)
573                                 throw new InvalidOperationException ("The assembly is transient");
574
575                         if (resources != null) {
576                                 MonoResource[] new_r = new MonoResource [resources.Length + 1];
577                                 System.Array.Copy(resources, new_r, resources.Length);
578                                 resources = new_r;
579                         } else {
580                                 resources = new MonoResource [1];
581                         }
582                         int p = resources.Length - 1;
583                         resources [p].name = name;
584                         resources [p].attrs = attribute;
585                         resources [p].stream = stream;
586                 }
587
588                 [MonoTODO]
589                 public void SetSymCustomAttribute (string name, byte[] data)
590                 {
591                         throw new NotImplementedException ();
592                 }
593
594                 [MonoTODO]
595                 public void SetUserEntryPoint (MethodInfo entryPoint)
596                 {
597                         if (entryPoint == null)
598                                 throw new ArgumentNullException ("entryPoint");
599                         if (entryPoint.DeclaringType.Module != this)
600                                 throw new InvalidOperationException ("entryPoint is not contained in this module");
601                         throw new NotImplementedException ();
602                 }
603
604                 public MethodToken GetMethodToken (MethodInfo method)
605                 {
606                         if (method == null)
607                                 throw new ArgumentNullException ("method");
608
609                         return new MethodToken (GetToken (method));
610                 }
611                 
612                 public MethodToken GetMethodToken (MethodInfo method, IEnumerable<Type> optionalParameterTypes)
613                 {
614                         if (method == null)
615                                 throw new ArgumentNullException ("method");
616
617                         return new MethodToken (GetToken (method, optionalParameterTypes));
618                 }
619
620                 public MethodToken GetArrayMethodToken (Type arrayClass, string methodName, CallingConventions callingConvention, Type returnType, Type[] parameterTypes)
621                 {
622                         return GetMethodToken (GetArrayMethod (arrayClass, methodName, callingConvention, returnType, parameterTypes));
623                 }
624
625                 [ComVisible (true)]
626                 public MethodToken GetConstructorToken (ConstructorInfo con)
627                 {
628                         if (con == null)
629                                 throw new ArgumentNullException ("con");
630
631                         return new MethodToken (GetToken (con));
632                 }
633                 
634                 public MethodToken GetConstructorToken (ConstructorInfo constructor, IEnumerable<Type> optionalParameterTypes)
635                 {
636                         if (constructor == null)
637                                 throw new ArgumentNullException ("constructor");
638
639                         return new MethodToken (GetToken (constructor, optionalParameterTypes));
640                 }
641
642                 public FieldToken GetFieldToken (FieldInfo field)
643                 {
644                         if (field == null)
645                                 throw new ArgumentNullException ("field");
646
647                         return new FieldToken (GetToken (field));
648                 }
649
650                 [MonoTODO]
651                 public SignatureToken GetSignatureToken (byte[] sigBytes, int sigLength)
652                 {
653                         throw new NotImplementedException ();
654                 }
655
656                 public SignatureToken GetSignatureToken (SignatureHelper sigHelper)
657                 {
658                         if (sigHelper == null)
659                                 throw new ArgumentNullException ("sigHelper");
660                         return new SignatureToken (GetToken (sigHelper));
661                 }
662
663                 public StringToken GetStringConstant (string str)
664                 {
665                         if (str == null)
666                                 throw new ArgumentNullException ("str");
667                         return new StringToken (GetToken (str));
668                 }
669
670                 public TypeToken GetTypeToken (Type type)
671                 {
672                         if (type == null)
673                                 throw new ArgumentNullException ("type");
674                         if (type.IsByRef)
675                                 throw new ArgumentException ("type can't be a byref type", "type");
676                         if (!IsTransient () && (type.Module is ModuleBuilder) && ((ModuleBuilder)type.Module).IsTransient ())
677                                 throw new InvalidOperationException ("a non-transient module can't reference a transient module");
678                         return new TypeToken (GetToken (type));
679                 }
680
681                 public TypeToken GetTypeToken (string name)
682                 {
683                         return GetTypeToken (GetType (name));
684                 }
685
686                 [MethodImplAttribute(MethodImplOptions.InternalCall)]
687                 private static extern int getUSIndex (ModuleBuilder mb, string str);
688
689                 [MethodImplAttribute(MethodImplOptions.InternalCall)]
690                 private static extern int getToken (ModuleBuilder mb, object obj, bool create_open_instance);
691
692                 [MethodImplAttribute(MethodImplOptions.InternalCall)]
693                 private static extern int getMethodToken (ModuleBuilder mb, MethodBase method,
694                                                           Type[] opt_param_types);
695
696                 internal int GetToken (string str)
697                 {
698                         int result;
699                         if (!us_string_cache.TryGetValue (str, out result)) {
700                                 result = getUSIndex (this, str);
701                                 us_string_cache [str] = result;
702                         }
703                         
704                         return result;
705                 }
706
707                 static int typeref_tokengen =  0x01ffffff;
708                 static int typedef_tokengen =  0x02ffffff;
709                 static int typespec_tokengen =  0x1bffffff;
710                 static int memberref_tokengen =  0x0affffff;
711                 static int methoddef_tokengen =  0x06ffffff;
712                 Dictionary<MemberInfo, int> inst_tokens = new Dictionary<MemberInfo, int> ();
713                 Dictionary<MemberInfo, int> inst_tokens_open = new Dictionary<MemberInfo, int> ();
714
715                 //
716                 // Assign a pseudo token to the various TypeBuilderInst objects, so the runtime
717                 // doesn't have to deal with them.
718                 // For Save assemblies, the tokens will be fixed up later during Save ().
719                 // For Run assemblies, the tokens will not be fixed up, so the runtime will
720                 // still encounter these objects, it will resolve them by calling their
721                 // RuntimeResolve () methods.
722                 //
723                 int GetPseudoToken (MemberInfo member, bool create_open_instance) {
724                         int token;
725
726                         if (create_open_instance) {
727                                 if (inst_tokens_open.TryGetValue (member, out token))
728                                         return token;
729                         } else {
730                                 if (inst_tokens.TryGetValue (member, out token))
731                                         return token;
732                         }
733                         // Count backwards to avoid collisions with the tokens
734                         // allocated by the runtime
735                         if (member is TypeBuilderInstantiation || member is SymbolType)
736                                 token = typespec_tokengen --;
737                         else if (member is FieldOnTypeBuilderInst)
738                                 token = memberref_tokengen --;
739                         else if (member is ConstructorOnTypeBuilderInst)
740                                 token = memberref_tokengen --;
741                         else if (member is MethodOnTypeBuilderInst)
742                                 token = memberref_tokengen --;
743                         else if (member is FieldBuilder)
744                                 token = memberref_tokengen --;
745                         else if (member is TypeBuilder) {
746                                 if (create_open_instance && (member as TypeBuilder).ContainsGenericParameters)
747                                         token = typespec_tokengen --;
748                                 else if (member.Module == this)
749                                         token = typedef_tokengen --;
750                                 else
751                                         token = typeref_tokengen --;
752                         } else if (member is ConstructorBuilder) {
753                                 if (member.Module == this && !(member as ConstructorBuilder).TypeBuilder.ContainsGenericParameters)
754                                         token = methoddef_tokengen --;
755                                 else
756                                         token = memberref_tokengen --;
757                         } else if (member is MethodBuilder) {
758                                 var mb = member as MethodBuilder;
759                                 if (member.Module == this && !mb.TypeBuilder.ContainsGenericParameters && !mb.IsGenericMethodDefinition)
760                                         token = methoddef_tokengen --;
761                                 else
762                                         token = memberref_tokengen --;
763                         } else if (member is GenericTypeParameterBuilder) {
764                                 token = typespec_tokengen --;
765                         } else
766                                 throw new NotImplementedException ();
767                         if (create_open_instance)
768                                 inst_tokens_open [member] = token;
769                         else
770                                 inst_tokens [member] = token;
771                         RegisterToken (member, token);
772                         return token;
773                 }
774
775                 internal int GetToken (MemberInfo member) {
776                         if (member is ConstructorBuilder || member is MethodBuilder)
777                                 return GetPseudoToken (member, false);
778                         return getToken (this, member, true);
779                 }
780
781                 internal int GetToken (MemberInfo member, bool create_open_instance) {
782                         if (member is TypeBuilderInstantiation || member is FieldOnTypeBuilderInst || member is ConstructorOnTypeBuilderInst || member is MethodOnTypeBuilderInst || member is SymbolType || member is FieldBuilder || member is TypeBuilder || member is ConstructorBuilder || member is MethodBuilder || member is GenericTypeParameterBuilder)
783                                 return GetPseudoToken (member, create_open_instance);
784                         return getToken (this, member, create_open_instance);
785                 }
786
787                 internal int GetToken (MethodBase method, IEnumerable<Type> opt_param_types) {
788                         if (method is ConstructorBuilder || method is MethodBuilder)
789                                 return GetPseudoToken (method, false);
790
791                         if (opt_param_types == null)
792                                 return getToken (this, method, true);
793
794                         var optParamTypes = new List<Type> (opt_param_types);
795                         return  getMethodToken (this, method, optParamTypes.ToArray ());
796                 }
797                 
798                 internal int GetToken (MethodBase method, Type[] opt_param_types) {
799                         if (method is ConstructorBuilder || method is MethodBuilder)
800                                 return GetPseudoToken (method, false);
801                         return getMethodToken (this, method, opt_param_types);
802                 }
803
804                 internal int GetToken (SignatureHelper helper) {
805                         return getToken (this, helper, true);
806                 }
807
808                 /*
809                  * Register the token->obj mapping with the runtime so the Module.Resolve... 
810                  * methods will work for obj.
811                  */
812                 [MethodImplAttribute(MethodImplOptions.InternalCall)]
813                 internal extern void RegisterToken (object obj, int token);
814
815                 /*
816                  * Returns MemberInfo registered with the given token.
817                  */
818                 [MethodImplAttribute(MethodImplOptions.InternalCall)]
819                 internal extern object GetRegisteredToken (int token);
820
821                 internal TokenGenerator GetTokenGenerator () {
822                         if (token_gen == null)
823                                 token_gen = new ModuleBuilderTokenGenerator (this);
824                         return token_gen;
825                 }
826
827                 // Called from the runtime to return the corresponding finished reflection object
828                 internal static object RuntimeResolve (object obj) {
829                         if (obj is MethodBuilder)
830                                 return (obj as MethodBuilder).RuntimeResolve ();
831                         if (obj is ConstructorBuilder)
832                                 return (obj as ConstructorBuilder).RuntimeResolve ();
833                         if (obj is FieldBuilder)
834                                 return (obj as FieldBuilder).RuntimeResolve ();
835                         if (obj is GenericTypeParameterBuilder)
836                                 return (obj as GenericTypeParameterBuilder).RuntimeResolve ();
837                         if (obj is FieldOnTypeBuilderInst)
838                                 return (obj as FieldOnTypeBuilderInst).RuntimeResolve ();
839                         if (obj is MethodOnTypeBuilderInst)
840                                 return (obj as MethodOnTypeBuilderInst).RuntimeResolve ();
841                         if (obj is ConstructorOnTypeBuilderInst)
842                                 return (obj as ConstructorOnTypeBuilderInst).RuntimeResolve ();
843                         if (obj is Type)
844                                 return (obj as Type).RuntimeResolve ();
845                         throw new NotImplementedException (obj.GetType ().FullName);
846                 }
847
848                 [MethodImplAttribute(MethodImplOptions.InternalCall)]
849                 private static extern void build_metadata (ModuleBuilder mb);
850
851                 [MethodImplAttribute(MethodImplOptions.InternalCall)]
852                 private extern void WriteToFile (IntPtr handle);
853
854                 void FixupTokens (Dictionary<int, int> token_map, Dictionary<int, MemberInfo> member_map, Dictionary<MemberInfo, int> inst_tokens,
855                                                   bool open) {
856                         foreach (var v in inst_tokens) {
857                                 var member = v.Key;
858                                 var old_token = v.Value;
859                                 MemberInfo finished = null;
860
861                                 // Construct the concrete reflection object corresponding to the
862                                 // TypeBuilderInst object, and request a token for it instead.
863                                 if (member is TypeBuilderInstantiation || member is SymbolType) {
864                                         finished = (member as Type).RuntimeResolve ();
865                                 } else if (member is FieldOnTypeBuilderInst) {
866                                         finished = (member as FieldOnTypeBuilderInst).RuntimeResolve ();
867                                 } else if (member is ConstructorOnTypeBuilderInst) {
868                                         finished = (member as ConstructorOnTypeBuilderInst).RuntimeResolve ();
869                                 } else if (member is MethodOnTypeBuilderInst) {
870                                         finished = (member as MethodOnTypeBuilderInst).RuntimeResolve ();
871                                 } else if (member is FieldBuilder) {
872                                         finished = (member as FieldBuilder).RuntimeResolve ();
873                                 } else if (member is TypeBuilder) {
874                                         finished = (member as TypeBuilder).RuntimeResolve ();
875                                 } else if (member is ConstructorBuilder) {
876                                         finished = (member as ConstructorBuilder).RuntimeResolve ();
877                                 } else if (member is MethodBuilder) {
878                                         finished = (member as MethodBuilder).RuntimeResolve ();
879                                 } else if (member is GenericTypeParameterBuilder) {
880                                         finished = (member as GenericTypeParameterBuilder).RuntimeResolve ();
881                                 } else {
882                                         throw new NotImplementedException ();
883                                 }
884
885                                 int new_token = GetToken (finished, open);
886                                 token_map [old_token] = new_token;
887                                 member_map [old_token] = finished;
888                                 // Replace the token mapping in the runtime so it points to the new object
889                                 RegisterToken (finished, old_token);
890                         }
891                 }
892
893                 //
894                 // Fixup the pseudo tokens assigned to the various SRE objects
895                 //
896                 void FixupTokens () {
897                         var token_map = new Dictionary<int, int> ();
898                         var member_map = new Dictionary<int, MemberInfo> ();
899                         FixupTokens (token_map, member_map, inst_tokens, false);
900                         FixupTokens (token_map, member_map, inst_tokens_open, true);
901
902                         // Replace the tokens in the IL stream
903                         if (types != null) {
904                                 for (int i = 0; i < num_types; ++i)
905                                         types [i].FixupTokens (token_map, member_map);
906                         }
907                 }
908
909                 internal void Save ()
910                 {
911                         if (transient && !is_main)
912                                 return;
913
914                         if (types != null) {
915                                 for (int i = 0; i < num_types; ++i)
916                                         if (!types [i].is_created)
917                                                 throw new NotSupportedException ("Type '" + types [i].FullName + "' was not completed.");
918                         }
919
920                         FixupTokens ();
921
922                         if ((global_type != null) && (global_type_created == null))
923                                 global_type_created = global_type.CreateType ();
924
925                         if (resources != null) {
926                                 for (int i = 0; i < resources.Length; ++i) {
927                                         IResourceWriter rwriter;
928                                         if (resource_writers != null && (rwriter = resource_writers [resources [i].name] as IResourceWriter) != null) {
929                                                 ResourceWriter writer = (ResourceWriter)rwriter;
930                                                 writer.Generate ();
931                                                 MemoryStream mstream = (MemoryStream)writer._output;
932                                                 resources [i].data = new byte [mstream.Length];
933                                                 mstream.Seek (0, SeekOrigin.Begin);
934                                                 mstream.Read (resources [i].data, 0, (int)mstream.Length);
935                                                 continue;
936                                         }
937                                         Stream stream = resources [i].stream;
938
939                                         // According to MSDN docs, the stream is read during assembly save, not earlier
940                                         if (stream != null) {
941                                                 try {
942                                                         long len = stream.Length;
943                                                         resources [i].data = new byte [len];
944                                                         stream.Seek (0, SeekOrigin.Begin);
945                                                         stream.Read (resources [i].data, 0, (int)len);
946                                                 } catch {
947                                                         /* do something */
948                                                 }
949                                         }
950                                 }
951                         }
952
953                         build_metadata (this);
954
955                         string fileName = fqname;
956                         if (assemblyb.AssemblyDir != null)
957                                 fileName = Path.Combine (assemblyb.AssemblyDir, fileName);
958
959                         try {
960                                 // We mmap the file, so unlink the previous version since it may be in use
961                                 File.Delete (fileName);
962                         } catch {
963                                 // We can safely ignore
964                         }
965                         using (FileStream file = new FileStream (fileName, FileMode.Create, FileAccess.Write))
966                                 WriteToFile (file.Handle);
967                         
968                         //
969                         // The constant 0x80000000 is internal to Mono, it means `make executable'
970                         //
971                         File.SetAttributes (fileName, (FileAttributes) (unchecked ((int) 0x80000000)));
972                         
973                         if (types != null && symbolWriter != null) {
974                                 for (int i = 0; i < num_types; ++i)
975                                         types [i].GenerateDebugInfo (symbolWriter);
976                                 symbolWriter.Close ();
977                         }
978                 }
979
980                 internal string FileName {
981                         get {
982                                 return fqname;
983                         }
984                 }
985
986                 internal bool IsMain {
987                         set {
988                                 is_main = value;
989                         }
990                 }
991
992                 internal void CreateGlobalType () {
993                         if (global_type == null)
994                                 global_type = new TypeBuilder (this, 0, 1);
995                 }
996
997                 internal override Guid GetModuleVersionId ()
998                 {
999                         return new Guid (guid);
1000                 }
1001
1002                 // Used by mcs, the symbol writer, and mdb through reflection
1003                 internal static Guid Mono_GetGuid (ModuleBuilder mb)
1004                 {
1005                         return mb.GetModuleVersionId ();
1006                 }
1007
1008                 void _ModuleBuilder.GetIDsOfNames ([In] ref Guid riid, IntPtr rgszNames, uint cNames, uint lcid, IntPtr rgDispId)
1009                 {
1010                         throw new NotImplementedException ();
1011                 }
1012
1013                 void _ModuleBuilder.GetTypeInfo (uint iTInfo, uint lcid, IntPtr ppTInfo)
1014                 {
1015                         throw new NotImplementedException ();
1016                 }
1017
1018                 void _ModuleBuilder.GetTypeInfoCount (out uint pcTInfo)
1019                 {
1020                         throw new NotImplementedException ();
1021                 }
1022
1023                 void _ModuleBuilder.Invoke (uint dispIdMember, [In] ref Guid riid, uint lcid, short wFlags, IntPtr pDispParams, IntPtr pVarResult, IntPtr pExcepInfo, IntPtr puArgErr)
1024                 {
1025                         throw new NotImplementedException ();
1026                 }
1027
1028                 public override Assembly Assembly {
1029                         get { return assemblyb; }
1030                 }
1031
1032                 public override string Name {
1033                         get { return name; }
1034                 }
1035
1036                 public override string ScopeName {
1037                         get { return name; }
1038                 }
1039
1040                 public override Guid ModuleVersionId {
1041                         get {
1042                                 return GetModuleVersionId ();
1043                         }
1044                 }
1045
1046                 //XXX resource modules can't be defined with ModuleBuilder
1047                 public override bool IsResource ()
1048                 {
1049                         return false;
1050                 }
1051
1052                 protected override MethodInfo GetMethodImpl (string name, BindingFlags bindingAttr, Binder binder, CallingConventions callConvention, Type[] types, ParameterModifier[] modifiers) 
1053                 {
1054                         if (global_type_created == null)
1055                                 return null;
1056                         if (types == null)
1057                                 return global_type_created.GetMethod (name);
1058                         return global_type_created.GetMethod (name, bindingAttr, binder, callConvention, types, modifiers);
1059                 }
1060
1061                 public override FieldInfo ResolveField (int metadataToken, Type [] genericTypeArguments, Type [] genericMethodArguments) {
1062                         ResolveTokenError error;
1063
1064                         IntPtr handle = ResolveFieldToken (_impl, metadataToken, ptrs_from_types (genericTypeArguments), ptrs_from_types (genericMethodArguments), out error);
1065                         if (handle == IntPtr.Zero)
1066                                 throw resolve_token_exception (metadataToken, error, "Field");
1067                         else
1068                                 return FieldInfo.GetFieldFromHandle (new RuntimeFieldHandle (handle));
1069                 }
1070
1071                 public override MemberInfo ResolveMember (int metadataToken, Type [] genericTypeArguments, Type [] genericMethodArguments) {
1072
1073                         ResolveTokenError error;
1074
1075                         MemberInfo m = ResolveMemberToken (_impl, metadataToken, ptrs_from_types (genericTypeArguments), ptrs_from_types (genericMethodArguments), out error);
1076                         if (m == null)
1077                                 throw resolve_token_exception (metadataToken, error, "MemberInfo");
1078                         else
1079                                 return m;
1080                 }
1081
1082                 internal MemberInfo ResolveOrGetRegisteredToken (int metadataToken, Type [] genericTypeArguments, Type [] genericMethodArguments)
1083                 {
1084                         ResolveTokenError error;
1085                         MemberInfo m = ResolveMemberToken (_impl, metadataToken, ptrs_from_types (genericTypeArguments), ptrs_from_types (genericMethodArguments), out error);
1086                         if (m != null)
1087                                 return m;
1088
1089                         m = GetRegisteredToken (metadataToken) as MemberInfo;
1090                         if (m == null)
1091                                 throw resolve_token_exception (metadataToken, error, "MemberInfo");
1092                         else
1093                                 return m;
1094                 }
1095
1096                 public override MethodBase ResolveMethod (int metadataToken, Type [] genericTypeArguments, Type [] genericMethodArguments) {
1097                         ResolveTokenError error;
1098
1099                         IntPtr handle = ResolveMethodToken (_impl, metadataToken, ptrs_from_types (genericTypeArguments), ptrs_from_types (genericMethodArguments), out error);
1100                         if (handle == IntPtr.Zero)
1101                                 throw resolve_token_exception (metadataToken, error, "MethodBase");
1102                         else
1103                                 return MethodBase.GetMethodFromHandleNoGenericCheck (new RuntimeMethodHandle (handle));
1104                 }
1105
1106                 public override string ResolveString (int metadataToken) {
1107                         ResolveTokenError error;
1108
1109                         string s = ResolveStringToken (_impl, metadataToken, out error);
1110                         if (s == null)
1111                                 throw resolve_token_exception (metadataToken, error, "string");
1112                         else
1113                                 return s;
1114                 }
1115
1116                 public override byte[] ResolveSignature (int metadataToken) {
1117                         ResolveTokenError error;
1118
1119                     byte[] res = ResolveSignature (_impl, metadataToken, out error);
1120                         if (res == null)
1121                                 throw resolve_token_exception (metadataToken, error, "signature");
1122                         else
1123                                 return res;
1124                 }
1125
1126                 public override Type ResolveType (int metadataToken, Type [] genericTypeArguments, Type [] genericMethodArguments) {
1127                         ResolveTokenError error;
1128
1129                         IntPtr handle = ResolveTypeToken (_impl, metadataToken, ptrs_from_types (genericTypeArguments), ptrs_from_types (genericMethodArguments), out error);
1130                         if (handle == IntPtr.Zero)
1131                                 throw resolve_token_exception (metadataToken, error, "Type");
1132                         else
1133                                 return Type.GetTypeFromHandle (new RuntimeTypeHandle (handle));
1134                 }
1135
1136                 public override bool Equals (object obj)
1137                 {
1138                         return base.Equals (obj);
1139                 }
1140
1141                 public override int GetHashCode ()
1142                 {
1143                         return base.GetHashCode ();
1144                 }
1145
1146                 public override bool IsDefined (Type attributeType, bool inherit)
1147                 {
1148                         return base.IsDefined (attributeType, inherit);
1149                 }
1150
1151                 public override object[] GetCustomAttributes (bool inherit)
1152                 {
1153                         return base.GetCustomAttributes (inherit);
1154                 }
1155
1156                 public override object[] GetCustomAttributes (Type attributeType, bool inherit)
1157                 {
1158                         return base.GetCustomAttributes (attributeType, inherit);
1159                 }
1160
1161                 public override FieldInfo GetField (string name, BindingFlags bindingAttr)
1162                 {
1163                         return base.GetField (name, bindingAttr);
1164                 }
1165
1166                 public override FieldInfo[] GetFields (BindingFlags bindingFlags)
1167                 {
1168                         return base.GetFields (bindingFlags);
1169                 }
1170
1171                 public override MethodInfo[] GetMethods (BindingFlags bindingFlags)
1172                 {
1173                         return base.GetMethods (bindingFlags);
1174                 }
1175
1176                 public override int MetadataToken {
1177                         get {
1178                                 return base.MetadataToken;
1179                         }
1180                 }
1181         }
1182
1183         internal class ModuleBuilderTokenGenerator : TokenGenerator {
1184
1185                 private ModuleBuilder mb;
1186
1187                 public ModuleBuilderTokenGenerator (ModuleBuilder mb) {
1188                         this.mb = mb;
1189                 }
1190
1191                 public int GetToken (string str) {
1192                         return mb.GetToken (str);
1193                 }
1194
1195                 public int GetToken (MemberInfo member, bool create_open_instance) {
1196                         return mb.GetToken (member, create_open_instance);
1197                 }
1198
1199                 public int GetToken (MethodBase method, Type[] opt_param_types) {
1200                         return mb.GetToken (method, opt_param_types);
1201                 }
1202
1203                 public int GetToken (SignatureHelper helper) {
1204                         return mb.GetToken (helper);
1205                 }
1206         }
1207 }
1208
1209 #endif