5 // Jb Evain (jbevain@gmail.com)
8 // (C) 2007 Novell, Inc.
10 // Permission is hereby granted, free of charge, to any person obtaining
11 // a copy of this software and associated documentation files (the
12 // "Software"), to deal in the Software without restriction, including
13 // without limitation the rights to use, copy, modify, merge, publish,
14 // distribute, sublicense, and/or sell copies of the Software, and to
15 // permit persons to whom the Software is furnished to do so, subject to
16 // the following conditions:
18 // The above copyright notice and this permission notice shall be
19 // included in all copies or substantial portions of the Software.
21 // THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND,
22 // EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF
23 // MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND
24 // NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE
25 // LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION
26 // OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION
27 // WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.
30 using System.Collections;
31 using System.Collections.Generic;
33 using Mono.Collections.Generic;
35 namespace Mono.Linker.Steps {
37 public class SweepStep : BaseStep {
39 AssemblyDefinition [] assemblies;
40 HashSet<AssemblyDefinition> resolvedTypeReferences;
42 protected override void Process ()
44 assemblies = Context.GetAssemblies ();
45 foreach (var assembly in assemblies)
46 SweepAssembly (assembly);
49 void SweepAssembly (AssemblyDefinition assembly)
51 if (Annotations.GetAction (assembly) != AssemblyAction.Link)
54 if (!IsMarkedAssembly (assembly)) {
55 RemoveAssembly (assembly);
59 var types = new List<TypeDefinition> ();
61 foreach (TypeDefinition type in assembly.MainModule.Types) {
62 if (Annotations.IsMarked (type)) {
68 if (type.Name == "<Module>")
72 assembly.MainModule.Types.Clear ();
73 foreach (TypeDefinition type in types)
74 assembly.MainModule.Types.Add (type);
77 bool IsMarkedAssembly (AssemblyDefinition assembly)
79 return Annotations.IsMarked (assembly.MainModule);
82 void RemoveAssembly (AssemblyDefinition assembly)
84 Annotations.SetAction (assembly, AssemblyAction.Delete);
86 SweepReferences (assembly);
89 void SweepReferences (AssemblyDefinition target)
91 foreach (var assembly in assemblies)
92 SweepReferences (assembly, target);
95 void SweepReferences (AssemblyDefinition assembly, AssemblyDefinition target)
97 if (assembly == target)
100 var references = assembly.MainModule.AssemblyReferences;
101 for (int i = 0; i < references.Count; i++) {
102 var reference = references [i];
103 if (!AreSameReference (reference, target.Name))
106 references.RemoveAt (i);
107 // Removing the reference does not mean it will be saved back to disk!
108 // That depends on the AssemblyAction set for the `assembly`
109 switch (Annotations.GetAction (assembly)) {
110 case AssemblyAction.Copy:
111 // Copy means even if "unlinked" we still want that assembly to be saved back
112 // to disk (OutputStep) without the (removed) reference
113 Annotations.SetAction (assembly, AssemblyAction.Save);
114 ResolveAllTypeReferences (assembly);
117 case AssemblyAction.Save:
118 case AssemblyAction.Link:
119 ResolveAllTypeReferences (assembly);
126 void ResolveAllTypeReferences (AssemblyDefinition assembly)
128 if (resolvedTypeReferences == null)
129 resolvedTypeReferences = new HashSet<AssemblyDefinition> ();
130 if (resolvedTypeReferences.Contains (assembly))
132 resolvedTypeReferences.Add (assembly);
134 var hash = new Dictionary<TypeReference,IMetadataScope> ();
136 foreach (TypeReference tr in assembly.MainModule.GetTypeReferences ()) {
137 if (hash.ContainsKey (tr))
139 var td = tr.Resolve ();
140 IMetadataScope scope = tr.Scope;
141 // at this stage reference might include things that can't be resolved
142 // and if it is (resolved) it needs to be kept only if marked (#16213)
143 if ((td != null) && Annotations.IsMarked (td))
144 scope = assembly.MainModule.Import (td).Scope;
145 hash.Add (tr, scope);
148 // Resolve everything first before updating scopes.
149 // If we set the scope to null, then calling Resolve() on any of its
150 // nested types would crash.
152 foreach (var e in hash) {
153 e.Key.Scope = e.Value;
157 void SweepType (TypeDefinition type)
160 SweepCollection (type.Fields);
163 SweepCollection (type.Methods);
165 if (type.HasNestedTypes)
166 SweepNestedTypes (type);
169 void SweepNestedTypes (TypeDefinition type)
171 for (int i = 0; i < type.NestedTypes.Count; i++) {
172 var nested = type.NestedTypes [i];
173 if (Annotations.IsMarked (nested)) {
176 type.NestedTypes.RemoveAt (i--);
181 void SweepCollection (IList list)
183 for (int i = 0; i < list.Count; i++)
184 if (!Annotations.IsMarked ((IMetadataTokenProvider) list [i]))
188 static bool AreSameReference (AssemblyNameReference a, AssemblyNameReference b)
193 if (a.Name != b.Name)
196 if (a.Version > b.Version)