1 files changed, 0 insertions, 88 deletions
diff --git a/Source/Dafny/DafnyMain.cs b/Source/Dafny/DafnyMain.cs
deleted file mode 100644
index 6091e522..00000000
--- a/Source/Dafny/DafnyMain.cs
+++ /dev/null
@@ -1,88 +0,0 @@
-//-----------------------------------------------------------------------------
-//
-// Copyright (C) Microsoft Corporation.  All Rights Reserved.
-//
-//-----------------------------------------------------------------------------
-using System;
-using System.IO;
-using System.Collections.Generic;
-using System.Diagnostics.Contracts;
-using Bpl = Microsoft.Boogie;
-
-namespace Microsoft.Dafny {
-  public class Main {
-    /// <summary>
-    /// Returns null on success, or an error string otherwise.
-    /// </summary>
-    public static string ParseCheck(List<string/*!*/>/*!*/ fileNames, string/*!*/ programName, out Program program)
-      //modifies Bpl.CommandLineOptions.Clo.XmlSink.*;
-    {
-      Contract.Requires(programName != null);
-      Contract.Requires(fileNames != null);
-      program = null;
-      ModuleDecl module = new LiteralModuleDecl(new DefaultModuleDecl(), null);
-      BuiltIns builtIns = new BuiltIns();
-      foreach (string dafnyFileName in fileNames){
-        Contract.Assert(dafnyFileName != null);
-        if (Bpl.CommandLineOptions.Clo.XmlSink != null && Bpl.CommandLineOptions.Clo.XmlSink.IsOpen) {
-          Bpl.CommandLineOptions.Clo.XmlSink.WriteFileFragment(dafnyFileName);
-        }
-        if (Bpl.CommandLineOptions.Clo.Trace)
-        {
-          Console.WriteLine("Parsing " + dafnyFileName);
-        }
-
-        int errorCount;
-        try
-        {
-          errorCount = Dafny.Parser.Parse(dafnyFileName, module, builtIns);
-          if (errorCount != 0)
-          {
-            return string.Format("{0} parse errors detected in {1}", errorCount, dafnyFileName);
-          }
-        }
-        catch (IOException e)
-        {
-          return string.Format("Error opening file \"{0}\": {1}", dafnyFileName, e.Message);
-        }
-      }
-
-      program = new Program(programName, module, builtIns);
-
-      if (DafnyOptions.O.DafnyPrintFile != null) {
-        string filename = DafnyOptions.O.DafnyPrintFile;
-        if (filename == "-") {
-          Printer pr = new Printer(System.Console.Out);
-          pr.PrintProgram(program);
-        } else {
-          using (TextWriter writer = new System.IO.StreamWriter(filename)) {
-            Printer pr = new Printer(writer);
-            pr.PrintProgram(program);
-          }
-        }
-      }
-
-      if (Bpl.CommandLineOptions.Clo.NoResolve || Bpl.CommandLineOptions.Clo.NoTypecheck) { return null; }
-
-      Dafny.Resolver r = new Dafny.Resolver(program);
-      r.ResolveProgram(program);
-      if (DafnyOptions.O.DafnyPrintResolvedFile != null) {
-        string filename = DafnyOptions.O.DafnyPrintResolvedFile;
-        if (filename == "-") {
-          Printer pr = new Printer(System.Console.Out);
-          pr.PrintProgram(program);
-        } else {
-          using (TextWriter writer = new System.IO.StreamWriter(filename)) {
-            Printer pr = new Printer(writer);
-            pr.PrintProgram(program);
-          }
-        }
-      }
-      if (r.ErrorCount != 0) {
-        return string.Format("{0} resolution/type errors detected in {1}", r.ErrorCount, programName);
-      }
-
-      return null;  // success
-    }
-  }
-}