Merge pull request #1909 from esdrubal/reflection
[mono.git] / mcs / class / corlib / Test / System.Reflection.Emit / ModuleBuilderTest.cs
1 //
2 // ModuleBuilderTest - NUnit Test Cases for the ModuleBuilder class
3 //
4 // Zoltan Varga (vargaz@freemail.hu)
5 //
6 // (C) Ximian, Inc.  http://www.ximian.com
7 //
8 //
9
10
11 using System;
12 using System.Threading;
13 using System.Reflection;
14 using System.Reflection.Emit;
15 using System.IO;
16 using System.Collections;
17 using System.Diagnostics.SymbolStore;
18 using System.Runtime.InteropServices;
19
20 using NUnit.Framework;
21
22 namespace MonoTests.System.Reflection.Emit
23 {
24         [TestFixture]
25         public class ModuleBuilderTest
26         {
27                 static string tempDir = Path.Combine (Path.GetTempPath (), typeof (ModuleBuilderTest).FullName);
28                 static int nameIndex = 0;
29
30                 [SetUp]
31                 public void SetUp ()
32                 {
33                         Random AutoRand = new Random ();
34                         string basePath = tempDir;
35                         while (Directory.Exists (tempDir))
36                                 tempDir = Path.Combine (basePath, AutoRand.Next ().ToString ());
37                         Directory.CreateDirectory (tempDir);
38                 }
39
40                 [TearDown]
41                 public void TearDown ()
42                 {
43                         try {
44                                 // This throws an exception under MS.NET, since the directory contains loaded
45                                 // assemblies.
46                                 Directory.Delete (tempDir, true);
47                         } catch (Exception) {
48                         }
49                 }
50
51                 private AssemblyName genAssemblyName ()
52                 {
53                         AssemblyName assemblyName = new AssemblyName();
54                         assemblyName.Name = typeof (ModuleBuilderTest).FullName + (nameIndex ++);
55                         return assemblyName;
56                 }
57
58                 private AssemblyBuilder genAssembly ()
59                 {
60                         return Thread.GetDomain ().DefineDynamicAssembly (genAssemblyName (),
61                                                                                                                           AssemblyBuilderAccess.RunAndSave,
62                                                                                                                           tempDir);
63                 }
64
65                 [Test]
66                 public void TestIsTransient ()
67                 {
68                         AssemblyBuilder ab = genAssembly ();
69                         ModuleBuilder mb1 = ab.DefineDynamicModule ("foo.dll");
70                         Assert.IsTrue (mb1.IsTransient (), "#1");
71                         ModuleBuilder mb2 = ab.DefineDynamicModule ("foo2.dll", "foo2.dll");
72                         Assert.IsFalse (mb2.IsTransient (), "#2");
73                 }
74
75                 // Some of these tests overlap with the tests for Module
76
77                 [Test]
78                 public void TestGlobalData ()
79                 {
80                         AssemblyBuilder ab = genAssembly ();
81
82                         string resfile = Path.Combine (tempDir, "res");
83                         using (StreamWriter sw = new StreamWriter (resfile)) {
84                                 sw.WriteLine ("FOO");
85                         }
86
87                         ModuleBuilder mb = ab.DefineDynamicModule ("foo.dll", "foo.dll");
88
89                         mb.DefineInitializedData ("DATA", new byte [100], FieldAttributes.Public);
90                         mb.DefineInitializedData ("DATA2", new byte [100], FieldAttributes.Public);
91                         mb.DefineInitializedData ("DATA3", new byte [99], FieldAttributes.Public);
92                         mb.DefineUninitializedData ("DATA4", 101, FieldAttributes.Public);
93                         mb.DefineInitializedData ("DATA_PRIVATE", new byte [100], 0);
94                         mb.CreateGlobalFunctions ();
95
96                         ab.Save ("foo.dll");
97
98                         Assembly assembly = Assembly.LoadFrom (Path.Combine (tempDir, "foo.dll"));
99
100                         Module module = assembly.GetLoadedModules () [0];
101
102                         string [] expectedFieldNames = new string [] {
103                                 "DATA", "DATA2", "DATA3", "DATA4" };
104                         ArrayList fieldNames = new ArrayList ();
105                         foreach (FieldInfo fi in module.GetFields ()) {
106                                 fieldNames.Add (fi.Name);
107                         }
108                         AssertArrayEqualsSorted (expectedFieldNames, fieldNames.ToArray (typeof (string)));
109
110                         Assert.IsNotNull (module.GetField ("DATA"), "#1");
111                         Assert.IsNotNull (module.GetField ("DATA2"), "#2");
112                         Assert.IsNotNull (module.GetField ("DATA3"), "#3");
113                         Assert.IsNotNull (module.GetField ("DATA4"), "#4");
114                         Assert.IsNull (module.GetField ("DATA_PRIVATE"), "#5");
115                         Assert.IsNotNull (module.GetField ("DATA_PRIVATE", BindingFlags.NonPublic | BindingFlags.Static), "#6");
116                 }
117
118                 [Test]
119                 [Category("NotWorking")]
120                 public void TestGlobalMethods ()
121                 {
122                         AssemblyBuilder builder = genAssembly ();
123                         ModuleBuilder module = builder.DefineDynamicModule ("MessageModule");
124                         MethodBuilder method = module.DefinePInvokeMethod ("printf", "libc.so",
125                                                                                                                           MethodAttributes.PinvokeImpl | MethodAttributes.Static | MethodAttributes.Public,
126                                                                                                                           CallingConventions.Standard, typeof (void), new Type [] { typeof (string) }, CallingConvention.Winapi,
127                                                                                                                           CharSet.Auto);
128                         method.SetImplementationFlags (MethodImplAttributes.PreserveSig |
129                                                                                    method.GetMethodImplementationFlags ());
130
131                         Assert.IsNull (module.GetMethod ("printf"), "#1");
132
133                         module.CreateGlobalFunctions ();
134
135                         Assert.IsNotNull (module.GetMethod ("printf"), "#2");
136                 }
137
138                 [Test]
139                 [Category ("AndroidNotWorking")] // Missing Mono.CompilerServices.SymbolWriter assembly
140                 public void DefineType_Name_Null ()
141                 {
142                         AssemblyBuilder ab = genAssembly ();
143                         ModuleBuilder mb = ab.DefineDynamicModule ("foo.dll", "foo.dll", true);
144                         try {
145                                 mb.DefineType ((string) null);
146                                 Assert.Fail ("#1");
147                         } catch (ArgumentNullException ex) {
148                                 Assert.AreEqual (typeof (ArgumentNullException), ex.GetType (), "#2");
149                                 Assert.IsNull (ex.InnerException, "#3");
150                                 Assert.IsNotNull (ex.Message, "#4");
151                                 Assert.AreEqual ("fullname", ex.ParamName, "#5");
152                         }
153                 }
154
155                 [Test]
156                 [Category ("AndroidNotWorking")] // Missing Mono.CompilerServices.SymbolWriter assembly
157                 public void DefineType_Name_Empty ()
158                 {
159                         AssemblyBuilder ab = genAssembly ();
160                         ModuleBuilder mb = ab.DefineDynamicModule ("foo.dll", "foo.dll", true);
161                         try {
162                                 mb.DefineType (string.Empty);
163                                 Assert.Fail ("#1");
164                         } catch (ArgumentException ex) {
165                                 // Empty name is not legal
166                                 Assert.AreEqual (typeof (ArgumentException), ex.GetType (), "#2");
167                                 Assert.IsNull (ex.InnerException, "#3");
168                                 Assert.IsNotNull (ex.Message, "#4");
169                                 Assert.AreEqual ("fullname", ex.ParamName, "#5");
170                         }
171                 }
172
173                 [Test]
174                 [Category ("AndroidNotWorking")] // Missing Mono.CompilerServices.SymbolWriter assembly
175                 public void DefineType_Name_NullChar ()
176                 {
177                         AssemblyBuilder ab = genAssembly ();
178                         ModuleBuilder mb = ab.DefineDynamicModule ("foo.dll", "foo.dll", true);
179                         try {
180                                 mb.DefineType ("\0test");
181                                 Assert.Fail ("#1");
182                         } catch (ArgumentException ex) {
183                                 // Illegal name
184                                 Assert.AreEqual (typeof (ArgumentException), ex.GetType (), "#2");
185                                 Assert.IsNull (ex.InnerException, "#3");
186                                 Assert.IsNotNull (ex.Message, "#4");
187                                 Assert.AreEqual ("fullname", ex.ParamName, "#5");
188                         }
189
190                         mb.DefineType ("te\0st");
191                 }
192
193                 [Test]
194                 [Category ("AndroidNotWorking")] // Missing Mono.CompilerServices.SymbolWriter assembly
195                 public void DefineType_InterfaceNotAbstract ()
196                 {
197                         AssemblyBuilder ab = genAssembly ();
198                         ModuleBuilder mb = ab.DefineDynamicModule ("foo.dll", "foo.dll", true);
199
200                         try {
201                                 mb.DefineType ("ITest1", TypeAttributes.Interface);
202                                 Assert.Fail ("#A1");
203                         } catch (InvalidOperationException ex) {
204                                 // Interface must be declared abstract
205                                 Assert.AreEqual (typeof (InvalidOperationException), ex.GetType (), "#A2");
206                                 Assert.IsNull (ex.InnerException, "#A3");
207                                 Assert.IsNotNull (ex.Message, "#A4");
208                         }
209
210                         try {
211                                 mb.DefineType ("ITest2", TypeAttributes.Interface, (Type) null);
212                                 Assert.Fail ("#B1");
213                         } catch (InvalidOperationException ex) {
214                                 // Interface must be declared abstract
215                                 Assert.AreEqual (typeof (InvalidOperationException), ex.GetType (), "#B2");
216                                 Assert.IsNull (ex.InnerException, "#B3");
217                                 Assert.IsNotNull (ex.Message, "#B4");
218                         }
219
220                         // fail on MS .NET 1.1
221                         TypeBuilder tb = mb.DefineType ("ITest2", TypeAttributes.Interface,
222                                 typeof (object));
223                         Assert.AreEqual (typeof (object), tb.BaseType, "#C1");
224
225                         tb = mb.DefineType ("ITest3", TypeAttributes.Interface,
226                                 typeof (IDisposable));
227                         Assert.AreEqual (typeof (IDisposable), tb.BaseType, "#D1");
228                 }
229
230                 [Test]
231                 [Category ("AndroidNotWorking")] // Missing Mono.CompilerServices.SymbolWriter assembly
232                 public void DefineType_Parent_Interface ()
233                 {
234                         TypeBuilder tb;
235
236                         AssemblyBuilder ab = genAssembly ();
237                         ModuleBuilder mb = ab.DefineDynamicModule ("foo.dll", "foo.dll", true);
238
239                         tb = mb.DefineType ("Foo", TypeAttributes.Class,
240                                 typeof (ICollection));
241                         Assert.AreEqual (typeof (ICollection), tb.BaseType, "#1");
242
243                         tb = mb.DefineType ("Bar", TypeAttributes.Interface,
244                                 typeof (ICollection));
245                         Assert.AreEqual (typeof (ICollection), tb.BaseType, "#2");
246                 }
247
248                 [Test]
249                 [Category ("AndroidNotWorking")] // Missing Mono.CompilerServices.SymbolWriter assembly
250                 public void DefineType_TypeSize ()
251                 {
252                         AssemblyBuilder ab = genAssembly ();
253                         ModuleBuilder mb = ab.DefineDynamicModule ("foo.dll", "foo.dll", true);
254
255                         TypeBuilder tb = mb.DefineType ("Foo", TypeAttributes.Public | TypeAttributes.Sealed | TypeAttributes.SequentialLayout,
256                                 typeof (ValueType), 1);
257                         Assert.AreEqual (1, tb.Size);
258                 }
259
260                 [Test]
261                 [Category ("AndroidNotWorking")] // Missing Mono.CompilerServices.SymbolWriter assembly
262                 [ExpectedException (typeof (ArgumentException))]
263                 public void DuplicateTypeName () {
264                         AssemblyBuilder ab = genAssembly ();
265                         ModuleBuilder module = ab.DefineDynamicModule ("foo.dll", "foo.dll", true);
266
267                         var itb = module.DefineType ("TBase", TypeAttributes.Public);
268
269                         itb.SetParent (typeof(ValueType));        
270
271                         var ptb = module.DefineType ("TBase", TypeAttributes.Public);
272
273                         ptb.SetParent (typeof(Enum));
274                 }
275
276                 [Test]
277                 [Category ("AndroidNotWorking")] // Missing Mono.CompilerServices.SymbolWriter assembly
278                 public void DuplicateSymbolDocument ()
279                 {
280                         AssemblyBuilder ab = genAssembly ();
281                         ModuleBuilder mb = ab.DefineDynamicModule ("foo.dll", "foo.dll", true);
282
283                         // Check that it is possible to redefine a symbol document
284                         ISymbolDocumentWriter doc1 =
285                                 mb.DefineDocument ("foo.il", SymDocumentType.Text,
286                                                                   SymLanguageType.ILAssembly, SymLanguageVendor.Microsoft);
287                         ISymbolDocumentWriter doc2 =
288                                 mb.DefineDocument ("foo.il", SymDocumentType.Text,
289                                                                   SymLanguageType.ILAssembly, SymLanguageVendor.Microsoft);
290                 }
291
292                 [Test] // Test case for #80435.
293                 public void GetArrayMethodToStringTest ()
294                 {
295                         AssemblyBuilder assembly = genAssembly ();
296                         ModuleBuilder module = assembly.DefineDynamicModule ("m", "test.dll");
297
298                         Type [] myArrayClass = new Type [1];
299                         Type [] parameterTypes = { typeof (Array) };
300                         MethodInfo myMethodInfo = module.GetArrayMethod (myArrayClass.GetType (), "Sort", CallingConventions.Standard, null, parameterTypes);
301
302                         string str = myMethodInfo.ToString ();
303                         Assert.IsNotNull (str);
304                         // Don't compare string, since MS returns System.Reflection.Emit.SymbolMethod here 
305                         // (they do not provide an implementation of ToString).
306                 }
307
308                 private static void AssertArrayEqualsSorted (Array o1, Array o2)
309                 {
310                         Array s1 = (Array) o1.Clone ();
311                         Array s2 = (Array) o2.Clone ();
312
313                         Array.Sort (s1);
314                         Array.Sort (s2);
315
316                         Assert.AreEqual (s1.Length, s2.Length, "#1");
317                         for (int i = 0; i < s1.Length; ++i)
318                                 Assert.AreEqual (s1.GetValue (i), s2.GetValue (i), "#2: " + i);
319                 }
320
321                 [Test]
322                 public void ResolveFieldTokenFieldBuilder ()
323                 {
324                         AssemblyBuilder ab = genAssembly ();
325                         ModuleBuilder mb = ab.DefineDynamicModule ("foo.dll", "foo.dll");
326
327                         TypeBuilder tb = mb.DefineType ("foo");
328                         FieldBuilder fb = tb.DefineField ("foo", typeof (int), 0);
329                         tb.CreateType ();
330
331                         FieldInfo fi = mb.ResolveField (0x04000001);
332                         Assert.IsNotNull (fi);
333                         Assert.AreEqual ("foo", fi.Name);
334                 }
335
336                 [Test]
337                 public void ResolveGenericFieldBuilderOnGenericTypeBuilder ()
338                 {
339                         AssemblyBuilder ab = genAssembly ();
340                         ModuleBuilder mb = ab.DefineDynamicModule ("foo.dll", "foo.dll");
341
342                         TypeBuilder tb = mb.DefineType ("Foo`1");
343                         var t = tb.DefineGenericParameters ("T") [0];
344                         FieldBuilder fb = tb.DefineField ("foo", t, 0);
345                         tb.CreateType ();
346
347                         FieldInfo fi = mb.ResolveField (0x04000001);
348                         Assert.IsNotNull (fi);
349                         Assert.AreEqual ("foo", fi.Name);
350                 }
351
352                 [Test]
353                 [ExpectedException (typeof (ArgumentException))]
354                 public void ResolveFieldTokenInvalidToken ()
355                 {
356                         AssemblyBuilder ab = genAssembly ();
357                         ModuleBuilder mb = ab.DefineDynamicModule ("foo.dll", "foo.dll");
358
359                         mb.ResolveField (0x4001234);
360                 }
361
362                 [Test]
363                 public void ResolveMethodTokenMethodBuilder ()
364                 {
365                         AssemblyBuilder ab = genAssembly ();
366                         ModuleBuilder moduleb = ab.DefineDynamicModule ("foo.dll", "foo.dll");
367
368                         TypeBuilder tb = moduleb.DefineType ("foo");
369                         MethodBuilder mb = tb.DefineMethod("Frub", MethodAttributes.Static, null, new Type[] { typeof(IntPtr) });
370                         int tok = mb.GetToken().Token;
371                         mb.SetImplementationFlags(MethodImplAttributes.NoInlining);
372                         ILGenerator ilgen = mb.GetILGenerator();
373                         ilgen.Emit(OpCodes.Ret);
374
375                         tb.CreateType ();
376
377                         MethodBase mi = moduleb.ResolveMethod (tok);
378                         Assert.IsNotNull (mi);
379                         Assert.AreEqual ("Frub", mi.Name);
380                 }
381
382                 [Test]
383                 public void GetMethodTokenCrossMethodBuilders ()
384                 {
385                         AssemblyBuilder ab = genAssembly ();
386                         ModuleBuilder moduleb = ab.DefineDynamicModule ("foo.dll", "foo.dll");
387
388                         TypeBuilder tb = moduleb.DefineType ("foo");
389                         MethodBuilder mb = tb.DefineMethod("Frub", MethodAttributes.Static, null, new Type[] { typeof(IntPtr) });
390                         int tok = mb.GetToken().Token;
391                         mb.SetImplementationFlags(MethodImplAttributes.NoInlining);
392                         ILGenerator ilgen = mb.GetILGenerator();
393                         ilgen.Emit(OpCodes.Ret);
394
395                         tb.CreateType ();
396
397                         var mi = (MethodInfo) moduleb.ResolveMember (tok);
398                         Assert.IsNotNull (mi);
399
400                         ModuleBuilder moduleb2 = ab.DefineDynamicModule ("foo2.dll", "foo2.dll");
401                         var tok2 = moduleb2.GetMethodToken (mi).Token;
402
403                         MethodBase mi2 = moduleb.ResolveMethod (tok2);
404                         Assert.IsNotNull (mi2);
405                         Assert.AreEqual ("Frub", mi.Name);
406                 }
407
408                 [Test]
409                 public void ResolveMemberField ()
410                 {
411                         var assembly = genAssembly ();
412                         var module = assembly.DefineDynamicModule ("foo.dll", "foo.dll");
413
414                         var type = module.DefineType ("Foo");
415                         var method = type.DefineMethod ("Str", MethodAttributes.Static, typeof (string), Type.EmptyTypes);
416                         var il = method.GetILGenerator ();
417
418                         il.Emit (OpCodes.Ldsfld, typeof (string).GetField ("Empty"));
419                         il.Emit (OpCodes.Ret);
420
421                         type.CreateType ();
422
423                         var string_empty = (FieldInfo) module.ResolveMember (0x0a000001);
424                         Assert.IsNotNull (string_empty);
425                         Assert.AreEqual ("Empty", string_empty.Name);
426                         Assert.AreEqual (typeof (string), string_empty.DeclaringType);
427                 }
428
429                 [Test]
430                 public void ResolveMemberMethod ()
431                 {
432                         var assembly = genAssembly ();
433                         var module = assembly.DefineDynamicModule ("foo.dll", "foo.dll");
434
435                         var type = module.DefineType ("Foo");
436                         var method = type.DefineMethod ("Str", MethodAttributes.Static, typeof (void), Type.EmptyTypes);
437                         var il = method.GetILGenerator ();
438
439                         il.Emit (OpCodes.Call, typeof (Console).GetMethod ("WriteLine", Type.EmptyTypes));
440                         il.Emit (OpCodes.Ret);
441
442                         type.CreateType ();
443
444                         var writeline = (MethodInfo) module.ResolveMember (0x0a000001);
445                         Assert.IsNotNull (writeline);
446                         Assert.AreEqual ("WriteLine", writeline.Name);
447                         Assert.AreEqual (typeof (Console), writeline.DeclaringType);
448                 }
449
450                 [Test]
451                 public void ResolveMethodDefWithGenericArguments ()
452                 {
453                         var assembly = genAssembly ();
454                         var module = assembly.DefineDynamicModule ("foo.dll", "foo.dll");
455
456                         var type = module.DefineType ("Foo`1");
457                         var t = type.DefineGenericParameters ("T") [0];
458
459                         var method = type.DefineMethod ("Method", MethodAttributes.Static, typeof (void), new Type [] { t });
460                         method.GetILGenerator ().Emit (OpCodes.Ret);
461
462                         type.DefineDefaultConstructor (MethodAttributes.Public);
463
464                         type.CreateType ();
465
466                         var resolved_method = (MethodInfo) module.ResolveMember (0x06000001, new [] { typeof (string) }, Type.EmptyTypes);
467                         Assert.IsNotNull (resolved_method);
468                         Assert.AreEqual ("Method", resolved_method.Name);
469                         Assert.IsTrue (resolved_method.GetParameters () [0].ParameterType.IsGenericParameter);
470                 }
471
472                 [Test]
473                 public void ResolveFieldDefWithGenericArguments ()
474                 {
475                         var assembly = genAssembly ();
476                         var module = assembly.DefineDynamicModule ("foo.dll", "foo.dll");
477
478                         var type = module.DefineType ("Foo`1");
479                         var t = type.DefineGenericParameters ("T") [0];
480
481                         var field = type.DefineField ("field", t, FieldAttributes.Public);
482
483                         type.CreateType ();
484
485                         var resolved_field = (FieldInfo) module.ResolveMember (0x04000001, new [] { typeof (string) }, Type.EmptyTypes);
486                         Assert.IsNotNull (resolved_field);
487                         Assert.AreEqual ("field", resolved_field.Name);
488                         Assert.IsTrue (resolved_field.FieldType.IsGenericParameter);
489                 }
490
491                 [Test]
492                 public void ResolveTypeDefWithGenericArguments ()
493                 {
494                         var assembly = genAssembly ();
495                         var module = assembly.DefineDynamicModule ("foo.dll", "foo.dll");
496
497                         var type = module.DefineType ("Foo`1");
498                         var t = type.DefineGenericParameters ("T") [0];
499
500                         type.CreateType ();
501
502                         var foo = (Type) module.ResolveMember (0x02000002, new [] { typeof (string) }, Type.EmptyTypes);
503                         Assert.IsNotNull (foo);
504                         Assert.AreEqual ("Foo`1", foo.Name);
505                         Assert.IsTrue (foo.IsGenericTypeDefinition);
506                 }
507
508                 [Test]
509                 public void ResolveFieldMemberRefWithGenericArguments ()
510                 {
511                         var assembly = genAssembly ();
512                         var module = assembly.DefineDynamicModule ("foo.dll", "foo.dll");
513
514                         var type = module.DefineType ("Foo`1");
515                         var t = type.DefineGenericParameters ("T") [0];
516
517                         var field = type.DefineField ("field", t, FieldAttributes.Public);
518
519                         var method = type.DefineMethod ("Method", MethodAttributes.Public, typeof (void), Type.EmptyTypes);
520                         var il = method.GetILGenerator ();
521
522                         il.Emit (OpCodes.Ldarg_0);
523                         il.Emit (OpCodes.Ldfld, field); // this triggers the creation of a MemberRef on a generic TypeSpec
524                         il.Emit (OpCodes.Pop);
525                         il.Emit (OpCodes.Ret);
526
527                         type.CreateType ();
528
529                         var resolved_field = (FieldInfo) module.ResolveMember (0x0a000001, new [] { typeof (string) }, null);
530                         Assert.IsNotNull (resolved_field);
531                         Assert.AreEqual ("field", resolved_field.Name);
532                         Assert.AreEqual (typeof (string), resolved_field.FieldType);
533                 }
534
535                 [Test]
536                 public void ResolveMethodMemberRefWithGenericArguments ()
537                 {
538                         var assembly = genAssembly ();
539                         var module = assembly.DefineDynamicModule ("foo.dll", "foo.dll");
540
541                         var type = module.DefineType ("Foo`1");
542                         var t = type.DefineGenericParameters ("T") [0];
543
544                         var field = type.DefineField ("field", t, FieldAttributes.Public);
545
546                         var method = type.DefineMethod ("Method", MethodAttributes.Public, typeof (void), new Type [] { t });
547                         method.GetILGenerator ().Emit (OpCodes.Ret);
548
549                         var ctor = type.DefineMethod ("Caller", MethodAttributes.Public, typeof (void), Type.EmptyTypes);
550                         var il = ctor.GetILGenerator ();
551
552                         il.Emit (OpCodes.Ldarg_0);
553                         il.Emit (OpCodes.Ldarg_0);
554                         il.Emit (OpCodes.Ldfld, field); // this triggers the creation of a MemberRef on a generic TypeSpec
555                         il.Emit (OpCodes.Callvirt, method); // this too
556                         il.Emit (OpCodes.Ret);
557
558                         type.DefineDefaultConstructor (MethodAttributes.Public);
559
560                         type.CreateType ();
561
562                         var resolved_method = (MethodInfo) module.ResolveMember (0x0a000002, new [] { typeof (string) }, null);
563                         Assert.IsNotNull (resolved_method);
564                         Assert.AreEqual ("Method", resolved_method.Name);
565                         Assert.AreEqual (typeof (string), resolved_method.GetParameters () [0].ParameterType);
566                 }
567
568                 [Test]
569                 public void ResolveMethodSpecWithGenericArguments ()
570                 {
571                         var assembly = genAssembly ();
572                         var module = assembly.DefineDynamicModule ("foo.dll", "foo.dll");
573
574                         var type = module.DefineType ("Foo`1");
575                         var t = type.DefineGenericParameters ("T") [0];
576
577                         var field = type.DefineField ("field", t, FieldAttributes.Public);
578
579                         var method = type.DefineMethod ("Method", MethodAttributes.Public);
580                         var s = method.DefineGenericParameters ("S") [0];
581                         method.SetReturnType (typeof (void));
582                         method.SetParameters (t, s);
583                         method.GetILGenerator ().Emit (OpCodes.Ret);
584
585                         var ctor = type.DefineMethod ("Caller", MethodAttributes.Public, typeof (void), Type.EmptyTypes);
586                         var il = ctor.GetILGenerator ();
587
588                         il.Emit (OpCodes.Ldarg_0);
589                         il.Emit (OpCodes.Ldarg_0);
590                         il.Emit (OpCodes.Ldfld, field); // this triggers the creation of a MemberRef on a generic TypeSpec
591                         il.Emit (OpCodes.Ldarg_0);
592                         il.Emit (OpCodes.Ldfld, field); // this triggers the creation of a MemberRef on a generic TypeSpec
593                         il.Emit (OpCodes.Callvirt, method); // this triggers the creation of a MethodSpec
594                         il.Emit (OpCodes.Ret);
595
596                         type.DefineDefaultConstructor (MethodAttributes.Public);
597
598                         type.CreateType ();
599
600                         var resolved_method = (MethodInfo) module.ResolveMember (0x2b000001, new [] { typeof (string) }, new [] { typeof (int) });
601                         Assert.IsNotNull (resolved_method);
602                         Assert.AreEqual ("Method", resolved_method.Name);
603                         Assert.AreEqual (typeof (string), resolved_method.GetParameters () [0].ParameterType);
604                         Assert.AreEqual (typeof (int), resolved_method.GetParameters () [1].ParameterType);
605                 }
606
607                 [Test]
608                 public void GetTypes ()
609                 {
610                         AssemblyBuilder ab = genAssembly ();
611                         ModuleBuilder mb = ab.DefineDynamicModule ("foo.dll", "foo.dll");
612
613                         TypeBuilder tb1 = mb.DefineType("Foo", TypeAttributes.Public);
614
615                         Type[] types = mb.GetTypes ();
616                         Assert.AreEqual (1, types.Length);
617                         Assert.AreEqual (tb1, types [0]);
618
619                         // After the type is created, MS seems to return the created type
620                         tb1.CreateType ();
621
622                         types = mb.GetTypes ();
623                         Assert.AreEqual (tb1.CreateType (), types [0]);
624                 }
625
626                 [Test] // GetTypeToken (Type)
627                 [Category ("NotDotNet")] // http://support.microsoft.com/kb/950986
628                 public void GetTypeToken2_Type_Array ()
629                 {
630                         Type type;
631                         TypeToken typeToken;
632                         Type resolved_type;
633
634                         AssemblyName aname = genAssemblyName ();
635                         AssemblyBuilder ab = AppDomain.CurrentDomain.DefineDynamicAssembly (
636                                 aname, AssemblyBuilderAccess.RunAndSave);
637                         ModuleBuilder mb = ab.DefineDynamicModule ("MyModule");
638
639                         type = typeof (object []);
640                         typeToken = mb.GetTypeToken (type);
641                         Assert.IsFalse (typeToken == TypeToken.Empty, "#A1");
642                         resolved_type = mb.ResolveType (typeToken.Token);
643                         Assert.AreEqual (type, resolved_type, "#A2");
644
645                         type = typeof (object).MakeArrayType ();
646                         typeToken = mb.GetTypeToken (type);
647                         Assert.IsFalse (typeToken == TypeToken.Empty, "#B1");
648                         resolved_type = mb.ResolveType (typeToken.Token);
649                         Assert.AreEqual (type, resolved_type, "#B2");
650                 }
651
652                 [Test] // GetTypeToken (Type)
653                 public void GetTypeToken2_Type_String ()
654                 {
655                         AssemblyName aname = genAssemblyName ();
656                         AssemblyBuilder ab = AppDomain.CurrentDomain.DefineDynamicAssembly (
657                                 aname, AssemblyBuilderAccess.RunAndSave);
658                         ModuleBuilder mb = ab.DefineDynamicModule ("MyModule");
659                         Type type = typeof (string);
660                         TypeToken typeToken = mb.GetTypeToken (type);
661                         Assert.IsFalse (typeToken == TypeToken.Empty, "#1");
662                         Type resolved_type = mb.ResolveType (typeToken.Token);
663                         Assert.AreEqual (type, resolved_type, "#2");
664                 }
665
666                 [Test] // bug #471302
667                 public void ModuleBuilder_ModuleVersionId ()
668                 {
669                         var name = new AssemblyName () { Name = "Foo" };
670                         var assembly = AppDomain.CurrentDomain.DefineDynamicAssembly (
671                                 name, AssemblyBuilderAccess.Run);
672
673                         var module = assembly.DefineDynamicModule ("Foo");
674
675                         Assert.AreNotEqual (new Guid (), module.ModuleVersionId);
676                 }
677
678                 [Test]
679                 public void GetType_String_Null ()
680                 {
681                         AssemblyName an = genAssemblyName ();
682                         AssemblyBuilder ab = AppDomain.CurrentDomain.DefineDynamicAssembly (an, AssemblyBuilderAccess.Run);
683                         ModuleBuilder module = ab.DefineDynamicModule ("GetTypeNullCheck");
684
685                         try {
686                                 module.GetType (null);
687                                 Assert.Fail ("Expected ArgumentNullException for GetType(string)");
688                         }
689                         catch (ArgumentNullException) {
690                         }
691                         try {
692                                 module.GetType (null, true); // ignoreCase
693                                 Assert.Fail ("Expected ArgumentNullException for GetType(string,bool)");
694                         }
695                         catch (ArgumentNullException) {
696                         }
697                         try {
698                                 module.GetType (null, true, true); // throwOnError, ignoreCase
699                                 Assert.Fail ("Expected ArgumentNullException for GetType(string,bool,bool)");
700                         }
701                         catch (ArgumentNullException) {
702                         }
703                 }
704
705                 [Test]
706                 public void GetType_String_Empty ()
707                 {
708                         AssemblyName an = genAssemblyName ();
709                         AssemblyBuilder ab = AppDomain.CurrentDomain.DefineDynamicAssembly (an, AssemblyBuilderAccess.Run);
710                         ModuleBuilder module = ab.DefineDynamicModule ("GetTypeEmptyCheck");
711
712                         try {
713                                 module.GetType (String.Empty);
714                                 Assert.Fail ("Expected ArgumentNullException for GetType(string)");
715                         }
716                         catch (ArgumentException) {
717                         }
718                         try {
719                                 module.GetType (String.Empty, true); // ignoreCase
720                                 Assert.Fail ("Expected ArgumentNullException for GetType(string,bool)");
721                         }
722                         catch (ArgumentException) {
723                         }
724                         try {
725                                 module.GetType (String.Empty, true, true); // throwOnError, ignoreCase
726                                 Assert.Fail ("Expected ArgumentNullException for GetType(string,bool,bool)");
727                         }
728                         catch (ArgumentException) {
729                         }
730                 }
731
732                 [Test]
733                 public void GetMethodTokenNullParam ()
734                 {
735                         AssemblyName an = genAssemblyName ();
736                         AssemblyBuilder ab = AppDomain.CurrentDomain.DefineDynamicAssembly (an, AssemblyBuilderAccess.Run);
737                         ModuleBuilder module = ab.DefineDynamicModule ("mod");
738
739                         var method = typeof (object).GetMethod ("GetType");
740
741                         // ArgumentNullException should not occur.
742                         module.GetMethodToken (method, null);
743                 }
744
745                 [Test]
746                 public void GetConstructorTokenNullParam ()
747                 {
748                         AssemblyName an = genAssemblyName ();
749                         AssemblyBuilder ab = AppDomain.CurrentDomain.DefineDynamicAssembly (an, AssemblyBuilderAccess.Run);
750                         ModuleBuilder module = ab.DefineDynamicModule ("mod");
751
752                         var method = typeof (object).GetConstructor (Type.EmptyTypes);
753
754                         // ArgumentNullException should not occur.
755                         module.GetConstructorToken (method, null);
756                 }
757         }
758 }