Free cookie consent management tool by TermsFeed Policy Generator

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

Last change on this file since 14778 was 14777, checked in by pkimmesw, 8 years ago

#2665 simplifier, push solution results view, performance improvements, small bug fixes, ui fixes

File size: 34.5 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.tabControl = new System.Windows.Forms.TabControl();
28      this.tabPage1 = new System.Windows.Forms.TabPage();
29      this.simplifyButton = new System.Windows.Forms.Button();
30      this.skipNoopsCheckBox = new System.Windows.Forms.CheckBox();
31      this.runButton = new System.Windows.Forms.Button();
32      this.stepWidthBox = new System.Windows.Forms.NumericUpDown();
33      this.resetButton = new System.Windows.Forms.Button();
34      this.stepButton = new System.Windows.Forms.Button();
35      this.exampleComboBox = new System.Windows.Forms.ComboBox();
36      this.label1 = new System.Windows.Forms.Label();
37      this.debugTableLayout = new System.Windows.Forms.TableLayoutPanel();
38      this.codeGroupBox = new System.Windows.Forms.GroupBox();
39      this.codeList = new System.Windows.Forms.ListBox();
40      this.nameGroupBox = new System.Windows.Forms.GroupBox();
41      this.nameList = new System.Windows.Forms.ListBox();
42      this.integerGroupBox = new System.Windows.Forms.GroupBox();
43      this.integerList = new System.Windows.Forms.ListBox();
44      this.floatGroupBox = new System.Windows.Forms.GroupBox();
45      this.groupBox2 = new System.Windows.Forms.GroupBox();
46      this.listBox2 = new System.Windows.Forms.ListBox();
47      this.floatList = new System.Windows.Forms.ListBox();
48      this.execGroupBox = new System.Windows.Forms.GroupBox();
49      this.execList = new System.Windows.Forms.ListView();
50      this.booleanGroupBox = new System.Windows.Forms.GroupBox();
51      this.groupBox4 = new System.Windows.Forms.GroupBox();
52      this.listBox3 = new System.Windows.Forms.ListBox();
53      this.booleanList = new System.Windows.Forms.ListBox();
54      this.stringGroupBox = new System.Windows.Forms.GroupBox();
55      this.groupBox6 = new System.Windows.Forms.GroupBox();
56      this.listBox5 = new System.Windows.Forms.ListBox();
57      this.stringList = new System.Windows.Forms.ListBox();
58      this.charGroupBox = new System.Windows.Forms.GroupBox();
59      this.groupBox8 = new System.Windows.Forms.GroupBox();
60      this.listBox7 = new System.Windows.Forms.ListBox();
61      this.charList = new System.Windows.Forms.ListBox();
62      this.tabPage2 = new System.Windows.Forms.TabPage();
63      this.resultsDataGrid = new System.Windows.Forms.DataGridView();
64      ((System.ComponentModel.ISupportInitialize)(this.errorProvider)).BeginInit();
65      this.tabControl.SuspendLayout();
66      this.tabPage1.SuspendLayout();
67      ((System.ComponentModel.ISupportInitialize)(this.stepWidthBox)).BeginInit();
68      this.debugTableLayout.SuspendLayout();
69      this.codeGroupBox.SuspendLayout();
70      this.nameGroupBox.SuspendLayout();
71      this.integerGroupBox.SuspendLayout();
72      this.floatGroupBox.SuspendLayout();
73      this.groupBox2.SuspendLayout();
74      this.execGroupBox.SuspendLayout();
75      this.booleanGroupBox.SuspendLayout();
76      this.groupBox4.SuspendLayout();
77      this.stringGroupBox.SuspendLayout();
78      this.groupBox6.SuspendLayout();
79      this.charGroupBox.SuspendLayout();
80      this.groupBox8.SuspendLayout();
81      this.tabPage2.SuspendLayout();
82      ((System.ComponentModel.ISupportInitialize)(this.resultsDataGrid)).BeginInit();
83      this.SuspendLayout();
84      //
85      // nameTextBox
86      //
87      this.errorProvider.SetIconAlignment(this.nameTextBox, System.Windows.Forms.ErrorIconAlignment.MiddleLeft);
88      this.errorProvider.SetIconPadding(this.nameTextBox, 2);
89      this.nameTextBox.Size = new System.Drawing.Size(1176, 20);
90      //
91      // infoLabel
92      //
93      this.infoLabel.Location = new System.Drawing.Point(1259, 3);
94      //
95      // tabControl
96      //
97      this.tabControl.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom)
98            | System.Windows.Forms.AnchorStyles.Left)
99            | System.Windows.Forms.AnchorStyles.Right)));
100      this.tabControl.Controls.Add(this.tabPage1);
101      this.tabControl.Controls.Add(this.tabPage2);
102      this.tabControl.Location = new System.Drawing.Point(6, 26);
103      this.tabControl.Name = "tabControl";
104      this.tabControl.SelectedIndex = 0;
105      this.tabControl.Size = new System.Drawing.Size(1269, 698);
106      this.tabControl.TabIndex = 12;
107      //
108      // tabPage1
109      //
110      this.tabPage1.Controls.Add(this.simplifyButton);
111      this.tabPage1.Controls.Add(this.skipNoopsCheckBox);
112      this.tabPage1.Controls.Add(this.runButton);
113      this.tabPage1.Controls.Add(this.stepWidthBox);
114      this.tabPage1.Controls.Add(this.resetButton);
115      this.tabPage1.Controls.Add(this.stepButton);
116      this.tabPage1.Controls.Add(this.exampleComboBox);
117      this.tabPage1.Controls.Add(this.label1);
118      this.tabPage1.Controls.Add(this.debugTableLayout);
119      this.tabPage1.Location = new System.Drawing.Point(4, 22);
120      this.tabPage1.Name = "tabPage1";
121      this.tabPage1.Padding = new System.Windows.Forms.Padding(3);
122      this.tabPage1.Size = new System.Drawing.Size(1261, 672);
123      this.tabPage1.TabIndex = 0;
124      this.tabPage1.Text = "Debug";
125      this.tabPage1.UseVisualStyleBackColor = true;
126      //
127      // simplifyButton
128      //
129      this.simplifyButton.Anchor = ((System.Windows.Forms.AnchorStyles)((System.Windows.Forms.AnchorStyles.Bottom | System.Windows.Forms.AnchorStyles.Left)));
130      this.simplifyButton.Location = new System.Drawing.Point(237, 640);
131      this.simplifyButton.Name = "simplifyButton";
132      this.simplifyButton.Size = new System.Drawing.Size(62, 26);
133      this.simplifyButton.TabIndex = 17;
134      this.simplifyButton.Text = "Simplify";
135      this.toolTip.SetToolTip(this.simplifyButton, "Run all instructions");
136      this.simplifyButton.UseVisualStyleBackColor = true;
137      //
138      // skipNoopsCheckBox
139      //
140      this.skipNoopsCheckBox.Anchor = ((System.Windows.Forms.AnchorStyles)((System.Windows.Forms.AnchorStyles.Bottom | System.Windows.Forms.AnchorStyles.Left)));
141      this.skipNoopsCheckBox.AutoSize = true;
142      this.skipNoopsCheckBox.Checked = true;
143      this.skipNoopsCheckBox.CheckState = System.Windows.Forms.CheckState.Checked;
144      this.skipNoopsCheckBox.Location = new System.Drawing.Point(150, 646);
145      this.skipNoopsCheckBox.Name = "skipNoopsCheckBox";
146      this.skipNoopsCheckBox.Size = new System.Drawing.Size(81, 17);
147      this.skipNoopsCheckBox.TabIndex = 16;
148      this.skipNoopsCheckBox.Text = "Skip NOOP";
149      this.skipNoopsCheckBox.UseVisualStyleBackColor = true;
150      //
151      // runButton
152      //
153      this.runButton.Anchor = ((System.Windows.Forms.AnchorStyles)((System.Windows.Forms.AnchorStyles.Bottom | System.Windows.Forms.AnchorStyles.Left)));
154      this.runButton.Image = ((System.Drawing.Image)(resources.GetObject("runButton.Image")));
155      this.runButton.Location = new System.Drawing.Point(40, 640);
156      this.runButton.Name = "runButton";
157      this.runButton.Size = new System.Drawing.Size(28, 26);
158      this.runButton.TabIndex = 15;
159      this.toolTip.SetToolTip(this.runButton, "Run all instructions");
160      this.runButton.UseVisualStyleBackColor = true;
161      //
162      // stepWidthBox
163      //
164      this.stepWidthBox.Anchor = ((System.Windows.Forms.AnchorStyles)((System.Windows.Forms.AnchorStyles.Bottom | System.Windows.Forms.AnchorStyles.Left)));
165      this.stepWidthBox.Font = new System.Drawing.Font("Microsoft Sans Serif", 11F, System.Drawing.FontStyle.Regular, System.Drawing.GraphicsUnit.Point, ((byte)(0)));
166      this.stepWidthBox.Location = new System.Drawing.Point(73, 641);
167      this.stepWidthBox.Maximum = new decimal(new int[] {
168            99999,
169            0,
170            0,
171            0});
172      this.stepWidthBox.Minimum = new decimal(new int[] {
173            1,
174            0,
175            0,
176            0});
177      this.stepWidthBox.Name = "stepWidthBox";
178      this.stepWidthBox.Size = new System.Drawing.Size(40, 24);
179      this.stepWidthBox.TabIndex = 12;
180      this.stepWidthBox.Value = new decimal(new int[] {
181            1,
182            0,
183            0,
184            0});
185      //
186      // resetButton
187      //
188      this.resetButton.Anchor = ((System.Windows.Forms.AnchorStyles)((System.Windows.Forms.AnchorStyles.Bottom | System.Windows.Forms.AnchorStyles.Left)));
189      this.resetButton.Image = ((System.Drawing.Image)(resources.GetObject("resetButton.Image")));
190      this.resetButton.Location = new System.Drawing.Point(6, 640);
191      this.resetButton.Name = "resetButton";
192      this.resetButton.Size = new System.Drawing.Size(28, 26);
193      this.resetButton.TabIndex = 14;
194      this.toolTip.SetToolTip(this.resetButton, "Reset to start");
195      this.resetButton.UseVisualStyleBackColor = true;
196      //
197      // stepButton
198      //
199      this.stepButton.Anchor = ((System.Windows.Forms.AnchorStyles)((System.Windows.Forms.AnchorStyles.Bottom | System.Windows.Forms.AnchorStyles.Left)));
200      this.stepButton.Image = ((System.Drawing.Image)(resources.GetObject("stepButton.Image")));
201      this.stepButton.Location = new System.Drawing.Point(112, 640);
202      this.stepButton.Name = "stepButton";
203      this.stepButton.Size = new System.Drawing.Size(28, 26);
204      this.stepButton.TabIndex = 13;
205      this.toolTip.SetToolTip(this.stepButton, "Step");
206      this.stepButton.UseVisualStyleBackColor = true;
207      //
208      // exampleComboBox
209      //
210      this.exampleComboBox.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left)
211            | System.Windows.Forms.AnchorStyles.Right)));
212      this.exampleComboBox.FormattingEnabled = true;
213      this.exampleComboBox.Location = new System.Drawing.Point(58, 6);
214      this.exampleComboBox.Name = "exampleComboBox";
215      this.exampleComboBox.Size = new System.Drawing.Size(1165, 21);
216      this.exampleComboBox.TabIndex = 11;
217      //
218      // label1
219      //
220      this.label1.AutoSize = true;
221      this.label1.Location = new System.Drawing.Point(3, 9);
222      this.label1.Name = "label1";
223      this.label1.Size = new System.Drawing.Size(50, 13);
224      this.label1.TabIndex = 10;
225      this.label1.Text = "Example:";
226      //
227      // debugTableLayout
228      //
229      this.debugTableLayout.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom)
230            | System.Windows.Forms.AnchorStyles.Left)
231            | System.Windows.Forms.AnchorStyles.Right)));
232      this.debugTableLayout.AutoScroll = true;
233      this.debugTableLayout.AutoSizeMode = System.Windows.Forms.AutoSizeMode.GrowAndShrink;
234      this.debugTableLayout.ColumnCount = 9;
235      this.debugTableLayout.ColumnStyles.Add(new System.Windows.Forms.ColumnStyle(System.Windows.Forms.SizeType.Absolute, 270F));
236      this.debugTableLayout.ColumnStyles.Add(new System.Windows.Forms.ColumnStyle(System.Windows.Forms.SizeType.Absolute, 270F));
237      this.debugTableLayout.ColumnStyles.Add(new System.Windows.Forms.ColumnStyle());
238      this.debugTableLayout.ColumnStyles.Add(new System.Windows.Forms.ColumnStyle());
239      this.debugTableLayout.ColumnStyles.Add(new System.Windows.Forms.ColumnStyle());
240      this.debugTableLayout.ColumnStyles.Add(new System.Windows.Forms.ColumnStyle());
241      this.debugTableLayout.ColumnStyles.Add(new System.Windows.Forms.ColumnStyle());
242      this.debugTableLayout.ColumnStyles.Add(new System.Windows.Forms.ColumnStyle());
243      this.debugTableLayout.ColumnStyles.Add(new System.Windows.Forms.ColumnStyle());
244      this.debugTableLayout.Controls.Add(this.codeGroupBox, 1, 0);
245      this.debugTableLayout.Controls.Add(this.nameGroupBox, 2, 0);
246      this.debugTableLayout.Controls.Add(this.integerGroupBox, 3, 0);
247      this.debugTableLayout.Controls.Add(this.floatGroupBox, 4, 0);
248      this.debugTableLayout.Controls.Add(this.execGroupBox, 0, 0);
249      this.debugTableLayout.Controls.Add(this.booleanGroupBox, 5, 0);
250      this.debugTableLayout.Controls.Add(this.stringGroupBox, 6, 0);
251      this.debugTableLayout.Controls.Add(this.charGroupBox, 7, 0);
252      this.debugTableLayout.Location = new System.Drawing.Point(6, 33);
253      this.debugTableLayout.Name = "debugTableLayout";
254      this.debugTableLayout.RowCount = 1;
255      this.debugTableLayout.RowStyles.Add(new System.Windows.Forms.RowStyle());
256      this.debugTableLayout.Size = new System.Drawing.Size(1259, 601);
257      this.debugTableLayout.TabIndex = 2;
258      //
259      // codeGroupBox
260      //
261      this.codeGroupBox.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom)
262            | System.Windows.Forms.AnchorStyles.Left)
263            | System.Windows.Forms.AnchorStyles.Right)));
264      this.codeGroupBox.Controls.Add(this.codeList);
265      this.codeGroupBox.Location = new System.Drawing.Point(273, 3);
266      this.codeGroupBox.Name = "codeGroupBox";
267      this.codeGroupBox.Size = new System.Drawing.Size(264, 595);
268      this.codeGroupBox.TabIndex = 5;
269      this.codeGroupBox.TabStop = false;
270      this.codeGroupBox.Text = "Code";
271      //
272      // codeList
273      //
274      this.codeList.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom)
275            | System.Windows.Forms.AnchorStyles.Left)
276            | System.Windows.Forms.AnchorStyles.Right)));
277      this.codeList.FormattingEnabled = true;
278      this.codeList.HorizontalScrollbar = true;
279      this.codeList.Location = new System.Drawing.Point(7, 19);
280      this.codeList.Name = "codeList";
281      this.codeList.SelectionMode = System.Windows.Forms.SelectionMode.None;
282      this.codeList.Size = new System.Drawing.Size(251, 563);
283      this.codeList.TabIndex = 1;
284      //
285      // nameGroupBox
286      //
287      this.nameGroupBox.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom)
288            | System.Windows.Forms.AnchorStyles.Left)
289            | System.Windows.Forms.AnchorStyles.Right)));
290      this.nameGroupBox.Controls.Add(this.nameList);
291      this.nameGroupBox.Location = new System.Drawing.Point(543, 3);
292      this.nameGroupBox.Name = "nameGroupBox";
293      this.nameGroupBox.Size = new System.Drawing.Size(119, 595);
294      this.nameGroupBox.TabIndex = 5;
295      this.nameGroupBox.TabStop = false;
296      this.nameGroupBox.Text = "Name";
297      //
298      // nameList
299      //
300      this.nameList.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom)
301            | System.Windows.Forms.AnchorStyles.Left)
302            | System.Windows.Forms.AnchorStyles.Right)));
303      this.nameList.FormattingEnabled = true;
304      this.nameList.HorizontalScrollbar = true;
305      this.nameList.Location = new System.Drawing.Point(6, 19);
306      this.nameList.Name = "nameList";
307      this.nameList.SelectionMode = System.Windows.Forms.SelectionMode.None;
308      this.nameList.Size = new System.Drawing.Size(107, 563);
309      this.nameList.TabIndex = 2;
310      //
311      // integerGroupBox
312      //
313      this.integerGroupBox.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom)
314            | System.Windows.Forms.AnchorStyles.Left)
315            | System.Windows.Forms.AnchorStyles.Right)));
316      this.integerGroupBox.Controls.Add(this.integerList);
317      this.integerGroupBox.Location = new System.Drawing.Point(668, 3);
318      this.integerGroupBox.Name = "integerGroupBox";
319      this.integerGroupBox.Size = new System.Drawing.Size(119, 595);
320      this.integerGroupBox.TabIndex = 4;
321      this.integerGroupBox.TabStop = false;
322      this.integerGroupBox.Text = "Integer";
323      //
324      // integerList
325      //
326      this.integerList.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom)
327            | System.Windows.Forms.AnchorStyles.Left)
328            | System.Windows.Forms.AnchorStyles.Right)));
329      this.integerList.FormattingEnabled = true;
330      this.integerList.HorizontalScrollbar = true;
331      this.integerList.Location = new System.Drawing.Point(6, 19);
332      this.integerList.Name = "integerList";
333      this.integerList.SelectionMode = System.Windows.Forms.SelectionMode.None;
334      this.integerList.Size = new System.Drawing.Size(107, 563);
335      this.integerList.TabIndex = 3;
336      //
337      // floatGroupBox
338      //
339      this.floatGroupBox.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.floatGroupBox.Controls.Add(this.groupBox2);
343      this.floatGroupBox.Controls.Add(this.floatList);
344      this.floatGroupBox.Location = new System.Drawing.Point(793, 3);
345      this.floatGroupBox.Name = "floatGroupBox";
346      this.floatGroupBox.Size = new System.Drawing.Size(119, 595);
347      this.floatGroupBox.TabIndex = 5;
348      this.floatGroupBox.TabStop = false;
349      this.floatGroupBox.Text = "Float";
350      //
351      // groupBox2
352      //
353      this.groupBox2.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom)
354            | System.Windows.Forms.AnchorStyles.Left)
355            | System.Windows.Forms.AnchorStyles.Right)));
356      this.groupBox2.Controls.Add(this.listBox2);
357      this.groupBox2.Location = new System.Drawing.Point(1003, 3);
358      this.groupBox2.Name = "groupBox2";
359      this.groupBox2.Size = new System.Drawing.Size(253, 595);
360      this.groupBox2.TabIndex = 6;
361      this.groupBox2.TabStop = false;
362      this.groupBox2.Text = "Float";
363      //
364      // listBox2
365      //
366      this.listBox2.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom)
367            | System.Windows.Forms.AnchorStyles.Left)
368            | System.Windows.Forms.AnchorStyles.Right)));
369      this.listBox2.FormattingEnabled = true;
370      this.listBox2.HorizontalScrollbar = true;
371      this.listBox2.Location = new System.Drawing.Point(6, 19);
372      this.listBox2.Name = "listBox2";
373      this.listBox2.SelectionMode = System.Windows.Forms.SelectionMode.None;
374      this.listBox2.Size = new System.Drawing.Size(107, 563);
375      this.listBox2.TabIndex = 4;
376      //
377      // floatList
378      //
379      this.floatList.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom)
380            | System.Windows.Forms.AnchorStyles.Left)
381            | System.Windows.Forms.AnchorStyles.Right)));
382      this.floatList.FormattingEnabled = true;
383      this.floatList.HorizontalScrollbar = true;
384      this.floatList.Location = new System.Drawing.Point(6, 19);
385      this.floatList.Name = "floatList";
386      this.floatList.SelectionMode = System.Windows.Forms.SelectionMode.None;
387      this.floatList.Size = new System.Drawing.Size(107, 563);
388      this.floatList.TabIndex = 4;
389      //
390      // execGroupBox
391      //
392      this.execGroupBox.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom)
393            | System.Windows.Forms.AnchorStyles.Left)
394            | System.Windows.Forms.AnchorStyles.Right)));
395      this.execGroupBox.Controls.Add(this.execList);
396      this.execGroupBox.Location = new System.Drawing.Point(3, 3);
397      this.execGroupBox.Name = "execGroupBox";
398      this.execGroupBox.Size = new System.Drawing.Size(264, 595);
399      this.execGroupBox.TabIndex = 3;
400      this.execGroupBox.TabStop = false;
401      this.execGroupBox.Text = "Exec";
402      //
403      // execList
404      //
405      this.execList.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom)
406            | System.Windows.Forms.AnchorStyles.Left)
407            | System.Windows.Forms.AnchorStyles.Right)));
408      this.execList.Location = new System.Drawing.Point(3, 16);
409      this.execList.Name = "execList";
410      this.execList.Size = new System.Drawing.Size(255, 571);
411      this.execList.TabIndex = 1;
412      this.execList.UseCompatibleStateImageBehavior = false;
413      this.execList.View = System.Windows.Forms.View.List;
414      this.execList.VirtualMode = true;
415      //
416      // booleanGroupBox
417      //
418      this.booleanGroupBox.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom)
419            | System.Windows.Forms.AnchorStyles.Left)
420            | System.Windows.Forms.AnchorStyles.Right)));
421      this.booleanGroupBox.Controls.Add(this.groupBox4);
422      this.booleanGroupBox.Controls.Add(this.booleanList);
423      this.booleanGroupBox.Location = new System.Drawing.Point(918, 3);
424      this.booleanGroupBox.Name = "booleanGroupBox";
425      this.booleanGroupBox.Size = new System.Drawing.Size(119, 595);
426      this.booleanGroupBox.TabIndex = 7;
427      this.booleanGroupBox.TabStop = false;
428      this.booleanGroupBox.Text = "Boolean";
429      //
430      // groupBox4
431      //
432      this.groupBox4.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom)
433            | System.Windows.Forms.AnchorStyles.Left)
434            | System.Windows.Forms.AnchorStyles.Right)));
435      this.groupBox4.Controls.Add(this.listBox3);
436      this.groupBox4.Location = new System.Drawing.Point(1003, 3);
437      this.groupBox4.Name = "groupBox4";
438      this.groupBox4.Size = new System.Drawing.Size(253, 595);
439      this.groupBox4.TabIndex = 6;
440      this.groupBox4.TabStop = false;
441      this.groupBox4.Text = "Float";
442      //
443      // listBox3
444      //
445      this.listBox3.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom)
446            | System.Windows.Forms.AnchorStyles.Left)
447            | System.Windows.Forms.AnchorStyles.Right)));
448      this.listBox3.FormattingEnabled = true;
449      this.listBox3.HorizontalScrollbar = true;
450      this.listBox3.Location = new System.Drawing.Point(6, 19);
451      this.listBox3.Name = "listBox3";
452      this.listBox3.SelectionMode = System.Windows.Forms.SelectionMode.None;
453      this.listBox3.Size = new System.Drawing.Size(107, 563);
454      this.listBox3.TabIndex = 4;
455      //
456      // booleanList
457      //
458      this.booleanList.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom)
459            | System.Windows.Forms.AnchorStyles.Left)
460            | System.Windows.Forms.AnchorStyles.Right)));
461      this.booleanList.FormattingEnabled = true;
462      this.booleanList.HorizontalScrollbar = true;
463      this.booleanList.Location = new System.Drawing.Point(6, 19);
464      this.booleanList.Name = "booleanList";
465      this.booleanList.SelectionMode = System.Windows.Forms.SelectionMode.None;
466      this.booleanList.Size = new System.Drawing.Size(107, 563);
467      this.booleanList.TabIndex = 4;
468      //
469      // stringGroupBox
470      //
471      this.stringGroupBox.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom)
472            | System.Windows.Forms.AnchorStyles.Left)
473            | System.Windows.Forms.AnchorStyles.Right)));
474      this.stringGroupBox.Controls.Add(this.groupBox6);
475      this.stringGroupBox.Controls.Add(this.stringList);
476      this.stringGroupBox.Location = new System.Drawing.Point(1043, 3);
477      this.stringGroupBox.Name = "stringGroupBox";
478      this.stringGroupBox.Size = new System.Drawing.Size(120, 595);
479      this.stringGroupBox.TabIndex = 8;
480      this.stringGroupBox.TabStop = false;
481      this.stringGroupBox.Text = "String";
482      //
483      // groupBox6
484      //
485      this.groupBox6.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom)
486            | System.Windows.Forms.AnchorStyles.Left)
487            | System.Windows.Forms.AnchorStyles.Right)));
488      this.groupBox6.Controls.Add(this.listBox5);
489      this.groupBox6.Location = new System.Drawing.Point(1003, 3);
490      this.groupBox6.Name = "groupBox6";
491      this.groupBox6.Size = new System.Drawing.Size(254, 595);
492      this.groupBox6.TabIndex = 6;
493      this.groupBox6.TabStop = false;
494      this.groupBox6.Text = "Float";
495      //
496      // listBox5
497      //
498      this.listBox5.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom)
499            | System.Windows.Forms.AnchorStyles.Left)
500            | System.Windows.Forms.AnchorStyles.Right)));
501      this.listBox5.FormattingEnabled = true;
502      this.listBox5.HorizontalScrollbar = true;
503      this.listBox5.Location = new System.Drawing.Point(6, 19);
504      this.listBox5.Name = "listBox5";
505      this.listBox5.SelectionMode = System.Windows.Forms.SelectionMode.None;
506      this.listBox5.Size = new System.Drawing.Size(108, 563);
507      this.listBox5.TabIndex = 4;
508      //
509      // stringList
510      //
511      this.stringList.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom)
512            | System.Windows.Forms.AnchorStyles.Left)
513            | System.Windows.Forms.AnchorStyles.Right)));
514      this.stringList.FormattingEnabled = true;
515      this.stringList.HorizontalScrollbar = true;
516      this.stringList.Location = new System.Drawing.Point(6, 19);
517      this.stringList.Name = "stringList";
518      this.stringList.SelectionMode = System.Windows.Forms.SelectionMode.None;
519      this.stringList.Size = new System.Drawing.Size(108, 563);
520      this.stringList.TabIndex = 4;
521      //
522      // charGroupBox
523      //
524      this.charGroupBox.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom)
525            | System.Windows.Forms.AnchorStyles.Left)
526            | System.Windows.Forms.AnchorStyles.Right)));
527      this.charGroupBox.Controls.Add(this.groupBox8);
528      this.charGroupBox.Controls.Add(this.charList);
529      this.charGroupBox.Location = new System.Drawing.Point(1169, 3);
530      this.charGroupBox.Name = "charGroupBox";
531      this.charGroupBox.Size = new System.Drawing.Size(119, 595);
532      this.charGroupBox.TabIndex = 9;
533      this.charGroupBox.TabStop = false;
534      this.charGroupBox.Text = "Char";
535      //
536      // groupBox8
537      //
538      this.groupBox8.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom)
539            | System.Windows.Forms.AnchorStyles.Left)
540            | System.Windows.Forms.AnchorStyles.Right)));
541      this.groupBox8.Controls.Add(this.listBox7);
542      this.groupBox8.Location = new System.Drawing.Point(1003, 3);
543      this.groupBox8.Name = "groupBox8";
544      this.groupBox8.Size = new System.Drawing.Size(253, 595);
545      this.groupBox8.TabIndex = 6;
546      this.groupBox8.TabStop = false;
547      this.groupBox8.Text = "Float";
548      //
549      // listBox7
550      //
551      this.listBox7.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom)
552            | System.Windows.Forms.AnchorStyles.Left)
553            | System.Windows.Forms.AnchorStyles.Right)));
554      this.listBox7.FormattingEnabled = true;
555      this.listBox7.HorizontalScrollbar = true;
556      this.listBox7.Location = new System.Drawing.Point(6, 19);
557      this.listBox7.Name = "listBox7";
558      this.listBox7.SelectionMode = System.Windows.Forms.SelectionMode.None;
559      this.listBox7.Size = new System.Drawing.Size(107, 563);
560      this.listBox7.TabIndex = 4;
561      //
562      // charList
563      //
564      this.charList.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom)
565            | System.Windows.Forms.AnchorStyles.Left)
566            | System.Windows.Forms.AnchorStyles.Right)));
567      this.charList.FormattingEnabled = true;
568      this.charList.HorizontalScrollbar = true;
569      this.charList.Location = new System.Drawing.Point(6, 19);
570      this.charList.Name = "charList";
571      this.charList.SelectionMode = System.Windows.Forms.SelectionMode.None;
572      this.charList.Size = new System.Drawing.Size(107, 563);
573      this.charList.TabIndex = 4;
574      //
575      // tabPage2
576      //
577      this.tabPage2.Controls.Add(this.resultsDataGrid);
578      this.tabPage2.Location = new System.Drawing.Point(4, 22);
579      this.tabPage2.Name = "tabPage2";
580      this.tabPage2.Padding = new System.Windows.Forms.Padding(3);
581      this.tabPage2.Size = new System.Drawing.Size(1261, 672);
582      this.tabPage2.TabIndex = 1;
583      this.tabPage2.Text = "Results";
584      this.tabPage2.UseVisualStyleBackColor = true;
585      //
586      // resultsDataGrid
587      //
588      this.resultsDataGrid.AllowUserToAddRows = false;
589      this.resultsDataGrid.AllowUserToDeleteRows = false;
590      this.resultsDataGrid.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom)
591            | System.Windows.Forms.AnchorStyles.Left)
592            | System.Windows.Forms.AnchorStyles.Right)));
593      this.resultsDataGrid.ColumnHeadersHeightSizeMode = System.Windows.Forms.DataGridViewColumnHeadersHeightSizeMode.AutoSize;
594      this.resultsDataGrid.EditMode = System.Windows.Forms.DataGridViewEditMode.EditProgrammatically;
595      this.resultsDataGrid.Location = new System.Drawing.Point(7, 7);
596      this.resultsDataGrid.Name = "resultsDataGrid";
597      this.resultsDataGrid.ReadOnly = true;
598      this.resultsDataGrid.Size = new System.Drawing.Size(1248, 659);
599      this.resultsDataGrid.TabIndex = 0;
600      //
601      // PushProgramDebuggerView
602      //
603      this.AutoScaleDimensions = new System.Drawing.SizeF(6F, 13F);
604      this.AutoScaleMode = System.Windows.Forms.AutoScaleMode.Font;
605      this.Controls.Add(this.tabControl);
606      this.Name = "PushProgramDebuggerView";
607      this.Size = new System.Drawing.Size(1278, 727);
608      this.Controls.SetChildIndex(this.tabControl, 0);
609      this.Controls.SetChildIndex(this.nameLabel, 0);
610      this.Controls.SetChildIndex(this.nameTextBox, 0);
611      this.Controls.SetChildIndex(this.infoLabel, 0);
612      ((System.ComponentModel.ISupportInitialize)(this.errorProvider)).EndInit();
613      this.tabControl.ResumeLayout(false);
614      this.tabPage1.ResumeLayout(false);
615      this.tabPage1.PerformLayout();
616      ((System.ComponentModel.ISupportInitialize)(this.stepWidthBox)).EndInit();
617      this.debugTableLayout.ResumeLayout(false);
618      this.codeGroupBox.ResumeLayout(false);
619      this.nameGroupBox.ResumeLayout(false);
620      this.integerGroupBox.ResumeLayout(false);
621      this.floatGroupBox.ResumeLayout(false);
622      this.groupBox2.ResumeLayout(false);
623      this.execGroupBox.ResumeLayout(false);
624      this.booleanGroupBox.ResumeLayout(false);
625      this.groupBox4.ResumeLayout(false);
626      this.stringGroupBox.ResumeLayout(false);
627      this.groupBox6.ResumeLayout(false);
628      this.charGroupBox.ResumeLayout(false);
629      this.groupBox8.ResumeLayout(false);
630      this.tabPage2.ResumeLayout(false);
631      ((System.ComponentModel.ISupportInitialize)(this.resultsDataGrid)).EndInit();
632      this.ResumeLayout(false);
633      this.PerformLayout();
634
635    }
636
637    #endregion
638
639    private System.Windows.Forms.TabControl tabControl;
640    private System.Windows.Forms.TabPage tabPage1;
641    private System.Windows.Forms.CheckBox skipNoopsCheckBox;
642    private System.Windows.Forms.Button runButton;
643    private System.Windows.Forms.NumericUpDown stepWidthBox;
644    private System.Windows.Forms.Button resetButton;
645    private System.Windows.Forms.Button stepButton;
646    private System.Windows.Forms.ComboBox exampleComboBox;
647    private System.Windows.Forms.Label label1;
648    private System.Windows.Forms.TableLayoutPanel debugTableLayout;
649    private System.Windows.Forms.GroupBox codeGroupBox;
650    private System.Windows.Forms.ListBox codeList;
651    private System.Windows.Forms.GroupBox nameGroupBox;
652    private System.Windows.Forms.ListBox nameList;
653    private System.Windows.Forms.GroupBox integerGroupBox;
654    private System.Windows.Forms.ListBox integerList;
655    private System.Windows.Forms.GroupBox floatGroupBox;
656    private System.Windows.Forms.ListBox floatList;
657    private System.Windows.Forms.GroupBox execGroupBox;
658    private System.Windows.Forms.ListView execList;
659    private System.Windows.Forms.TabPage tabPage2;
660    private System.Windows.Forms.DataGridView resultsDataGrid;
661    private System.Windows.Forms.Button simplifyButton;
662    private System.Windows.Forms.GroupBox stringGroupBox;
663    private System.Windows.Forms.GroupBox groupBox6;
664    private System.Windows.Forms.ListBox listBox5;
665    private System.Windows.Forms.ListBox stringList;
666    private System.Windows.Forms.GroupBox booleanGroupBox;
667    private System.Windows.Forms.GroupBox groupBox4;
668    private System.Windows.Forms.ListBox listBox3;
669    private System.Windows.Forms.ListBox booleanList;
670    private System.Windows.Forms.GroupBox groupBox2;
671    private System.Windows.Forms.ListBox listBox2;
672    private System.Windows.Forms.GroupBox charGroupBox;
673    private System.Windows.Forms.GroupBox groupBox8;
674    private System.Windows.Forms.ListBox listBox7;
675    private System.Windows.Forms.ListBox charList;
676  }
677}
Note: See TracBrowser for help on using the repository browser.