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