Free cookie consent management tool by TermsFeed Policy Generator

source: branches/PushGP/HeuristicLab.PushGP/HeuristicLab.Problems.ProgramSynthesis/Push/Views/PushDebuggerView.Designer.cs @ 14952

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

#2665 Added IsNoop to Expression, Made Expressions storable, Fixed Debugger, Fixed and improved problem data and result visualisation, Added custom ErcOption view, Added problem difficulty to problem data name

File size: 9.8 KB
Line 
1namespace HeuristicLab.Problems.ProgramSynthesis.Push.Views {
2  using System.ComponentModel;
3  using System.Drawing;
4  using System.Windows.Forms;
5
6  partial class PushDebuggerView {
7    /// <summary>
8    /// Required designer variable.
9    /// </summary>
10    private IContainer components = null;
11
12    /// <summary>
13    /// Clean up any resources being used.
14    /// </summary>
15    /// <param name="disposing">true if managed resources should be disposed; otherwise, false.</param>
16    protected override void Dispose(bool disposing) {
17      if (disposing && (this.components != null)) {
18        this.components.Dispose();
19      }
20      base.Dispose(disposing);
21    }
22
23    #region Component Designer generated code
24
25    /// <summary>
26    /// Required method for Designer support - do not modify
27    /// the contents of this method with the code editor.
28    /// </summary>
29    private void InitializeComponent() {
30      System.ComponentModel.ComponentResourceManager resources = new System.ComponentModel.ComponentResourceManager(typeof(PushDebuggerView));
31      this.execGroupBox = new System.Windows.Forms.GroupBox();
32      this.execList = new System.Windows.Forms.ListBox();
33      this.debugTableLayout = new System.Windows.Forms.TableLayoutPanel();
34      this.stepButton = new System.Windows.Forms.Button();
35      this.resetButton = new System.Windows.Forms.Button();
36      this.stepWidthBox = new System.Windows.Forms.NumericUpDown();
37      this.runButton = new System.Windows.Forms.Button();
38      this.skipNoopsCheckBox = new System.Windows.Forms.CheckBox();
39      this.simplifyButton = new System.Windows.Forms.Button();
40      this.execCountLabel = new System.Windows.Forms.Label();
41      this.execGroupBox.SuspendLayout();
42      this.debugTableLayout.SuspendLayout();
43      ((System.ComponentModel.ISupportInitialize)(this.stepWidthBox)).BeginInit();
44      this.SuspendLayout();
45      //
46      // execGroupBox
47      //
48      this.execGroupBox.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom)
49            | System.Windows.Forms.AnchorStyles.Left)
50            | System.Windows.Forms.AnchorStyles.Right)));
51      this.execGroupBox.AutoSize = true;
52      this.execGroupBox.AutoSizeMode = System.Windows.Forms.AutoSizeMode.GrowAndShrink;
53      this.execGroupBox.Controls.Add(this.execList);
54      this.execGroupBox.Location = new System.Drawing.Point(3, 3);
55      this.execGroupBox.Name = "execGroupBox";
56      this.execGroupBox.Size = new System.Drawing.Size(244, 460);
57      this.execGroupBox.TabIndex = 3;
58      this.execGroupBox.TabStop = false;
59      this.execGroupBox.Text = "Exec";
60      //
61      // execList
62      //
63      this.execList.Dock = System.Windows.Forms.DockStyle.Fill;
64      this.execList.FormattingEnabled = true;
65      this.execList.Location = new System.Drawing.Point(3, 16);
66      this.execList.Name = "execList";
67      this.execList.Size = new System.Drawing.Size(238, 441);
68      this.execList.TabIndex = 0;
69      //
70      // debugTableLayout
71      //
72      this.debugTableLayout.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom)
73            | System.Windows.Forms.AnchorStyles.Left)
74            | System.Windows.Forms.AnchorStyles.Right)));
75      this.debugTableLayout.AutoScroll = true;
76      this.debugTableLayout.AutoSizeMode = System.Windows.Forms.AutoSizeMode.GrowAndShrink;
77      this.debugTableLayout.ColumnCount = 2;
78      this.debugTableLayout.ColumnStyles.Add(new System.Windows.Forms.ColumnStyle(System.Windows.Forms.SizeType.Absolute, 250F));
79      this.debugTableLayout.ColumnStyles.Add(new System.Windows.Forms.ColumnStyle());
80      this.debugTableLayout.Controls.Add(this.execGroupBox, 0, 0);
81      this.debugTableLayout.Location = new System.Drawing.Point(3, 3);
82      this.debugTableLayout.Name = "debugTableLayout";
83      this.debugTableLayout.RowCount = 1;
84      this.debugTableLayout.RowStyles.Add(new System.Windows.Forms.RowStyle());
85      this.debugTableLayout.Size = new System.Drawing.Size(872, 466);
86      this.debugTableLayout.TabIndex = 18;
87      //
88      // stepButton
89      //
90      this.stepButton.Anchor = ((System.Windows.Forms.AnchorStyles)((System.Windows.Forms.AnchorStyles.Bottom | System.Windows.Forms.AnchorStyles.Left)));
91      this.stepButton.Image = ((System.Drawing.Image)(resources.GetObject("stepButton.Image")));
92      this.stepButton.Location = new System.Drawing.Point(109, 475);
93      this.stepButton.Name = "stepButton";
94      this.stepButton.Size = new System.Drawing.Size(28, 26);
95      this.stepButton.TabIndex = 22;
96      this.stepButton.UseVisualStyleBackColor = true;
97      //
98      // resetButton
99      //
100      this.resetButton.Anchor = ((System.Windows.Forms.AnchorStyles)((System.Windows.Forms.AnchorStyles.Bottom | System.Windows.Forms.AnchorStyles.Left)));
101      this.resetButton.Image = ((System.Drawing.Image)(resources.GetObject("resetButton.Image")));
102      this.resetButton.Location = new System.Drawing.Point(3, 475);
103      this.resetButton.Name = "resetButton";
104      this.resetButton.Size = new System.Drawing.Size(28, 26);
105      this.resetButton.TabIndex = 23;
106      this.resetButton.UseVisualStyleBackColor = true;
107      //
108      // stepWidthBox
109      //
110      this.stepWidthBox.Anchor = ((System.Windows.Forms.AnchorStyles)((System.Windows.Forms.AnchorStyles.Bottom | System.Windows.Forms.AnchorStyles.Left)));
111      this.stepWidthBox.Font = new System.Drawing.Font("Microsoft Sans Serif", 11F, System.Drawing.FontStyle.Regular, System.Drawing.GraphicsUnit.Point, ((byte)(0)));
112      this.stepWidthBox.Location = new System.Drawing.Point(70, 476);
113      this.stepWidthBox.Maximum = new decimal(new int[] {
114            99999,
115            0,
116            0,
117            0});
118      this.stepWidthBox.Minimum = new decimal(new int[] {
119            1,
120            0,
121            0,
122            0});
123      this.stepWidthBox.Name = "stepWidthBox";
124      this.stepWidthBox.Size = new System.Drawing.Size(40, 24);
125      this.stepWidthBox.TabIndex = 21;
126      this.stepWidthBox.Value = new decimal(new int[] {
127            1,
128            0,
129            0,
130            0});
131      //
132      // runButton
133      //
134      this.runButton.Anchor = ((System.Windows.Forms.AnchorStyles)((System.Windows.Forms.AnchorStyles.Bottom | System.Windows.Forms.AnchorStyles.Left)));
135      this.runButton.Image = ((System.Drawing.Image)(resources.GetObject("runButton.Image")));
136      this.runButton.Location = new System.Drawing.Point(37, 475);
137      this.runButton.Name = "runButton";
138      this.runButton.Size = new System.Drawing.Size(28, 26);
139      this.runButton.TabIndex = 24;
140      this.runButton.UseVisualStyleBackColor = true;
141      //
142      // skipNoopsCheckBox
143      //
144      this.skipNoopsCheckBox.Anchor = ((System.Windows.Forms.AnchorStyles)((System.Windows.Forms.AnchorStyles.Bottom | System.Windows.Forms.AnchorStyles.Left)));
145      this.skipNoopsCheckBox.AutoSize = true;
146      this.skipNoopsCheckBox.Checked = true;
147      this.skipNoopsCheckBox.CheckState = System.Windows.Forms.CheckState.Checked;
148      this.skipNoopsCheckBox.Location = new System.Drawing.Point(147, 481);
149      this.skipNoopsCheckBox.Name = "skipNoopsCheckBox";
150      this.skipNoopsCheckBox.Size = new System.Drawing.Size(81, 17);
151      this.skipNoopsCheckBox.TabIndex = 25;
152      this.skipNoopsCheckBox.Text = "Skip NOOP";
153      this.skipNoopsCheckBox.UseVisualStyleBackColor = true;
154      //
155      // simplifyButton
156      //
157      this.simplifyButton.Anchor = ((System.Windows.Forms.AnchorStyles)((System.Windows.Forms.AnchorStyles.Bottom | System.Windows.Forms.AnchorStyles.Right)));
158      this.simplifyButton.Location = new System.Drawing.Point(813, 475);
159      this.simplifyButton.Name = "simplifyButton";
160      this.simplifyButton.Size = new System.Drawing.Size(62, 26);
161      this.simplifyButton.TabIndex = 26;
162      this.simplifyButton.Text = "Simplify";
163      this.simplifyButton.UseVisualStyleBackColor = true;
164      //
165      // execCountLabel
166      //
167      this.execCountLabel.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Bottom | System.Windows.Forms.AnchorStyles.Left)
168            | System.Windows.Forms.AnchorStyles.Right)));
169      this.execCountLabel.AutoSize = true;
170      this.execCountLabel.Location = new System.Drawing.Point(248, 482);
171      this.execCountLabel.Name = "execCountLabel";
172      this.execCountLabel.Size = new System.Drawing.Size(0, 13);
173      this.execCountLabel.TabIndex = 27;
174      //
175      // PushDebuggerView
176      //
177      this.AutoScaleDimensions = new System.Drawing.SizeF(6F, 13F);
178      this.AutoScaleMode = System.Windows.Forms.AutoScaleMode.Font;
179      this.Controls.Add(this.execCountLabel);
180      this.Controls.Add(this.simplifyButton);
181      this.Controls.Add(this.skipNoopsCheckBox);
182      this.Controls.Add(this.runButton);
183      this.Controls.Add(this.stepWidthBox);
184      this.Controls.Add(this.resetButton);
185      this.Controls.Add(this.stepButton);
186      this.Controls.Add(this.debugTableLayout);
187      this.Name = "PushDebuggerView";
188      this.Size = new System.Drawing.Size(878, 504);
189      this.execGroupBox.ResumeLayout(false);
190      this.debugTableLayout.ResumeLayout(false);
191      this.debugTableLayout.PerformLayout();
192      ((System.ComponentModel.ISupportInitialize)(this.stepWidthBox)).EndInit();
193      this.ResumeLayout(false);
194      this.PerformLayout();
195
196    }
197
198    #endregion
199
200    private GroupBox execGroupBox;
201    private ListBox execList;
202    private TableLayoutPanel debugTableLayout;
203    private Button stepButton;
204    private Button resetButton;
205    private NumericUpDown stepWidthBox;
206    private Button runButton;
207    private CheckBox skipNoopsCheckBox;
208    private Button simplifyButton;
209    private Label execCountLabel;
210  }
211}
Note: See TracBrowser for help on using the repository browser.