Free cookie consent management tool by TermsFeed Policy Generator

source: branches/HeuristicLab.Hive-3.4/sources/HeuristicLab.Clients.Hive.Views/3.4/ExperimentManager/RefreshableHiveExperimentView.Designer.cs @ 6219

Last change on this file since 6219 was 6033, checked in by cneumuel, 14 years ago

#1233

  • created baseclass for jobs (ItemJob) which derives OperatorJobs and EngineJobs
  • created special view for OptimizerJobs which derives from a more general view
  • removed logic from domain class HiveExperiment and moved it into RefreshableHiveExperiment
  • improved ItemTreeView
  • corrected plugin dependencies
  • fixed bug in database trigger when deleting HiveExperiments
  • added delete cascade for Plugin and PluginData
  • lots of fixes
File size: 20.7 KB
RevLine 
[6033]1#region License Information
2/* HeuristicLab
3 * Copyright (C) 2002-2010 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
22namespace HeuristicLab.Clients.Hive.Views.ExperimentManager {
23  partial class RefreshableHiveExperimentView {
24    /// <summary>
25    /// Required designer variable.
26    /// </summary>
27    private System.ComponentModel.IContainer components = null;
28
29    /// <summary>
30    /// Clean up any resources being used.
31    /// </summary>
32    /// <param name="disposing">true if managed resources should be disposed; otherwise, false.</param>
33    protected override void Dispose(bool disposing) {
34      if (disposing) {
35        if (components != null) components.Dispose();
36      }
37      base.Dispose(disposing);
38    }
39
40    #region Component Designer generated code
41
42    /// <summary>
43    /// Required method for Designer support - do not modify
44    /// the contents of this method with the code editor.
45    /// </summary>
46    private void InitializeComponent() {
47      this.components = new System.ComponentModel.Container();
48      System.ComponentModel.ComponentResourceManager resources = new System.ComponentModel.ComponentResourceManager(typeof(RefreshableHiveExperimentView));
49      this.tabControl = new System.Windows.Forms.TabControl();
50      this.jobsTabPage = new System.Windows.Forms.TabPage();
51      this.logTabPage = new System.Windows.Forms.TabPage();
52      this.logView = new HeuristicLab.Core.Views.LogView();
53      this.startButton = new System.Windows.Forms.Button();
54      this.stopButton = new System.Windows.Forms.Button();
55      this.resetButton = new System.Windows.Forms.Button();
56      this.executionTimeLabel = new System.Windows.Forms.Label();
57      this.executionTimeTextBox = new System.Windows.Forms.TextBox();
58      this.pauseButton = new System.Windows.Forms.Button();
59      this.resourceIdsLabel = new System.Windows.Forms.Label();
60      this.resourceNamesTextBox = new System.Windows.Forms.TextBox();
61      this.useLocalPluginsCheckBox = new System.Windows.Forms.CheckBox();
62      this.nameLabel = new System.Windows.Forms.Label();
63      this.nameTextBox = new System.Windows.Forms.TextBox();
64      this.toolTip = new System.Windows.Forms.ToolTip(this.components);
65      this.refreshButton = new System.Windows.Forms.Button();
66      this.refreshAutomaticallyCheckBox = new System.Windows.Forms.CheckBox();
67      this.infoGroupBox = new System.Windows.Forms.GroupBox();
68      this.finishedTextBox = new System.Windows.Forms.TextBox();
69      this.calculatingTextBox = new System.Windows.Forms.TextBox();
70      this.jobsTextBox = new System.Windows.Forms.TextBox();
71      this.finishedLabel = new System.Windows.Forms.Label();
72      this.calculatingLabel = new System.Windows.Forms.Label();
73      this.jobsLabel = new System.Windows.Forms.Label();
74      this.jobsTreeView = new HeuristicLab.Clients.Hive.Views.ExperimentManager.HiveJobItemTreeView();
75      this.tabControl.SuspendLayout();
76      this.jobsTabPage.SuspendLayout();
77      this.logTabPage.SuspendLayout();
78      this.infoGroupBox.SuspendLayout();
79      this.SuspendLayout();
80      //
81      // tabControl
82      //
83      this.tabControl.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom)
84                  | System.Windows.Forms.AnchorStyles.Left)
85                  | System.Windows.Forms.AnchorStyles.Right)));
86      this.tabControl.Controls.Add(this.jobsTabPage);
87      this.tabControl.Controls.Add(this.logTabPage);
88      this.tabControl.Location = new System.Drawing.Point(0, 78);
89      this.tabControl.Name = "tabControl";
90      this.tabControl.SelectedIndex = 0;
91      this.tabControl.Size = new System.Drawing.Size(821, 520);
92      this.tabControl.TabIndex = 4;
93      //
94      // jobsTabPage
95      //
96      this.jobsTabPage.Controls.Add(this.jobsTreeView);
97      this.jobsTabPage.Location = new System.Drawing.Point(4, 22);
98      this.jobsTabPage.Name = "jobsTabPage";
99      this.jobsTabPage.Size = new System.Drawing.Size(813, 494);
100      this.jobsTabPage.TabIndex = 5;
101      this.jobsTabPage.Text = "Jobs";
102      this.jobsTabPage.UseVisualStyleBackColor = true;
103      //
104      // logTabPage
105      //
106      this.logTabPage.Controls.Add(this.logView);
107      this.logTabPage.Location = new System.Drawing.Point(4, 22);
108      this.logTabPage.Name = "logTabPage";
109      this.logTabPage.Size = new System.Drawing.Size(813, 494);
110      this.logTabPage.TabIndex = 3;
111      this.logTabPage.Text = "Log";
112      this.logTabPage.UseVisualStyleBackColor = true;
113      //
114      // logView
115      //
116      this.logView.Caption = "Log View";
117      this.logView.Content = null;
118      this.logView.Dock = System.Windows.Forms.DockStyle.Fill;
119      this.logView.Location = new System.Drawing.Point(0, 0);
120      this.logView.Name = "logView";
121      this.logView.ReadOnly = false;
122      this.logView.Size = new System.Drawing.Size(813, 494);
123      this.logView.TabIndex = 0;
124      //
125      // startButton
126      //
127      this.startButton.Anchor = ((System.Windows.Forms.AnchorStyles)((System.Windows.Forms.AnchorStyles.Bottom | System.Windows.Forms.AnchorStyles.Left)));
128      this.startButton.Image = ((System.Drawing.Image)(resources.GetObject("startButton.Image")));
129      this.startButton.Location = new System.Drawing.Point(0, 604);
130      this.startButton.Name = "startButton";
131      this.startButton.Size = new System.Drawing.Size(24, 24);
132      this.startButton.TabIndex = 5;
133      this.toolTip.SetToolTip(this.startButton, "Start/Resume Experiment");
134      this.startButton.UseVisualStyleBackColor = true;
135      this.startButton.Click += new System.EventHandler(this.startButton_Click);
136      //
137      // stopButton
138      //
139      this.stopButton.Anchor = ((System.Windows.Forms.AnchorStyles)((System.Windows.Forms.AnchorStyles.Bottom | System.Windows.Forms.AnchorStyles.Left)));
140      this.stopButton.Image = ((System.Drawing.Image)(resources.GetObject("stopButton.Image")));
141      this.stopButton.Location = new System.Drawing.Point(60, 604);
142      this.stopButton.Name = "stopButton";
143      this.stopButton.Size = new System.Drawing.Size(24, 24);
144      this.stopButton.TabIndex = 7;
145      this.toolTip.SetToolTip(this.stopButton, "Stop Experiment");
146      this.stopButton.UseVisualStyleBackColor = true;
147      this.stopButton.Click += new System.EventHandler(this.stopButton_Click);
148      //
149      // resetButton
150      //
151      this.resetButton.Anchor = ((System.Windows.Forms.AnchorStyles)((System.Windows.Forms.AnchorStyles.Bottom | System.Windows.Forms.AnchorStyles.Left)));
152      this.resetButton.Enabled = false;
153      this.resetButton.Image = ((System.Drawing.Image)(resources.GetObject("resetButton.Image")));
154      this.resetButton.Location = new System.Drawing.Point(90, 604);
155      this.resetButton.Name = "resetButton";
156      this.resetButton.Size = new System.Drawing.Size(24, 24);
157      this.resetButton.TabIndex = 8;
158      this.toolTip.SetToolTip(this.resetButton, "Reset Experiment");
159      this.resetButton.UseVisualStyleBackColor = true;
160      this.resetButton.Click += new System.EventHandler(this.resetButton_Click);
161      //
162      // executionTimeLabel
163      //
164      this.executionTimeLabel.Anchor = ((System.Windows.Forms.AnchorStyles)((System.Windows.Forms.AnchorStyles.Bottom | System.Windows.Forms.AnchorStyles.Right)));
165      this.executionTimeLabel.AutoSize = true;
166      this.executionTimeLabel.Location = new System.Drawing.Point(595, 611);
167      this.executionTimeLabel.Name = "executionTimeLabel";
168      this.executionTimeLabel.Size = new System.Drawing.Size(83, 13);
169      this.executionTimeLabel.TabIndex = 9;
170      this.executionTimeLabel.Text = "&Execution Time:";
171      //
172      // executionTimeTextBox
173      //
174      this.executionTimeTextBox.Anchor = ((System.Windows.Forms.AnchorStyles)((System.Windows.Forms.AnchorStyles.Bottom | System.Windows.Forms.AnchorStyles.Right)));
175      this.executionTimeTextBox.Location = new System.Drawing.Point(684, 608);
176      this.executionTimeTextBox.Name = "executionTimeTextBox";
177      this.executionTimeTextBox.ReadOnly = true;
178      this.executionTimeTextBox.Size = new System.Drawing.Size(137, 20);
179      this.executionTimeTextBox.TabIndex = 10;
180      //
181      // pauseButton
182      //
183      this.pauseButton.Anchor = ((System.Windows.Forms.AnchorStyles)((System.Windows.Forms.AnchorStyles.Bottom | System.Windows.Forms.AnchorStyles.Left)));
184      this.pauseButton.Enabled = false;
185      this.pauseButton.Image = ((System.Drawing.Image)(resources.GetObject("pauseButton.Image")));
186      this.pauseButton.Location = new System.Drawing.Point(30, 604);
187      this.pauseButton.Name = "pauseButton";
188      this.pauseButton.Size = new System.Drawing.Size(24, 24);
189      this.pauseButton.TabIndex = 6;
190      this.toolTip.SetToolTip(this.pauseButton, "Pause Experiment");
191      this.pauseButton.UseVisualStyleBackColor = true;
192      this.pauseButton.Click += new System.EventHandler(this.pauseButton_Click);
193      //
194      // resourceIdsLabel
195      //
196      this.resourceIdsLabel.AutoSize = true;
197      this.resourceIdsLabel.Location = new System.Drawing.Point(4, 56);
198      this.resourceIdsLabel.Name = "resourceIdsLabel";
199      this.resourceIdsLabel.Size = new System.Drawing.Size(70, 13);
200      this.resourceIdsLabel.TabIndex = 12;
201      this.resourceIdsLabel.Text = "ResourceIds:";
202      //
203      // resourceNamesTextBox
204      //
205      this.resourceNamesTextBox.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left)
206                  | System.Windows.Forms.AnchorStyles.Right)));
207      this.resourceNamesTextBox.Location = new System.Drawing.Point(73, 53);
208      this.resourceNamesTextBox.Name = "resourceNamesTextBox";
209      this.resourceNamesTextBox.Size = new System.Drawing.Size(494, 20);
210      this.resourceNamesTextBox.TabIndex = 14;
211      this.resourceNamesTextBox.Validated += new System.EventHandler(this.resourceNamesTextBox_Validated);
212      //
213      // useLocalPluginsCheckBox
214      //
215      this.useLocalPluginsCheckBox.Anchor = ((System.Windows.Forms.AnchorStyles)((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Right)));
216      this.useLocalPluginsCheckBox.AutoSize = true;
217      this.useLocalPluginsCheckBox.Location = new System.Drawing.Point(573, 56);
218      this.useLocalPluginsCheckBox.Name = "useLocalPluginsCheckBox";
219      this.useLocalPluginsCheckBox.Size = new System.Drawing.Size(105, 17);
220      this.useLocalPluginsCheckBox.TabIndex = 19;
221      this.useLocalPluginsCheckBox.Text = "UseLocalPlugins";
222      this.useLocalPluginsCheckBox.UseVisualStyleBackColor = true;
223      this.useLocalPluginsCheckBox.CheckedChanged += new System.EventHandler(this.useLocalPluginsCheckBox_CheckedChanged);
224      //
225      // nameLabel
226      //
227      this.nameLabel.AutoSize = true;
228      this.nameLabel.Location = new System.Drawing.Point(1, 27);
229      this.nameLabel.Name = "nameLabel";
230      this.nameLabel.Size = new System.Drawing.Size(38, 13);
231      this.nameLabel.TabIndex = 20;
232      this.nameLabel.Text = "Name:";
233      //
234      // nameTextBox
235      //
236      this.nameTextBox.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left)
237                  | System.Windows.Forms.AnchorStyles.Right)));
238      this.nameTextBox.Location = new System.Drawing.Point(73, 27);
239      this.nameTextBox.Name = "nameTextBox";
240      this.nameTextBox.Size = new System.Drawing.Size(605, 20);
241      this.nameTextBox.TabIndex = 21;
242      this.nameTextBox.Validated += new System.EventHandler(this.nameTextBox_Validated);
243      //
244      // refreshButton
245      //
246      this.refreshButton.Image = ((System.Drawing.Image)(resources.GetObject("refreshButton.Image")));
247      this.refreshButton.Location = new System.Drawing.Point(3, 0);
248      this.refreshButton.Name = "refreshButton";
249      this.refreshButton.Size = new System.Drawing.Size(24, 24);
250      this.refreshButton.TabIndex = 22;
251      this.toolTip.SetToolTip(this.refreshButton, "Refresh Data");
252      this.refreshButton.UseVisualStyleBackColor = true;
253      this.refreshButton.Click += new System.EventHandler(this.refreshButton_Click);
254      //
255      // refreshAutomaticallyCheckBox
256      //
257      this.refreshAutomaticallyCheckBox.AutoSize = true;
258      this.refreshAutomaticallyCheckBox.Location = new System.Drawing.Point(30, 5);
259      this.refreshAutomaticallyCheckBox.Name = "refreshAutomaticallyCheckBox";
260      this.refreshAutomaticallyCheckBox.Size = new System.Drawing.Size(128, 17);
261      this.refreshAutomaticallyCheckBox.TabIndex = 24;
262      this.refreshAutomaticallyCheckBox.Text = "&Refresh Automatically";
263      this.refreshAutomaticallyCheckBox.UseVisualStyleBackColor = true;
264      this.refreshAutomaticallyCheckBox.CheckedChanged += new System.EventHandler(this.refreshAutomaticallyCheckBox_CheckedChanged);
265      //
266      // infoGroupBox
267      //
268      this.infoGroupBox.Anchor = ((System.Windows.Forms.AnchorStyles)((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Right)));
269      this.infoGroupBox.Controls.Add(this.finishedTextBox);
270      this.infoGroupBox.Controls.Add(this.calculatingTextBox);
271      this.infoGroupBox.Controls.Add(this.jobsTextBox);
272      this.infoGroupBox.Controls.Add(this.finishedLabel);
273      this.infoGroupBox.Controls.Add(this.calculatingLabel);
274      this.infoGroupBox.Controls.Add(this.jobsLabel);
275      this.infoGroupBox.Location = new System.Drawing.Point(684, 5);
276      this.infoGroupBox.Name = "infoGroupBox";
277      this.infoGroupBox.Size = new System.Drawing.Size(133, 89);
278      this.infoGroupBox.TabIndex = 25;
279      this.infoGroupBox.TabStop = false;
280      this.infoGroupBox.Text = "Info";
281      //
282      // finishedTextBox
283      //
284      this.finishedTextBox.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left)
285                  | System.Windows.Forms.AnchorStyles.Right)));
286      this.finishedTextBox.Location = new System.Drawing.Point(74, 64);
287      this.finishedTextBox.Name = "finishedTextBox";
288      this.finishedTextBox.Size = new System.Drawing.Size(53, 20);
289      this.finishedTextBox.TabIndex = 5;
290      //
291      // calculatingTextBox
292      //
293      this.calculatingTextBox.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left)
294                  | System.Windows.Forms.AnchorStyles.Right)));
295      this.calculatingTextBox.Location = new System.Drawing.Point(74, 40);
296      this.calculatingTextBox.Name = "calculatingTextBox";
297      this.calculatingTextBox.Size = new System.Drawing.Size(53, 20);
298      this.calculatingTextBox.TabIndex = 4;
299      //
300      // jobsTextBox
301      //
302      this.jobsTextBox.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left)
303                  | System.Windows.Forms.AnchorStyles.Right)));
304      this.jobsTextBox.Location = new System.Drawing.Point(74, 16);
305      this.jobsTextBox.Name = "jobsTextBox";
306      this.jobsTextBox.Size = new System.Drawing.Size(53, 20);
307      this.jobsTextBox.TabIndex = 3;
308      //
309      // finishedLabel
310      //
311      this.finishedLabel.AutoSize = true;
312      this.finishedLabel.Location = new System.Drawing.Point(6, 67);
313      this.finishedLabel.Name = "finishedLabel";
314      this.finishedLabel.Size = new System.Drawing.Size(49, 13);
315      this.finishedLabel.TabIndex = 2;
316      this.finishedLabel.Text = "Finished:";
317      //
318      // calculatingLabel
319      //
320      this.calculatingLabel.AutoSize = true;
321      this.calculatingLabel.Location = new System.Drawing.Point(6, 43);
322      this.calculatingLabel.Name = "calculatingLabel";
323      this.calculatingLabel.Size = new System.Drawing.Size(62, 13);
324      this.calculatingLabel.TabIndex = 1;
325      this.calculatingLabel.Text = "Calculating:";
326      //
327      // jobsLabel
328      //
329      this.jobsLabel.AutoSize = true;
330      this.jobsLabel.Location = new System.Drawing.Point(6, 19);
331      this.jobsLabel.Name = "jobsLabel";
332      this.jobsLabel.Size = new System.Drawing.Size(32, 13);
333      this.jobsLabel.TabIndex = 0;
334      this.jobsLabel.Text = "Jobs:";
335      //
336      // jobsTreeView
337      //
338      this.jobsTreeView.AllowDrop = true;
339      this.jobsTreeView.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom)
340                  | System.Windows.Forms.AnchorStyles.Left)
341                  | System.Windows.Forms.AnchorStyles.Right)));
342      this.jobsTreeView.Caption = "ItemTree View";
343      this.jobsTreeView.Content = null;
344      this.jobsTreeView.Location = new System.Drawing.Point(2, 3);
345      this.jobsTreeView.Name = "jobsTreeView";
346      this.jobsTreeView.ReadOnly = false;
347      this.jobsTreeView.Size = new System.Drawing.Size(808, 488);
348      this.jobsTreeView.TabIndex = 0;
349      this.jobsTreeView.DragDrop += new System.Windows.Forms.DragEventHandler(this.jobsTreeView_DragDrop);
350      this.jobsTreeView.DragEnter += new System.Windows.Forms.DragEventHandler(this.jobsTreeView_DragEnter);
351      this.jobsTreeView.DragOver += new System.Windows.Forms.DragEventHandler(this.jobsTreeView_DragOver);
352      //
353      // RefreshableHiveExperimentView
354      //
355      this.AutoScaleDimensions = new System.Drawing.SizeF(6F, 13F);
356      this.AutoScaleMode = System.Windows.Forms.AutoScaleMode.Font;
357      this.Controls.Add(this.infoGroupBox);
358      this.Controls.Add(this.refreshAutomaticallyCheckBox);
359      this.Controls.Add(this.refreshButton);
360      this.Controls.Add(this.nameTextBox);
361      this.Controls.Add(this.nameLabel);
362      this.Controls.Add(this.tabControl);
363      this.Controls.Add(this.startButton);
364      this.Controls.Add(this.executionTimeTextBox);
365      this.Controls.Add(this.executionTimeLabel);
366      this.Controls.Add(this.resourceNamesTextBox);
367      this.Controls.Add(this.pauseButton);
368      this.Controls.Add(this.resourceIdsLabel);
369      this.Controls.Add(this.stopButton);
370      this.Controls.Add(this.useLocalPluginsCheckBox);
371      this.Controls.Add(this.resetButton);
372      this.Name = "RefreshableHiveExperimentView";
373      this.Size = new System.Drawing.Size(821, 628);
374      this.tabControl.ResumeLayout(false);
375      this.jobsTabPage.ResumeLayout(false);
376      this.logTabPage.ResumeLayout(false);
377      this.infoGroupBox.ResumeLayout(false);
378      this.infoGroupBox.PerformLayout();
379      this.ResumeLayout(false);
380      this.PerformLayout();
381
382    }
383    #endregion
384
385    private System.Windows.Forms.TabControl tabControl;
386    private System.Windows.Forms.Button startButton;
387    private System.Windows.Forms.Button stopButton;
388    private System.Windows.Forms.Button resetButton;
389    private System.Windows.Forms.Label executionTimeLabel;
390    private System.Windows.Forms.TextBox executionTimeTextBox;
391    private System.Windows.Forms.Button pauseButton;
392    private System.Windows.Forms.Label resourceIdsLabel;
393    private System.Windows.Forms.TextBox resourceNamesTextBox;
394    private System.Windows.Forms.TabPage logTabPage;
395    private Core.Views.LogView logView;
396    private System.Windows.Forms.CheckBox useLocalPluginsCheckBox;
397    private System.Windows.Forms.TabPage jobsTabPage;
398    private HiveJobItemTreeView jobsTreeView;
399    private System.Windows.Forms.Label nameLabel;
400    private System.Windows.Forms.TextBox nameTextBox;
401    private System.Windows.Forms.ToolTip toolTip;
402    private System.Windows.Forms.Button refreshButton;
403    private System.Windows.Forms.CheckBox refreshAutomaticallyCheckBox;
404    private System.Windows.Forms.GroupBox infoGroupBox;
405    private System.Windows.Forms.TextBox finishedTextBox;
406    private System.Windows.Forms.TextBox calculatingTextBox;
407    private System.Windows.Forms.TextBox jobsTextBox;
408    private System.Windows.Forms.Label finishedLabel;
409    private System.Windows.Forms.Label calculatingLabel;
410    private System.Windows.Forms.Label jobsLabel;
411
412  }
413}
Note: See TracBrowser for help on using the repository browser.