Split up the model viewer into a library and an application and added some functionality.

1 files changed, 28 insertions, 0 deletions

diff --git a/Source/BVD/Program.cs b/Source/BVD/Program.cs
new file mode 100644
index 00000000..669ea995
--- /dev/null
+++ b/Source/BVD/Program.cs
@@ -0,0 +1,28 @@
+using System;

+using System.Collections.Generic;

+using System.Linq;

+using System.Windows.Forms;

+

+namespace Microsoft.Boogie.ModelViewer

+{

+  static class Program

+  {

+    /// <summary>

+    /// The main entry point for the application.

+    /// </summary>

+    [STAThread]

+    static void Main()

+    {

+      Application.EnableVisualStyles();

+      Application.SetCompatibleTextRenderingDefault(false);

+      try

+      {

+        Application.Run(new Main(System.Environment.GetCommandLineArgs()));

+      }

+      catch (Exception exc)

+      {

+        MessageBox.Show(exc.Message, "Model Viewer Error", MessageBoxButtons.OK, MessageBoxIcon.Error, MessageBoxDefaultButton.Button1);

+      }

+    }

+  }

+}