Free cookie consent management tool by TermsFeed Policy Generator

source: trunk/sources/HeuristicLab.AdvancedOptimizationFrontend/3.3/MainForm.cs @ 2042

Last change on this file since 2042 was 1921, checked in by epitzer, 15 years ago

Refactor saving into IEditor and provide choice of compressed and uncompressed HeuristicLab archives during saving (#646)

File size: 11.4 KB
RevLine 
[2]1#region License Information
2/* HeuristicLab
3 * Copyright (C) 2002-2008 Heuristic and Evolutionary Algorithms Laboratory (HEAL)
4 *
5 * This file is part of HeuristicLab.
6 *
7 * HeuristicLab is free software: you can redistribute it and/or modify
8 * it under the terms of the GNU General Public License as published by
9 * the Free Software Foundation, either version 3 of the License, or
10 * (at your option) any later version.
11 *
12 * HeuristicLab is distributed in the hope that it will be useful,
13 * but WITHOUT ANY WARRANTY; without even the implied warranty of
14 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
15 * GNU General Public License for more details.
16 *
17 * You should have received a copy of the GNU General Public License
18 * along with HeuristicLab. If not, see <http://www.gnu.org/licenses/>.
19 */
20#endregion
21
22using System;
23using System.Collections.Generic;
24using System.ComponentModel;
25using System.Data;
26using System.Drawing;
27using System.Text;
28using System.Threading;
29using System.Windows.Forms;
30using WeifenLuo.WinFormsUI.Docking;
31using HeuristicLab.PluginInfrastructure;
32using HeuristicLab.Core;
[659]33using System.IO;
[2]34
35namespace HeuristicLab.AdvancedOptimizationFrontend {
[1185]36  /// <summary>
37  /// The main form of the application.
38  /// </summary>
[2]39  public partial class MainForm : Form, IControlManager {
40    #region Inner Types
41    private class Task {
42      public string filename;
43      public IStorable storable;
44      public IEditor editor;
45
46      private Task() { }
47      public Task(string filename, IStorable storable, IEditor editor) {
48        this.filename = filename;
49        this.storable = storable;
50        this.editor = editor;
51      }
52    }
53    #endregion
54
55    private object locker;
56    private int runningTasks;
57
[1185]58    /// <summary>
59    /// Initializes a new instance of <see cref="MainForm"/>.
60    /// </summary>
[2]61    public MainForm() {
62      InitializeComponent();
63
64      locker = new object();
65      runningTasks = 0;
66
67      AvailableOperatorsForm form = new AvailableOperatorsForm();
68      form.Show(dockPanel);
69
70      DiscoveryService discoveryService = new DiscoveryService();
71
72      // discover creatable items
73      Type[] creatables = discoveryService.GetTypes(typeof(IEditable));
74      string[] names = new string[creatables.Length];
75      for (int i = 0; i < creatables.Length; i++)
76        names[i] = creatables[i].Name;
77      Array.Sort(names, creatables);
78      foreach (Type type in creatables) {
79        if (!type.IsAbstract) {
80          ToolStripMenuItem item = new ToolStripMenuItem();
81          item.Tag = type;
82          item.Text = "&" + type.Name + "...";
83          item.Click += new EventHandler(newToolStripMenuItem_Click);
84          newToolStripMenuItem.DropDownItems.Add(item);
85
86          item = new ToolStripMenuItem();
87          item.Tag = type;
88          item.Text = "&" + type.Name + "...";
89          item.Click += new EventHandler(newToolStripMenuItem_Click);
90          newToolStripDropDownButton.DropDownItems.Add(item);
91        }
92      }
93    }
94
95    #region IControlManager Members
[1185]96    /// <summary>
97    /// Displays the given <paramref name="control"/>.
98    /// </summary>
99    /// <exception cref="InvalidOperationException">Thrown when the given <paramref name="control"/>
100    /// is neither a view nor an editor.</exception>
101    /// <param name="control">The control to display.</param>
[2]102    public void ShowControl(IControl control) {
103      DockContent content;
104      if (control is IEditor)
105        content = new EditorForm((IEditor)control);
106      else if (control is IView)
107        content = new ViewForm((IView)control);
108      else
109        throw new InvalidOperationException("Control is neither a view nor an editor.");
110
111      content.TabText = content.Text;
112      content.Show(dockPanel);
113    }
114    #endregion
115
116    private void EnableDisableItems() {
117      closeToolStripMenuItem.Enabled = false;
118      closeAllToolStripMenuItem.Enabled = false;
119      saveToolStripMenuItem.Enabled = false;
120      saveToolStripButton.Enabled = false;
121      saveAsToolStripMenuItem.Enabled = false;
122      saveAllToolStripMenuItem.Enabled = false;
123      saveAllToolStripButton.Enabled = false;
124
125      if (ActiveMdiChild != null) {
126        closeToolStripMenuItem.Enabled = true;
127        closeAllToolStripMenuItem.Enabled = true;
128        saveAllToolStripMenuItem.Enabled = true;
129        saveAllToolStripButton.Enabled = true;
130        EditorForm form = ActiveMdiChild as EditorForm;
131        if (form != null){
132          if (((Control)form.Editor).Enabled) {
133            saveToolStripMenuItem.Enabled = true;
134            saveToolStripButton.Enabled = true;
135            saveAsToolStripMenuItem.Enabled = true;
136          } else {
137            closeToolStripMenuItem.Enabled = false;
138            closeAllToolStripMenuItem.Enabled = false;
139          }
140        }
141      }
142    }
143
144    #region Open and Save Methods
145    private void Open() {
146      if (openFileDialog.ShowDialog(this) == DialogResult.OK) {
147        lock (locker) runningTasks++;
148        Cursor = Cursors.AppStarting;
149        Task task = new Task(openFileDialog.FileName, null, null);
150        ThreadPool.QueueUserWorkItem(new WaitCallback(AsynchronousLoad), task);
151      }
152    }
153    private void AsynchronousLoad(object state) {
154      Task task = (Task)state;
[659]155      try {
156        task.storable = PersistenceManager.Load(task.filename);
[1844]157      } catch (FileNotFoundException fileNotFoundEx) {
[676]158        MessageBox.Show("Sorry couldn't open file \"" + task.filename + "\".\nThe file or plugin \"" + fileNotFoundEx.FileName + "\" is not available.\nPlease make sure you have all necessary plugins installed.",
[659]159          "Reader Error", MessageBoxButtons.OK, MessageBoxIcon.Error);
[1844]160      } catch (TypeLoadException typeLoadEx) {
161        MessageBox.Show("Sorry couldn't open file \"" + task.filename + "\".\nThe type \"" + typeLoadEx.TypeName + "\" is not available.\nPlease make sure that you have the correct version the plugin installed.",
[676]162          "Reader Error", MessageBoxButtons.OK, MessageBoxIcon.Error);
[1844]163      } catch (Exception e) {
164        MessageBox.Show(String.Format(
165          "Sorry couldn't open file \"{0}\".\n The following exception occurred: {1}",
166          task.filename, e.ToString()),
167          "Reader Error", MessageBoxButtons.OK, MessageBoxIcon.Error);
[659]168      }
[2]169      LoadFinished(task);
170    }
171    private delegate void TaskFinishedDelegate(Task task);
172    private void LoadFinished(Task task) {
173      if (InvokeRequired)
174        Invoke(new TaskFinishedDelegate(LoadFinished), task);
175      else {
176        IEditor editor = null;
177        if (task.storable != null) {
178          IEditable editable = task.storable as IEditable;
179          if (editable != null)
180            editor = editable.CreateEditor();
181        }
182        if (editor == null)
183          MessageBox.Show("Could not open item. The selected item doesn't provide an editor.", "Editor Error", MessageBoxButtons.OK, MessageBoxIcon.Error);
184        else {
185          editor.Filename = task.filename;
[1921]186          editor.SaveFinished += new EventHandler(SaveFinished);
[2]187          PluginManager.ControlManager.ShowControl(editor);
188        }
189        lock (locker) {
190          runningTasks--;
191          if (runningTasks == 0)
192            Cursor = Cursors.Default;
193        }
194      }
195    }
[1921]196
[2]197    private void Save(EditorForm form) {
198      if (form.Editor.Filename == null)
199        SaveAs(form);
200      else {
[1921]201        Cursor = Cursors.AppStarting;
[2]202        lock (locker) runningTasks++;
203        EnableDisableItems();
[1921]204        form.Editor.Save();
[2]205      }
206    }
207    private void SaveAs(EditorForm form) {
[1921]208      if (form.Editor.Compressed)
209        saveFileDialog.FilterIndex = 2;
210      else
211        saveFileDialog.FilterIndex = 1;
212
[2]213      if (saveFileDialog.ShowDialog(this) == DialogResult.OK) {
214        form.Editor.Filename = saveFileDialog.FileName;
[1921]215        form.Editor.Compressed = saveFileDialog.FilterIndex == 2;
[2]216        Save(form);
217      }
218    }
[1921]219    private void SaveFinished(object sender, EventArgs e) {
[2]220      if (InvokeRequired)
[1921]221        Invoke(new EventHandler(SaveFinished), sender, e);
[2]222      else {
223        EnableDisableItems();
224        lock (locker) {
225          runningTasks--;
226          if (runningTasks == 0)
227            Cursor = Cursors.Default;
228        }
229      }
230    }
231    #endregion
232
233    private void MainForm_MdiChildActivate(object sender, EventArgs e) {
234      EnableDisableItems();
235    }
236
237    #region Menu Events
238    private void newToolStripMenuItem_Click(object sender, EventArgs e) {
239      ToolStripItem item = (ToolStripItem)sender;
240      Type type = (Type)item.Tag;
241      IEditable editable = (IEditable)Activator.CreateInstance(type);
242      if (editable == null) {
243        MessageBox.Show("The selected item is not editable.", "Editable Error", MessageBoxButtons.OK, MessageBoxIcon.Error);
244      } else {
245        IEditor editor = editable.CreateEditor();
246        if (editor == null) {
247          MessageBox.Show("The selected item doesn't provide an editor.", "Editor Error", MessageBoxButtons.OK, MessageBoxIcon.Error);
248        } else {
[1921]249          editor.SaveFinished += new EventHandler(SaveFinished);
[2]250          PluginManager.ControlManager.ShowControl(editor);
251          EnableDisableItems();
252        }
253      }
254    }
255    private void openToolStripMenuItem_Click(object sender, EventArgs e) {
256      Open();
257    }
258    private void saveToolStripMenuItem_Click(object sender, EventArgs e) {
259      EditorForm form = ActiveMdiChild as EditorForm;
260      Save(form);
261    }
262    private void saveAsToolStripMenuItem_Click(object sender, EventArgs e) {
263      EditorForm form = ActiveMdiChild as EditorForm;
264      SaveAs(form);
265    }
266    private void saveAllToolStripMenuItem_Click(object sender, EventArgs e) {
267      for (int i = 0; i < MdiChildren.Length; i++) {
268        EditorForm form = MdiChildren[i] as EditorForm;
269        if (((Control)form.Editor).Enabled) Save(form);
270      }
271    }
272    private void closeToolStripMenuItem_Click(object sender, EventArgs e) {
273      ActiveMdiChild.Close();
274      EnableDisableItems();
275    }
276    private void closeAllToolStripMenuItem_Click(object sender, EventArgs e) {
277      while (MdiChildren.Length > 0)
278        MdiChildren[0].Close();
279      EnableDisableItems();
280    }
281    private void exitToolStripMenuItem_Click(object sender, EventArgs e) {
282      Application.Exit();
283    }
284    private void availableOperatorsToolStripMenuItem_Click(object sender, EventArgs e) {
285      AvailableOperatorsForm form = new AvailableOperatorsForm();
286      form.Show(dockPanel);
287    }
288    private void collectGarbageToolStripMenuItem_Click(object sender, EventArgs e) {
289      GC.Collect();
290    }
291    private void aboutToolStripMenuItem_Click(object sender, EventArgs e) {
292      AboutDialog dialog = new AboutDialog();
293      dialog.ShowDialog(this);
294      dialog.Dispose();
295    }
296    #endregion
297
298    #region ToolStrip Events
299    private void openToolStripButton_Click(object sender, EventArgs e) {
300      Open();
301    }
302    private void saveToolStripButton_Click(object sender, EventArgs e) {
303      EditorForm form = ActiveMdiChild as EditorForm;
304      Save(form);
305    }
306    private void saveAllToolStripButton_Click(object sender, EventArgs e) {
307      for (int i = 0; i < MdiChildren.Length; i++) {
308        EditorForm form = MdiChildren[i] as EditorForm;
[639]309        if (form!=null && ((Control)form.Editor).Enabled) Save(form);
[2]310      }
311    }
312    #endregion
313  }
314}
Note: See TracBrowser for help on using the repository browser.