| 123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370 |
- //
- // MetadataResolver.cs
- //
- // Author:
- // Jb Evain (jbevain@gmail.com)
- //
- // Copyright (c) 2008 - 2011 Jb Evain
- //
- // Permission is hereby granted, free of charge, to any person obtaining
- // a copy of this software and associated documentation files (the
- // "Software"), to deal in the Software without restriction, including
- // without limitation the rights to use, copy, modify, merge, publish,
- // distribute, sublicense, and/or sell copies of the Software, and to
- // permit persons to whom the Software is furnished to do so, subject to
- // the following conditions:
- //
- // The above copyright notice and this permission notice shall be
- // included in all copies or substantial portions of the Software.
- //
- // THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND,
- // EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF
- // MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND
- // NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE
- // LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION
- // OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION
- // WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.
- //
- using System;
- using Mono.Collections.Generic;
- namespace Mono.Cecil
- {
- public interface IAssemblyResolver
- {
- AssemblyDefinition Resolve(AssemblyNameReference name);
- AssemblyDefinition Resolve(AssemblyNameReference name, ReaderParameters parameters);
- AssemblyDefinition Resolve(string fullName);
- AssemblyDefinition Resolve(string fullName, ReaderParameters parameters);
- event AssemblyResolveEventHandler ResolveFailure;
- }
- public interface IMetadataResolver
- {
- TypeDefinition Resolve(TypeReference type);
- FieldDefinition Resolve(FieldReference field);
- MethodDefinition Resolve(MethodReference method);
- }
- public class ResolutionException : Exception
- {
- readonly MemberReference member;
- public MemberReference Member
- {
- get { return member; }
- }
- public ResolutionException(MemberReference member)
- : base("Failed to resolve " + member.FullName)
- {
- this.member = member;
- }
- }
- public class MetadataResolver : IMetadataResolver
- {
- readonly IAssemblyResolver assembly_resolver;
- public IAssemblyResolver AssemblyResolver
- {
- get { return assembly_resolver; }
- }
- public MetadataResolver(IAssemblyResolver assemblyResolver)
- {
- if (assemblyResolver == null)
- throw new ArgumentNullException("assemblyResolver");
- assembly_resolver = assemblyResolver;
- }
- public virtual TypeDefinition Resolve(TypeReference type)
- {
- if (type == null)
- throw new ArgumentNullException("type");
- type = type.GetElementType();
- var scope = type.Scope;
- switch (scope.MetadataScopeType)
- {
- case MetadataScopeType.AssemblyNameReference:
- var assembly = assembly_resolver.Resolve((AssemblyNameReference)scope);
- if (assembly == null)
- return null;
- return GetType(assembly.MainModule, type);
- case MetadataScopeType.ModuleDefinition:
- return GetType((ModuleDefinition)scope, type);
- case MetadataScopeType.ModuleReference:
- var modules = type.Module.Assembly.Modules;
- var module_ref = (ModuleReference)scope;
- for (int i = 0; i < modules.Count; i++)
- {
- var netmodule = modules[i];
- if (netmodule.Name == module_ref.Name)
- return GetType(netmodule, type);
- }
- break;
- }
- throw new NotSupportedException();
- }
- static TypeDefinition GetType(ModuleDefinition module, TypeReference reference)
- {
- var type = GetTypeDefinition(module, reference);
- if (type != null)
- return type;
- if (!module.HasExportedTypes)
- return null;
- var exported_types = module.ExportedTypes;
- for (int i = 0; i < exported_types.Count; i++)
- {
- var exported_type = exported_types[i];
- if (exported_type.Name != reference.Name)
- continue;
- if (exported_type.Namespace != reference.Namespace)
- continue;
- return exported_type.Resolve();
- }
- return null;
- }
- static TypeDefinition GetTypeDefinition(ModuleDefinition module, TypeReference type)
- {
- if (!type.IsNested)
- return module.GetType(type.Namespace, type.Name);
- var declaring_type = type.DeclaringType.Resolve();
- if (declaring_type == null)
- return null;
- return Mixin.GetNestedType(declaring_type, type.Name);
- }
- public virtual FieldDefinition Resolve(FieldReference field)
- {
- if (field == null)
- throw new ArgumentNullException("field");
- var type = Resolve(field.DeclaringType);
- if (type == null)
- return null;
- if (!type.HasFields)
- return null;
- return GetField(type, field);
- }
- FieldDefinition GetField(TypeDefinition type, FieldReference reference)
- {
- while (type != null)
- {
- var field = GetField(type.Fields, reference);
- if (field != null)
- return field;
- if (type.BaseType == null)
- return null;
- type = Resolve(type.BaseType);
- }
- return null;
- }
- static FieldDefinition GetField(Collection<FieldDefinition> fields, FieldReference reference)
- {
- for (int i = 0; i < fields.Count; i++)
- {
- var field = fields[i];
- if (field.Name != reference.Name)
- continue;
- if (!AreSame(field.FieldType, reference.FieldType))
- continue;
- return field;
- }
- return null;
- }
- public virtual MethodDefinition Resolve(MethodReference method)
- {
- if (method == null)
- throw new ArgumentNullException("method");
- var type = Resolve(method.DeclaringType);
- if (type == null)
- return null;
- method = method.GetElementMethod();
- if (!type.HasMethods)
- return null;
- return GetMethod(type, method);
- }
- MethodDefinition GetMethod(TypeDefinition type, MethodReference reference)
- {
- while (type != null)
- {
- var method = GetMethod(type.Methods, reference);
- if (method != null)
- return method;
- if (type.BaseType == null)
- return null;
- type = Resolve(type.BaseType);
- }
- return null;
- }
- public static MethodDefinition GetMethod(Collection<MethodDefinition> methods, MethodReference reference)
- {
- for (int i = 0; i < methods.Count; i++)
- {
- var method = methods[i];
- if (method.Name != reference.Name)
- continue;
- if (method.HasGenericParameters != reference.HasGenericParameters)
- continue;
- if (method.HasGenericParameters && method.GenericParameters.Count != reference.GenericParameters.Count)
- continue;
- if (!AreSame(method.ReturnType, reference.ReturnType))
- continue;
- if (method.HasParameters != reference.HasParameters)
- continue;
- if (!method.HasParameters && !reference.HasParameters)
- return method;
- if (!AreSame(method.Parameters, reference.Parameters))
- continue;
- return method;
- }
- return null;
- }
- static bool AreSame(Collection<ParameterDefinition> a, Collection<ParameterDefinition> b)
- {
- var count = a.Count;
- if (count != b.Count)
- return false;
- if (count == 0)
- return true;
- for (int i = 0; i < count; i++)
- if (!AreSame(a[i].ParameterType, b[i].ParameterType))
- return false;
- return true;
- }
- static bool AreSame(TypeSpecification a, TypeSpecification b)
- {
- if (!AreSame(a.ElementType, b.ElementType))
- return false;
- if (a.IsGenericInstance)
- return AreSame((GenericInstanceType)a, (GenericInstanceType)b);
- if (a.IsRequiredModifier || a.IsOptionalModifier)
- return AreSame((IModifierType)a, (IModifierType)b);
- if (a.IsArray)
- return AreSame((ArrayType)a, (ArrayType)b);
- return true;
- }
- static bool AreSame(ArrayType a, ArrayType b)
- {
- if (a.Rank != b.Rank)
- return false;
- // TODO: dimensions
- return true;
- }
- static bool AreSame(IModifierType a, IModifierType b)
- {
- return AreSame(a.ModifierType, b.ModifierType);
- }
- static bool AreSame(GenericInstanceType a, GenericInstanceType b)
- {
- if (a.GenericArguments.Count != b.GenericArguments.Count)
- return false;
- for (int i = 0; i < a.GenericArguments.Count; i++)
- if (!AreSame(a.GenericArguments[i], b.GenericArguments[i]))
- return false;
- return true;
- }
- static bool AreSame(GenericParameter a, GenericParameter b)
- {
- return a.Position == b.Position;
- }
- static bool AreSame(TypeReference a, TypeReference b)
- {
- if (ReferenceEquals(a, b))
- return true;
- if (a == null || b == null)
- return false;
- if (a.etype != b.etype)
- return false;
- if (a.IsGenericParameter)
- return AreSame((GenericParameter)a, (GenericParameter)b);
- if (Mixin.IsTypeSpecification(a))
- return AreSame((TypeSpecification)a, (TypeSpecification)b);
- if (a.Name != b.Name || a.Namespace != b.Namespace)
- return false;
- //TODO: check scope
- return AreSame(a.DeclaringType, b.DeclaringType);
- }
- }
- }
|