5
// Jb Evain (jbevain@gmail.com)
7
// Copyright (c) 2008 - 2010 Jb Evain
9
// Permission is hereby granted, free of charge, to any person obtaining
10
// a copy of this software and associated documentation files (the
11
// "Software"), to deal in the Software without restriction, including
12
// without limitation the rights to use, copy, modify, merge, publish,
13
// distribute, sublicense, and/or sell copies of the Software, and to
14
// permit persons to whom the Software is furnished to do so, subject to
15
// the following conditions:
17
// The above copyright notice and this permission notice shall be
18
// included in all copies or substantial portions of the Software.
20
// THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND,
21
// EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF
22
// MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND
23
// NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE
24
// LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION
25
// OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION
26
// WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.
30
using System.Collections.Generic;
32
using Mono.Collections.Generic;
34
namespace Mono.Cecil {
36
public interface IAssemblyResolver {
37
AssemblyDefinition Resolve (AssemblyNameReference name);
38
AssemblyDefinition Resolve (AssemblyNameReference name, ReaderParameters parameters);
40
AssemblyDefinition Resolve (string fullName);
41
AssemblyDefinition Resolve (string fullName, ReaderParameters parameters);
44
static class MetadataResolver {
46
public static TypeDefinition Resolve (IAssemblyResolver resolver, TypeReference type)
48
type = type.GetElementType ();
50
var scope = type.Scope;
51
switch (scope.MetadataScopeType) {
52
case MetadataScopeType.AssemblyNameReference:
53
var assembly = resolver.Resolve ((AssemblyNameReference) scope);
57
return GetType (assembly.MainModule, type);
58
case MetadataScopeType.ModuleDefinition:
59
return GetType ((ModuleDefinition) scope, type);
60
case MetadataScopeType.ModuleReference:
61
var modules = type.Module.Assembly.Modules;
62
var module_ref = (ModuleReference) scope;
63
for (int i = 0; i < modules.Count; i++) {
64
var netmodule = modules [i];
65
if (netmodule.Name == module_ref.Name)
66
return GetType (netmodule, type);
71
throw new NotSupportedException ();
74
static TypeDefinition GetType (ModuleDefinition module, TypeReference type)
77
return module.GetType (type.Namespace, type.Name);
79
var declaring_type = type.DeclaringType.Resolve ();
80
if (declaring_type == null)
83
return declaring_type.GetNestedType (type.Name);
86
public static FieldDefinition Resolve (IAssemblyResolver resolver, FieldReference field)
88
var type = Resolve (resolver, field.DeclaringType);
95
return GetField (resolver, type, field);
98
static FieldDefinition GetField (IAssemblyResolver resolver, TypeDefinition type, FieldReference reference)
100
while (type != null) {
101
var field = GetField (type.Fields, reference);
105
if (type.BaseType == null)
108
type = Resolve (resolver, type.BaseType);
114
static FieldDefinition GetField (IList<FieldDefinition> fields, FieldReference reference)
116
for (int i = 0; i < fields.Count; i++) {
117
var field = fields [i];
119
if (field.Name != reference.Name)
122
if (!AreSame (field.FieldType, reference.FieldType))
131
public static MethodDefinition Resolve (IAssemblyResolver resolver, MethodReference method)
133
var type = Resolve (resolver, method.DeclaringType);
137
method = method.GetElementMethod ();
139
if (!type.HasMethods)
142
return GetMethod (resolver, type, method);
145
static MethodDefinition GetMethod (IAssemblyResolver resolver, TypeDefinition type, MethodReference reference)
147
while (type != null) {
148
var method = GetMethod (type.Methods, reference);
152
if (type.BaseType == null)
155
type = Resolve (resolver, type.BaseType);
161
public static MethodDefinition GetMethod (IList<MethodDefinition> methods, MethodReference reference)
163
for (int i = 0; i < methods.Count; i++) {
164
var method = methods [i];
166
if (method.Name != reference.Name)
169
if (!AreSame (method.ReturnType, reference.ReturnType))
172
if (method.HasParameters != reference.HasParameters)
175
if (!method.HasParameters && !reference.HasParameters)
178
if (!AreSame (method.Parameters, reference.Parameters))
187
static bool AreSame (Collection<ParameterDefinition> a, Collection<ParameterDefinition> b)
191
if (count != b.Count)
197
for (int i = 0; i < count; i++)
198
if (!AreSame (a [i].ParameterType, b [i].ParameterType))
204
static bool AreSame (TypeSpecification a, TypeSpecification b)
206
if (!AreSame (a.ElementType, b.ElementType))
209
if (a.IsGenericInstance)
210
return AreSame ((GenericInstanceType) a, (GenericInstanceType) b);
212
if (a.IsRequiredModifier || a.IsOptionalModifier)
213
return AreSame ((IModifierType) a, (IModifierType) b);
216
return AreSame ((ArrayType) a, (ArrayType) b);
221
static bool AreSame (ArrayType a, ArrayType b)
223
if (a.Rank != b.Rank)
231
static bool AreSame (IModifierType a, IModifierType b)
233
return AreSame (a.ModifierType, b.ModifierType);
236
static bool AreSame (GenericInstanceType a, GenericInstanceType b)
238
if (!a.HasGenericArguments)
239
return !b.HasGenericArguments;
241
if (!b.HasGenericArguments)
244
if (a.GenericArguments.Count != b.GenericArguments.Count)
247
for (int i = 0; i < a.GenericArguments.Count; i++)
248
if (!AreSame (a.GenericArguments [i], b.GenericArguments [i]))
254
static bool AreSame (GenericParameter a, GenericParameter b)
256
return a.Position == b.Position;
259
static bool AreSame (TypeReference a, TypeReference b)
261
if (a.etype != b.etype)
264
if (a.IsGenericParameter)
265
return AreSame ((GenericParameter) a, (GenericParameter) b);
267
if (a.IsTypeSpecification ())
268
return AreSame ((TypeSpecification) a, (TypeSpecification) b);
270
return a.FullName == b.FullName;