- Timestamp:
- 11/23/10 15:03:01 (14 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
branches/HeuristicLab.DebugEngine/DebugEngineView.Designer.cs
r4904 r4909 47 47 this.components = new System.ComponentModel.Container(); 48 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.operationContentView = new OperationContentView(); 52 this.logView = new HeuristicLab.Core.Views.LogView(); 53 this.splitContainer1 = new System.Windows.Forms.SplitContainer(); 49 this.operationContentView = new HeuristicLab.DebugEngine.OperationContentView(); 50 this.executionStackView = new HeuristicLab.DebugEngine.ExecutionStackView(); 54 51 this.splitContainer2 = new System.Windows.Forms.SplitContainer(); 52 this.refreshButton = new System.Windows.Forms.Button(); 53 this.skipStackOpsCheckBox = new System.Windows.Forms.CheckBox(); 55 54 this.stepButton = new System.Windows.Forms.Button(); 56 55 this.toolTip = new System.Windows.Forms.ToolTip(this.components); 57 this.refreshButton = new System.Windows.Forms.Button();58 this.skipStackOpsCheckBox = new System.Windows.Forms.CheckBox();59 56 this.splitContainer3 = new System.Windows.Forms.SplitContainer(); 60 this.executionStackView = new HeuristicLab.DebugEngine.ExecutionStackView(); 61 this.operatorTraceView = new OperatorTraceView(); 62 this.splitContainer1.Panel1.SuspendLayout(); 63 this.splitContainer1.Panel2.SuspendLayout(); 64 this.splitContainer1.SuspendLayout(); 57 this.operatorTraceView = new HeuristicLab.DebugEngine.OperatorTraceView(); 65 58 this.splitContainer2.Panel1.SuspendLayout(); 66 59 this.splitContainer2.Panel2.SuspendLayout(); 67 60 this.splitContainer2.SuspendLayout(); 68 61 this.splitContainer3.Panel1.SuspendLayout(); 62 this.splitContainer3.Panel2.SuspendLayout(); 69 63 this.splitContainer3.SuspendLayout(); 70 64 this.SuspendLayout(); 71 65 // 72 // label1 73 // 74 this.label1.AutoSize = true; 75 this.label1.Location = new System.Drawing.Point(3, 9); 76 this.label1.Name = "label1"; 77 this.label1.Size = new System.Drawing.Size(83, 13); 78 this.label1.TabIndex = 0; 79 this.label1.Text = "Execution Time:"; 80 // 81 // executionTimeTextBox 82 // 83 this.executionTimeTextBox.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left) 66 // operationContentView 67 // 68 this.operationContentView.Caption = "Operation Content View"; 69 this.operationContentView.Content = null; 70 this.operationContentView.Dock = System.Windows.Forms.DockStyle.Fill; 71 this.operationContentView.Location = new System.Drawing.Point(0, 0); 72 this.operationContentView.Name = "operationContentView"; 73 this.operationContentView.ReadOnly = false; 74 this.operationContentView.Size = new System.Drawing.Size(484, 538); 75 this.operationContentView.TabIndex = 0; 76 // 77 // executionStackView 78 // 79 this.executionStackView.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom) 80 | System.Windows.Forms.AnchorStyles.Left) 84 81 | System.Windows.Forms.AnchorStyles.Right))); 85 this.executionTimeTextBox.Location = new System.Drawing.Point(92, 6); 86 this.executionTimeTextBox.Name = "executionTimeTextBox"; 87 this.executionTimeTextBox.ReadOnly = true; 88 this.executionTimeTextBox.Size = new System.Drawing.Size(611, 20); 89 this.executionTimeTextBox.TabIndex = 1; 90 // 91 // logView 92 // 93 this.logView.Caption = "Log View"; 94 this.logView.Content = null; 95 this.logView.Dock = System.Windows.Forms.DockStyle.Fill; 96 this.logView.Location = new System.Drawing.Point(0, 0); 97 this.logView.Name = "logView"; 98 this.logView.ReadOnly = false; 99 this.logView.Size = new System.Drawing.Size(198, 237); 100 this.logView.TabIndex = 2; 101 // 102 // splitContainer1 103 // 104 this.splitContainer1.Dock = System.Windows.Forms.DockStyle.Fill; 105 this.splitContainer1.Location = new System.Drawing.Point(0, 0); 106 this.splitContainer1.Name = "splitContainer1"; 107 this.splitContainer1.Orientation = System.Windows.Forms.Orientation.Horizontal; 108 // 109 // splitContainer1.Panel1 110 // 111 this.splitContainer1.Panel1.Controls.Add(this.executionStackView); 112 // 113 // splitContainer1.Panel2 114 // 115 this.splitContainer1.Panel2.Controls.Add(this.logView); 116 this.splitContainer1.Size = new System.Drawing.Size(198, 502); 117 this.splitContainer1.SplitterDistance = 261; 118 this.splitContainer1.TabIndex = 3; 82 this.executionStackView.Caption = "Execution Stack View"; 83 this.executionStackView.Content = null; 84 this.executionStackView.Location = new System.Drawing.Point(0, 0); 85 this.executionStackView.Name = "executionStackView"; 86 this.executionStackView.ReadOnly = false; 87 this.executionStackView.Size = new System.Drawing.Size(197, 505); 88 this.executionStackView.TabIndex = 0; 119 89 // 120 90 // splitContainer2 … … 126 96 // splitContainer2.Panel1 127 97 // 128 this.splitContainer2.Panel1.Controls.Add(this.splitContainer1); 98 this.splitContainer2.Panel1.Controls.Add(this.executionStackView); 99 this.splitContainer2.Panel1.Controls.Add(this.refreshButton); 100 this.splitContainer2.Panel1.Controls.Add(this.skipStackOpsCheckBox); 101 this.splitContainer2.Panel1.Controls.Add(this.stepButton); 129 102 // 130 103 // splitContainer2.Panel2 131 104 // 132 105 this.splitContainer2.Panel2.Controls.Add(this.operationContentView); 133 this.splitContainer2.Size = new System.Drawing.Size(68 3, 502);134 this.splitContainer2.SplitterDistance = 19 8;106 this.splitContainer2.Size = new System.Drawing.Size(687, 538); 107 this.splitContainer2.SplitterDistance = 199; 135 108 this.splitContainer2.TabIndex = 0; 136 109 // 110 // refreshButton 111 // 112 this.refreshButton.Anchor = ((System.Windows.Forms.AnchorStyles)((System.Windows.Forms.AnchorStyles.Bottom | System.Windows.Forms.AnchorStyles.Left))); 113 this.refreshButton.Image = ((System.Drawing.Image)(resources.GetObject("refreshButton.Image"))); 114 this.refreshButton.Location = new System.Drawing.Point(3, 511); 115 this.refreshButton.Name = "refreshButton"; 116 this.refreshButton.Size = new System.Drawing.Size(24, 24); 117 this.refreshButton.TabIndex = 5; 118 this.toolTip.SetToolTip(this.refreshButton, "Refresh View"); 119 this.refreshButton.UseVisualStyleBackColor = true; 120 this.refreshButton.Click += new System.EventHandler(this.refreshButton_Click); 121 // 122 // skipStackOpsCheckBox 123 // 124 this.skipStackOpsCheckBox.Anchor = ((System.Windows.Forms.AnchorStyles)((System.Windows.Forms.AnchorStyles.Bottom | System.Windows.Forms.AnchorStyles.Left))); 125 this.skipStackOpsCheckBox.AutoSize = true; 126 this.skipStackOpsCheckBox.Location = new System.Drawing.Point(63, 516); 127 this.skipStackOpsCheckBox.Name = "skipStackOpsCheckBox"; 128 this.skipStackOpsCheckBox.Size = new System.Drawing.Size(78, 17); 129 this.skipStackOpsCheckBox.TabIndex = 6; 130 this.skipStackOpsCheckBox.Text = "Skip Stack"; 131 this.toolTip.SetToolTip(this.skipStackOpsCheckBox, "Automatically step over steps that manipulate only the execution stack"); 132 this.skipStackOpsCheckBox.UseVisualStyleBackColor = true; 133 // 137 134 // stepButton 138 135 // 139 this.stepButton.Anchor = ((System.Windows.Forms.AnchorStyles)((System.Windows.Forms.AnchorStyles. Top | System.Windows.Forms.AnchorStyles.Right)));136 this.stepButton.Anchor = ((System.Windows.Forms.AnchorStyles)((System.Windows.Forms.AnchorStyles.Bottom | System.Windows.Forms.AnchorStyles.Left))); 140 137 this.stepButton.Image = ((System.Drawing.Image)(resources.GetObject("stepButton.Image"))); 141 this.stepButton.Location = new System.Drawing.Point( 815, 3);138 this.stepButton.Location = new System.Drawing.Point(33, 511); 142 139 this.stepButton.Name = "stepButton"; 143 140 this.stepButton.Size = new System.Drawing.Size(24, 24); … … 147 144 this.stepButton.Click += new System.EventHandler(this.stepButton_Click); 148 145 // 149 // refreshButton150 //151 this.refreshButton.Anchor = ((System.Windows.Forms.AnchorStyles)((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Right)));152 this.refreshButton.Image = ((System.Drawing.Image)(resources.GetObject("refreshButton.Image")));153 this.refreshButton.Location = new System.Drawing.Point(845, 3);154 this.refreshButton.Name = "refreshButton";155 this.refreshButton.Size = new System.Drawing.Size(24, 24);156 this.refreshButton.TabIndex = 5;157 this.refreshButton.UseVisualStyleBackColor = true;158 this.refreshButton.Click += new System.EventHandler(this.refreshButton_Click);159 //160 // skipStackOpsCheckBox161 //162 this.skipStackOpsCheckBox.Anchor = ((System.Windows.Forms.AnchorStyles)((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Right)));163 this.skipStackOpsCheckBox.AutoSize = true;164 this.skipStackOpsCheckBox.Location = new System.Drawing.Point(709, 8);165 this.skipStackOpsCheckBox.Name = "skipStackOpsCheckBox";166 this.skipStackOpsCheckBox.Size = new System.Drawing.Size(100, 17);167 this.skipStackOpsCheckBox.TabIndex = 6;168 this.skipStackOpsCheckBox.Text = "Skip Stack Ops";169 this.skipStackOpsCheckBox.UseVisualStyleBackColor = true;170 //171 146 // splitContainer3 172 147 // … … 174 149 | System.Windows.Forms.AnchorStyles.Left) 175 150 | System.Windows.Forms.AnchorStyles.Right))); 176 this.splitContainer3.Location = new System.Drawing.Point( 3, 33);151 this.splitContainer3.Location = new System.Drawing.Point(0, 0); 177 152 this.splitContainer3.Name = "splitContainer3"; 178 153 // … … 180 155 // 181 156 this.splitContainer3.Panel1.Controls.Add(this.splitContainer2); 157 // 158 // splitContainer3.Panel2 159 // 182 160 this.splitContainer3.Panel2.Controls.Add(this.operatorTraceView); 183 this.splitContainer3.Size = new System.Drawing.Size(8 66, 502);184 this.splitContainer3.SplitterDistance = 68 3;161 this.splitContainer3.Size = new System.Drawing.Size(872, 538); 162 this.splitContainer3.SplitterDistance = 687; 185 163 this.splitContainer3.TabIndex = 7; 164 // 165 // operatorTraceView 166 // 167 this.operatorTraceView.Caption = "Operator Trace View"; 168 this.operatorTraceView.Content = null; 186 169 this.operatorTraceView.Dock = System.Windows.Forms.DockStyle.Fill; 187 // 188 // executionStackView 189 // 190 this.executionStackView.Caption = "Execution Stack View"; 191 this.executionStackView.Content = null; 192 this.executionStackView.Dock = System.Windows.Forms.DockStyle.Fill; 193 this.executionStackView.Location = new System.Drawing.Point(0, 0); 194 this.executionStackView.Name = "executionStackView"; 195 this.executionStackView.ReadOnly = false; 196 this.executionStackView.Size = new System.Drawing.Size(198, 261); 197 this.executionStackView.TabIndex = 0; 198 // 199 // operationContentView 200 // 201 this.operationContentView.Caption = "Operation Content View"; 202 this.operationContentView.Content = null; 203 this.operationContentView.Dock = System.Windows.Forms.DockStyle.Fill; 204 this.operationContentView.Location = new System.Drawing.Point(0, 0); 205 this.operationContentView.Name = "operationContentView"; 206 this.operationContentView.ReadOnly = false; 207 this.operationContentView.Size = new System.Drawing.Size(481, 502); 208 this.operationContentView.TabIndex = 0; 170 this.operatorTraceView.Location = new System.Drawing.Point(0, 0); 171 this.operatorTraceView.Name = "operatorTraceView"; 172 this.operatorTraceView.ReadOnly = false; 173 this.operatorTraceView.Size = new System.Drawing.Size(181, 538); 174 this.operatorTraceView.TabIndex = 0; 209 175 // 210 176 // DebugEngineView … … 212 178 this.AutoScaleDimensions = new System.Drawing.SizeF(6F, 13F); 213 179 this.Controls.Add(this.splitContainer3); 214 this.Controls.Add(this.skipStackOpsCheckBox);215 this.Controls.Add(this.refreshButton);216 this.Controls.Add(this.stepButton);217 this.Controls.Add(this.executionTimeTextBox);218 this.Controls.Add(this.label1);219 180 this.Name = "DebugEngineView"; 220 181 this.Size = new System.Drawing.Size(872, 538); 221 this.splitContainer1.Panel1.ResumeLayout(false);222 this.splitContainer1.Panel2.ResumeLayout(false);223 this.splitContainer1.ResumeLayout(false);224 182 this.splitContainer2.Panel1.ResumeLayout(false); 183 this.splitContainer2.Panel1.PerformLayout(); 225 184 this.splitContainer2.Panel2.ResumeLayout(false); 226 185 this.splitContainer2.ResumeLayout(false); 227 186 this.splitContainer3.Panel1.ResumeLayout(false); 187 this.splitContainer3.Panel2.ResumeLayout(false); 228 188 this.splitContainer3.ResumeLayout(false); 229 189 this.ResumeLayout(false); 230 this.PerformLayout();231 190 232 191 } … … 234 193 #endregion 235 194 236 private System.Windows.Forms.Label label1;237 private System.Windows.Forms.TextBox executionTimeTextBox;238 private Core.Views.LogView logView;239 private System.Windows.Forms.SplitContainer splitContainer1;240 195 private System.Windows.Forms.SplitContainer splitContainer2; 241 196 private System.Windows.Forms.Button stepButton;
Note: See TracChangeset
for help on using the changeset viewer.