Searched refs:RewriterResults (Results 1 – 5 of 5) sorted by relevance
36 public class RewriterResults { class38 internal static RewriterResults Warning (string warning) in Warning()40 return new RewriterResults (new [] { warning }, null); in Warning()43 internal static RewriterResults Error (string error) in Error()45 return new RewriterResults (null, new [] { error }); in Error()48 internal RewriterResults (ICollection<string> warnings, ICollection<string> errors) in RewriterResults() method in Mono.CodeContracts.Rewrite.RewriterResults
40 public static RewriterResults Rewrite (RewriterOptions options) in Rewrite()55 private RewriterResults RewriteImpl () in RewriteImpl()58 return RewriterResults.Warning ("Not asked to rewrite"); in RewriteImpl()62 return RewriterResults.Error ("No assembly given to rewrite"); in RewriteImpl()84 return RewriterResults.Error ("Must specify -debug if using -writePDBFile."); in RewriteImpl()100 return new RewriterResults (warnings, errors); in RewriteImpl()
45 …public static Mono.CodeContracts.Rewrite.RewriterResults Rewrite(Mono.CodeContracts.Rewrite.Rewrit… in Rewrite()60 public partial class RewriterResults class62 internal RewriterResults() { } in RewriterResults() method in Mono.CodeContracts.Rewrite.RewriterResults
46 …public static Mono.CodeContracts.Rewrite.RewriterResults Rewrite(Mono.CodeContracts.Rewrite.Rewrit… in Rewrite()61 public partial class RewriterResults class63 internal RewriterResults() { } in RewriterResults() method in Mono.CodeContracts.Rewrite.RewriterResults
13 Mono.CodeContracts.Rewrite/RewriterResults.cs