[321020] Implemented compilation of forwarded type references
[mono.git] / mcs / mcs / reflection.cs
1 //
2 // reflection.cs: System.Reflection and System.Reflection.Emit specific implementations
3 //
4 // Author: Marek Safar (marek.safar@gmail.com)
5 //
6 // Dual licensed under the terms of the MIT X11 or GNU GPL
7 //
8 // Copyright 2009-2010 Novell, Inc. 
9 //
10 //
11
12 using System;
13 using System.Collections.Generic;
14 using System.Reflection;
15 using System.IO;
16 using System.Runtime.CompilerServices;
17 using System.Reflection.Emit;
18 using System.Security;
19
20 namespace Mono.CSharp
21 {
22 #if STATIC
23         public class ReflectionImporter
24         {
25                 public ReflectionImporter (BuildinTypes buildin)
26                 {
27                         throw new NotSupportedException ();
28                 }
29
30                 public void ImportAssembly (Assembly assembly, RootNamespace targetNamespace)
31                 {
32                         throw new NotSupportedException ();
33                 }
34
35                 public ImportedModuleDefinition ImportModule (Module module, RootNamespace targetNamespace)
36                 {
37                         throw new NotSupportedException ();
38                 }
39
40                 public TypeSpec ImportType (Type type)
41                 {
42                         throw new NotSupportedException ();
43                 }
44         }
45 #else
46         public sealed class ReflectionImporter : MetadataImporter
47         {
48                 public ReflectionImporter (BuildinTypes buildin)
49                 {
50                         Initialize (buildin);
51                 }
52
53                 public override void AddCompiledType (TypeBuilder builder, TypeSpec spec)
54                 {
55                 }
56
57                 protected override MemberKind DetermineKindFromBaseType (Type baseType)
58                 {
59                         if (baseType == typeof (ValueType))
60                                 return MemberKind.Struct;
61
62                         if (baseType == typeof (System.Enum))
63                                 return MemberKind.Enum;
64
65                         if (baseType == typeof (MulticastDelegate))
66                                 return MemberKind.Delegate;
67
68                         return MemberKind.Class;
69                 }
70
71                 public override void GetCustomAttributeTypeName (CustomAttributeData cad, out string typeNamespace, out string typeName)
72                 {
73                         var dt = cad.Constructor.DeclaringType;
74                         typeNamespace = dt.Namespace;
75                         typeName = dt.Name;
76                 }
77
78                 protected override bool HasVolatileModifier (Type[] modifiers)
79                 {
80                         foreach (var t in modifiers) {
81                                 if (t == typeof (IsVolatile))
82                                         return true;
83                         }
84
85                         return false;
86                 }
87
88                 public void ImportAssembly (Assembly assembly, RootNamespace targetNamespace)
89                 {
90                         // It can be used more than once when importing same assembly
91                         // into 2 or more global aliases
92                         var definition = GetAssemblyDefinition (assembly);
93
94                         //
95                         // This part tries to simulate loading of top-level
96                         // types only, any missing dependencies are ignores here.
97                         // Full error report is reported later when the type is
98                         // actually used
99                         //
100                         Type[] all_types;
101                         try {
102                                 all_types = assembly.GetTypes ();
103                         } catch (ReflectionTypeLoadException e) {
104                                 all_types = e.Types;
105                         }
106
107                         ImportTypes (all_types, targetNamespace, definition.HasExtensionMethod);
108                 }
109
110                 public ImportedModuleDefinition ImportModule (Module module, RootNamespace targetNamespace)
111                 {
112                         var module_definition = new ImportedModuleDefinition (module, this);
113                         module_definition.ReadAttributes ();
114
115                         Type[] all_types;
116                         try {
117                                 all_types = module.GetTypes ();
118                         } catch (ReflectionTypeLoadException e) {
119                                 all_types = e.Types;
120                         }
121
122                         ImportTypes (all_types, targetNamespace, false);
123
124                         return module_definition;
125                 }
126
127                 void Initialize (BuildinTypes buildin)
128                 {
129                         //
130                         // Setup mapping for build-in types to avoid duplication of their definition
131                         //
132                         compiled_types.Add (typeof (object), buildin.Object);
133                         compiled_types.Add (typeof (System.ValueType), buildin.ValueType);
134                         compiled_types.Add (typeof (System.Attribute), buildin.Attribute);
135
136                         compiled_types.Add (typeof (int), buildin.Int);
137                         compiled_types.Add (typeof (long), buildin.Long);
138                         compiled_types.Add (typeof (uint), buildin.UInt);
139                         compiled_types.Add (typeof (ulong), buildin.ULong);
140                         compiled_types.Add (typeof (byte), buildin.Byte);
141                         compiled_types.Add (typeof (sbyte), buildin.SByte);
142                         compiled_types.Add (typeof (short), buildin.Short);
143                         compiled_types.Add (typeof (ushort), buildin.UShort);
144
145                         compiled_types.Add (typeof (System.Collections.IEnumerator), buildin.IEnumerator);
146                         compiled_types.Add (typeof (System.Collections.IEnumerable), buildin.IEnumerable);
147                         compiled_types.Add (typeof (System.IDisposable), buildin.IDisposable);
148
149                         compiled_types.Add (typeof (char), buildin.Char);
150                         compiled_types.Add (typeof (string), buildin.String);
151                         compiled_types.Add (typeof (float), buildin.Float);
152                         compiled_types.Add (typeof (double), buildin.Double);
153                         compiled_types.Add (typeof (decimal), buildin.Decimal);
154                         compiled_types.Add (typeof (bool), buildin.Bool);
155                         compiled_types.Add (typeof (System.IntPtr), buildin.IntPtr);
156                         compiled_types.Add (typeof (System.UIntPtr), buildin.UIntPtr);
157
158                         compiled_types.Add (typeof (System.MulticastDelegate), buildin.MulticastDelegate);
159                         compiled_types.Add (typeof (System.Delegate), buildin.Delegate);
160                         compiled_types.Add (typeof (System.Enum), buildin.Enum);
161                         compiled_types.Add (typeof (System.Array), buildin.Array);
162                         compiled_types.Add (typeof (void), buildin.Void);
163                         compiled_types.Add (typeof (System.Type), buildin.Type);
164                         compiled_types.Add (typeof (System.Exception), buildin.Exception);
165                         compiled_types.Add (typeof (System.RuntimeFieldHandle), buildin.RuntimeFieldHandle);
166                         compiled_types.Add (typeof (System.RuntimeTypeHandle), buildin.RuntimeTypeHandle);
167                 }
168         }
169
170 #endif
171
172         public class AssemblyDefinitionDynamic : AssemblyDefinition
173         {
174                 //
175                 // In-memory only assembly container
176                 //
177                 public AssemblyDefinitionDynamic (ModuleContainer module, string name)
178                         : base (module, name)
179                 {
180                 }
181
182                 //
183                 // Assembly container with file output
184                 //
185                 public AssemblyDefinitionDynamic (ModuleContainer module, string name, string fileName)
186                         : base (module, name, fileName)
187                 {
188                 }
189
190                 public Module IncludeModule (string moduleFile)
191                 {
192                         return builder_extra.AddModule (moduleFile);
193                 }
194
195 #if !STATIC
196                 public override ModuleBuilder CreateModuleBuilder ()
197                 {
198                         if (file_name == null)
199                                 return Builder.DefineDynamicModule (Name, false);
200
201                         return base.CreateModuleBuilder ();
202                 }
203 #endif
204                 //
205                 // Initializes the code generator
206                 //
207                 public bool Create (AppDomain domain, AssemblyBuilderAccess access)
208                 {
209 #if STATIC
210                         throw new NotSupportedException ();
211 #else
212                         ResolveAssemblySecurityAttributes ();
213                         var an = CreateAssemblyName ();
214
215                         try {
216                                 Builder = file_name == null ?
217                                         domain.DefineDynamicAssembly (an, access) :
218                                         domain.DefineDynamicAssembly (an, access, Dirname (file_name));
219                         } catch (ArgumentException) {
220                                 // specified key may not be exportable outside it's container
221                                 if (RootContext.StrongNameKeyContainer != null) {
222                                         Report.Error (1548, "Could not access the key inside the container `" +
223                                                 RootContext.StrongNameKeyContainer + "'.");
224                                 }
225                                 throw;
226                         }
227
228                         module.Create (this, CreateModuleBuilder ());
229                         builder_extra = new AssemblyBuilderMonoSpecific (Builder, Compiler);
230                         return true;
231 #endif
232                 }
233
234                 static string Dirname (string name)
235                 {
236                         int pos = name.LastIndexOf ('/');
237
238                         if (pos != -1)
239                                 return name.Substring (0, pos);
240
241                         pos = name.LastIndexOf ('\\');
242                         if (pos != -1)
243                                 return name.Substring (0, pos);
244
245                         return ".";
246                 }
247
248 #if !STATIC
249                 protected override void SaveModule (PortableExecutableKinds pekind, ImageFileMachine machine)
250                 {
251                         try {
252                                 var module_only = typeof (AssemblyBuilder).GetProperty ("IsModuleOnly", BindingFlags.Instance | BindingFlags.Public | BindingFlags.NonPublic);
253                                 var set_module_only = module_only.GetSetMethod (true);
254
255                                 set_module_only.Invoke (Builder, new object[] { true });
256                         } catch {
257                                 base.SaveModule (pekind, machine);
258                         }
259
260                         Builder.Save (file_name, pekind, machine);
261                 }
262 #endif
263         }
264
265         //
266         // Extension to System.Reflection.Emit.AssemblyBuilder to have fully compatible
267         // compiler
268         //
269         class AssemblyBuilderMonoSpecific : AssemblyBuilderExtension
270         {
271                 static MethodInfo adder_method;
272                 static MethodInfo add_permission;
273                 static MethodInfo add_type_forwarder;
274                 static MethodInfo win32_icon_define;
275                 static FieldInfo assembly_version;
276                 static FieldInfo assembly_algorithm;
277                 static FieldInfo assembly_culture;
278                 static FieldInfo assembly_flags;
279
280                 AssemblyBuilder builder;
281
282                 public AssemblyBuilderMonoSpecific (AssemblyBuilder ab, CompilerContext ctx)
283                         : base (ctx)
284                 {
285                         this.builder = ab;
286                 }
287
288                 public override Module AddModule (string module)
289                 {
290                         try {
291                                 if (adder_method == null)
292                                         adder_method = typeof (AssemblyBuilder).GetMethod ("AddModule", BindingFlags.Instance | BindingFlags.NonPublic);
293
294                                 return (Module) adder_method.Invoke (builder, new object[] { module });
295                         } catch {
296                                 return base.AddModule (module);
297                         }
298                 }
299
300                 public override void AddPermissionRequests (PermissionSet[] permissions)
301                 {
302                         try {
303                                 if (add_permission == null)
304                                         add_permission = typeof (AssemblyBuilder).GetMethod ("AddPermissionRequests", BindingFlags.Instance | BindingFlags.NonPublic);
305
306                                 add_permission.Invoke (builder, permissions);
307                         } catch {
308                                 base.AddPermissionRequests (permissions);
309                         }
310                 }
311
312                 public override void AddTypeForwarder (TypeSpec type, Location loc)
313                 {
314                         try {
315                                 if (add_type_forwarder == null) {
316                                         add_type_forwarder = typeof (AssemblyBuilder).GetMethod ("AddTypeForwarder", BindingFlags.NonPublic | BindingFlags.Instance);
317                                 }
318
319                                 add_type_forwarder.Invoke (builder, new object[] { type.GetMetaInfo () });
320                         } catch {
321                                 base.AddTypeForwarder (type, loc);
322                         }
323                 }
324
325                 public override void DefineWin32IconResource (string fileName)
326                 {
327                         try {
328                                 if (win32_icon_define == null)
329                                         win32_icon_define = typeof (AssemblyBuilder).GetMethod ("DefineIconResource", BindingFlags.Instance | BindingFlags.NonPublic);
330
331                                 win32_icon_define.Invoke (builder, new object[] { fileName });
332                         } catch {
333                                 base.DefineWin32IconResource (fileName);
334                         }
335                 }
336
337                 public override void SetAlgorithmId (uint value, Location loc)
338                 {
339                         try {
340                                 if (assembly_algorithm == null)
341                                         assembly_algorithm = typeof (AssemblyBuilder).GetField ("algid", BindingFlags.Instance | BindingFlags.NonPublic | BindingFlags.SetField);
342
343                                 assembly_algorithm.SetValue (builder, value);
344                         } catch {
345                                 base.SetAlgorithmId (value, loc);
346                         }
347                 }
348
349                 public override void SetCulture (string culture, Location loc)
350                 {
351                         try {
352                                 if (assembly_culture == null)
353                                         assembly_culture = typeof (AssemblyBuilder).GetField ("culture", BindingFlags.Instance | BindingFlags.NonPublic | BindingFlags.SetField);
354
355                                 assembly_culture.SetValue (builder, culture);
356                         } catch {
357                                 base.SetCulture (culture, loc);
358                         }
359                 }
360
361                 public override void SetFlags (uint flags, Location loc)
362                 {
363                         try {
364                                 if (assembly_flags == null)
365                                         assembly_flags = typeof (AssemblyBuilder).GetField ("flags", BindingFlags.Instance | BindingFlags.NonPublic | BindingFlags.SetField);
366
367                                 assembly_flags.SetValue (builder, flags);
368                         } catch {
369                                 base.SetFlags (flags, loc);
370                         }
371                 }
372
373                 public override void SetVersion (Version version, Location loc)
374                 {
375                         try {
376                                 if (assembly_version == null)
377                                         assembly_version = typeof (AssemblyBuilder).GetField ("version", BindingFlags.Instance | BindingFlags.NonPublic | BindingFlags.SetField);
378
379                                 assembly_version.SetValue (builder, version.ToString (4));
380                         } catch {
381                                 base.SetVersion (version, loc);
382                         }
383                 }
384         }
385
386         //
387         // Reflection based references loader
388         //
389         class DynamicLoader : AssemblyReferencesLoader<Assembly>
390         {
391                 readonly ReflectionImporter importer;
392
393                 public DynamicLoader (ReflectionImporter importer, CompilerContext compiler)
394                         : base (compiler)
395                 {
396                         paths.Add (GetSystemDir ());
397
398                         this.importer = importer;
399                 }
400
401                 public ReflectionImporter Importer {
402                         get {
403                                 return importer;
404                         }
405                 }
406
407                 protected override string[] GetDefaultReferences ()
408                 {
409                         //
410                         // For now the "default config" is harcoded into the compiler
411                         // we can move this outside later
412                         //
413                         var default_references = new List<string> (8);
414
415                         default_references.Add ("System");
416                         default_references.Add ("System.Xml");
417 #if NET_2_1
418                         default_references.Add ("System.Net");
419                         default_references.Add ("System.Windows");
420                         default_references.Add ("System.Windows.Browser");
421 #endif
422
423                         if (RootContext.Version > LanguageVersion.ISO_2)
424                                 default_references.Add ("System.Core");
425                         if (RootContext.Version > LanguageVersion.V_3)
426                                 default_references.Add ("Microsoft.CSharp");
427
428                         return default_references.ToArray ();
429                 }
430
431                 //
432                 // Returns the directory where the system assemblies are installed
433                 //
434                 static string GetSystemDir ()
435                 {
436                         return Path.GetDirectoryName (typeof (object).Assembly.Location);
437                 }
438
439                 public override bool HasObjectType (Assembly assembly)
440                 {
441                         return assembly.GetType (compiler.BuildinTypes.Object.FullName) != null;
442                 }
443
444                 public override Assembly LoadAssemblyFile (string fileName)
445                 {
446                         return LoadAssemblyFile (fileName, false);
447                 }
448
449                 Assembly LoadAssemblyFile (string assembly, bool soft)
450                 {
451                         Assembly a = null;
452
453                         try {
454                                 try {
455                                         char[] path_chars = { '/', '\\' };
456
457                                         if (assembly.IndexOfAny (path_chars) != -1) {
458                                                 a = Assembly.LoadFrom (assembly);
459                                         } else {
460                                                 string ass = assembly;
461                                                 if (ass.EndsWith (".dll") || ass.EndsWith (".exe"))
462                                                         ass = assembly.Substring (0, assembly.Length - 4);
463                                                 a = Assembly.Load (ass);
464                                         }
465                                 } catch (FileNotFoundException) {
466                                         bool err = !soft;
467                                         foreach (string dir in paths) {
468                                                 string full_path = Path.Combine (dir, assembly);
469                                                 if (!assembly.EndsWith (".dll") && !assembly.EndsWith (".exe"))
470                                                         full_path += ".dll";
471
472                                                 try {
473                                                         a = Assembly.LoadFrom (full_path);
474                                                         err = false;
475                                                         break;
476                                                 } catch (FileNotFoundException) {
477                                                 }
478                                         }
479
480                                         if (err) {
481                                                 Error_FileNotFound (assembly);
482                                                 return a;
483                                         }
484                                 }
485                         } catch (BadImageFormatException) {
486                                 Error_FileCorrupted (assembly);
487                         }
488
489                         return a;
490                 }
491
492                 public override Assembly LoadAssemblyDefault (string fileName)
493                 {
494                         return LoadAssemblyFile (fileName, true);
495                 }
496
497                 Module LoadModuleFile (AssemblyDefinitionDynamic assembly, string module)
498                 {
499                         string total_log = "";
500
501                         try {
502                                 try {
503                                         return assembly.IncludeModule (module);
504                                 } catch (FileNotFoundException) {
505                                         bool err = true;
506                                         foreach (string dir in paths) {
507                                                 string full_path = Path.Combine (dir, module);
508                                                 if (!module.EndsWith (".netmodule"))
509                                                         full_path += ".netmodule";
510
511                                                 try {
512                                                         return assembly.IncludeModule (full_path);
513                                                 } catch (FileNotFoundException ff) {
514                                                         total_log += ff.FusionLog;
515                                                 }
516                                         }
517                                         if (err) {
518                                                 Error_FileNotFound (module);
519                                                 return null;
520                                         }
521                                 }
522                         } catch (BadImageFormatException) {
523                                 Error_FileCorrupted (module);
524                         }
525
526                         return null;
527                 }
528
529                 public void LoadModules (AssemblyDefinitionDynamic assembly, RootNamespace targetNamespace)
530                 {
531                         if (RootContext.Modules.Count == 0)
532                                 return;
533
534                         foreach (var moduleName in RootContext.Modules) {
535                                 var m = LoadModuleFile (assembly, moduleName);
536                                 if (m == null)
537                                         continue;
538
539                                 var md = importer.ImportModule (m, targetNamespace);
540                                 assembly.AddModule (md);
541                         }
542                 }
543
544                 public override void LoadReferences (ModuleContainer module)
545                 {
546                         Assembly corlib;
547                         List<Tuple<RootNamespace, Assembly>> loaded;
548                         base.LoadReferencesCore (module, out corlib, out loaded);
549
550                         if (corlib == null)
551                                 return;
552
553                         importer.ImportAssembly (corlib, module.GlobalRootNamespace);
554                         foreach (var entry in loaded) {
555                                 importer.ImportAssembly (entry.Item2, entry.Item1);
556                         }
557                 }
558         }
559 }