diff options
| author |  wuestholz <unknown> | 2013-06-13 10:12:20 -0700 |
|---|---|---|
| committer | wuestholz <unknown> | 2013-06-13 10:12:20 -0700 |
| commit | 00430d7e712b797a5f1391a385ad9d5af3083037 (patch) | |
| tree | c77e1e6b796cd28fd6678c3f7344c9ffee1fde87 /Source/DafnyExtension/DafnyDriver.cs | |
| parent | 0a3b095205a91b480a0b89c404981c498f088747 (diff) | |
DafnyExtension: Disabled the default console printer for Boogie.
Diffstat (limited to 'Source/DafnyExtension/DafnyDriver.cs')
| -rw-r--r-- | Source/DafnyExtension/DafnyDriver.cs | 34 |
1 files changed, 33 insertions, 1 deletions
diff --git a/Source/DafnyExtension/DafnyDriver.cs b/Source/DafnyExtension/DafnyDriver.cs index f1db3316..2dfc0025 100644 --- a/Source/DafnyExtension/DafnyDriver.cs +++ b/Source/DafnyExtension/DafnyDriver.cs @@ -37,10 +37,42 @@ namespace DafnyLanguage Dafny.DafnyOptions.Install(options);
options.ApplyDefaultOptions();
- ExecutionEngine.printer = new ConsolePrinter();
+ ExecutionEngine.printer = new DummyPrinter();
}
}
+
+ #region Output
+
+ class DummyPrinter : OutputPrinter
+ {
+ public void AdvisoryWriteLine(string format, params object[] args)
+ {
+ }
+
+ public void ErrorWriteLine(string format, params object[] args)
+ {
+ }
+
+ public void ErrorWriteLine(string s)
+ {
+ }
+
+ public void Inform(string s)
+ {
+ }
+
+ public void ReportBplError(IToken tok, string message, bool error, bool showBplLocation)
+ {
+ }
+
+ public void WriteTrailer(int verified, int errors, int inconclusives, int timeOuts, int outOfMemories)
+ {
+ }
+ }
+
+ #endregion
+
#region Parsing and type checking
internal Dafny.Program ProcessResolution() {
|