Free cookie consent management tool by TermsFeed Policy Generator

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

Last change on this file since 4823 was 4765, checked in by epitzer, 14 years ago

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