diff options
author | 2013-07-14 18:45:12 -0700 | |
---|---|---|
committer | 2013-07-14 18:45:12 -0700 | |
commit | 1a55e51994e8c147ea27ead66cfc25c8cc8fb512 (patch) | |
tree | b262642a6916554ac09b52f4d96ad7d53ee333af /Source/BVD/Program.cs | |
parent | ad34aee0bb9e9090418fd1cb2e2fced7ddb625d8 (diff) |
Split up the model viewer into a library and an application and added some functionality.
Diffstat (limited to 'Source/BVD/Program.cs')
-rw-r--r-- | Source/BVD/Program.cs | 28 |
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);
+ }
+ }
+ }
+}
|