Merge pull request #3678 from mono/seq-read
[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                 static int typeref_tokengen =  0x01ffffff;
685                 static int typedef_tokengen =  0x02ffffff;
686                 static int typespec_tokengen =  0x1bffffff;
687                 static int memberref_tokengen =  0x0affffff;
688                 static int methoddef_tokengen =  0x06ffffff;
689                 Dictionary<MemberInfo, int> inst_tokens = new Dictionary<MemberInfo, int> ();
690                 Dictionary<MemberInfo, int> inst_tokens_open = new Dictionary<MemberInfo, int> ();
691
692                 //
693                 // Assign a pseudo token to the various TypeBuilderInst objects, so the runtime
694                 // doesn't have to deal with them.
695                 // For Save assemblies, the tokens will be fixed up later during Save ().
696                 // For Run assemblies, the tokens will not be fixed up, so the runtime will
697                 // still encounter these objects, it will resolve them by calling their
698                 // RuntimeResolve () methods.
699                 //
700                 int GetPseudoToken (MemberInfo member, bool create_open_instance) {
701                         int token;
702
703                         if (create_open_instance) {
704                                 if (inst_tokens_open.TryGetValue (member, out token))
705                                         return token;
706                         } else {
707                                 if (inst_tokens.TryGetValue (member, out token))
708                                         return token;
709                         }
710                         // Count backwards to avoid collisions with the tokens
711                         // allocated by the runtime
712                         if (member is TypeBuilderInstantiation || member is SymbolType)
713                                 token = typespec_tokengen --;
714                         else if (member is FieldOnTypeBuilderInst)
715                                 token = memberref_tokengen --;
716                         else if (member is ConstructorOnTypeBuilderInst)
717                                 token = memberref_tokengen --;
718                         else if (member is MethodOnTypeBuilderInst)
719                                 token = memberref_tokengen --;
720                         else if (member is FieldBuilder)
721                                 token = memberref_tokengen --;
722                         else if (member is TypeBuilder) {
723                                 if (create_open_instance && (member as TypeBuilder).ContainsGenericParameters)
724                                         token = typespec_tokengen --;
725                                 else if (member.Module == this)
726                                         token = typedef_tokengen --;
727                                 else
728                                         token = typeref_tokengen --;
729                         } else if (member is ConstructorBuilder) {
730                                 if (member.Module == this && !(member as ConstructorBuilder).TypeBuilder.ContainsGenericParameters)
731                                         token = methoddef_tokengen --;
732                                 else
733                                         token = memberref_tokengen --;
734                         } else if (member is MethodBuilder) {
735                                 var mb = member as MethodBuilder;
736                                 if (member.Module == this && !mb.TypeBuilder.ContainsGenericParameters && !mb.IsGenericMethodDefinition)
737                                         token = methoddef_tokengen --;
738                                 else
739                                         token = memberref_tokengen --;
740                         } else if (member is GenericTypeParameterBuilder) {
741                                 token = typespec_tokengen --;
742                         } else
743                                 throw new NotImplementedException ();
744                         if (create_open_instance)
745                                 inst_tokens_open [member] = token;
746                         else
747                                 inst_tokens [member] = token;
748                         RegisterToken (member, token);
749                         return token;
750                 }
751
752                 internal int GetToken (MemberInfo member) {
753                         if (member is ConstructorBuilder || member is MethodBuilder)
754                                 return GetPseudoToken (member, false);
755                         return getToken (this, member, true);
756                 }
757
758                 internal int GetToken (MemberInfo member, bool create_open_instance) {
759                         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)
760                                 return GetPseudoToken (member, create_open_instance);
761                         return getToken (this, member, create_open_instance);
762                 }
763
764                 internal int GetToken (MethodBase method, IEnumerable<Type> opt_param_types) {
765                         if (method is ConstructorBuilder || method is MethodBuilder)
766                                 return GetPseudoToken (method, false);
767
768                         if (opt_param_types == null)
769                                 return getToken (this, method, true);
770
771                         var optParamTypes = new List<Type> (opt_param_types);
772                         return  getMethodToken (this, method, optParamTypes.ToArray ());
773                 }
774                 
775                 internal int GetToken (MethodBase method, Type[] opt_param_types) {
776                         if (method is ConstructorBuilder || method is MethodBuilder)
777                                 return GetPseudoToken (method, false);
778                         return getMethodToken (this, method, opt_param_types);
779                 }
780
781                 internal int GetToken (SignatureHelper helper) {
782                         return getToken (this, helper, true);
783                 }
784
785                 /*
786                  * Register the token->obj mapping with the runtime so the Module.Resolve... 
787                  * methods will work for obj.
788                  */
789                 [MethodImplAttribute(MethodImplOptions.InternalCall)]
790                 internal extern void RegisterToken (object obj, int token);
791
792                 /*
793                  * Returns MemberInfo registered with the given token.
794                  */
795                 [MethodImplAttribute(MethodImplOptions.InternalCall)]
796                 internal extern object GetRegisteredToken (int token);
797
798                 internal TokenGenerator GetTokenGenerator () {
799                         if (token_gen == null)
800                                 token_gen = new ModuleBuilderTokenGenerator (this);
801                         return token_gen;
802                 }
803
804                 // Called from the runtime to return the corresponding finished reflection object
805                 internal static object RuntimeResolve (object obj) {
806                         if (obj is MethodBuilder)
807                                 return (obj as MethodBuilder).RuntimeResolve ();
808                         if (obj is ConstructorBuilder)
809                                 return (obj as ConstructorBuilder).RuntimeResolve ();
810                         if (obj is FieldBuilder)
811                                 return (obj as FieldBuilder).RuntimeResolve ();
812                         if (obj is GenericTypeParameterBuilder)
813                                 return (obj as GenericTypeParameterBuilder).RuntimeResolve ();
814                         if (obj is FieldOnTypeBuilderInst)
815                                 return (obj as FieldOnTypeBuilderInst).RuntimeResolve ();
816                         if (obj is MethodOnTypeBuilderInst)
817                                 return (obj as MethodOnTypeBuilderInst).RuntimeResolve ();
818                         if (obj is ConstructorOnTypeBuilderInst)
819                                 return (obj as ConstructorOnTypeBuilderInst).RuntimeResolve ();
820                         if (obj is Type)
821                                 return (obj as Type).RuntimeResolve ();
822                         throw new NotImplementedException (obj.GetType ().FullName);
823                 }
824
825                 [MethodImplAttribute(MethodImplOptions.InternalCall)]
826                 private static extern void build_metadata (ModuleBuilder mb);
827
828                 [MethodImplAttribute(MethodImplOptions.InternalCall)]
829                 private extern void WriteToFile (IntPtr handle);
830
831                 void FixupTokens (Dictionary<int, int> token_map, Dictionary<int, MemberInfo> member_map, Dictionary<MemberInfo, int> inst_tokens,
832                                                   bool open) {
833                         foreach (var v in inst_tokens) {
834                                 var member = v.Key;
835                                 var old_token = v.Value;
836                                 MemberInfo finished = null;
837
838                                 // Construct the concrete reflection object corresponding to the
839                                 // TypeBuilderInst object, and request a token for it instead.
840                                 if (member is TypeBuilderInstantiation || member is SymbolType) {
841                                         finished = (member as Type).RuntimeResolve ();
842                                 } else if (member is FieldOnTypeBuilderInst) {
843                                         finished = (member as FieldOnTypeBuilderInst).RuntimeResolve ();
844                                 } else if (member is ConstructorOnTypeBuilderInst) {
845                                         finished = (member as ConstructorOnTypeBuilderInst).RuntimeResolve ();
846                                 } else if (member is MethodOnTypeBuilderInst) {
847                                         finished = (member as MethodOnTypeBuilderInst).RuntimeResolve ();
848                                 } else if (member is FieldBuilder) {
849                                         finished = (member as FieldBuilder).RuntimeResolve ();
850                                 } else if (member is TypeBuilder) {
851                                         finished = (member as TypeBuilder).RuntimeResolve ();
852                                 } else if (member is ConstructorBuilder) {
853                                         finished = (member as ConstructorBuilder).RuntimeResolve ();
854                                 } else if (member is MethodBuilder) {
855                                         finished = (member as MethodBuilder).RuntimeResolve ();
856                                 } else if (member is GenericTypeParameterBuilder) {
857                                         finished = (member as GenericTypeParameterBuilder).RuntimeResolve ();
858                                 } else {
859                                         throw new NotImplementedException ();
860                                 }
861
862                                 int new_token = GetToken (finished, open);
863                                 token_map [old_token] = new_token;
864                                 member_map [old_token] = finished;
865                                 // Replace the token mapping in the runtime so it points to the new object
866                                 RegisterToken (finished, old_token);
867                         }
868                 }
869
870                 //
871                 // Fixup the pseudo tokens assigned to the various SRE objects
872                 //
873                 void FixupTokens () {
874                         var token_map = new Dictionary<int, int> ();
875                         var member_map = new Dictionary<int, MemberInfo> ();
876                         FixupTokens (token_map, member_map, inst_tokens, false);
877                         FixupTokens (token_map, member_map, inst_tokens_open, true);
878
879                         // Replace the tokens in the IL stream
880                         if (types != null) {
881                                 for (int i = 0; i < num_types; ++i)
882                                         types [i].FixupTokens (token_map, member_map);
883                         }
884                 }
885
886                 internal void Save ()
887                 {
888                         if (transient && !is_main)
889                                 return;
890
891                         if (types != null) {
892                                 for (int i = 0; i < num_types; ++i)
893                                         if (!types [i].is_created)
894                                                 throw new NotSupportedException ("Type '" + types [i].FullName + "' was not completed.");
895                         }
896
897                         FixupTokens ();
898
899                         if ((global_type != null) && (global_type_created == null))
900                                 global_type_created = global_type.CreateType ();
901
902                         if (resources != null) {
903                                 for (int i = 0; i < resources.Length; ++i) {
904                                         IResourceWriter rwriter;
905                                         if (resource_writers != null && (rwriter = resource_writers [resources [i].name] as IResourceWriter) != null) {
906                                                 ResourceWriter writer = (ResourceWriter)rwriter;
907                                                 writer.Generate ();
908                                                 MemoryStream mstream = (MemoryStream)writer._output;
909                                                 resources [i].data = new byte [mstream.Length];
910                                                 mstream.Seek (0, SeekOrigin.Begin);
911                                                 mstream.Read (resources [i].data, 0, (int)mstream.Length);
912                                                 continue;
913                                         }
914                                         Stream stream = resources [i].stream;
915
916                                         // According to MSDN docs, the stream is read during assembly save, not earlier
917                                         if (stream != null) {
918                                                 try {
919                                                         long len = stream.Length;
920                                                         resources [i].data = new byte [len];
921                                                         stream.Seek (0, SeekOrigin.Begin);
922                                                         stream.Read (resources [i].data, 0, (int)len);
923                                                 } catch {
924                                                         /* do something */
925                                                 }
926                                         }
927                                 }
928                         }
929
930                         build_metadata (this);
931
932                         string fileName = fqname;
933                         if (assemblyb.AssemblyDir != null)
934                                 fileName = Path.Combine (assemblyb.AssemblyDir, fileName);
935
936                         try {
937                                 // We mmap the file, so unlink the previous version since it may be in use
938                                 File.Delete (fileName);
939                         } catch {
940                                 // We can safely ignore
941                         }
942                         using (FileStream file = new FileStream (fileName, FileMode.Create, FileAccess.Write))
943                                 WriteToFile (file.Handle);
944                         
945                         //
946                         // The constant 0x80000000 is internal to Mono, it means `make executable'
947                         //
948                         File.SetAttributes (fileName, (FileAttributes) (unchecked ((int) 0x80000000)));
949                         
950                         if (types != null && symbolWriter != null) {
951                                 for (int i = 0; i < num_types; ++i)
952                                         types [i].GenerateDebugInfo (symbolWriter);
953                                 symbolWriter.Close ();
954                         }
955                 }
956
957                 internal string FileName {
958                         get {
959                                 return fqname;
960                         }
961                 }
962
963                 internal bool IsMain {
964                         set {
965                                 is_main = value;
966                         }
967                 }
968
969                 internal void CreateGlobalType () {
970                         if (global_type == null)
971                                 global_type = new TypeBuilder (this, 0, 1);
972                 }
973
974                 internal override Guid GetModuleVersionId ()
975                 {
976                         return new Guid (guid);
977                 }
978
979                 // Used by mcs, the symbol writer, and mdb through reflection
980                 internal static Guid Mono_GetGuid (ModuleBuilder mb)
981                 {
982                         return mb.GetModuleVersionId ();
983                 }
984
985                 void _ModuleBuilder.GetIDsOfNames ([In] ref Guid riid, IntPtr rgszNames, uint cNames, uint lcid, IntPtr rgDispId)
986                 {
987                         throw new NotImplementedException ();
988                 }
989
990                 void _ModuleBuilder.GetTypeInfo (uint iTInfo, uint lcid, IntPtr ppTInfo)
991                 {
992                         throw new NotImplementedException ();
993                 }
994
995                 void _ModuleBuilder.GetTypeInfoCount (out uint pcTInfo)
996                 {
997                         throw new NotImplementedException ();
998                 }
999
1000                 void _ModuleBuilder.Invoke (uint dispIdMember, [In] ref Guid riid, uint lcid, short wFlags, IntPtr pDispParams, IntPtr pVarResult, IntPtr pExcepInfo, IntPtr puArgErr)
1001                 {
1002                         throw new NotImplementedException ();
1003                 }
1004
1005                 public override Assembly Assembly {
1006                         get { return assemblyb; }
1007                 }
1008
1009                 public override string Name {
1010                         get { return name; }
1011                 }
1012
1013                 public override string ScopeName {
1014                         get { return name; }
1015                 }
1016
1017                 public override Guid ModuleVersionId {
1018                         get {
1019                                 return GetModuleVersionId ();
1020                         }
1021                 }
1022
1023                 //XXX resource modules can't be defined with ModuleBuilder
1024                 public override bool IsResource ()
1025                 {
1026                         return false;
1027                 }
1028
1029                 protected override MethodInfo GetMethodImpl (string name, BindingFlags bindingAttr, Binder binder, CallingConventions callConvention, Type[] types, ParameterModifier[] modifiers) 
1030                 {
1031                         if (global_type_created == null)
1032                                 return null;
1033                         if (types == null)
1034                                 return global_type_created.GetMethod (name);
1035                         return global_type_created.GetMethod (name, bindingAttr, binder, callConvention, types, modifiers);
1036                 }
1037
1038                 public override FieldInfo ResolveField (int metadataToken, Type [] genericTypeArguments, Type [] genericMethodArguments) {
1039                         ResolveTokenError error;
1040
1041                         IntPtr handle = ResolveFieldToken (_impl, metadataToken, ptrs_from_types (genericTypeArguments), ptrs_from_types (genericMethodArguments), out error);
1042                         if (handle == IntPtr.Zero)
1043                                 throw resolve_token_exception (metadataToken, error, "Field");
1044                         else
1045                                 return FieldInfo.GetFieldFromHandle (new RuntimeFieldHandle (handle));
1046                 }
1047
1048                 public override MemberInfo ResolveMember (int metadataToken, Type [] genericTypeArguments, Type [] genericMethodArguments) {
1049
1050                         ResolveTokenError error;
1051
1052                         MemberInfo m = ResolveMemberToken (_impl, metadataToken, ptrs_from_types (genericTypeArguments), ptrs_from_types (genericMethodArguments), out error);
1053                         if (m == null)
1054                                 throw resolve_token_exception (metadataToken, error, "MemberInfo");
1055                         else
1056                                 return m;
1057                 }
1058
1059                 internal MemberInfo ResolveOrGetRegisteredToken (int metadataToken, Type [] genericTypeArguments, Type [] genericMethodArguments)
1060                 {
1061                         ResolveTokenError error;
1062                         MemberInfo m = ResolveMemberToken (_impl, metadataToken, ptrs_from_types (genericTypeArguments), ptrs_from_types (genericMethodArguments), out error);
1063                         if (m != null)
1064                                 return m;
1065
1066                         m = GetRegisteredToken (metadataToken) as MemberInfo;
1067                         if (m == null)
1068                                 throw resolve_token_exception (metadataToken, error, "MemberInfo");
1069                         else
1070                                 return m;
1071                 }
1072
1073                 public override MethodBase ResolveMethod (int metadataToken, Type [] genericTypeArguments, Type [] genericMethodArguments) {
1074                         ResolveTokenError error;
1075
1076                         IntPtr handle = ResolveMethodToken (_impl, metadataToken, ptrs_from_types (genericTypeArguments), ptrs_from_types (genericMethodArguments), out error);
1077                         if (handle == IntPtr.Zero)
1078                                 throw resolve_token_exception (metadataToken, error, "MethodBase");
1079                         else
1080                                 return MethodBase.GetMethodFromHandleNoGenericCheck (new RuntimeMethodHandle (handle));
1081                 }
1082
1083                 public override string ResolveString (int metadataToken) {
1084                         ResolveTokenError error;
1085
1086                         string s = ResolveStringToken (_impl, metadataToken, out error);
1087                         if (s == null)
1088                                 throw resolve_token_exception (metadataToken, error, "string");
1089                         else
1090                                 return s;
1091                 }
1092
1093                 public override byte[] ResolveSignature (int metadataToken) {
1094                         ResolveTokenError error;
1095
1096                     byte[] res = ResolveSignature (_impl, metadataToken, out error);
1097                         if (res == null)
1098                                 throw resolve_token_exception (metadataToken, error, "signature");
1099                         else
1100                                 return res;
1101                 }
1102
1103                 public override Type ResolveType (int metadataToken, Type [] genericTypeArguments, Type [] genericMethodArguments) {
1104                         ResolveTokenError error;
1105
1106                         IntPtr handle = ResolveTypeToken (_impl, metadataToken, ptrs_from_types (genericTypeArguments), ptrs_from_types (genericMethodArguments), out error);
1107                         if (handle == IntPtr.Zero)
1108                                 throw resolve_token_exception (metadataToken, error, "Type");
1109                         else
1110                                 return Type.GetTypeFromHandle (new RuntimeTypeHandle (handle));
1111                 }
1112
1113                 public override bool Equals (object obj)
1114                 {
1115                         return base.Equals (obj);
1116                 }
1117
1118                 public override int GetHashCode ()
1119                 {
1120                         return base.GetHashCode ();
1121                 }
1122
1123                 public override bool IsDefined (Type attributeType, bool inherit)
1124                 {
1125                         return base.IsDefined (attributeType, inherit);
1126                 }
1127
1128                 public override object[] GetCustomAttributes (bool inherit)
1129                 {
1130                         return base.GetCustomAttributes (inherit);
1131                 }
1132
1133                 public override object[] GetCustomAttributes (Type attributeType, bool inherit)
1134                 {
1135                         return base.GetCustomAttributes (attributeType, inherit);
1136                 }
1137
1138                 public override FieldInfo GetField (string name, BindingFlags bindingAttr)
1139                 {
1140                         return base.GetField (name, bindingAttr);
1141                 }
1142
1143                 public override FieldInfo[] GetFields (BindingFlags bindingFlags)
1144                 {
1145                         return base.GetFields (bindingFlags);
1146                 }
1147
1148                 public override MethodInfo[] GetMethods (BindingFlags bindingFlags)
1149                 {
1150                         return base.GetMethods (bindingFlags);
1151                 }
1152
1153                 public override int MetadataToken {
1154                         get {
1155                                 return base.MetadataToken;
1156                         }
1157                 }
1158         }
1159
1160         internal class ModuleBuilderTokenGenerator : TokenGenerator {
1161
1162                 private ModuleBuilder mb;
1163
1164                 public ModuleBuilderTokenGenerator (ModuleBuilder mb) {
1165                         this.mb = mb;
1166                 }
1167
1168                 public int GetToken (string str) {
1169                         return mb.GetToken (str);
1170                 }
1171
1172                 public int GetToken (MemberInfo member, bool create_open_instance) {
1173                         return mb.GetToken (member, create_open_instance);
1174                 }
1175
1176                 public int GetToken (MethodBase method, Type[] opt_param_types) {
1177                         return mb.GetToken (method, opt_param_types);
1178                 }
1179
1180                 public int GetToken (SignatureHelper helper) {
1181                         return mb.GetToken (helper);
1182                 }
1183         }
1184 }
1185
1186 #endif