From cef91fe55e0d605ab85a5fccc5f19cbf1e935aca Mon Sep 17 00:00:00 2001
From: wuestholz <unknown>
Date: Mon, 24 Jun 2013 10:06:35 -0700
Subject: Did some refactoring of the error reporting functionality.

---
 Source/DafnyExtension/DafnyDriver.cs | 11 ++++++-----
 1 file changed, 6 insertions(+), 5 deletions(-)

(limited to 'Source/DafnyExtension')

diff --git a/Source/DafnyExtension/DafnyDriver.cs b/Source/DafnyExtension/DafnyDriver.cs
index 7ad2045b..4819123c 100644
--- a/Source/DafnyExtension/DafnyDriver.cs
+++ b/Source/DafnyExtension/DafnyDriver.cs
@@ -1,6 +1,7 @@
 using System.Collections.Concurrent;
 using System.Collections.Generic;
 using System.Diagnostics.Contracts;
+using System.IO;
 using Microsoft.Boogie;
 using Microsoft.VisualStudio.Text;
 using Bpl = Microsoft.Boogie;
@@ -50,19 +51,19 @@ namespace DafnyLanguage
       {
       }
 
-      public void ErrorWriteLine(string format, params object[] args)
+      public void ErrorWriteLine(TextWriter tw, string format, params object[] args)
       {
       }
 
-      public void ErrorWriteLine(string s)
+      public void ErrorWriteLine(TextWriter tw, string s)
       {
       }
 
-      public void Inform(string s)
+      public void Inform(string s, TextWriter tw)
       {
       }
 
-      public void ReportBplError(IToken tok, string message, bool error, string category = null)
+      public void ReportBplError(IToken tok, string message, bool error, TextWriter tw, string category = null)
       {
       }
 
@@ -70,7 +71,7 @@ namespace DafnyLanguage
       {
       }
 
-      public void WriteErrorInformation(ErrorInformation errorInfo)
+      public void WriteErrorInformation(ErrorInformation errorInfo, TextWriter tw, bool skipExecutionTrace = true)
       {
       }
     }
-- 
cgit v1.2.3