2 // ikvm.cs: IKVM.Reflection and IKVM.Reflection.Emit specific implementations
4 // Author: Marek Safar (marek.safar@gmail.com)
6 // Dual licensed under the terms of the MIT X11 or GNU GPL
8 // Copyright 2009-2010 Novell, Inc.
13 using System.Collections.Generic;
14 using MetaType = IKVM.Reflection.Type;
15 using IKVM.Reflection;
16 using IKVM.Reflection.Emit;
18 using System.Configuration.Assemblies;
23 public class StaticImporter
25 public StaticImporter (BuildinTypes buildin)
27 throw new NotSupportedException ();
30 public void ImportAssembly (Assembly assembly, RootNamespace targetNamespace)
32 throw new NotSupportedException ();
35 public void ImportModule (Module module, RootNamespace targetNamespace)
37 throw new NotSupportedException ();
40 public TypeSpec ImportType (System.Type type)
42 throw new NotSupportedException ();
48 sealed class StaticImporter : MetadataImporter
50 public StaticImporter ()
54 public void AddCompiledAssembly (AssemblyDefinitionStatic assembly)
56 assembly_2_definition.Add (assembly.Builder, assembly);
59 public override void AddCompiledType (TypeBuilder type, TypeSpec spec)
61 compiled_types.Add (type, spec);
64 protected override MemberKind DetermineKindFromBaseType (MetaType baseType)
66 string name = baseType.Name;
68 if (name == "ValueType" && baseType.Namespace == "System")
69 return MemberKind.Struct;
71 if (name == "Enum" && baseType.Namespace == "System")
72 return MemberKind.Enum;
74 if (name == "MulticastDelegate" && baseType.Namespace == "System")
75 return MemberKind.Delegate;
77 return MemberKind.Class;
80 protected override bool HasVolatileModifier (MetaType[] modifiers)
82 foreach (var t in modifiers) {
83 if (t.Name == "IsVolatile" && t.Namespace == CompilerServicesNamespace)
90 public override void GetCustomAttributeTypeName (CustomAttributeData cad, out string typeNamespace, out string typeName)
92 cad.__TryReadTypeName (out typeNamespace, out typeName);
95 public void ImportAssembly (Assembly assembly, RootNamespace targetNamespace)
97 // It can be used more than once when importing same assembly
98 // into 2 or more global aliases
99 var definition = GetAssemblyDefinition (assembly);
101 var all_types = assembly.GetTypes ();
102 ImportTypes (all_types, targetNamespace, definition.HasExtensionMethod);
105 public ImportedModuleDefinition ImportModule (Module module, RootNamespace targetNamespace)
107 var module_definition = new ImportedModuleDefinition (module, this);
108 module_definition.ReadAttributes ();
110 var all_types = module.GetTypes ();
111 ImportTypes (all_types, targetNamespace, false);
113 return module_definition;
116 public void InitializeBuildinTypes (BuildinTypes buildin, Assembly corlib)
119 // Setup mapping for build-in types to avoid duplication of their definition
121 foreach (var type in buildin.AllTypes) {
122 compiled_types.Add (corlib.GetType (type.FullName), type);
128 class AssemblyDefinitionStatic : AssemblyDefinition
130 readonly StaticLoader loader;
133 // Assembly container with file output
135 public AssemblyDefinitionStatic (ModuleContainer module, StaticLoader loader, string name, string fileName)
136 : base (module, name, fileName)
138 this.loader = loader;
139 Importer = loader.MetadataImporter;
143 // Initializes the assembly SRE domain
145 public void Create (Universe domain)
147 ResolveAssemblySecurityAttributes ();
148 var an = CreateAssemblyName ();
150 Builder = domain.DefineDynamicAssembly (an, AssemblyBuilderAccess.Save, Path.GetDirectoryName (file_name));
151 module.Create (this, CreateModuleBuilder ());
154 public override void Emit ()
156 if (loader.Corlib != null && !(loader.Corlib is AssemblyBuilder)) {
157 Builder.__SetImageRuntimeVersion (loader.Corlib.ImageRuntimeVersion, 0x20000);
159 // Sets output file metadata version when there is no mscorlib
160 switch (RootContext.StdLibRuntimeVersion) {
161 case RuntimeVersion.v4:
162 Builder.__SetImageRuntimeVersion ("v4.0.30319", 0x20000);
164 case RuntimeVersion.v2:
165 Builder.__SetImageRuntimeVersion ("v2.0.50727", 0x20000);
167 case RuntimeVersion.v1:
168 // Compiler does not do any checks whether the produced metadata
169 // are valid in the context of 1.0 stream version
170 Builder.__SetImageRuntimeVersion ("v1.1.4322", 0x10000);
173 throw new NotImplementedException ();
177 builder_extra = new AssemblyBuilderIKVM (Builder, Compiler);
182 public Module IncludeModule (RawModule moduleFile)
184 return Builder.__AddModule (moduleFile);
187 protected override void SaveModule (PortableExecutableKinds pekind, ImageFileMachine machine)
189 module.Builder.__Save (pekind, machine);
193 class StaticLoader : AssemblyReferencesLoader<Assembly>, IDisposable
195 readonly StaticImporter importer;
196 readonly Universe domain;
198 List<Tuple<AssemblyName, string, Assembly>> loaded_names;
199 static readonly Dictionary<string, string[]> sdk_directory;
201 static StaticLoader ()
203 sdk_directory = new Dictionary<string, string[]> ();
204 sdk_directory.Add ("2", new string[] { "2.0", "net_2_0", "v2.0.50727" });
205 sdk_directory.Add ("4", new string[] { "4.0", "net_4_0", "v4.0.30319" });
208 public StaticLoader (StaticImporter importer, CompilerContext compiler)
211 this.importer = importer;
212 domain = new Universe ();
213 domain.EnableMissingTypeResolution ();
214 domain.AssemblyResolve += AssemblyReferenceResolver;
215 loaded_names = new List<Tuple<AssemblyName, string, Assembly>> ();
217 var corlib_path = Path.GetDirectoryName (typeof (object).Assembly.Location);
218 string fx_path = corlib_path.Substring (0, corlib_path.LastIndexOf (Path.DirectorySeparatorChar));
219 string sdk_path = null;
221 string sdk_version = RootContext.SdkVersion ?? "4";
222 string[] sdk_sub_dirs;
224 if (!sdk_directory.TryGetValue (sdk_version, out sdk_sub_dirs))
225 sdk_sub_dirs = new string[] { sdk_version };
227 foreach (var dir in sdk_sub_dirs) {
228 sdk_path = Path.Combine (fx_path, dir);
229 if (File.Exists (Path.Combine (sdk_path, "mscorlib.dll")))
235 if (sdk_path == null) {
236 compiler.Report.Warning (-1, 1, "SDK path could not be resolved");
237 sdk_path = corlib_path;
240 paths.Add (sdk_path);
245 public Assembly Corlib {
254 public Universe Domain {
260 public StaticImporter MetadataImporter {
268 Assembly AssemblyReferenceResolver (object sender, IKVM.Reflection.ResolveEventArgs args)
270 var refname = args.Name;
271 if (refname == "mscorlib")
274 Assembly version_mismatch = null;
275 bool is_fx_assembly = false;
277 foreach (var assembly in domain.GetAssemblies ()) {
278 AssemblyComparisonResult result;
279 if (!Fusion.CompareAssemblyIdentityPure (refname, false, assembly.FullName, false, out result)) {
280 if ((result == AssemblyComparisonResult.NonEquivalentVersion || result == AssemblyComparisonResult.NonEquivalentPartialVersion) &&
281 (version_mismatch == null || version_mismatch.GetName ().Version < assembly.GetName ().Version) &&
283 version_mismatch = assembly;
289 if (result == AssemblyComparisonResult.EquivalentFullMatch ||
290 result == AssemblyComparisonResult.EquivalentWeakNamed ||
291 result == AssemblyComparisonResult.EquivalentPartialMatch) {
295 if (result == AssemblyComparisonResult.EquivalentFXUnified) {
296 is_fx_assembly = true;
298 if (version_mismatch == null || version_mismatch.GetName ().Version < assembly.GetName ().Version)
299 version_mismatch = assembly;
304 throw new NotImplementedException ("Assembly equality = " + result.ToString ());
307 if (version_mismatch != null) {
308 if (version_mismatch is AssemblyBuilder)
309 return version_mismatch;
311 var v1 = new AssemblyName (refname).Version;
312 var v2 = version_mismatch.GetName ().Version;
315 // compiler.Report.SymbolRelatedToPreviousError (args.RequestingAssembly.Location);
316 compiler.Report.Error (1705, "Assembly `{0}' references `{1}' which has a higher version number than imported assembly `{2}'",
317 args.RequestingAssembly.FullName, refname, version_mismatch.GetName ().FullName);
319 return domain.CreateMissingAssembly (args.Name);
322 if (!is_fx_assembly) {
323 if (v1.Major != v2.Major || v1.Minor != v2.Minor) {
324 compiler.Report.Warning (1701, 2,
325 "Assuming assembly reference `{0}' matches assembly `{1}'. You may need to supply runtime policy",
326 refname, version_mismatch.GetName ().FullName);
328 compiler.Report.Warning (1702, 3,
329 "Assuming assembly reference `{0}' matches assembly `{1}'. You may need to supply runtime policy",
330 refname, version_mismatch.GetName ().FullName);
334 return version_mismatch;
337 // AssemblyReference has not been found in the domain
338 // create missing reference and continue
339 return domain.CreateMissingAssembly (args.Name);
342 public void Dispose ()
347 protected override string[] GetDefaultReferences ()
350 // For now the "default config" is harcoded into the compiler
351 // we can move this outside later
353 var default_references = new List<string> (4);
355 default_references.Add ("System.dll");
356 default_references.Add ("System.Xml.dll");
358 if (RootContext.Version > LanguageVersion.ISO_2)
359 default_references.Add ("System.Core.dll");
360 if (RootContext.Version > LanguageVersion.V_3)
361 default_references.Add ("Microsoft.CSharp.dll");
363 return default_references.ToArray ();
366 public override bool HasObjectType (Assembly assembly)
368 return assembly.GetType (compiler.BuildinTypes.Object.FullName) != null;
371 public override Assembly LoadAssemblyFile (string fileName)
373 bool? has_extension = null;
374 foreach (var path in paths) {
375 var file = Path.Combine (path, fileName);
376 if (Report.DebugFlags > 0)
377 Console.WriteLine ("Probing assembly location `{0}'", file);
379 if (!File.Exists (file)) {
380 if (!has_extension.HasValue)
381 has_extension = fileName.EndsWith (".dll", StringComparison.Ordinal) || fileName.EndsWith (".exe", StringComparison.Ordinal);
383 if (has_extension.Value)
387 if (!File.Exists (file))
392 using (RawModule module = domain.OpenRawModule (file)) {
393 if (!module.IsManifestModule) {
394 Error_AssemblyIsModule (fileName);
399 // check whether the assembly can be actually imported without
402 var an = module.GetAssemblyName ();
403 foreach (var entry in loaded_names) {
404 var loaded_name = entry.Item1;
405 if (an.Name != loaded_name.Name)
408 if (an.CodeBase == loaded_name.CodeBase)
411 if (((an.Flags | loaded_name.Flags) & AssemblyNameFlags.PublicKey) == 0) {
412 compiler.Report.SymbolRelatedToPreviousError (entry.Item2);
413 compiler.Report.SymbolRelatedToPreviousError (fileName);
414 compiler.Report.Error (1704,
415 "An assembly with the same name `{0}' has already been imported. Consider removing one of the references or sign the assembly",
420 if ((an.Flags & AssemblyNameFlags.PublicKey) == (loaded_name.Flags & AssemblyNameFlags.PublicKey) && an.Version.Equals (loaded_name.Version)) {
421 compiler.Report.SymbolRelatedToPreviousError (entry.Item2);
422 compiler.Report.SymbolRelatedToPreviousError (fileName);
423 compiler.Report.Error (1703,
424 "An assembly with the same identity `{0}' has already been imported. Consider removing one of the references",
430 if (Report.DebugFlags > 0)
431 Console.WriteLine ("Loading assembly `{0}'", fileName);
433 var assembly = domain.LoadAssembly (module);
434 if (assembly != null)
435 loaded_names.Add (Tuple.Create (an, fileName, assembly));
440 Error_FileCorrupted (file);
445 Error_FileNotFound (fileName);
449 public RawModule LoadModuleFile (string moduleName)
451 foreach (var path in paths) {
452 var file = Path.Combine (path, moduleName);
453 if (!File.Exists (file)) {
454 if (moduleName.EndsWith (".netmodule", StringComparison.Ordinal))
457 file += ".netmodule";
458 if (!File.Exists (file))
463 return domain.OpenRawModule (file);
465 Error_FileCorrupted (file);
470 Error_FileNotFound (moduleName);
475 // Optimized default assembly loader version
477 public override Assembly LoadAssemblyDefault (string assembly)
479 foreach (var path in paths) {
480 var file = Path.Combine (path, assembly);
482 if (Report.DebugFlags > 0)
483 Console.WriteLine ("Probing default assembly location `{0}'", file);
485 if (!File.Exists (file))
489 if (Report.DebugFlags > 0)
490 Console.WriteLine ("Loading default assembly `{0}'", file);
492 var a = domain.LoadFile (file);
494 loaded_names.Add (Tuple.Create (a.GetName (), file, a));
499 // Default assemblies can fail to load without error
507 public override void LoadReferences (ModuleContainer module)
509 List<Tuple<RootNamespace, Assembly>> loaded;
510 base.LoadReferencesCore (module, out corlib, out loaded);
512 compiler.TimeReporter.Start (TimeReporter.TimerType.ReferencesImporting);
514 if (corlib == null) {
515 // System.Object was not found in any referenced assembly, use compiled assembly as corlib
516 corlib = module.DeclaringAssembly.Builder;
518 importer.InitializeBuildinTypes (compiler.BuildinTypes, corlib);
519 importer.ImportAssembly (corlib, module.GlobalRootNamespace);
522 foreach (var entry in loaded) {
523 importer.ImportAssembly (entry.Item2, entry.Item1);
526 compiler.TimeReporter.Stop (TimeReporter.TimerType.ReferencesImporting);
529 public void LoadModules (AssemblyDefinitionStatic assembly, RootNamespace targetNamespace)
531 if (RootContext.Modules.Count == 0)
534 foreach (var moduleName in RootContext.Modules) {
535 var m = LoadModuleFile (moduleName);
539 if (m.IsManifestModule) {
540 Error_FileCorrupted (moduleName);
544 var md = importer.ImportModule (assembly.IncludeModule (m), targetNamespace);
545 assembly.AddModule (md);
550 class AssemblyBuilderIKVM : AssemblyBuilderExtension
552 readonly AssemblyBuilder builder;
554 public AssemblyBuilderIKVM (AssemblyBuilder builder, CompilerContext ctx)
557 this.builder = builder;
560 public override void AddTypeForwarder (TypeSpec type, Location loc)
562 builder.__AddTypeForwarder (type.GetMetaInfo ());
565 public override void DefineWin32IconResource (string fileName)
567 builder.__DefineIconResource (File.ReadAllBytes (fileName));
570 public override void SetAlgorithmId (uint value, Location loc)
572 builder.__SetAssemblyAlgorithmId ((AssemblyHashAlgorithm) value);
575 public override void SetCulture (string culture, Location loc)
577 builder.__SetAssemblyCulture (culture);
580 public override void SetFlags (uint flags, Location loc)
582 builder.__SetAssemblyFlags ((AssemblyNameFlags) flags);
585 public override void SetVersion (Version version, Location loc)
587 builder.__SetAssemblyVersion (version);