5 // Chris Bacon (chrisbacon76@gmail.com)
7 // Copyright (C) 2010 Chris Bacon
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;
37 namespace Mono.CodeContracts.Rewrite {
38 public class Rewriter {
40 public static RewriterResults Rewrite (RewriterOptions options)
42 Rewriter rewriter = new Rewriter(options);
43 return rewriter.RewriteImpl();
46 private Rewriter(RewriterOptions options)
48 this.options = options;
51 private RewriterOptions options;
52 private List<string> warnings = new List<string> ();
53 private List<string> errors = new List<string> ();
55 private RewriterResults RewriteImpl ()
57 if (!this.options.Rewrite) {
58 return RewriterResults.Warning ("Not asked to rewrite");
61 if (!this.options.Assembly.IsSet) {
62 return RewriterResults.Error ("No assembly given to rewrite");
65 var readerParameters = new ReaderParameters ();
67 if (options.Debug && options.WritePdbFile)
68 readerParameters.ReadSymbols = true;
70 var assembly = this.options.Assembly.IsFilename ?
71 AssemblyDefinition.ReadAssembly (options.Assembly.Filename, readerParameters) :
72 AssemblyDefinition.ReadAssembly (options.Assembly.Streams.Assembly, readerParameters);
74 if (this.options.ForceAssemblyRename != null) {
75 assembly.Name.Name = this.options.ForceAssemblyRename;
76 } else if (this.options.OutputFile.IsSet && this.options.OutputFile.IsFilename) {
77 assembly.Name.Name = Path.GetFileNameWithoutExtension(this.options.OutputFile.Filename);
80 var output = this.options.OutputFile.IsSet ? this.options.OutputFile : this.options.Assembly;
81 var writerParameters = new WriterParameters ();
82 if (options.WritePdbFile) {
84 return RewriterResults.Error ("Must specify -debug if using -writePDBFile.");
87 writerParameters.WriteSymbols = true;
90 PerformRewrite rewriter = new PerformRewrite (this.options);
91 rewriter.Rewrite (assembly);
93 if (output.IsFilename) {
94 assembly.Write (output.Filename, writerParameters);
96 assembly.Write (output.Streams.Assembly, writerParameters);
99 return new RewriterResults (warnings, errors);