Merge pull request #3647 from BrzVlad/fix-sgen-internal-alloc
[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                 #endregion
66 #pragma warning restore 169, 414
67                 
68                 private TypeBuilder global_type;
69                 private Type global_type_created;
70                 // name_cache keys are display names
71                 Dictionary<TypeName, TypeBuilder> name_cache;
72                 Dictionary<string, int> us_string_cache;
73                 private int[] table_indexes;
74                 bool transient;
75                 ModuleBuilderTokenGenerator token_gen;
76                 Hashtable resource_writers;
77                 ISymbolWriter symbolWriter;
78
79                 [MethodImplAttribute(MethodImplOptions.InternalCall)]
80                 private static extern void basic_init (ModuleBuilder ab);
81
82                 [MethodImplAttribute(MethodImplOptions.InternalCall)]
83                 private static extern void set_wrappers_type (ModuleBuilder mb, Type ab);
84
85                 internal ModuleBuilder (AssemblyBuilder assb, string name, string fullyqname, bool emitSymbolInfo, bool transient) {
86                         this.name = this.scopename = name;
87                         this.fqname = fullyqname;
88                         this.assembly = this.assemblyb = assb;
89                         this.transient = transient;
90                         // to keep mcs fast we do not want CryptoConfig wo be involved to create the RNG
91                         guid = Guid.FastNewGuidArray ();
92                         // guid = Guid.NewGuid().ToByteArray ();
93                         table_idx = get_next_table_index (this, 0x00, true);
94                         name_cache = new Dictionary<TypeName, TypeBuilder> ();
95                         us_string_cache = new Dictionary<string, int> (512);
96
97                         basic_init (this);
98
99                         CreateGlobalType ();
100
101                         if (assb.IsRun) {
102                                 TypeBuilder tb = new TypeBuilder (this, TypeAttributes.Abstract, 0xFFFFFF); /*last valid token*/
103                                 Type type = tb.CreateType ();
104                                 set_wrappers_type (this, type);
105                         }
106
107                         if (emitSymbolInfo) {
108                                 Assembly asm = Assembly.LoadWithPartialName ("Mono.CompilerServices.SymbolWriter");
109                                 if (asm == null)
110                                         throw new TypeLoadException ("The assembly for default symbol writer cannot be loaded");
111
112                                 Type t = asm.GetType ("Mono.CompilerServices.SymbolWriter.SymbolWriterImpl", true);
113                                 symbolWriter = (ISymbolWriter) Activator.CreateInstance (t, new object[] { this });
114                                 string fileName = fqname;
115                                 if (assemblyb.AssemblyDir != null)
116                                         fileName = Path.Combine (assemblyb.AssemblyDir, fileName);
117                                 symbolWriter.Initialize (IntPtr.Zero, fileName, true);
118                         }
119                 }
120
121                 public override string FullyQualifiedName {get { return fqname;}}
122
123                 public bool IsTransient () {
124                         return transient;
125                 }
126
127                 public void CreateGlobalFunctions () 
128                 {
129                         if (global_type_created != null)
130                                 throw new InvalidOperationException ("global methods already created");
131                         if (global_type != null)
132                                 global_type_created = global_type.CreateType ();
133                 }
134
135                 public FieldBuilder DefineInitializedData( string name, byte[] data, FieldAttributes attributes) {
136                         if (data == null)
137                                 throw new ArgumentNullException ("data");
138
139                         FieldBuilder fb = DefineUninitializedData (name, data.Length, 
140                                                                                                            attributes | FieldAttributes.HasFieldRVA);
141                         fb.SetRVAData (data);
142
143                         return fb;
144                 }
145
146                 public FieldBuilder DefineUninitializedData (string name, int size, FieldAttributes attributes)
147                 {
148                         if (name == null)
149                                 throw new ArgumentNullException ("name");
150                         if (global_type_created != null)
151                                 throw new InvalidOperationException ("global fields already created");
152                         if ((size <= 0) || (size > 0x3f0000))
153                                 throw new ArgumentException ("size", "Data size must be > 0 and < 0x3f0000");
154
155                         CreateGlobalType ();
156
157                         string typeName = "$ArrayType$" + size;
158                         Type datablobtype = GetType (typeName, false, false);
159                         if (datablobtype == null) {
160                                 TypeBuilder tb = DefineType (typeName, 
161                                     TypeAttributes.Public|TypeAttributes.ExplicitLayout|TypeAttributes.Sealed,
162                                         assemblyb.corlib_value_type, null, PackingSize.Size1, size);
163                                 tb.CreateType ();
164                                 datablobtype = tb;
165                         }
166                         FieldBuilder fb = global_type.DefineField (name, datablobtype, attributes|FieldAttributes.Static);
167
168                         if (global_fields != null) {
169                                 FieldBuilder[] new_fields = new FieldBuilder [global_fields.Length+1];
170                                 System.Array.Copy (global_fields, new_fields, global_fields.Length);
171                                 new_fields [global_fields.Length] = fb;
172                                 global_fields = new_fields;
173                         } else {
174                                 global_fields = new FieldBuilder [1];
175                                 global_fields [0] = fb;
176                         }
177                         return fb;
178                 }
179
180                 private void addGlobalMethod (MethodBuilder mb) {
181                         if (global_methods != null) {
182                                 MethodBuilder[] new_methods = new MethodBuilder [global_methods.Length+1];
183                                 System.Array.Copy (global_methods, new_methods, global_methods.Length);
184                                 new_methods [global_methods.Length] = mb;
185                                 global_methods = new_methods;
186                         } else {
187                                 global_methods = new MethodBuilder [1];
188                                 global_methods [0] = mb;
189                         }
190                 }
191
192                 public MethodBuilder DefineGlobalMethod (string name, MethodAttributes attributes, Type returnType, Type[] parameterTypes)
193                 {
194                         return DefineGlobalMethod (name, attributes, CallingConventions.Standard, returnType, parameterTypes);
195                 }
196
197                 public MethodBuilder DefineGlobalMethod (string name, MethodAttributes attributes, CallingConventions callingConvention, Type returnType, Type[] parameterTypes) {
198                         return DefineGlobalMethod (name, attributes, callingConvention, returnType, null, null, parameterTypes, null, null);
199                 }
200
201                 public MethodBuilder DefineGlobalMethod (string name, MethodAttributes attributes, CallingConventions callingConvention, Type returnType, Type[] requiredReturnTypeCustomModifiers, Type[] optionalReturnTypeCustomModifiers, Type[] parameterTypes, Type[][] requiredParameterTypeCustomModifiers, Type[][] optionalParameterTypeCustomModifiers)
202                 {
203                         if (name == null)
204                                 throw new ArgumentNullException ("name");
205                         if ((attributes & MethodAttributes.Static) == 0)
206                                 throw new ArgumentException ("global methods must be static");
207                         if (global_type_created != null)
208                                 throw new InvalidOperationException ("global methods already created");
209                         CreateGlobalType ();
210                         MethodBuilder mb = global_type.DefineMethod (name, attributes, callingConvention, returnType, requiredReturnTypeCustomModifiers, optionalReturnTypeCustomModifiers, parameterTypes, requiredParameterTypeCustomModifiers, optionalParameterTypeCustomModifiers);
211
212                         addGlobalMethod (mb);
213                         return mb;
214                 }
215
216                 public MethodBuilder DefinePInvokeMethod (string name, string dllName, MethodAttributes attributes, CallingConventions callingConvention, Type returnType, Type[] parameterTypes, CallingConvention nativeCallConv, CharSet nativeCharSet) {
217                         return DefinePInvokeMethod (name, dllName, name, attributes, callingConvention, returnType, parameterTypes, nativeCallConv, nativeCharSet);
218                 }
219
220                 public MethodBuilder DefinePInvokeMethod (string name, string dllName, string entryName, MethodAttributes attributes, CallingConventions callingConvention, Type returnType, Type[] parameterTypes, CallingConvention nativeCallConv, CharSet nativeCharSet) {
221                         if (name == null)
222                                 throw new ArgumentNullException ("name");
223                         if ((attributes & MethodAttributes.Static) == 0)
224                                 throw new ArgumentException ("global methods must be static");
225                         if (global_type_created != null)
226                                 throw new InvalidOperationException ("global methods already created");
227                         CreateGlobalType ();
228                         MethodBuilder mb = global_type.DefinePInvokeMethod (name, dllName, entryName, attributes, callingConvention, returnType, parameterTypes, nativeCallConv, nativeCharSet);
229
230                         addGlobalMethod (mb);
231                         return mb;
232                 }                       
233
234                 public TypeBuilder DefineType (string name) {
235                         return DefineType (name, 0);
236                 }
237
238                 public TypeBuilder DefineType (string name, TypeAttributes attr) {
239                         if ((attr & TypeAttributes.Interface) != 0)
240                                 return DefineType (name, attr, null, null);
241                         return DefineType (name, attr, typeof(object), null);
242                 }
243
244                 public TypeBuilder DefineType (string name, TypeAttributes attr, Type parent) {
245                         return DefineType (name, attr, parent, null);
246                 }
247
248                 private void AddType (TypeBuilder tb)
249                 {
250                         if (types != null) {
251                                 if (types.Length == num_types) {
252                                         TypeBuilder[] new_types = new TypeBuilder [types.Length * 2];
253                                         System.Array.Copy (types, new_types, num_types);
254                                         types = new_types;
255                                 }
256                         } else {
257                                 types = new TypeBuilder [1];
258                         }
259                         types [num_types] = tb;
260                         num_types ++;
261                 }
262
263                 private TypeBuilder DefineType (string name, TypeAttributes attr, Type parent, Type[] interfaces, PackingSize packingSize, int typesize) {
264                         if (name == null)
265                                 throw new ArgumentNullException ("fullname");
266                         TypeIdentifier ident = TypeIdentifiers.FromInternal (name);
267                         if (name_cache.ContainsKey (ident))
268                                 throw new ArgumentException ("Duplicate type name within an assembly.");
269                         TypeBuilder res = new TypeBuilder (this, name, attr, parent, interfaces, packingSize, typesize, null);
270                         AddType (res);
271
272                         name_cache.Add (ident, res);
273                         
274                         return res;
275                 }
276
277                 internal void RegisterTypeName (TypeBuilder tb, TypeName name)
278                 {
279                         name_cache.Add (name, tb);
280                 }
281                 
282                 internal TypeBuilder GetRegisteredType (TypeName name)
283                 {
284                         TypeBuilder result = null;
285                         name_cache.TryGetValue (name, out result);
286                         return result;
287                 }
288
289                 [ComVisible (true)]
290                 public TypeBuilder DefineType (string name, TypeAttributes attr, Type parent, Type[] interfaces) {
291                         return DefineType (name, attr, parent, interfaces, PackingSize.Unspecified, TypeBuilder.UnspecifiedTypeSize);
292                 }
293
294                 public TypeBuilder DefineType (string name, TypeAttributes attr, Type parent, int typesize) {
295                         return DefineType (name, attr, parent, null, PackingSize.Unspecified, typesize);
296                 }
297
298                 public TypeBuilder DefineType (string name, TypeAttributes attr, Type parent, PackingSize packsize) {
299                         return DefineType (name, attr, parent, null, packsize, TypeBuilder.UnspecifiedTypeSize);
300                 }
301
302                 public TypeBuilder DefineType (string name, TypeAttributes attr, Type parent, PackingSize packingSize, int typesize) {
303                         return DefineType (name, attr, parent, null, packingSize, typesize);
304                 }
305
306                 public MethodInfo GetArrayMethod( Type arrayClass, string methodName, CallingConventions callingConvention, Type returnType, Type[] parameterTypes) {
307                         return new MonoArrayMethod (arrayClass, methodName, callingConvention, returnType, parameterTypes);
308                 }
309
310                 public EnumBuilder DefineEnum( string name, TypeAttributes visibility, Type underlyingType) {
311                         TypeIdentifier ident = TypeIdentifiers.FromInternal (name);
312                         if (name_cache.ContainsKey (ident))
313                                 throw new ArgumentException ("Duplicate type name within an assembly.");
314
315                         EnumBuilder eb = new EnumBuilder (this, name, visibility, underlyingType);
316                         TypeBuilder res = eb.GetTypeBuilder ();
317                         AddType (res);
318                         name_cache.Add (ident, res);
319                         return eb;
320                 }
321
322                 [ComVisible (true)]
323                 public override Type GetType( string className) {
324                         return GetType (className, false, false);
325                 }
326                 
327                 [ComVisible (true)]
328                 public override Type GetType( string className, bool ignoreCase) {
329                         return GetType (className, false, ignoreCase);
330                 }
331
332                 private TypeBuilder search_in_array (TypeBuilder[] arr, int validElementsInArray, TypeName className) {
333                         int i;
334                         for (i = 0; i < validElementsInArray; ++i) {
335                                 if (String.Compare (className.DisplayName, arr [i].FullName, true, CultureInfo.InvariantCulture) == 0) {
336                                         return arr [i];
337                                 }
338                         }
339                         return null;
340                 }
341
342                 private TypeBuilder search_nested_in_array (TypeBuilder[] arr, int validElementsInArray, TypeName className) {
343                         int i;
344                         for (i = 0; i < validElementsInArray; ++i) {
345                                 if (String.Compare (className.DisplayName, arr [i].Name, true, CultureInfo.InvariantCulture) == 0)
346                                         return arr [i];
347                         }
348                         return null;
349                 }
350
351                 private TypeBuilder GetMaybeNested (TypeBuilder t, IEnumerable<TypeName> nested) {
352                         TypeBuilder result = t;
353
354                         foreach (TypeName pname in nested) {
355                                 if (result.subtypes == null)
356                                         return null;
357                                 result = search_nested_in_array(result.subtypes, result.subtypes.Length, pname);
358                                 if (result == null)
359                                         return null;
360                         }
361                         return result;
362                 }
363
364                 [ComVisible (true)]
365                 public override Type GetType (string className, bool throwOnError, bool ignoreCase)
366                 {
367                         if (className == null)
368                                 throw new ArgumentNullException ("className");
369                         if (className.Length == 0)
370                                 throw new ArgumentException ("className");
371
372                         TypeBuilder result = null;
373
374                         if (types == null && throwOnError)
375                                 throw new TypeLoadException (className);
376
377                         TypeSpec ts = TypeSpec.Parse (className);
378
379                         if (!ignoreCase) {
380                                 var displayNestedName = ts.TypeNameWithoutModifiers();
381                                 name_cache.TryGetValue (displayNestedName, out result);
382                         } else {
383                                 if (types != null)
384                                         result = search_in_array (types, num_types,  ts.Name);
385                                 if (!ts.IsNested && result != null) {
386                                         result = GetMaybeNested (result, ts.Nested);
387                                 }
388                         }
389                         if ((result == null) && throwOnError)
390                                 throw new TypeLoadException (className);
391                         if (result != null && (ts.HasModifiers || ts.IsByRef)) {
392                                 Type mt = result;
393                                 if (result is TypeBuilder) {
394                                         var tb = result as TypeBuilder;
395                                         if (tb.is_created)
396                                                 mt = tb.CreateType ();
397                                 }
398                                 foreach (var mod in ts.Modifiers) {
399                                         if (mod is PointerSpec)
400                                                 mt = mt.MakePointerType ();
401                                         else if (mod is ArraySpec) {
402                                                 var spec = mod as ArraySpec;
403                                                 if (spec.IsBound)
404                                                         return null;
405                                                 if (spec.Rank == 1)
406                                                         mt = mt.MakeArrayType ();
407                                                 else
408                                                         mt = mt.MakeArrayType (spec.Rank);
409                                         }
410                                 }
411                                 if (ts.IsByRef)
412                                         mt = mt.MakeByRefType ();
413                                 result = mt as TypeBuilder;
414                                 if (result == null)
415                                         return mt;
416                         }
417                         if (result != null && result.is_created)
418                                 return result.CreateType ();
419                         else
420                                 return result;
421                 }
422
423                 internal int get_next_table_index (object obj, int table, bool inc) {
424                         if (table_indexes == null) {
425                                 table_indexes = new int [64];
426                                 for (int i=0; i < 64; ++i)
427                                         table_indexes [i] = 1;
428                                 /* allow room for .<Module> in TypeDef table */
429                                 table_indexes [0x02] = 2;
430                         }
431                         // Console.WriteLine ("getindex for table "+table.ToString()+" got "+table_indexes [table].ToString());
432                         if (inc)
433                                 return table_indexes [table]++;
434                         return table_indexes [table];
435                 }
436
437                 public void SetCustomAttribute( CustomAttributeBuilder customBuilder) {
438                         if (cattrs != null) {
439                                 CustomAttributeBuilder[] new_array = new CustomAttributeBuilder [cattrs.Length + 1];
440                                 cattrs.CopyTo (new_array, 0);
441                                 new_array [cattrs.Length] = customBuilder;
442                                 cattrs = new_array;
443                         } else {
444                                 cattrs = new CustomAttributeBuilder [1];
445                                 cattrs [0] = customBuilder;
446                         }
447                 }
448
449                 [ComVisible (true)]
450                 public void SetCustomAttribute( ConstructorInfo con, byte[] binaryAttribute) {
451                         SetCustomAttribute (new CustomAttributeBuilder (con, binaryAttribute));
452                 }
453
454                 public ISymbolWriter GetSymWriter () {
455                         return symbolWriter;
456                 }
457
458                 public ISymbolDocumentWriter DefineDocument (string url, Guid language, Guid languageVendor, Guid documentType)
459                 {
460                         if (symbolWriter != null)
461                                 return symbolWriter.DefineDocument (url, language, languageVendor, documentType);
462                         else
463                                 return null;
464                 }
465
466                 public override Type [] GetTypes ()
467                 {
468                         if (types == null)
469                                 return Type.EmptyTypes;
470
471                         int n = num_types;
472                         Type [] copy = new Type [n];
473                         Array.Copy (types, copy, n);
474
475                         // MS replaces the typebuilders with their created types
476                         for (int i = 0; i < copy.Length; ++i)
477                                 if (types [i].is_created)
478                                         copy [i] = types [i].CreateType ();
479
480                         return copy;
481                 }
482
483                 public IResourceWriter DefineResource (string name, string description, ResourceAttributes attribute)
484                 {
485                         if (name == null)
486                                 throw new ArgumentNullException ("name");
487                         if (name == String.Empty)
488                                 throw new ArgumentException ("name cannot be empty");
489                         if (transient)
490                                 throw new InvalidOperationException ("The module is transient");
491                         if (!assemblyb.IsSave)
492                                 throw new InvalidOperationException ("The assembly is transient");
493                         ResourceWriter writer = new ResourceWriter (new MemoryStream ());
494                         if (resource_writers == null)
495                                 resource_writers = new Hashtable ();
496                         resource_writers [name] = writer;
497
498                         // The data is filled out later
499                         if (resources != null) {
500                                 MonoResource[] new_r = new MonoResource [resources.Length + 1];
501                                 System.Array.Copy(resources, new_r, resources.Length);
502                                 resources = new_r;
503                         } else {
504                                 resources = new MonoResource [1];
505                         }
506                         int p = resources.Length - 1;
507                         resources [p].name = name;
508                         resources [p].attrs = attribute;
509
510                         return writer;
511                 }
512
513                 public IResourceWriter DefineResource (string name, string description)
514                 {
515                         return DefineResource (name, description, ResourceAttributes.Public);
516                 }
517
518                 [MonoTODO]
519                 public void DefineUnmanagedResource (byte[] resource)
520                 {
521                         if (resource == null)
522                                 throw new ArgumentNullException ("resource");
523
524                         throw new NotImplementedException ();
525                 }
526
527                 [MonoTODO]
528                 public void DefineUnmanagedResource (string resourceFileName)
529                 {
530                         if (resourceFileName == null)
531                                 throw new ArgumentNullException ("resourceFileName");
532                         if (resourceFileName == String.Empty)
533                                 throw new ArgumentException ("resourceFileName");
534                         if (!File.Exists (resourceFileName) || Directory.Exists (resourceFileName))
535                                 throw new FileNotFoundException ("File '" + resourceFileName + "' does not exist or is a directory.");
536
537                         throw new NotImplementedException ();
538                 }
539
540                 public void DefineManifestResource (string name, Stream stream, ResourceAttributes attribute) {
541                         if (name == null)
542                                 throw new ArgumentNullException ("name");
543                         if (name == String.Empty)
544                                 throw new ArgumentException ("name cannot be empty");
545                         if (stream == null)
546                                 throw new ArgumentNullException ("stream");
547                         if (transient)
548                                 throw new InvalidOperationException ("The module is transient");
549                         if (!assemblyb.IsSave)
550                                 throw new InvalidOperationException ("The assembly is transient");
551
552                         if (resources != null) {
553                                 MonoResource[] new_r = new MonoResource [resources.Length + 1];
554                                 System.Array.Copy(resources, new_r, resources.Length);
555                                 resources = new_r;
556                         } else {
557                                 resources = new MonoResource [1];
558                         }
559                         int p = resources.Length - 1;
560                         resources [p].name = name;
561                         resources [p].attrs = attribute;
562                         resources [p].stream = stream;
563                 }
564
565                 [MonoTODO]
566                 public void SetSymCustomAttribute (string name, byte[] data)
567                 {
568                         throw new NotImplementedException ();
569                 }
570
571                 [MonoTODO]
572                 public void SetUserEntryPoint (MethodInfo entryPoint)
573                 {
574                         if (entryPoint == null)
575                                 throw new ArgumentNullException ("entryPoint");
576                         if (entryPoint.DeclaringType.Module != this)
577                                 throw new InvalidOperationException ("entryPoint is not contained in this module");
578                         throw new NotImplementedException ();
579                 }
580
581                 public MethodToken GetMethodToken (MethodInfo method)
582                 {
583                         if (method == null)
584                                 throw new ArgumentNullException ("method");
585
586                         return new MethodToken (GetToken (method));
587                 }
588                 
589                 public MethodToken GetMethodToken (MethodInfo method, IEnumerable<Type> optionalParameterTypes)
590                 {
591                         if (method == null)
592                                 throw new ArgumentNullException ("method");
593
594                         return new MethodToken (GetToken (method, optionalParameterTypes));
595                 }
596
597                 public MethodToken GetArrayMethodToken (Type arrayClass, string methodName, CallingConventions callingConvention, Type returnType, Type[] parameterTypes)
598                 {
599                         return GetMethodToken (GetArrayMethod (arrayClass, methodName, callingConvention, returnType, parameterTypes));
600                 }
601
602                 [ComVisible (true)]
603                 public MethodToken GetConstructorToken (ConstructorInfo con)
604                 {
605                         if (con == null)
606                                 throw new ArgumentNullException ("con");
607
608                         return new MethodToken (GetToken (con));
609                 }
610                 
611                 public MethodToken GetConstructorToken (ConstructorInfo constructor, IEnumerable<Type> optionalParameterTypes)
612                 {
613                         if (constructor == null)
614                                 throw new ArgumentNullException ("constructor");
615
616                         return new MethodToken (GetToken (constructor, optionalParameterTypes));
617                 }
618
619                 public FieldToken GetFieldToken (FieldInfo field)
620                 {
621                         if (field == null)
622                                 throw new ArgumentNullException ("field");
623
624                         return new FieldToken (GetToken (field));
625                 }
626
627                 [MonoTODO]
628                 public SignatureToken GetSignatureToken (byte[] sigBytes, int sigLength)
629                 {
630                         throw new NotImplementedException ();
631                 }
632
633                 public SignatureToken GetSignatureToken (SignatureHelper sigHelper)
634                 {
635                         if (sigHelper == null)
636                                 throw new ArgumentNullException ("sigHelper");
637                         return new SignatureToken (GetToken (sigHelper));
638                 }
639
640                 public StringToken GetStringConstant (string str)
641                 {
642                         if (str == null)
643                                 throw new ArgumentNullException ("str");
644                         return new StringToken (GetToken (str));
645                 }
646
647                 public TypeToken GetTypeToken (Type type)
648                 {
649                         if (type == null)
650                                 throw new ArgumentNullException ("type");
651                         if (type.IsByRef)
652                                 throw new ArgumentException ("type can't be a byref type", "type");
653                         if (!IsTransient () && (type.Module is ModuleBuilder) && ((ModuleBuilder)type.Module).IsTransient ())
654                                 throw new InvalidOperationException ("a non-transient module can't reference a transient module");
655                         return new TypeToken (GetToken (type));
656                 }
657
658                 public TypeToken GetTypeToken (string name)
659                 {
660                         return GetTypeToken (GetType (name));
661                 }
662
663                 [MethodImplAttribute(MethodImplOptions.InternalCall)]
664                 private static extern int getUSIndex (ModuleBuilder mb, string str);
665
666                 [MethodImplAttribute(MethodImplOptions.InternalCall)]
667                 private static extern int getToken (ModuleBuilder mb, object obj, bool create_open_instance);
668
669                 [MethodImplAttribute(MethodImplOptions.InternalCall)]
670                 private static extern int getMethodToken (ModuleBuilder mb, MethodBase method,
671                                                           Type[] opt_param_types);
672
673                 internal int GetToken (string str)
674                 {
675                         int result;
676                         if (!us_string_cache.TryGetValue (str, out result)) {
677                                 result = getUSIndex (this, str);
678                                 us_string_cache [str] = result;
679                         }
680                         
681                         return result;
682                 }
683
684                 internal int GetToken (MemberInfo member) {
685                         return getToken (this, member, true);
686                 }
687
688                 internal int GetToken (MemberInfo member, bool create_open_instance) {
689                         return getToken (this, member, create_open_instance);
690                 }
691
692                 internal int GetToken (MethodBase method, IEnumerable<Type> opt_param_types) {
693                         if (opt_param_types == null)
694                                 return getToken (this, method, true);
695
696                         var optParamTypes = new List<Type> (opt_param_types);
697                         return  getMethodToken (this, method, optParamTypes.ToArray ());
698                 }
699                 
700                 internal int GetToken (MethodBase method, Type[] opt_param_types) {
701                         return getMethodToken (this, method, opt_param_types);
702                 }
703
704                 internal int GetToken (SignatureHelper helper) {
705                         return getToken (this, helper, true);
706                 }
707
708                 /*
709                  * Register the token->obj mapping with the runtime so the Module.Resolve... 
710                  * methods will work for obj.
711                  */
712                 [MethodImplAttribute(MethodImplOptions.InternalCall)]
713                 internal extern void RegisterToken (object obj, int token);
714
715                 /*
716                  * Returns MemberInfo registered with the given token.
717                  */
718                 [MethodImplAttribute(MethodImplOptions.InternalCall)]
719                 internal extern object GetRegisteredToken (int token);
720
721                 internal TokenGenerator GetTokenGenerator () {
722                         if (token_gen == null)
723                                 token_gen = new ModuleBuilderTokenGenerator (this);
724                         return token_gen;
725                 }
726
727                 [MethodImplAttribute(MethodImplOptions.InternalCall)]
728                 private static extern void build_metadata (ModuleBuilder mb);
729
730                 [MethodImplAttribute(MethodImplOptions.InternalCall)]
731                 private extern void WriteToFile (IntPtr handle);
732
733                 internal void Save ()
734                 {
735                         if (transient && !is_main)
736                                 return;
737
738                         if (types != null) {
739                                 for (int i = 0; i < num_types; ++i)
740                                         if (!types [i].is_created)
741                                                 throw new NotSupportedException ("Type '" + types [i].FullName + "' was not completed.");
742                         }
743
744                         if ((global_type != null) && (global_type_created == null))
745                                 global_type_created = global_type.CreateType ();
746
747                         if (resources != null) {
748                                 for (int i = 0; i < resources.Length; ++i) {
749                                         IResourceWriter rwriter;
750                                         if (resource_writers != null && (rwriter = resource_writers [resources [i].name] as IResourceWriter) != null) {
751                                                 ResourceWriter writer = (ResourceWriter)rwriter;
752                                                 writer.Generate ();
753                                                 MemoryStream mstream = (MemoryStream)writer._output;
754                                                 resources [i].data = new byte [mstream.Length];
755                                                 mstream.Seek (0, SeekOrigin.Begin);
756                                                 mstream.Read (resources [i].data, 0, (int)mstream.Length);
757                                                 continue;
758                                         }
759                                         Stream stream = resources [i].stream;
760
761                                         // According to MSDN docs, the stream is read during assembly save, not earlier
762                                         if (stream != null) {
763                                                 try {
764                                                         long len = stream.Length;
765                                                         resources [i].data = new byte [len];
766                                                         stream.Seek (0, SeekOrigin.Begin);
767                                                         stream.Read (resources [i].data, 0, (int)len);
768                                                 } catch {
769                                                         /* do something */
770                                                 }
771                                         }
772                                 }
773                         }
774
775                         build_metadata (this);
776
777                         string fileName = fqname;
778                         if (assemblyb.AssemblyDir != null)
779                                 fileName = Path.Combine (assemblyb.AssemblyDir, fileName);
780
781                         try {
782                                 // We mmap the file, so unlink the previous version since it may be in use
783                                 File.Delete (fileName);
784                         } catch {
785                                 // We can safely ignore
786                         }
787                         using (FileStream file = new FileStream (fileName, FileMode.Create, FileAccess.Write))
788                                 WriteToFile (file.Handle);
789                         
790                         //
791                         // The constant 0x80000000 is internal to Mono, it means `make executable'
792                         //
793                         File.SetAttributes (fileName, (FileAttributes) (unchecked ((int) 0x80000000)));
794                         
795                         if (types != null && symbolWriter != null) {
796                                 for (int i = 0; i < num_types; ++i)
797                                         types [i].GenerateDebugInfo (symbolWriter);
798                                 symbolWriter.Close ();
799                         }
800                 }
801
802                 internal string FileName {
803                         get {
804                                 return fqname;
805                         }
806                 }
807
808                 internal bool IsMain {
809                         set {
810                                 is_main = value;
811                         }
812                 }
813
814                 internal void CreateGlobalType () {
815                         if (global_type == null)
816                                 global_type = new TypeBuilder (this, 0, 1);
817                 }
818
819                 internal override Guid GetModuleVersionId ()
820                 {
821                         return new Guid (guid);
822                 }
823
824                 // Used by mcs, the symbol writer, and mdb through reflection
825                 internal static Guid Mono_GetGuid (ModuleBuilder mb)
826                 {
827                         return mb.GetModuleVersionId ();
828                 }
829
830                 void _ModuleBuilder.GetIDsOfNames ([In] ref Guid riid, IntPtr rgszNames, uint cNames, uint lcid, IntPtr rgDispId)
831                 {
832                         throw new NotImplementedException ();
833                 }
834
835                 void _ModuleBuilder.GetTypeInfo (uint iTInfo, uint lcid, IntPtr ppTInfo)
836                 {
837                         throw new NotImplementedException ();
838                 }
839
840                 void _ModuleBuilder.GetTypeInfoCount (out uint pcTInfo)
841                 {
842                         throw new NotImplementedException ();
843                 }
844
845                 void _ModuleBuilder.Invoke (uint dispIdMember, [In] ref Guid riid, uint lcid, short wFlags, IntPtr pDispParams, IntPtr pVarResult, IntPtr pExcepInfo, IntPtr puArgErr)
846                 {
847                         throw new NotImplementedException ();
848                 }
849
850                 public override Assembly Assembly {
851                         get { return assemblyb; }
852                 }
853
854                 public override string Name {
855                         get { return name; }
856                 }
857
858                 public override string ScopeName {
859                         get { return name; }
860                 }
861
862                 public override Guid ModuleVersionId {
863                         get {
864                                 return GetModuleVersionId ();
865                         }
866                 }
867
868                 //XXX resource modules can't be defined with ModuleBuilder
869                 public override bool IsResource ()
870                 {
871                         return false;
872                 }
873
874                 protected override MethodInfo GetMethodImpl (string name, BindingFlags bindingAttr, Binder binder, CallingConventions callConvention, Type[] types, ParameterModifier[] modifiers) 
875                 {
876                         if (global_type_created == null)
877                                 return null;
878                         if (types == null)
879                                 return global_type_created.GetMethod (name);
880                         return global_type_created.GetMethod (name, bindingAttr, binder, callConvention, types, modifiers);
881                 }
882
883                 public override FieldInfo ResolveField (int metadataToken, Type [] genericTypeArguments, Type [] genericMethodArguments) {
884                         ResolveTokenError error;
885
886                         IntPtr handle = ResolveFieldToken (_impl, metadataToken, ptrs_from_types (genericTypeArguments), ptrs_from_types (genericMethodArguments), out error);
887                         if (handle == IntPtr.Zero)
888                                 throw resolve_token_exception (metadataToken, error, "Field");
889                         else
890                                 return FieldInfo.GetFieldFromHandle (new RuntimeFieldHandle (handle));
891                 }
892
893                 public override MemberInfo ResolveMember (int metadataToken, Type [] genericTypeArguments, Type [] genericMethodArguments) {
894
895                         ResolveTokenError error;
896
897                         MemberInfo m = ResolveMemberToken (_impl, metadataToken, ptrs_from_types (genericTypeArguments), ptrs_from_types (genericMethodArguments), out error);
898                         if (m == null)
899                                 throw resolve_token_exception (metadataToken, error, "MemberInfo");
900                         else
901                                 return m;
902                 }
903
904                 internal MemberInfo ResolveOrGetRegisteredToken (int metadataToken, Type [] genericTypeArguments, Type [] genericMethodArguments)
905                 {
906                         ResolveTokenError error;
907                         MemberInfo m = ResolveMemberToken (_impl, metadataToken, ptrs_from_types (genericTypeArguments), ptrs_from_types (genericMethodArguments), out error);
908                         if (m != null)
909                                 return m;
910
911                         m = GetRegisteredToken (metadataToken) as MemberInfo;
912                         if (m == null)
913                                 throw resolve_token_exception (metadataToken, error, "MemberInfo");
914                         else
915                                 return m;
916                 }
917
918                 public override MethodBase ResolveMethod (int metadataToken, Type [] genericTypeArguments, Type [] genericMethodArguments) {
919                         ResolveTokenError error;
920
921                         IntPtr handle = ResolveMethodToken (_impl, metadataToken, ptrs_from_types (genericTypeArguments), ptrs_from_types (genericMethodArguments), out error);
922                         if (handle == IntPtr.Zero)
923                                 throw resolve_token_exception (metadataToken, error, "MethodBase");
924                         else
925                                 return MethodBase.GetMethodFromHandleNoGenericCheck (new RuntimeMethodHandle (handle));
926                 }
927
928                 public override string ResolveString (int metadataToken) {
929                         ResolveTokenError error;
930
931                         string s = ResolveStringToken (_impl, metadataToken, out error);
932                         if (s == null)
933                                 throw resolve_token_exception (metadataToken, error, "string");
934                         else
935                                 return s;
936                 }
937
938                 public override byte[] ResolveSignature (int metadataToken) {
939                         ResolveTokenError error;
940
941                     byte[] res = ResolveSignature (_impl, metadataToken, out error);
942                         if (res == null)
943                                 throw resolve_token_exception (metadataToken, error, "signature");
944                         else
945                                 return res;
946                 }
947
948                 public override Type ResolveType (int metadataToken, Type [] genericTypeArguments, Type [] genericMethodArguments) {
949                         ResolveTokenError error;
950
951                         IntPtr handle = ResolveTypeToken (_impl, metadataToken, ptrs_from_types (genericTypeArguments), ptrs_from_types (genericMethodArguments), out error);
952                         if (handle == IntPtr.Zero)
953                                 throw resolve_token_exception (metadataToken, error, "Type");
954                         else
955                                 return Type.GetTypeFromHandle (new RuntimeTypeHandle (handle));
956                 }
957
958                 public override bool Equals (object obj)
959                 {
960                         return base.Equals (obj);
961                 }
962
963                 public override int GetHashCode ()
964                 {
965                         return base.GetHashCode ();
966                 }
967
968                 public override bool IsDefined (Type attributeType, bool inherit)
969                 {
970                         return base.IsDefined (attributeType, inherit);
971                 }
972
973                 public override object[] GetCustomAttributes (bool inherit)
974                 {
975                         return base.GetCustomAttributes (inherit);
976                 }
977
978                 public override object[] GetCustomAttributes (Type attributeType, bool inherit)
979                 {
980                         return base.GetCustomAttributes (attributeType, inherit);
981                 }
982
983                 public override FieldInfo GetField (string name, BindingFlags bindingAttr)
984                 {
985                         return base.GetField (name, bindingAttr);
986                 }
987
988                 public override FieldInfo[] GetFields (BindingFlags bindingFlags)
989                 {
990                         return base.GetFields (bindingFlags);
991                 }
992
993                 public override MethodInfo[] GetMethods (BindingFlags bindingFlags)
994                 {
995                         return base.GetMethods (bindingFlags);
996                 }
997
998                 public override int MetadataToken {
999                         get {
1000                                 return base.MetadataToken;
1001                         }
1002                 }
1003         }
1004
1005         internal class ModuleBuilderTokenGenerator : TokenGenerator {
1006
1007                 private ModuleBuilder mb;
1008
1009                 public ModuleBuilderTokenGenerator (ModuleBuilder mb) {
1010                         this.mb = mb;
1011                 }
1012
1013                 public int GetToken (string str) {
1014                         return mb.GetToken (str);
1015                 }
1016
1017                 public int GetToken (MemberInfo member, bool create_open_instance) {
1018                         return mb.GetToken (member, create_open_instance);
1019                 }
1020
1021                 public int GetToken (MethodBase method, Type[] opt_param_types) {
1022                         return mb.GetToken (method, opt_param_types);
1023                 }
1024
1025                 public int GetToken (SignatureHelper helper) {
1026                         return mb.GetToken (helper);
1027                 }
1028         }
1029 }
1030
1031 #endif