Merge pull request #1155 from steffen-kiess/json-string
[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                 public void DefineType_Name_Null ()
140                 {
141                         AssemblyBuilder ab = genAssembly ();
142                         ModuleBuilder mb = ab.DefineDynamicModule ("foo.dll", "foo.dll", true);
143                         try {
144                                 mb.DefineType ((string) null);
145                                 Assert.Fail ("#1");
146                         } catch (ArgumentNullException ex) {
147                                 Assert.AreEqual (typeof (ArgumentNullException), ex.GetType (), "#2");
148                                 Assert.IsNull (ex.InnerException, "#3");
149                                 Assert.IsNotNull (ex.Message, "#4");
150                                 Assert.AreEqual ("fullname", ex.ParamName, "#5");
151                         }
152                 }
153
154                 [Test]
155                 public void DefineType_Name_Empty ()
156                 {
157                         AssemblyBuilder ab = genAssembly ();
158                         ModuleBuilder mb = ab.DefineDynamicModule ("foo.dll", "foo.dll", true);
159                         try {
160                                 mb.DefineType (string.Empty);
161                                 Assert.Fail ("#1");
162                         } catch (ArgumentException ex) {
163                                 // Empty name is not legal
164                                 Assert.AreEqual (typeof (ArgumentException), ex.GetType (), "#2");
165                                 Assert.IsNull (ex.InnerException, "#3");
166                                 Assert.IsNotNull (ex.Message, "#4");
167                                 Assert.AreEqual ("fullname", ex.ParamName, "#5");
168                         }
169                 }
170
171                 [Test]
172                 public void DefineType_Name_NullChar ()
173                 {
174                         AssemblyBuilder ab = genAssembly ();
175                         ModuleBuilder mb = ab.DefineDynamicModule ("foo.dll", "foo.dll", true);
176                         try {
177                                 mb.DefineType ("\0test");
178                                 Assert.Fail ("#1");
179                         } catch (ArgumentException ex) {
180                                 // Illegal name
181                                 Assert.AreEqual (typeof (ArgumentException), ex.GetType (), "#2");
182                                 Assert.IsNull (ex.InnerException, "#3");
183                                 Assert.IsNotNull (ex.Message, "#4");
184                                 Assert.AreEqual ("fullname", ex.ParamName, "#5");
185                         }
186
187                         mb.DefineType ("te\0st");
188                 }
189
190                 [Test]
191                 public void DefineType_InterfaceNotAbstract ()
192                 {
193                         AssemblyBuilder ab = genAssembly ();
194                         ModuleBuilder mb = ab.DefineDynamicModule ("foo.dll", "foo.dll", true);
195
196                         try {
197                                 mb.DefineType ("ITest1", TypeAttributes.Interface);
198                                 Assert.Fail ("#A1");
199                         } catch (InvalidOperationException ex) {
200                                 // Interface must be declared abstract
201                                 Assert.AreEqual (typeof (InvalidOperationException), ex.GetType (), "#A2");
202                                 Assert.IsNull (ex.InnerException, "#A3");
203                                 Assert.IsNotNull (ex.Message, "#A4");
204                         }
205
206                         try {
207                                 mb.DefineType ("ITest2", TypeAttributes.Interface, (Type) null);
208                                 Assert.Fail ("#B1");
209                         } catch (InvalidOperationException ex) {
210                                 // Interface must be declared abstract
211                                 Assert.AreEqual (typeof (InvalidOperationException), ex.GetType (), "#B2");
212                                 Assert.IsNull (ex.InnerException, "#B3");
213                                 Assert.IsNotNull (ex.Message, "#B4");
214                         }
215
216                         // fail on MS .NET 1.1
217                         TypeBuilder tb = mb.DefineType ("ITest2", TypeAttributes.Interface,
218                                 typeof (object));
219                         Assert.AreEqual (typeof (object), tb.BaseType, "#C1");
220
221                         tb = mb.DefineType ("ITest3", TypeAttributes.Interface,
222                                 typeof (IDisposable));
223                         Assert.AreEqual (typeof (IDisposable), tb.BaseType, "#D1");
224                 }
225
226                 [Test]
227                 public void DefineType_Parent_Interface ()
228                 {
229                         TypeBuilder tb;
230
231                         AssemblyBuilder ab = genAssembly ();
232                         ModuleBuilder mb = ab.DefineDynamicModule ("foo.dll", "foo.dll", true);
233
234                         tb = mb.DefineType ("Foo", TypeAttributes.Class,
235                                 typeof (ICollection));
236                         Assert.AreEqual (typeof (ICollection), tb.BaseType, "#1");
237
238                         tb = mb.DefineType ("Bar", TypeAttributes.Interface,
239                                 typeof (ICollection));
240                         Assert.AreEqual (typeof (ICollection), tb.BaseType, "#2");
241                 }
242
243                 [Test]
244                 [ExpectedException (typeof (ArgumentException))]
245                 public void DuplicateTypeName () {
246                         AssemblyBuilder ab = genAssembly ();
247                         ModuleBuilder module = ab.DefineDynamicModule ("foo.dll", "foo.dll", true);
248
249                         var itb = module.DefineType ("TBase", TypeAttributes.Public);
250
251                         itb.SetParent (typeof(ValueType));        
252
253                         var ptb = module.DefineType ("TBase", TypeAttributes.Public);
254
255                         ptb.SetParent (typeof(Enum));
256                 }
257
258                 [Test]
259                 public void DuplicateSymbolDocument ()
260                 {
261                         AssemblyBuilder ab = genAssembly ();
262                         ModuleBuilder mb = ab.DefineDynamicModule ("foo.dll", "foo.dll", true);
263
264                         // Check that it is possible to redefine a symbol document
265                         ISymbolDocumentWriter doc1 =
266                                 mb.DefineDocument ("foo.il", SymDocumentType.Text,
267                                                                   SymLanguageType.ILAssembly, SymLanguageVendor.Microsoft);
268                         ISymbolDocumentWriter doc2 =
269                                 mb.DefineDocument ("foo.il", SymDocumentType.Text,
270                                                                   SymLanguageType.ILAssembly, SymLanguageVendor.Microsoft);
271                 }
272
273                 [Test] // Test case for #80435.
274                 public void GetArrayMethodToStringTest ()
275                 {
276                         AssemblyBuilder assembly = genAssembly ();
277                         ModuleBuilder module = assembly.DefineDynamicModule ("m", "test.dll");
278
279                         Type [] myArrayClass = new Type [1];
280                         Type [] parameterTypes = { typeof (Array) };
281                         MethodInfo myMethodInfo = module.GetArrayMethod (myArrayClass.GetType (), "Sort", CallingConventions.Standard, null, parameterTypes);
282
283                         string str = myMethodInfo.ToString ();
284                         Assert.IsNotNull (str);
285                         // Don't compare string, since MS returns System.Reflection.Emit.SymbolMethod here 
286                         // (they do not provide an implementation of ToString).
287                 }
288
289                 private static void AssertArrayEqualsSorted (Array o1, Array o2)
290                 {
291                         Array s1 = (Array) o1.Clone ();
292                         Array s2 = (Array) o2.Clone ();
293
294                         Array.Sort (s1);
295                         Array.Sort (s2);
296
297                         Assert.AreEqual (s1.Length, s2.Length, "#1");
298                         for (int i = 0; i < s1.Length; ++i)
299                                 Assert.AreEqual (s1.GetValue (i), s2.GetValue (i), "#2: " + i);
300                 }
301
302                 [Test]
303                 public void ResolveFieldTokenFieldBuilder ()
304                 {
305                         AssemblyBuilder ab = genAssembly ();
306                         ModuleBuilder mb = ab.DefineDynamicModule ("foo.dll", "foo.dll");
307
308                         TypeBuilder tb = mb.DefineType ("foo");
309                         FieldBuilder fb = tb.DefineField ("foo", typeof (int), 0);
310                         tb.CreateType ();
311
312                         FieldInfo fi = mb.ResolveField (0x04000001);
313                         Assert.IsNotNull (fi);
314                         Assert.AreEqual ("foo", fi.Name);
315                 }
316
317                 [Test]
318                 public void ResolveGenericFieldBuilderOnGenericTypeBuilder ()
319                 {
320                         AssemblyBuilder ab = genAssembly ();
321                         ModuleBuilder mb = ab.DefineDynamicModule ("foo.dll", "foo.dll");
322
323                         TypeBuilder tb = mb.DefineType ("Foo`1");
324                         var t = tb.DefineGenericParameters ("T") [0];
325                         FieldBuilder fb = tb.DefineField ("foo", t, 0);
326                         tb.CreateType ();
327
328                         FieldInfo fi = mb.ResolveField (0x04000001);
329                         Assert.IsNotNull (fi);
330                         Assert.AreEqual ("foo", fi.Name);
331                 }
332
333                 [Test]
334                 [ExpectedException (typeof (ArgumentException))]
335                 public void ResolveFieldTokenInvalidToken ()
336                 {
337                         AssemblyBuilder ab = genAssembly ();
338                         ModuleBuilder mb = ab.DefineDynamicModule ("foo.dll", "foo.dll");
339
340                         mb.ResolveField (0x4001234);
341                 }
342
343                 [Test]
344                 public void ResolveMethodTokenMethodBuilder ()
345                 {
346                         AssemblyBuilder ab = genAssembly ();
347                         ModuleBuilder moduleb = ab.DefineDynamicModule ("foo.dll", "foo.dll");
348
349                         TypeBuilder tb = moduleb.DefineType ("foo");
350                         MethodBuilder mb = tb.DefineMethod("Frub", MethodAttributes.Static, null, new Type[] { typeof(IntPtr) });
351                         int tok = mb.GetToken().Token;
352                         mb.SetImplementationFlags(MethodImplAttributes.NoInlining);
353                         ILGenerator ilgen = mb.GetILGenerator();
354                         ilgen.Emit(OpCodes.Ret);
355
356                         tb.CreateType ();
357
358                         MethodBase mi = moduleb.ResolveMethod (tok);
359                         Assert.IsNotNull (mi);
360                         Assert.AreEqual ("Frub", mi.Name);
361                 }
362
363                 [Test]
364                 public void GetMethodTokenCrossMethodBuilders ()
365                 {
366                         AssemblyBuilder ab = genAssembly ();
367                         ModuleBuilder moduleb = ab.DefineDynamicModule ("foo.dll", "foo.dll");
368
369                         TypeBuilder tb = moduleb.DefineType ("foo");
370                         MethodBuilder mb = tb.DefineMethod("Frub", MethodAttributes.Static, null, new Type[] { typeof(IntPtr) });
371                         int tok = mb.GetToken().Token;
372                         mb.SetImplementationFlags(MethodImplAttributes.NoInlining);
373                         ILGenerator ilgen = mb.GetILGenerator();
374                         ilgen.Emit(OpCodes.Ret);
375
376                         tb.CreateType ();
377
378                         var mi = (MethodInfo) moduleb.ResolveMember (tok);
379                         Assert.IsNotNull (mi);
380
381                         ModuleBuilder moduleb2 = ab.DefineDynamicModule ("foo2.dll", "foo2.dll");
382                         var tok2 = moduleb2.GetMethodToken (mi).Token;
383
384                         MethodBase mi2 = moduleb.ResolveMethod (tok2);
385                         Assert.IsNotNull (mi2);
386                         Assert.AreEqual ("Frub", mi.Name);
387                 }
388
389                 [Test]
390                 public void ResolveMemberField ()
391                 {
392                         var assembly = genAssembly ();
393                         var module = assembly.DefineDynamicModule ("foo.dll", "foo.dll");
394
395                         var type = module.DefineType ("Foo");
396                         var method = type.DefineMethod ("Str", MethodAttributes.Static, typeof (string), Type.EmptyTypes);
397                         var il = method.GetILGenerator ();
398
399                         il.Emit (OpCodes.Ldsfld, typeof (string).GetField ("Empty"));
400                         il.Emit (OpCodes.Ret);
401
402                         type.CreateType ();
403
404                         var string_empty = (FieldInfo) module.ResolveMember (0x0a000001);
405                         Assert.IsNotNull (string_empty);
406                         Assert.AreEqual ("Empty", string_empty.Name);
407                         Assert.AreEqual (typeof (string), string_empty.DeclaringType);
408                 }
409
410                 [Test]
411                 public void ResolveMemberMethod ()
412                 {
413                         var assembly = genAssembly ();
414                         var module = assembly.DefineDynamicModule ("foo.dll", "foo.dll");
415
416                         var type = module.DefineType ("Foo");
417                         var method = type.DefineMethod ("Str", MethodAttributes.Static, typeof (void), Type.EmptyTypes);
418                         var il = method.GetILGenerator ();
419
420                         il.Emit (OpCodes.Call, typeof (Console).GetMethod ("WriteLine", Type.EmptyTypes));
421                         il.Emit (OpCodes.Ret);
422
423                         type.CreateType ();
424
425                         var writeline = (MethodInfo) module.ResolveMember (0x0a000001);
426                         Assert.IsNotNull (writeline);
427                         Assert.AreEqual ("WriteLine", writeline.Name);
428                         Assert.AreEqual (typeof (Console), writeline.DeclaringType);
429                 }
430
431                 [Test]
432                 public void ResolveMethodDefWithGenericArguments ()
433                 {
434                         var assembly = genAssembly ();
435                         var module = assembly.DefineDynamicModule ("foo.dll", "foo.dll");
436
437                         var type = module.DefineType ("Foo`1");
438                         var t = type.DefineGenericParameters ("T") [0];
439
440                         var method = type.DefineMethod ("Method", MethodAttributes.Static, typeof (void), new Type [] { t });
441                         method.GetILGenerator ().Emit (OpCodes.Ret);
442
443                         type.DefineDefaultConstructor (MethodAttributes.Public);
444
445                         type.CreateType ();
446
447                         var resolved_method = (MethodInfo) module.ResolveMember (0x06000001, new [] { typeof (string) }, Type.EmptyTypes);
448                         Assert.IsNotNull (resolved_method);
449                         Assert.AreEqual ("Method", resolved_method.Name);
450                         Assert.IsTrue (resolved_method.GetParameters () [0].ParameterType.IsGenericParameter);
451                 }
452
453                 [Test]
454                 public void ResolveFieldDefWithGenericArguments ()
455                 {
456                         var assembly = genAssembly ();
457                         var module = assembly.DefineDynamicModule ("foo.dll", "foo.dll");
458
459                         var type = module.DefineType ("Foo`1");
460                         var t = type.DefineGenericParameters ("T") [0];
461
462                         var field = type.DefineField ("field", t, FieldAttributes.Public);
463
464                         type.CreateType ();
465
466                         var resolved_field = (FieldInfo) module.ResolveMember (0x04000001, new [] { typeof (string) }, Type.EmptyTypes);
467                         Assert.IsNotNull (resolved_field);
468                         Assert.AreEqual ("field", resolved_field.Name);
469                         Assert.IsTrue (resolved_field.FieldType.IsGenericParameter);
470                 }
471
472                 [Test]
473                 public void ResolveTypeDefWithGenericArguments ()
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                         type.CreateType ();
482
483                         var foo = (Type) module.ResolveMember (0x02000002, new [] { typeof (string) }, Type.EmptyTypes);
484                         Assert.IsNotNull (foo);
485                         Assert.AreEqual ("Foo`1", foo.Name);
486                         Assert.IsTrue (foo.IsGenericTypeDefinition);
487                 }
488
489                 [Test]
490                 public void ResolveFieldMemberRefWithGenericArguments ()
491                 {
492                         var assembly = genAssembly ();
493                         var module = assembly.DefineDynamicModule ("foo.dll", "foo.dll");
494
495                         var type = module.DefineType ("Foo`1");
496                         var t = type.DefineGenericParameters ("T") [0];
497
498                         var field = type.DefineField ("field", t, FieldAttributes.Public);
499
500                         var method = type.DefineMethod ("Method", MethodAttributes.Public, typeof (void), Type.EmptyTypes);
501                         var il = method.GetILGenerator ();
502
503                         il.Emit (OpCodes.Ldarg_0);
504                         il.Emit (OpCodes.Ldfld, field); // this triggers the creation of a MemberRef on a generic TypeSpec
505                         il.Emit (OpCodes.Pop);
506                         il.Emit (OpCodes.Ret);
507
508                         type.CreateType ();
509
510                         var resolved_field = (FieldInfo) module.ResolveMember (0x0a000001, new [] { typeof (string) }, null);
511                         Assert.IsNotNull (resolved_field);
512                         Assert.AreEqual ("field", resolved_field.Name);
513                         Assert.AreEqual (typeof (string), resolved_field.FieldType);
514                 }
515
516                 [Test]
517                 public void ResolveMethodMemberRefWithGenericArguments ()
518                 {
519                         var assembly = genAssembly ();
520                         var module = assembly.DefineDynamicModule ("foo.dll", "foo.dll");
521
522                         var type = module.DefineType ("Foo`1");
523                         var t = type.DefineGenericParameters ("T") [0];
524
525                         var field = type.DefineField ("field", t, FieldAttributes.Public);
526
527                         var method = type.DefineMethod ("Method", MethodAttributes.Public, typeof (void), new Type [] { t });
528                         method.GetILGenerator ().Emit (OpCodes.Ret);
529
530                         var ctor = type.DefineMethod ("Caller", MethodAttributes.Public, typeof (void), Type.EmptyTypes);
531                         var il = ctor.GetILGenerator ();
532
533                         il.Emit (OpCodes.Ldarg_0);
534                         il.Emit (OpCodes.Ldarg_0);
535                         il.Emit (OpCodes.Ldfld, field); // this triggers the creation of a MemberRef on a generic TypeSpec
536                         il.Emit (OpCodes.Callvirt, method); // this too
537                         il.Emit (OpCodes.Ret);
538
539                         type.DefineDefaultConstructor (MethodAttributes.Public);
540
541                         type.CreateType ();
542
543                         var resolved_method = (MethodInfo) module.ResolveMember (0x0a000002, new [] { typeof (string) }, null);
544                         Assert.IsNotNull (resolved_method);
545                         Assert.AreEqual ("Method", resolved_method.Name);
546                         Assert.AreEqual (typeof (string), resolved_method.GetParameters () [0].ParameterType);
547                 }
548
549                 [Test]
550                 public void ResolveMethodSpecWithGenericArguments ()
551                 {
552                         var assembly = genAssembly ();
553                         var module = assembly.DefineDynamicModule ("foo.dll", "foo.dll");
554
555                         var type = module.DefineType ("Foo`1");
556                         var t = type.DefineGenericParameters ("T") [0];
557
558                         var field = type.DefineField ("field", t, FieldAttributes.Public);
559
560                         var method = type.DefineMethod ("Method", MethodAttributes.Public);
561                         var s = method.DefineGenericParameters ("S") [0];
562                         method.SetReturnType (typeof (void));
563                         method.SetParameters (t, s);
564                         method.GetILGenerator ().Emit (OpCodes.Ret);
565
566                         var ctor = type.DefineMethod ("Caller", MethodAttributes.Public, typeof (void), Type.EmptyTypes);
567                         var il = ctor.GetILGenerator ();
568
569                         il.Emit (OpCodes.Ldarg_0);
570                         il.Emit (OpCodes.Ldarg_0);
571                         il.Emit (OpCodes.Ldfld, field); // this triggers the creation of a MemberRef on a generic TypeSpec
572                         il.Emit (OpCodes.Ldarg_0);
573                         il.Emit (OpCodes.Ldfld, field); // this triggers the creation of a MemberRef on a generic TypeSpec
574                         il.Emit (OpCodes.Callvirt, method); // this triggers the creation of a MethodSpec
575                         il.Emit (OpCodes.Ret);
576
577                         type.DefineDefaultConstructor (MethodAttributes.Public);
578
579                         type.CreateType ();
580
581                         var resolved_method = (MethodInfo) module.ResolveMember (0x2b000001, new [] { typeof (string) }, new [] { typeof (int) });
582                         Assert.IsNotNull (resolved_method);
583                         Assert.AreEqual ("Method", resolved_method.Name);
584                         Assert.AreEqual (typeof (string), resolved_method.GetParameters () [0].ParameterType);
585                         Assert.AreEqual (typeof (int), resolved_method.GetParameters () [1].ParameterType);
586                 }
587
588                 [Test]
589                 public void GetTypes ()
590                 {
591                         AssemblyBuilder ab = genAssembly ();
592                         ModuleBuilder mb = ab.DefineDynamicModule ("foo.dll", "foo.dll");
593
594                         TypeBuilder tb1 = mb.DefineType("Foo", TypeAttributes.Public);
595
596                         Type[] types = mb.GetTypes ();
597                         Assert.AreEqual (1, types.Length);
598                         Assert.AreEqual (tb1, types [0]);
599
600                         // After the type is created, MS seems to return the created type
601                         tb1.CreateType ();
602
603                         types = mb.GetTypes ();
604                         Assert.AreEqual (tb1.CreateType (), types [0]);
605                 }
606
607                 [Test] // GetTypeToken (Type)
608                 [Category ("NotDotNet")] // http://support.microsoft.com/kb/950986
609                 public void GetTypeToken2_Type_Array ()
610                 {
611                         Type type;
612                         TypeToken typeToken;
613                         Type resolved_type;
614
615                         AssemblyName aname = genAssemblyName ();
616                         AssemblyBuilder ab = AppDomain.CurrentDomain.DefineDynamicAssembly (
617                                 aname, AssemblyBuilderAccess.RunAndSave);
618                         ModuleBuilder mb = ab.DefineDynamicModule ("MyModule");
619
620                         type = typeof (object []);
621                         typeToken = mb.GetTypeToken (type);
622                         Assert.IsFalse (typeToken == TypeToken.Empty, "#A1");
623                         resolved_type = mb.ResolveType (typeToken.Token);
624                         Assert.AreEqual (type, resolved_type, "#A2");
625
626                         type = typeof (object).MakeArrayType ();
627                         typeToken = mb.GetTypeToken (type);
628                         Assert.IsFalse (typeToken == TypeToken.Empty, "#B1");
629                         resolved_type = mb.ResolveType (typeToken.Token);
630                         Assert.AreEqual (type, resolved_type, "#B2");
631                 }
632
633                 [Test] // GetTypeToken (Type)
634                 public void GetTypeToken2_Type_String ()
635                 {
636                         AssemblyName aname = genAssemblyName ();
637                         AssemblyBuilder ab = AppDomain.CurrentDomain.DefineDynamicAssembly (
638                                 aname, AssemblyBuilderAccess.RunAndSave);
639                         ModuleBuilder mb = ab.DefineDynamicModule ("MyModule");
640                         Type type = typeof (string);
641                         TypeToken typeToken = mb.GetTypeToken (type);
642                         Assert.IsFalse (typeToken == TypeToken.Empty, "#1");
643                         Type resolved_type = mb.ResolveType (typeToken.Token);
644                         Assert.AreEqual (type, resolved_type, "#2");
645                 }
646
647                 [Test] // bug #471302
648                 public void ModuleBuilder_ModuleVersionId ()
649                 {
650                         var name = new AssemblyName () { Name = "Foo" };
651                         var assembly = AppDomain.CurrentDomain.DefineDynamicAssembly (
652                                 name, AssemblyBuilderAccess.Run);
653
654                         var module = assembly.DefineDynamicModule ("Foo");
655
656                         Assert.AreNotEqual (new Guid (), module.ModuleVersionId);
657                 }
658
659                 [Test]
660                 public void GetType_String_Null ()
661                 {
662                         AssemblyName an = genAssemblyName ();
663                         AssemblyBuilder ab = AppDomain.CurrentDomain.DefineDynamicAssembly (an, AssemblyBuilderAccess.Run);
664                         ModuleBuilder module = ab.DefineDynamicModule ("GetTypeNullCheck");
665
666                         try {
667                                 module.GetType (null);
668                                 Assert.Fail ("Expected ArgumentNullException for GetType(string)");
669                         }
670                         catch (ArgumentNullException) {
671                         }
672                         try {
673                                 module.GetType (null, true); // ignoreCase
674                                 Assert.Fail ("Expected ArgumentNullException for GetType(string,bool)");
675                         }
676                         catch (ArgumentNullException) {
677                         }
678                         try {
679                                 module.GetType (null, true, true); // throwOnError, ignoreCase
680                                 Assert.Fail ("Expected ArgumentNullException for GetType(string,bool,bool)");
681                         }
682                         catch (ArgumentNullException) {
683                         }
684                 }
685
686                 [Test]
687                 public void GetType_String_Empty ()
688                 {
689                         AssemblyName an = genAssemblyName ();
690                         AssemblyBuilder ab = AppDomain.CurrentDomain.DefineDynamicAssembly (an, AssemblyBuilderAccess.Run);
691                         ModuleBuilder module = ab.DefineDynamicModule ("GetTypeEmptyCheck");
692
693                         try {
694                                 module.GetType (String.Empty);
695                                 Assert.Fail ("Expected ArgumentNullException for GetType(string)");
696                         }
697                         catch (ArgumentException) {
698                         }
699                         try {
700                                 module.GetType (String.Empty, true); // ignoreCase
701                                 Assert.Fail ("Expected ArgumentNullException for GetType(string,bool)");
702                         }
703                         catch (ArgumentException) {
704                         }
705                         try {
706                                 module.GetType (String.Empty, true, true); // throwOnError, ignoreCase
707                                 Assert.Fail ("Expected ArgumentNullException for GetType(string,bool,bool)");
708                         }
709                         catch (ArgumentException) {
710                         }
711                 }
712         }
713 }