~ubuntu-branches/ubuntu/oneiric/monodevelop/oneiric

« back to all changes in this revision

Viewing changes to contrib/Mono.Cecil/Mono.Cecil/Mono.Cecil/MetadataResolver.cs

  • Committer: Bazaar Package Importer
  • Author(s): Jo Shields
  • Date: 2011-06-27 17:03:13 UTC
  • mto: (1.8.1 upstream)
  • mto: This revision was merged to the branch mainline in revision 54.
  • Revision ID: james.westby@ubuntu.com-20110627170313-6cvz3s19x6e9hqe9
ImportĀ upstreamĀ versionĀ 2.5.92+dfsg

Show diffs side-by-side

added added

removed removed

Lines of Context:
1
 
ļ»æ//
 
1
//
2
2
// MetadataResolver.cs
3
3
//
4
4
// Author:
5
5
//   Jb Evain (jbevain@gmail.com)
6
6
//
7
 
// (C) 2008 Jb Evain (http://evain.net)
8
 
// (C) 2008 Novell, Inc. (http://www.novell.com)
 
7
// Copyright (c) 2008 - 2010 Jb Evain
9
8
//
10
9
// Permission is hereby granted, free of charge, to any person obtaining
11
10
// a copy of this software and associated documentation files (the
28
27
//
29
28
 
30
29
using System;
31
 
using System.Collections;
 
30
using System.Collections.Generic;
 
31
 
 
32
using Mono.Collections.Generic;
32
33
 
33
34
namespace Mono.Cecil {
34
35
 
35
 
        class MetadataResolver {
36
 
 
37
 
                AssemblyDefinition assembly;
38
 
 
39
 
                public IAssemblyResolver AssemblyResolver {
40
 
                        get { return assembly.Resolver; }
41
 
                }
42
 
 
43
 
                public MetadataResolver (AssemblyDefinition assembly)
44
 
                {
45
 
                        this.assembly = assembly;
46
 
                }
47
 
 
48
 
                public TypeDefinition Resolve (TypeReference type)
49
 
                {
50
 
                        type = type.GetOriginalType ();
51
 
 
52
 
                        if (type is TypeDefinition)
53
 
                                return (TypeDefinition) type;
54
 
 
55
 
                        AssemblyNameReference reference = type.Scope as AssemblyNameReference;
56
 
                        if (reference != null) {
57
 
                                AssemblyDefinition assembly = AssemblyResolver.Resolve (reference);
 
36
        public interface IAssemblyResolver {
 
37
                AssemblyDefinition Resolve (AssemblyNameReference name);
 
38
                AssemblyDefinition Resolve (AssemblyNameReference name, ReaderParameters parameters);
 
39
 
 
40
                AssemblyDefinition Resolve (string fullName);
 
41
                AssemblyDefinition Resolve (string fullName, ReaderParameters parameters);
 
42
        }
 
43
 
 
44
        static class MetadataResolver {
 
45
 
 
46
                public static TypeDefinition Resolve (IAssemblyResolver resolver, TypeReference type)
 
47
                {
 
48
                        type = type.GetElementType ();
 
49
 
 
50
                        var scope = type.Scope;
 
51
                        switch (scope.MetadataScopeType) {
 
52
                        case MetadataScopeType.AssemblyNameReference:
 
53
                                var assembly = resolver.Resolve ((AssemblyNameReference) scope);
58
54
                                if (assembly == null)
59
55
                                        return null;
60
56
 
61
 
                                return assembly.MainModule.Types [type.FullName];
62
 
                        }
63
 
 
64
 
                        ModuleDefinition module = type.Scope as ModuleDefinition;
65
 
                        if (module != null)
66
 
                                return module.Types [type.FullName];
67
 
 
68
 
                        ModuleReference mod_reference = type.Scope as ModuleReference;
69
 
                        if (mod_reference != null) {
70
 
                                foreach (ModuleDefinition netmodule in type.Module.Assembly.Modules)
71
 
                                        if (netmodule.Name == mod_reference.Name)
72
 
                                                return netmodule.Types [type.FullName];
73
 
                        }
74
 
 
75
 
                        throw new NotImplementedException ();
76
 
                }
77
 
 
78
 
                public FieldDefinition Resolve (FieldReference field)
79
 
                {
80
 
                        TypeDefinition type = Resolve (field.DeclaringType);
 
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);
 
67
                                }
 
68
                                break;
 
69
                        }
 
70
 
 
71
                        throw new NotSupportedException ();
 
72
                }
 
73
 
 
74
                static TypeDefinition GetType (ModuleDefinition module, TypeReference type)
 
75
                {
 
76
                        if (!type.IsNested)
 
77
                                return module.GetType (type.Namespace, type.Name);
 
78
 
 
79
                        var declaring_type = type.DeclaringType.Resolve ();
 
80
                        if (declaring_type == null)
 
81
                                return null;
 
82
 
 
83
                        return declaring_type.GetNestedType (type.Name);
 
84
                }
 
85
 
 
86
                public static FieldDefinition Resolve (IAssemblyResolver resolver, FieldReference field)
 
87
                {
 
88
                        var type = Resolve (resolver, field.DeclaringType);
81
89
                        if (type == null)
82
90
                                return null;
83
91
 
84
 
                        return type.HasFields ? GetField (type.Fields, field) : null;
85
 
                }
86
 
 
87
 
