Free cookie consent management tool by TermsFeed Policy Generator

source: branches/PushGP/HeuristicLab.PushGP/HeuristicLab.Problems.ProgramSynthesis/Push/Views/PushProgramDebuggerView.Designer.cs @ 14727

Last change on this file since 14727 was 14727, checked in by pkimmesw, 7 years ago

#2665 PushGP HL Integration, Views, Parameters

File size: 19.7 KB
Line 
1namespace HeuristicLab.Problems.ProgramSynthesis.Push.Views {
2  partial class PushProgramDebuggerView {
3    /// <summary>
4    /// Required designer variable.
5    /// </summary>
6    private System.ComponentModel.IContainer components = null;
7
8    /// <summary>
9    /// Clean up any resources being used.
10    /// </summary>
11    /// <param name="disposing">true if managed resources should be disposed; otherwise, false.</param>
12    protected override void Dispose(bool disposing) {
13      if (disposing && (components != null)) {
14        components.Dispose();
15      }
16      base.Dispose(disposing);
17    }
18
19    #region Component Designer generated code
20
21    /// <summary>
22    /// Required method for Designer support - do not modify
23    /// the contents of this method with the code editor.
24    /// </summary>
25    private void InitializeComponent() {
26      System.ComponentModel.ComponentResourceManager resources = new System.ComponentModel.ComponentResourceManager(typeof(PushProgramDebuggerView));
27      this.execGroupBox = new System.Windows.Forms.GroupBox();
28      this.execList = new System.Windows.Forms.ListBox();
29      this.integerGroupBox = new System.Windows.Forms.GroupBox();
30      this.integerList = new System.Windows.Forms.ListBox();
31      this.floatGroupBox = new System.Windows.Forms.GroupBox();
32      this.floatList = new System.Windows.Forms.ListBox();
33      this.codeGroupBox = new System.Windows.Forms.GroupBox();
34      this.codeList = new System.Windows.Forms.ListBox();
35      this.booleanGroupBox = new System.Windows.Forms.GroupBox();
36      this.booleanList = new System.Windows.Forms.ListBox();
37      this.nameGroupBox = new System.Windows.Forms.GroupBox();
38      this.nameList = new System.Windows.Forms.ListBox();
39      this.stepButton = new System.Windows.Forms.Button();
40      this.resetButton = new System.Windows.Forms.Button();
41      this.label1 = new System.Windows.Forms.Label();
42      this.exampleComboBox = new System.Windows.Forms.ComboBox();
43      this.tableLayoutPanel1 = new System.Windows.Forms.TableLayoutPanel();
44      this.stepWidthBox = new System.Windows.Forms.NumericUpDown();
45      this.runButton = new System.Windows.Forms.Button();
46      ((System.ComponentModel.ISupportInitialize)(this.errorProvider)).BeginInit();
47      this.execGroupBox.SuspendLayout();
48      this.integerGroupBox.SuspendLayout();
49      this.floatGroupBox.SuspendLayout();
50      this.codeGroupBox.SuspendLayout();
51      this.booleanGroupBox.SuspendLayout();
52      this.nameGroupBox.SuspendLayout();
53      this.tableLayoutPanel1.SuspendLayout();
54      ((System.ComponentModel.ISupportInitialize)(this.stepWidthBox)).BeginInit();
55      this.SuspendLayout();
56      //
57      // nameTextBox
58      //
59      this.errorProvider.SetIconAlignment(this.nameTextBox, System.Windows.Forms.ErrorIconAlignment.MiddleLeft);
60      this.errorProvider.SetIconPadding(this.nameTextBox, 2);
61      this.nameTextBox.Size = new System.Drawing.Size(890, 20);
62      //
63      // infoLabel
64      //
65      this.infoLabel.Location = new System.Drawing.Point(954, 3);
66      //
67      // execGroupBox
68      //
69      this.execGroupBox.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom)
70            | System.Windows.Forms.AnchorStyles.Left)
71            | System.Windows.Forms.AnchorStyles.Right)));
72      this.execGroupBox.Controls.Add(this.execList);
73      this.execGroupBox.Location = new System.Drawing.Point(3, 3);
74      this.execGroupBox.Name = "execGroupBox";
75      this.execGroupBox.Size = new System.Drawing.Size(244, 633);
76      this.execGroupBox.TabIndex = 3;
77      this.execGroupBox.TabStop = false;
78      this.execGroupBox.Text = "Exec";
79      //
80      // execList
81      //
82      this.execList.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom)
83            | System.Windows.Forms.AnchorStyles.Left)
84            | System.Windows.Forms.AnchorStyles.Right)));
85      this.execList.FormattingEnabled = true;
86      this.execList.HorizontalScrollbar = true;
87      this.execList.Location = new System.Drawing.Point(7, 20);
88      this.execList.Name = "execList";
89      this.execList.SelectionMode = System.Windows.Forms.SelectionMode.None;
90      this.execList.Size = new System.Drawing.Size(231, 602);
91      this.execList.TabIndex = 0;
92      //
93      // integerGroupBox
94      //
95      this.integerGroupBox.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom)
96            | System.Windows.Forms.AnchorStyles.Left)
97            | System.Windows.Forms.AnchorStyles.Right)));
98      this.integerGroupBox.Controls.Add(this.integerList);
99      this.integerGroupBox.Location = new System.Drawing.Point(628, 3);
100      this.integerGroupBox.Name = "integerGroupBox";
101      this.integerGroupBox.Size = new System.Drawing.Size(119, 633);
102      this.integerGroupBox.TabIndex = 4;
103      this.integerGroupBox.TabStop = false;
104      this.integerGroupBox.Text = "Integer";
105      //
106      // integerList
107      //
108      this.integerList.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom)
109            | System.Windows.Forms.AnchorStyles.Left)
110            | System.Windows.Forms.AnchorStyles.Right)));
111      this.integerList.FormattingEnabled = true;
112      this.integerList.HorizontalScrollbar = true;
113      this.integerList.Location = new System.Drawing.Point(6, 19);
114      this.integerList.Name = "integerList";
115      this.integerList.SelectionMode = System.Windows.Forms.SelectionMode.None;
116      this.integerList.Size = new System.Drawing.Size(107, 602);
117      this.integerList.TabIndex = 3;
118      //
119      // floatGroupBox
120      //
121      this.floatGroupBox.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom)
122            | System.Windows.Forms.AnchorStyles.Left)
123            | System.Windows.Forms.AnchorStyles.Right)));
124      this.floatGroupBox.Controls.Add(this.floatList);
125      this.floatGroupBox.Location = new System.Drawing.Point(753, 3);
126      this.floatGroupBox.Name = "floatGroupBox";
127      this.floatGroupBox.Size = new System.Drawing.Size(119, 633);
128      this.floatGroupBox.TabIndex = 5;
129      this.floatGroupBox.TabStop = false;
130      this.floatGroupBox.Text = "Float";
131      //
132      // floatList
133      //
134      this.floatList.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom)
135            | System.Windows.Forms.AnchorStyles.Left)
136            | System.Windows.Forms.AnchorStyles.Right)));
137      this.floatList.FormattingEnabled = true;
138      this.floatList.HorizontalScrollbar = true;
139      this.floatList.Location = new System.Drawing.Point(6, 19);
140      this.floatList.Name = "floatList";
141      this.floatList.SelectionMode = System.Windows.Forms.SelectionMode.None;
142      this.floatList.Size = new System.Drawing.Size(107, 602);
143      this.floatList.TabIndex = 4;
144      //
145      // codeGroupBox
146      //
147      this.codeGroupBox.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom)
148            | System.Windows.Forms.AnchorStyles.Left)
149            | System.Windows.Forms.AnchorStyles.Right)));
150      this.codeGroupBox.Controls.Add(this.codeList);
151      this.codeGroupBox.Location = new System.Drawing.Point(253, 3);
152      this.codeGroupBox.Name = "codeGroupBox";
153      this.codeGroupBox.Size = new System.Drawing.Size(244, 633);
154      this.codeGroupBox.TabIndex = 5;
155      this.codeGroupBox.TabStop = false;
156      this.codeGroupBox.Text = "Code";
157      //
158      // codeList
159      //
160      this.codeList.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom)
161            | System.Windows.Forms.AnchorStyles.Left)
162            | System.Windows.Forms.AnchorStyles.Right)));
163      this.codeList.FormattingEnabled = true;
164      this.codeList.HorizontalScrollbar = true;
165      this.codeList.Location = new System.Drawing.Point(7, 19);
166      this.codeList.Name = "codeList";
167      this.codeList.SelectionMode = System.Windows.Forms.SelectionMode.None;
168      this.codeList.Size = new System.Drawing.Size(231, 602);
169      this.codeList.TabIndex = 1;
170      //
171      // booleanGroupBox
172      //
173      this.booleanGroupBox.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom)
174            | System.Windows.Forms.AnchorStyles.Left)
175            | System.Windows.Forms.AnchorStyles.Right)));
176      this.booleanGroupBox.Controls.Add(this.booleanList);
177      this.booleanGroupBox.Location = new System.Drawing.Point(878, 3);
178      this.booleanGroupBox.Name = "booleanGroupBox";
179      this.booleanGroupBox.Size = new System.Drawing.Size(119, 633);
180      this.booleanGroupBox.TabIndex = 5;
181      this.booleanGroupBox.TabStop = false;
182      this.booleanGroupBox.Text = "Boolean";
183      //
184      // booleanList
185      //
186      this.booleanList.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom)
187            | System.Windows.Forms.AnchorStyles.Left)
188            | System.Windows.Forms.AnchorStyles.Right)));
189      this.booleanList.FormattingEnabled = true;
190      this.booleanList.HorizontalScrollbar = true;
191      this.booleanList.Location = new System.Drawing.Point(6, 19);
192      this.booleanList.Name = "booleanList";
193      this.booleanList.SelectionMode = System.Windows.Forms.SelectionMode.None;
194      this.booleanList.Size = new System.Drawing.Size(107, 602);
195      this.booleanList.TabIndex = 5;
196      //
197      // nameGroupBox
198      //
199      this.nameGroupBox.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.nameGroupBox.Controls.Add(this.nameList);
203      this.nameGroupBox.Location = new System.Drawing.Point(503, 3);
204      this.nameGroupBox.Name = "nameGroupBox";
205      this.nameGroupBox.Size = new System.Drawing.Size(119, 633);
206      this.nameGroupBox.TabIndex = 5;
207      this.nameGroupBox.TabStop = false;
208      this.nameGroupBox.Text = "Name";
209      //
210      // nameList
211      //
212      this.nameList.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom)
213            | System.Windows.Forms.AnchorStyles.Left)
214            | System.Windows.Forms.AnchorStyles.Right)));
215      this.nameList.FormattingEnabled = true;
216      this.nameList.HorizontalScrollbar = true;
217      this.nameList.Location = new System.Drawing.Point(6, 19);
218      this.nameList.Name = "nameList";
219      this.nameList.SelectionMode = System.Windows.Forms.SelectionMode.None;
220      this.nameList.Size = new System.Drawing.Size(107, 602);
221      this.nameList.TabIndex = 2;
222      //
223      // stepButton
224      //
225      this.stepButton.Anchor = ((System.Windows.Forms.AnchorStyles)((System.Windows.Forms.AnchorStyles.Bottom | System.Windows.Forms.AnchorStyles.Left)));
226      this.stepButton.Image = ((System.Drawing.Image)(resources.GetObject("stepButton.Image")));
227      this.stepButton.Location = new System.Drawing.Point(112, 698);
228      this.stepButton.Name = "stepButton";
229      this.stepButton.Size = new System.Drawing.Size(28, 26);
230      this.stepButton.TabIndex = 6;
231      this.toolTip.SetToolTip(this.stepButton, "Step");
232      this.stepButton.UseVisualStyleBackColor = true;
233      //
234      // resetButton
235      //
236      this.resetButton.Anchor = ((System.Windows.Forms.AnchorStyles)((System.Windows.Forms.AnchorStyles.Bottom | System.Windows.Forms.AnchorStyles.Left)));
237      this.resetButton.Image = ((System.Drawing.Image)(resources.GetObject("resetButton.Image")));
238      this.resetButton.Location = new System.Drawing.Point(6, 698);
239      this.resetButton.Name = "resetButton";
240      this.resetButton.Size = new System.Drawing.Size(28, 26);
241      this.resetButton.TabIndex = 7;
242      this.toolTip.SetToolTip(this.resetButton, "Reset to start");
243      this.resetButton.UseVisualStyleBackColor = true;
244      //
245      // label1
246      //
247      this.label1.AutoSize = true;
248      this.label1.Location = new System.Drawing.Point(3, 29);
249      this.label1.Name = "label1";
250      this.label1.Size = new System.Drawing.Size(50, 13);
251      this.label1.TabIndex = 8;
252      this.label1.Text = "Example:";
253      //
254      // exampleComboBox
255      //
256      this.exampleComboBox.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom)
257            | System.Windows.Forms.AnchorStyles.Left)
258            | System.Windows.Forms.AnchorStyles.Right)));
259      this.exampleComboBox.FormattingEnabled = true;
260      this.exampleComboBox.Location = new System.Drawing.Point(58, 26);
261      this.exampleComboBox.Name = "exampleComboBox";
262      this.exampleComboBox.Size = new System.Drawing.Size(890, 21);
263      this.exampleComboBox.TabIndex = 9;
264      //
265      // tableLayoutPanel1
266      //
267      this.tableLayoutPanel1.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom)
268            | System.Windows.Forms.AnchorStyles.Left)
269            | System.Windows.Forms.AnchorStyles.Right)));
270      this.tableLayoutPanel1.AutoScroll = true;
271      this.tableLayoutPanel1.ColumnCount = 7;
272      this.tableLayoutPanel1.ColumnStyles.Add(new System.Windows.Forms.ColumnStyle(System.Windows.Forms.SizeType.Absolute, 250F));
273      this.tableLayoutPanel1.ColumnStyles.Add(new System.Windows.Forms.ColumnStyle(System.Windows.Forms.SizeType.Absolute, 250F));
274      this.tableLayoutPanel1.ColumnStyles.Add(new System.Windows.Forms.ColumnStyle(System.Windows.Forms.SizeType.Absolute, 125F));
275      this.tableLayoutPanel1.ColumnStyles.Add(new System.Windows.Forms.ColumnStyle(System.Windows.Forms.SizeType.Absolute, 125F));
276      this.tableLayoutPanel1.ColumnStyles.Add(new System.Windows.Forms.ColumnStyle(System.Windows.Forms.SizeType.Absolute, 125F));
277      this.tableLayoutPanel1.ColumnStyles.Add(new System.Windows.Forms.ColumnStyle(System.Windows.Forms.SizeType.Absolute, 125F));
278      this.tableLayoutPanel1.ColumnStyles.Add(new System.Windows.Forms.ColumnStyle(System.Windows.Forms.SizeType.Absolute, 36F));
279      this.tableLayoutPanel1.Controls.Add(this.codeGroupBox, 1, 0);
280      this.tableLayoutPanel1.Controls.Add(this.nameGroupBox, 2, 0);
281      this.tableLayoutPanel1.Controls.Add(this.integerGroupBox, 3, 0);
282      this.tableLayoutPanel1.Controls.Add(this.floatGroupBox, 4, 0);
283      this.tableLayoutPanel1.Controls.Add(this.booleanGroupBox, 5, 0);
284      this.tableLayoutPanel1.Controls.Add(this.execGroupBox, 0, 0);
285      this.tableLayoutPanel1.Location = new System.Drawing.Point(6, 53);
286      this.tableLayoutPanel1.Name = "tableLayoutPanel1";
287      this.tableLayoutPanel1.RowCount = 1;
288      this.tableLayoutPanel1.RowStyles.Add(new System.Windows.Forms.RowStyle(System.Windows.Forms.SizeType.Percent, 100F));
289      this.tableLayoutPanel1.Size = new System.Drawing.Size(1036, 639);
290      this.tableLayoutPanel1.TabIndex = 1;
291      //
292      // stepWidthBox
293      //
294      this.stepWidthBox.Anchor = ((System.Windows.Forms.AnchorStyles)((System.Windows.Forms.AnchorStyles.Bottom | System.Windows.Forms.AnchorStyles.Left)));
295      this.stepWidthBox.Font = new System.Drawing.Font("Microsoft Sans Serif", 11F, System.Drawing.FontStyle.Regular, System.Drawing.GraphicsUnit.Point, ((byte)(0)));
296      this.stepWidthBox.Location = new System.Drawing.Point(73, 699);
297      this.stepWidthBox.Maximum = new decimal(new int[] {
298            99999,
299            0,
300            0,
301            0});
302      this.stepWidthBox.Minimum = new decimal(new int[] {
303            1,
304            0,
305            0,
306            0});
307      this.stepWidthBox.Name = "stepWidthBox";
308      this.stepWidthBox.Size = new System.Drawing.Size(40, 24);
309      this.stepWidthBox.TabIndex = 2;
310      this.stepWidthBox.Value = new decimal(new int[] {
311            1,
312            0,
313            0,
314            0});
315      //
316      // runButton
317      //
318      this.runButton.Anchor = ((System.Windows.Forms.AnchorStyles)((System.Windows.Forms.AnchorStyles.Bottom | System.Windows.Forms.AnchorStyles.Left)));
319      this.runButton.Image = ((System.Drawing.Image)(resources.GetObject("runButton.Image")));
320      this.runButton.Location = new System.Drawing.Point(40, 698);
321      this.runButton.Name = "runButton";
322      this.runButton.Size = new System.Drawing.Size(28, 26);
323      this.runButton.TabIndex = 10;
324      this.toolTip.SetToolTip(this.runButton, "Run all instructions");
325      this.runButton.UseVisualStyleBackColor = true;
326      //
327      // PushProgramDebuggerView
328      //
329      this.AutoScaleDimensions = new System.Drawing.SizeF(6F, 13F);
330      this.AutoScaleMode = System.Windows.Forms.AutoScaleMode.Font;
331      this.Controls.Add(this.runButton);
332      this.Controls.Add(this.stepWidthBox);
333      this.Controls.Add(this.tableLayoutPanel1);
334      this.Controls.Add(this.exampleComboBox);
335      this.Controls.Add(this.label1);
336      this.Controls.Add(this.resetButton);
337      this.Controls.Add(this.stepButton);
338      this.Name = "PushProgramDebuggerView";
339      this.Size = new System.Drawing.Size(1058, 727);
340      this.Controls.SetChildIndex(this.stepButton, 0);
341      this.Controls.SetChildIndex(this.resetButton, 0);
342      this.Controls.SetChildIndex(this.label1, 0);
343      this.Controls.SetChildIndex(this.exampleComboBox, 0);
344      this.Controls.SetChildIndex(this.tableLayoutPanel1, 0);
345      this.Controls.SetChildIndex(this.nameLabel, 0);
346      this.Controls.SetChildIndex(this.nameTextBox, 0);
347      this.Controls.SetChildIndex(this.infoLabel, 0);
348      this.Controls.SetChildIndex(this.stepWidthBox, 0);
349      this.Controls.SetChildIndex(this.runButton, 0);
350      ((System.ComponentModel.ISupportInitialize)(this.errorProvider)).EndInit();
351      this.execGroupBox.ResumeLayout(false);
352      this.integerGroupBox.ResumeLayout(false);
353      this.floatGroupBox.ResumeLayout(false);
354      this.codeGroupBox.ResumeLayout(false);
355      this.booleanGroupBox.ResumeLayout(false);
356      this.nameGroupBox.ResumeLayout(false);
357      this.tableLayoutPanel1.ResumeLayout(false);
358      ((System.ComponentModel.ISupportInitialize)(this.stepWidthBox)).EndInit();
359      this.ResumeLayout(false);
360      this.PerformLayout();
361
362    }
363
364    #endregion
365
366    private System.Windows.Forms.GroupBox execGroupBox;
367    private System.Windows.Forms.GroupBox integerGroupBox;
368    private System.Windows.Forms.GroupBox floatGroupBox;
369    private System.Windows.Forms.GroupBox codeGroupBox;
370    private System.Windows.Forms.GroupBox booleanGroupBox;
371    private System.Windows.Forms.GroupBox nameGroupBox;
372    private System.Windows.Forms.ListBox execList;
373    private System.Windows.Forms.ListBox integerList;
374    private System.Windows.Forms.ListBox floatList;
375    private System.Windows.Forms.ListBox codeList;
376    private System.Windows.Forms.ListBox booleanList;
377    private System.Windows.Forms.ListBox nameList;
378    private System.Windows.Forms.Button stepButton;
379    private System.Windows.Forms.Button resetButton;
380    private System.Windows.Forms.Label label1;
381    private System.Windows.Forms.ComboBox exampleComboBox;
382    private System.Windows.Forms.TableLayoutPanel tableLayoutPanel1;
383    private System.Windows.Forms.NumericUpDown stepWidthBox;
384    private System.Windows.Forms.Button runButton;
385  }
386}
Note: See TracBrowser for help on using the repository browser.