Free cookie consent management tool by TermsFeed Policy Generator

source: branches/HeuristicLab.DebugEngine/DebugEngineView.Designer.cs @ 4871

Last change on this file since 4871 was 4871, checked in by epitzer, 13 years ago

Refactoring and modularization of DebugEngine (#47)

File size: 14.3 KB
Line 
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.DebugEngine {
23  partial class DebugEngineView {
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 && (components != null)) {
35        components.Dispose();
36      }
37      base.Dispose(disposing);
38    }
39
40    #region Windows Form 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(DebugEngineView));
49      this.label1 = new System.Windows.Forms.Label();
50      this.executionTimeTextBox = new System.Windows.Forms.TextBox();
51      this.executionStackView = new HeuristicLab.DebugEngine.ExecutionStackView();
52      this.logView = new HeuristicLab.Core.Views.LogView();
53      this.splitContainer1 = new System.Windows.Forms.SplitContainer();
54      this.splitContainer2 = new System.Windows.Forms.SplitContainer();
55      this.splitContainer3 = new System.Windows.Forms.SplitContainer();
56      this.parameterCollectionView = new HeuristicLab.Core.Views.ParameterCollectionView();
57      this.label3 = new System.Windows.Forms.Label();
58      this.scopeTreeView = new System.Windows.Forms.TreeView();
59      this.label4 = new System.Windows.Forms.Label();
60      this.operationTextBox = new System.Windows.Forms.TextBox();
61      this.stepButton = new System.Windows.Forms.Button();
62      this.updateButton = new System.Windows.Forms.Button();
63      this.toolTip = new System.Windows.Forms.ToolTip(this.components);
64      this.parentButton = new System.Windows.Forms.Button();
65      this.splitContainer1.Panel1.SuspendLayout();
66      this.splitContainer1.Panel2.SuspendLayout();
67      this.splitContainer1.SuspendLayout();
68      this.splitContainer2.Panel1.SuspendLayout();
69      this.splitContainer2.Panel2.SuspendLayout();
70      this.splitContainer2.SuspendLayout();
71      this.splitContainer3.Panel1.SuspendLayout();
72      this.splitContainer3.Panel2.SuspendLayout();
73      this.splitContainer3.SuspendLayout();
74      this.SuspendLayout();
75      //
76      // label1
77      //
78      this.label1.AutoSize = true;
79      this.label1.Location = new System.Drawing.Point(3, 9);
80      this.label1.Name = "label1";
81      this.label1.Size = new System.Drawing.Size(83, 13);
82      this.label1.TabIndex = 0;
83      this.label1.Text = "Execution Time:";
84      //
85      // executionTimeTextBox
86      //
87      this.executionTimeTextBox.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left)
88                  | System.Windows.Forms.AnchorStyles.Right)));
89      this.executionTimeTextBox.Location = new System.Drawing.Point(92, 6);
90      this.executionTimeTextBox.Name = "executionTimeTextBox";
91      this.executionTimeTextBox.ReadOnly = true;
92      this.executionTimeTextBox.Size = new System.Drawing.Size(684, 20);
93      this.executionTimeTextBox.TabIndex = 1;
94      //
95      // executionStackView
96      //
97      this.executionStackView.Caption = "Execution Stack View";
98      this.executionStackView.Content = null;
99      this.executionStackView.Dock = System.Windows.Forms.DockStyle.Fill;
100      this.executionStackView.Location = new System.Drawing.Point(0, 0);
101      this.executionStackView.Name = "executionStackView";
102      this.executionStackView.ReadOnly = false;
103      this.executionStackView.Size = new System.Drawing.Size(433, 262);
104      this.executionStackView.TabIndex = 0;
105      //
106      // logView
107      //
108      this.logView.Caption = "Log View";
109      this.logView.Content = null;
110      this.logView.Dock = System.Windows.Forms.DockStyle.Fill;
111      this.logView.Location = new System.Drawing.Point(0, 0);
112      this.logView.Name = "logView";
113      this.logView.ReadOnly = false;
114      this.logView.Size = new System.Drawing.Size(433, 237);
115      this.logView.TabIndex = 2;
116      //
117      // splitContainer1
118      //
119      this.splitContainer1.Dock = System.Windows.Forms.DockStyle.Fill;
120      this.splitContainer1.Location = new System.Drawing.Point(0, 0);
121      this.splitContainer1.Name = "splitContainer1";
122      this.splitContainer1.Orientation = System.Windows.Forms.Orientation.Horizontal;
123      //
124      // splitContainer1.Panel1
125      //
126      this.splitContainer1.Panel1.Controls.Add(this.executionStackView);
127      //
128      // splitContainer1.Panel2
129      //
130      this.splitContainer1.Panel2.Controls.Add(this.logView);
131      this.splitContainer1.Size = new System.Drawing.Size(433, 503);
132      this.splitContainer1.SplitterDistance = 262;
133      this.splitContainer1.TabIndex = 3;
134      //
135      // splitContainer2
136      //
137      this.splitContainer2.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom)
138                  | System.Windows.Forms.AnchorStyles.Left)
139                  | System.Windows.Forms.AnchorStyles.Right)));
140      this.splitContainer2.Location = new System.Drawing.Point(3, 32);
141      this.splitContainer2.Name = "splitContainer2";
142      //
143      // splitContainer2.Panel1
144      //
145      this.splitContainer2.Panel1.Controls.Add(this.splitContainer1);
146      //
147      // splitContainer2.Panel2
148      //
149      this.splitContainer2.Panel2.Controls.Add(this.splitContainer3);
150      this.splitContainer2.Panel2.Controls.Add(this.label4);
151      this.splitContainer2.Panel2.Controls.Add(this.operationTextBox);
152      this.splitContainer2.Size = new System.Drawing.Size(866, 503);
153      this.splitContainer2.SplitterDistance = 433;
154      this.splitContainer2.TabIndex = 0;
155      //
156      // splitContainer3
157      //
158      this.splitContainer3.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom)
159                  | System.Windows.Forms.AnchorStyles.Left)
160                  | System.Windows.Forms.AnchorStyles.Right)));
161      this.splitContainer3.Location = new System.Drawing.Point(3, 29);
162      this.splitContainer3.Name = "splitContainer3";
163      this.splitContainer3.Orientation = System.Windows.Forms.Orientation.Horizontal;
164      //
165      // splitContainer3.Panel1
166      //
167      this.splitContainer3.Panel1.Controls.Add(this.parameterCollectionView);
168      //
169      // splitContainer3.Panel2
170      //
171      this.splitContainer3.Panel2.Controls.Add(this.label3);
172      this.splitContainer3.Panel2.Controls.Add(this.scopeTreeView);
173      this.splitContainer3.Size = new System.Drawing.Size(423, 471);
174      this.splitContainer3.SplitterDistance = 235;
175      this.splitContainer3.TabIndex = 4;
176      //
177      // parameterCollectionView
178      //
179      this.parameterCollectionView.Caption = "ParameterCollection View";
180      this.parameterCollectionView.Content = null;
181      this.parameterCollectionView.Dock = System.Windows.Forms.DockStyle.Fill;
182      this.parameterCollectionView.Location = new System.Drawing.Point(0, 0);
183      this.parameterCollectionView.Name = "parameterCollectionView";
184      this.parameterCollectionView.ReadOnly = false;
185      this.parameterCollectionView.Size = new System.Drawing.Size(423, 235);
186      this.parameterCollectionView.TabIndex = 0;
187      //
188      // label3
189      //
190      this.label3.AutoSize = true;
191      this.label3.Location = new System.Drawing.Point(3, 0);
192      this.label3.Name = "label3";
193      this.label3.Size = new System.Drawing.Size(63, 13);
194      this.label3.TabIndex = 1;
195      this.label3.Text = "Scope Tree";
196      //
197      // scopeTreeView
198      //
199      this.scopeTreeView.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom)
200                  | System.Windows.Forms.AnchorStyles.Left)
201                  | System.Windows.Forms.AnchorStyles.Right)));
202      this.scopeTreeView.Location = new System.Drawing.Point(3, 16);
203      this.scopeTreeView.Name = "scopeTreeView";
204      this.scopeTreeView.ShowNodeToolTips = true;
205      this.scopeTreeView.Size = new System.Drawing.Size(417, 216);
206      this.scopeTreeView.TabIndex = 0;
207      this.scopeTreeView.NodeMouseDoubleClick += new System.Windows.Forms.TreeNodeMouseClickEventHandler(this.scopeTreeView_NodeMouseDoubleClick);
208      //
209      // label4
210      //
211      this.label4.AutoSize = true;
212      this.label4.Location = new System.Drawing.Point(3, 6);
213      this.label4.Name = "label4";
214      this.label4.Size = new System.Drawing.Size(56, 13);
215      this.label4.TabIndex = 3;
216      this.label4.Text = "Operation:";
217      //
218      // operationTextBox
219      //
220      this.operationTextBox.Location = new System.Drawing.Point(65, 3);
221      this.operationTextBox.Name = "operationTextBox";
222      this.operationTextBox.ReadOnly = true;
223      this.operationTextBox.Size = new System.Drawing.Size(267, 20);
224      this.operationTextBox.TabIndex = 2;
225      //
226      // stepButton
227      //
228      this.stepButton.Anchor = ((System.Windows.Forms.AnchorStyles)((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Right)));
229      this.stepButton.Image = ((System.Drawing.Image)(resources.GetObject("stepButton.Image")));
230      this.stepButton.Location = new System.Drawing.Point(812, 3);
231      this.stepButton.Name = "stepButton";
232      this.stepButton.Size = new System.Drawing.Size(24, 24);
233      this.stepButton.TabIndex = 4;
234      this.toolTip.SetToolTip(this.stepButton, "Step");
235      this.stepButton.UseVisualStyleBackColor = true;
236      this.stepButton.Click += new System.EventHandler(this.stepButton_Click);
237      //
238      // updateButton
239      //
240      this.updateButton.Anchor = ((System.Windows.Forms.AnchorStyles)((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Right)));
241      this.updateButton.Image = ((System.Drawing.Image)(resources.GetObject("updateButton.Image")));
242      this.updateButton.Location = new System.Drawing.Point(842, 3);
243      this.updateButton.Name = "updateButton";
244      this.updateButton.Size = new System.Drawing.Size(24, 24);
245      this.updateButton.TabIndex = 5;
246      this.toolTip.SetToolTip(this.updateButton, "Refresh/Reset View");
247      this.updateButton.UseVisualStyleBackColor = true;
248      this.updateButton.Click += new System.EventHandler(this.updateButton_Click);
249      //
250      // parentButton
251      //
252      this.parentButton.Anchor = ((System.Windows.Forms.AnchorStyles)((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Right)));
253      this.parentButton.Image = ((System.Drawing.Image)(resources.GetObject("parentButton.Image")));
254      this.parentButton.Location = new System.Drawing.Point(782, 3);
255      this.parentButton.Name = "parentButton";
256      this.parentButton.Size = new System.Drawing.Size(24, 24);
257      this.parentButton.TabIndex = 6;
258      this.toolTip.SetToolTip(this.parentButton, "Go to parent ExecutionContext");
259      this.parentButton.UseVisualStyleBackColor = true;
260      this.parentButton.Click += new System.EventHandler(this.parentButton_Click);
261      //
262      // DebugEngineView
263      //
264      this.AutoScaleDimensions = new System.Drawing.SizeF(6F, 13F);
265      this.Controls.Add(this.parentButton);
266      this.Controls.Add(this.splitContainer2);
267      this.Controls.Add(this.updateButton);
268      this.Controls.Add(this.stepButton);
269      this.Controls.Add(this.executionTimeTextBox);
270      this.Controls.Add(this.label1);
271      this.Name = "DebugEngineView";
272      this.Size = new System.Drawing.Size(872, 538);
273      this.splitContainer1.Panel1.ResumeLayout(false);
274      this.splitContainer1.Panel2.ResumeLayout(false);
275      this.splitContainer1.ResumeLayout(false);
276      this.splitContainer2.Panel1.ResumeLayout(false);
277      this.splitContainer2.Panel2.ResumeLayout(false);
278      this.splitContainer2.Panel2.PerformLayout();
279      this.splitContainer2.ResumeLayout(false);
280      this.splitContainer3.Panel1.ResumeLayout(false);
281      this.splitContainer3.Panel2.ResumeLayout(false);
282      this.splitContainer3.Panel2.PerformLayout();
283      this.splitContainer3.ResumeLayout(false);
284      this.ResumeLayout(false);
285      this.PerformLayout();
286
287    }
288
289    #endregion
290
291    private System.Windows.Forms.Label label1;
292    private System.Windows.Forms.TextBox executionTimeTextBox;
293    private Core.Views.LogView logView;
294    private System.Windows.Forms.SplitContainer splitContainer1;
295    private System.Windows.Forms.SplitContainer splitContainer2;
296    private System.Windows.Forms.Label label3;
297    private System.Windows.Forms.TreeView scopeTreeView;
298    private System.Windows.Forms.Button stepButton;
299    private System.Windows.Forms.Button updateButton;
300    private System.Windows.Forms.ToolTip toolTip;
301    private System.Windows.Forms.Button parentButton;
302    private System.Windows.Forms.Label label4;
303    private System.Windows.Forms.TextBox operationTextBox;
304    private System.Windows.Forms.SplitContainer splitContainer3;
305    private Core.Views.ParameterCollectionView parameterCollectionView;
306    private HeuristicLab.DebugEngine.ExecutionStackView executionStackView;
307
308  }
309}
Note: See TracBrowser for help on using the repository browser.