                static FieldDefinition GetField (ICollection collection, FieldReference reference)
88
 
                {
89
 
                        foreach (FieldDefinition field in collection) {
 
92
                        if (!type.HasFields)
 
93
                                return null;
 
94
 
 
95
                        return GetField (resolver, type, field);
 
96
                }
 
97
 
 
98
                static FieldDefinition GetField (IAssemblyResolver resolver, TypeDefinition type, FieldReference reference)
 
99
                {
 
100
                        while (type != null) {
 
101
                                var field = GetField (type.Fields, reference);
 
102
                                if (field != null)
 
103
                                        return field;
 
104
 
 
105
                                if (type.BaseType == null)
 
106
                                        return null;
 
107
 
 
108
                                type = Resolve (resolver, type.BaseType);
 
109
                        }
 
110
 
 
111
                        return null;
 
112
                }
 
113
 
 
114
                static FieldDefinition GetField (IList<FieldDefinition> fields, FieldReference reference)
 
115
                {
 
116
                        for (int i = 0; i < fields.Count; i++) {
 
117
                                var field = fields [i];
 
118
 
90
119
                                if (field.Name != reference.Name)
91
120
                                        continue;
92
121
 
99
128
                        return null;
100
129
                }
101
130
 
102
 
                public MethodDefinition Resolve (MethodReference method)
 
131
                public static MethodDefinition Resolve (IAssemblyResolver resolver, MethodReference method)
103
132
                {
104
 
                        TypeDefinition type = Resolve (method.DeclaringType);
 
133
                        var type = Resolve (resolver, method.DeclaringType);
105
134
                        if (type == null)
106
135
                                return null;
107
136
 
108
 
                        method = method.GetOriginalMethod ();
109
 
                        if (method.Name == MethodDefinition.Cctor || method.Name == MethodDefinition.Ctor)
110
 
                                return type.HasConstructors ? GetMethod (type.Constructors, method) : null;
111
 
                        else
112
 
                                return type.HasMethods ? GetMethod (type, method) : null;
 
137
                        method = method.GetElementMethod ();
 
138
 
 
139
                        if (!type.HasMethods)
 
140
                                return null;
 
141
 
 
142
                        return GetMethod (resolver, type, method);
113
143
                }
114
144
 
115
 
                MethodDefinition GetMethod (TypeDefinition type, MethodReference reference)
 
145
                static MethodDefinition GetMethod (IAssemblyResolver resolver, TypeDefinition type, MethodReference reference)
116
146
                {
117
147
                        while (type != null) {
118
 
                                MethodDefinition method = GetMethod (type.Methods, reference);
119
 
                                if (method == null) {
120
 
                                        if (type.BaseType == null)
121
 
                                                return null;
122
 
 
123
 
                                        type = Resolve (type.BaseType);
124
 
                                } else
125
 
                                        return method;
126
 
                        }
127
 
 
128
 
                        return null;
129
 
                }
130
 
 
131
 
                static MethodDefinition GetMethod (ICollection collection, MethodReference reference)
132
 
                {
133
 
                        foreach (MethodDefinition meth in collection) {
134
 
                                if (meth.Name != reference.Name)
135
 
                                        continue;
136
 
 
137
 
                                if (!AreSame (meth.ReturnType.ReturnType, reference.ReturnType.ReturnType))
138
 
                                        continue;
139
 
 
140
 
                                if (meth.HasParameters != reference.HasParameters)
141
 
                                        continue;
142
 
 
143
 
                                if (!meth.HasParameters && !reference.HasParameters)
144
 
                                        return meth; //both have no parameters hence meth is the good one
145
 
 
146
 
                                if (!AreSame (meth.Parameters, reference.Parameters))
147
 
                                        continue;
148
 
 
149
 
                                return meth;
150
 
                        }
151
 
 
152
 
                        return null;
153
 
                }
154
 
 
155
 
                static bool AreSame (ParameterDefinitionCollection a, ParameterDefinitionCollection b)
156
 
                {
157
 
                        if (a.Count != b.Count)
 
148
                                var method = GetMethod (type.Methods, reference);
 
149
                                if (method != null)
 
150
                                        return method;
 
151
 
 
152
                                if (type.BaseType == null)
 
153
                                        return null;
 
154
 
 
155
                                type = Resolve (resolver, type.BaseType);
 
156
                        }
 
157
 
 
158
                        return null;
 
159
                }
 
160
 
 
161
                public static MethodDefinition GetMethod (IList<MethodDefinition> methods, MethodReference reference)
 
162
                {
 
163
                        for (int i = 0; i < methods.Count; i++) {
 
164
                                var method = methods [i];
 
165
 
 
166
                                if (method.Name != reference.Name)
 
167
                                        continue;
 
168
 
 
169
                                if (!AreSame (method.ReturnType, reference.ReturnType))
 
170
                                        continue;
 
171
 
 
172
                                if (method.HasParameters != reference.HasParameters)
 
173
                                        continue;
 
174
 
 
175
                                if (!method.HasParameters && !reference.HasParameters)
 
176
                                        return method;
 
177
 
 
178
                                if (!AreSame (method.Parameters, reference.Parameters))
 
179
                                        continue;
 
180
 
 
181
                                return method;
 
182
                        }
 
183
 
 
184
                        return null;
 
185
                }
 
186
 
 
187
                static bool AreSame (Collection<ParameterDefinition> a, Collection<ParameterDefinition> b)
 
188
                {
 
189
                        var count = a.Count;
 
190
 
 
191
                        if (count != b.Count)
158
192
                                return false;
159
193
 
160
 
                        if (a.Count == 0)
 
194
                        if (count == 0)
161
195
                                return true;
162
196
 
163
 
                        for (int i = 0; i < a.Count; i++)
 
197
                        for (int i = 0; i < count; i++)
164
198
                                if (!AreSame (a [i].ParameterType, b [i].ParameterType))
165
199
                                        return false;
166
200
 
167
201
                        return true;
168
202
                }
169
203
 
170
 
                static bool AreSame (ModType a, ModType b)
171
 
                {
172
 
                        if (!AreSame (a.ModifierType, b.ModifierType))
173
 
                                return false;
174
 
 
175
 
                        return AreSame (a.ElementType, b.ElementType);
176
 
                }
177
 
 
178
204
                static bool AreSame (TypeSpecification a, TypeSpecification b)
179
205
                {
180
 
                        if (a is GenericInstanceType)
 
206
                        if (!AreSame (a.ElementType, b.ElementType))
 
207
                                return false;
 
208
 
 
209
                        if (a.IsGenericInstance)
181
210
                                return AreSame ((GenericInstanceType) a, (GenericInstanceType) b);
182
211
 
183
 
                        if (a is ModType)
184
 
                                return AreSame ((ModType) a, (ModType) b);
185
 
 
186
 
                        return AreSame (a.ElementType, b.ElementType);
 
212
                        if (a.IsRequiredModifier || a.IsOptionalModifier)
 
213
                                return AreSame ((IModifierType) a, (IModifierType) b);
 
214
 
 
215
                        if (a.IsArray)
 
216
                                return AreSame ((ArrayType) a, (ArrayType) b);
 
217
 
 
218
                        return true;
 
219
                }
 
220
 
 
221
                static bool AreSame (ArrayType a, ArrayType b)
 
222
                {
 
223
                        if (a.Rank != b.Rank)
 
224
                                return false;
 
225
 
 
226
                        // TODO: dimensions
 
227
 
 
228
                        return true;
 
229
                }
 
230
 
 
231
                static bool AreSame (IModifierType a, IModifierType b)
 
232
                {
 
233
                        return AreSame (a.ModifierType, b.ModifierType);
187
234
                }
188
235
 
189
236
                static bool AreSame (GenericInstanceType a, GenericInstanceType b)
190
237
                {
191
 
                        if (!AreSame (a.ElementType, b.ElementType))
 
238
                        if (!a.HasGenericArguments)
 
239
                                return !b.HasGenericArguments;
 
240
 
 
241
                        if (!b.HasGenericArguments)
192
242
                                return false;
193
243
 
194
244
                        if (a.GenericArguments.Count != b.GenericArguments.Count)
195
245
                                return false;
196
246
 
197
 
                        if (a.GenericArguments.Count == 0)
198
 
                                return true;
199
 
 
200
247
                        for (int i = 0; i < a.GenericArguments.Count; i++)
201
248
                                if (!AreSame (a.GenericArguments [i], b.GenericArguments [i]))
202
249
                                        return false;
211
258
 
212
259
                static bool AreSame (TypeReference a, TypeReference b)
213
260
                {
214
 
                        if (a is TypeSpecification || b is TypeSpecification) {
215
 
                                if (a.GetType () != b.GetType ())
216
 
                                        return false;
217
 
 
 
261
                        if (a.etype != b.etype)
 
262
                                return false;
 
263
 
 
264
                        if (a.IsGenericParameter)
 
265
                                return AreSame ((GenericParameter) a, (GenericParameter) b);
 
266
 
 
267
                        if (a.IsTypeSpecification ())
218
268
                                return AreSame ((TypeSpecification) a, (TypeSpecification) b);
219
 
                        }
220
 
 
221
 
                        if (a is GenericParameter || b is GenericParameter) {
222
 
                                if (a.GetType () != b.GetType ())
223
 
                                        return false;
224
 
 
225
 
                                return AreSame ((GenericParameter) a, (GenericParameter) b);
226
 
                        }
227
269
 
228
270
                        return a.FullName == b.FullName;
229
271
                }