Refactor the error reporting code

The new error reporting system has a simpler interface, isn't tied to the
resolver, and contains error source information.

1 files changed, 0 insertions, 23 deletions

diff --git a/Source/Dafny/Util.cs b/Source/Dafny/Util.cs
index 508d23c6..eaf599e3 100644
--- a/Source/Dafny/Util.cs
+++ b/Source/Dafny/Util.cs
@@ -67,29 +67,6 @@ namespace Microsoft.Dafny {
       return res;

     }

 

-    public static void ReportIssue(string header, IToken tok, string msg, params object[] args) {

-      ReportIssue(header, tok, String.Format(msg, args));

-    }

-

-    public static void ReportIssue(string header, IToken tok, string msg) {

-      ReportIssue(header, tok.filename, tok.line, tok.col, msg);

-    }

-

-    public static void ReportIssue(string header, string filename, int line, int column, string msg) {

-      Console.WriteLine(ReportIssueToString(header, filename, line, column, msg));

-    }

-

-    public static string ReportIssueToString(string header, string filename, int line, int column, string msg) {

-      Contract.Requires(header != null);

-      Contract.Requires(filename != null);

-      Contract.Requires(msg != null);

-      return ReportIssueToString_Bare(": " + header, filename, line, column, ": " + msg);

-    }

-

-    public static string ReportIssueToString_Bare(string header, string filename, int line, int column, string msg) {

-      return String.Format("{0}({1},{2}){3}{4}", filename, line, column - 1, header, msg ?? "");

-    }

-

     /// <summary>

     /// Returns s but with all occurrences of '_' removed.

     /// </summary>