#region License Information
/* HeuristicLab
* Copyright (C) 2002-2010 Heuristic and Evolutionary Algorithms Laboratory (HEAL)
*
* This file is part of HeuristicLab.
*
* HeuristicLab is free software: you can redistribute it and/or modify
* it under the terms of the GNU General Public License as published by
* the Free Software Foundation, either version 3 of the License, or
* (at your option) any later version.
*
* HeuristicLab is distributed in the hope that it will be useful,
* but WITHOUT ANY WARRANTY; without even the implied warranty of
* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
* GNU General Public License for more details.
*
* You should have received a copy of the GNU General Public License
* along with HeuristicLab. If not, see .
*/
#endregion
namespace HeuristicLab.DebugEngine {
partial class DebugEngineView {
///
/// Required designer variable.
///
private System.ComponentModel.IContainer components = null;
///
/// Clean up any resources being used.
///
/// true if managed resources should be disposed; otherwise, false.
protected override void Dispose(bool disposing) {
if (disposing && (components != null)) {
components.Dispose();
}
base.Dispose(disposing);
}
#region Windows Form Designer generated code
///
/// Required method for Designer support - do not modify
/// the contents of this method with the code editor.
///
private void InitializeComponent() {
this.components = new System.ComponentModel.Container();
System.ComponentModel.ComponentResourceManager resources = new System.ComponentModel.ComponentResourceManager(typeof(DebugEngineView));
this.label1 = new System.Windows.Forms.Label();
this.executionTimeTextBox = new System.Windows.Forms.TextBox();
this.logView = new HeuristicLab.Core.Views.LogView();
this.splitContainer1 = new System.Windows.Forms.SplitContainer();
this.executionStackTreeView = new System.Windows.Forms.TreeView();
this.label2 = new System.Windows.Forms.Label();
this.splitContainer2 = new System.Windows.Forms.SplitContainer();
this.label4 = new System.Windows.Forms.Label();
this.operationTextBox = new System.Windows.Forms.TextBox();
this.label3 = new System.Windows.Forms.Label();
this.scopeTreeView = new System.Windows.Forms.TreeView();
this.stepButton = new System.Windows.Forms.Button();
this.updateButton = new System.Windows.Forms.Button();
this.toolTip = new System.Windows.Forms.ToolTip(this.components);
this.parentButton = new System.Windows.Forms.Button();
this.splitContainer3 = new System.Windows.Forms.SplitContainer();
this.parameterCollectionView = new HeuristicLab.Core.Views.ParameterCollectionView();
this.splitContainer1.Panel1.SuspendLayout();
this.splitContainer1.Panel2.SuspendLayout();
this.splitContainer1.SuspendLayout();
this.splitContainer2.Panel1.SuspendLayout();
this.splitContainer2.Panel2.SuspendLayout();
this.splitContainer2.SuspendLayout();
this.splitContainer3.Panel1.SuspendLayout();
this.splitContainer3.Panel2.SuspendLayout();
this.splitContainer3.SuspendLayout();
this.SuspendLayout();
//
// label1
//
this.label1.AutoSize = true;
this.label1.Location = new System.Drawing.Point(3, 9);
this.label1.Name = "label1";
this.label1.Size = new System.Drawing.Size(83, 13);
this.label1.TabIndex = 0;
this.label1.Text = "Execution Time:";
//
// executionTimeTextBox
//
this.executionTimeTextBox.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left)
| System.Windows.Forms.AnchorStyles.Right)));
this.executionTimeTextBox.Location = new System.Drawing.Point(92, 6);
this.executionTimeTextBox.Name = "executionTimeTextBox";
this.executionTimeTextBox.ReadOnly = true;
this.executionTimeTextBox.Size = new System.Drawing.Size(684, 20);
this.executionTimeTextBox.TabIndex = 1;
//
// logView
//
this.logView.Caption = "Log View";
this.logView.Content = null;
this.logView.Dock = System.Windows.Forms.DockStyle.Fill;
this.logView.Location = new System.Drawing.Point(0, 0);
this.logView.Name = "logView";
this.logView.ReadOnly = false;
this.logView.Size = new System.Drawing.Size(433, 237);
this.logView.TabIndex = 2;
//
// splitContainer1
//
this.splitContainer1.Dock = System.Windows.Forms.DockStyle.Fill;
this.splitContainer1.Location = new System.Drawing.Point(0, 0);
this.splitContainer1.Name = "splitContainer1";
this.splitContainer1.Orientation = System.Windows.Forms.Orientation.Horizontal;
//
// splitContainer1.Panel1
//
this.splitContainer1.Panel1.Controls.Add(this.executionStackTreeView);
this.splitContainer1.Panel1.Controls.Add(this.label2);
//
// splitContainer1.Panel2
//
this.splitContainer1.Panel2.Controls.Add(this.logView);
this.splitContainer1.Size = new System.Drawing.Size(433, 503);
this.splitContainer1.SplitterDistance = 262;
this.splitContainer1.TabIndex = 3;
//
// executionStackTreeView
//
this.executionStackTreeView.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom)
| System.Windows.Forms.AnchorStyles.Left)
| System.Windows.Forms.AnchorStyles.Right)));
this.executionStackTreeView.Location = new System.Drawing.Point(3, 16);
this.executionStackTreeView.Name = "executionStackTreeView";
this.executionStackTreeView.ShowNodeToolTips = true;
this.executionStackTreeView.Size = new System.Drawing.Size(427, 243);
this.executionStackTreeView.TabIndex = 2;
this.executionStackTreeView.NodeMouseDoubleClick += new System.Windows.Forms.TreeNodeMouseClickEventHandler(this.executionStackTreeView_NodeMouseDoubleClick);
//
// label2
//
this.label2.AutoSize = true;
this.label2.Location = new System.Drawing.Point(3, 0);
this.label2.Name = "label2";
this.label2.Size = new System.Drawing.Size(85, 13);
this.label2.TabIndex = 1;
this.label2.Text = "Execution Stack";
//
// splitContainer2
//
this.splitContainer2.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom)
| System.Windows.Forms.AnchorStyles.Left)
| System.Windows.Forms.AnchorStyles.Right)));
this.splitContainer2.Location = new System.Drawing.Point(3, 32);
this.splitContainer2.Name = "splitContainer2";
//
// splitContainer2.Panel1
//
this.splitContainer2.Panel1.Controls.Add(this.splitContainer1);
//
// splitContainer2.Panel2
//
this.splitContainer2.Panel2.Controls.Add(this.splitContainer3);
this.splitContainer2.Panel2.Controls.Add(this.label4);
this.splitContainer2.Panel2.Controls.Add(this.operationTextBox);
this.splitContainer2.Size = new System.Drawing.Size(866, 503);
this.splitContainer2.SplitterDistance = 433;
this.splitContainer2.TabIndex = 0;
//
// label4
//
this.label4.AutoSize = true;
this.label4.Location = new System.Drawing.Point(3, 6);
this.label4.Name = "label4";
this.label4.Size = new System.Drawing.Size(56, 13);
this.label4.TabIndex = 3;
this.label4.Text = "Operation:";
//
// operationTextBox
//
this.operationTextBox.Location = new System.Drawing.Point(65, 3);
this.operationTextBox.Name = "operationTextBox";
this.operationTextBox.ReadOnly = true;
this.operationTextBox.Size = new System.Drawing.Size(267, 20);
this.operationTextBox.TabIndex = 2;
//
// label3
//
this.label3.AutoSize = true;
this.label3.Location = new System.Drawing.Point(3, 0);
this.label3.Name = "label3";
this.label3.Size = new System.Drawing.Size(63, 13);
this.label3.TabIndex = 1;
this.label3.Text = "Scope Tree";
//
// scopeTreeView
//
this.scopeTreeView.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom)
| System.Windows.Forms.AnchorStyles.Left)
| System.Windows.Forms.AnchorStyles.Right)));
this.scopeTreeView.Location = new System.Drawing.Point(3, 16);
this.scopeTreeView.Name = "scopeTreeView";
this.scopeTreeView.ShowNodeToolTips = true;
this.scopeTreeView.Size = new System.Drawing.Size(417, 216);
this.scopeTreeView.TabIndex = 0;
this.scopeTreeView.NodeMouseDoubleClick += new System.Windows.Forms.TreeNodeMouseClickEventHandler(this.scopeTreeView_NodeMouseDoubleClick);
//
// stepButton
//
this.stepButton.Anchor = ((System.Windows.Forms.AnchorStyles)((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Right)));
this.stepButton.Image = ((System.Drawing.Image)(resources.GetObject("stepButton.Image")));
this.stepButton.Location = new System.Drawing.Point(812, 3);
this.stepButton.Name = "stepButton";
this.stepButton.Size = new System.Drawing.Size(24, 24);
this.stepButton.TabIndex = 4;
this.toolTip.SetToolTip(this.stepButton, "Step");
this.stepButton.UseVisualStyleBackColor = true;
this.stepButton.Click += new System.EventHandler(this.stepButton_Click);
//
// updateButton
//
this.updateButton.Anchor = ((System.Windows.Forms.AnchorStyles)((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Right)));
this.updateButton.Image = ((System.Drawing.Image)(resources.GetObject("updateButton.Image")));
this.updateButton.Location = new System.Drawing.Point(842, 3);
this.updateButton.Name = "updateButton";
this.updateButton.Size = new System.Drawing.Size(24, 24);
this.updateButton.TabIndex = 5;
this.toolTip.SetToolTip(this.updateButton, "Refresh/Reset View");
this.updateButton.UseVisualStyleBackColor = true;
this.updateButton.Click += new System.EventHandler(this.updateButton_Click);
//
// parentButton
//
this.parentButton.Anchor = ((System.Windows.Forms.AnchorStyles)((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Right)));
this.parentButton.Image = ((System.Drawing.Image)(resources.GetObject("parentButton.Image")));
this.parentButton.Location = new System.Drawing.Point(782, 3);
this.parentButton.Name = "parentButton";
this.parentButton.Size = new System.Drawing.Size(24, 24);
this.parentButton.TabIndex = 6;
this.toolTip.SetToolTip(this.parentButton, "Go to parent ExecutionContext");
this.parentButton.UseVisualStyleBackColor = true;
this.parentButton.Click += new System.EventHandler(this.parentButton_Click);
//
// splitContainer3
//
this.splitContainer3.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom)
| System.Windows.Forms.AnchorStyles.Left)
| System.Windows.Forms.AnchorStyles.Right)));
this.splitContainer3.Location = new System.Drawing.Point(3, 29);
this.splitContainer3.Name = "splitContainer3";
this.splitContainer3.Orientation = System.Windows.Forms.Orientation.Horizontal;
//
// splitContainer3.Panel1
//
this.splitContainer3.Panel1.Controls.Add(this.parameterCollectionView);
//
// splitContainer3.Panel2
//
this.splitContainer3.Panel2.Controls.Add(this.label3);
this.splitContainer3.Panel2.Controls.Add(this.scopeTreeView);
this.splitContainer3.Size = new System.Drawing.Size(423, 471);
this.splitContainer3.SplitterDistance = 235;
this.splitContainer3.TabIndex = 4;
//
// parameterCollectionView
//
this.parameterCollectionView.Caption = "ParameterCollection View";
this.parameterCollectionView.Content = null;
this.parameterCollectionView.Dock = System.Windows.Forms.DockStyle.Fill;
this.parameterCollectionView.Location = new System.Drawing.Point(0, 0);
this.parameterCollectionView.Name = "parameterCollectionView";
this.parameterCollectionView.ReadOnly = false;
this.parameterCollectionView.Size = new System.Drawing.Size(423, 235);
this.parameterCollectionView.TabIndex = 0;
//
// DebugEngineView
//
this.AutoScaleDimensions = new System.Drawing.SizeF(6F, 13F);
this.Controls.Add(this.parentButton);
this.Controls.Add(this.splitContainer2);
this.Controls.Add(this.updateButton);
this.Controls.Add(this.stepButton);
this.Controls.Add(this.executionTimeTextBox);
this.Controls.Add(this.label1);
this.Name = "DebugEngineView";
this.Size = new System.Drawing.Size(872, 538);
this.splitContainer1.Panel1.ResumeLayout(false);
this.splitContainer1.Panel1.PerformLayout();
this.splitContainer1.Panel2.ResumeLayout(false);
this.splitContainer1.ResumeLayout(false);
this.splitContainer2.Panel1.ResumeLayout(false);
this.splitContainer2.Panel2.ResumeLayout(false);
this.splitContainer2.Panel2.PerformLayout();
this.splitContainer2.ResumeLayout(false);
this.splitContainer3.Panel1.ResumeLayout(false);
this.splitContainer3.Panel2.ResumeLayout(false);
this.splitContainer3.Panel2.PerformLayout();
this.splitContainer3.ResumeLayout(false);
this.ResumeLayout(false);
this.PerformLayout();
}
#endregion
private System.Windows.Forms.Label label1;
private System.Windows.Forms.TextBox executionTimeTextBox;
private Core.Views.LogView logView;
private System.Windows.Forms.SplitContainer splitContainer1;
private System.Windows.Forms.SplitContainer splitContainer2;
private System.Windows.Forms.Label label2;
private System.Windows.Forms.Label label3;
private System.Windows.Forms.TreeView scopeTreeView;
private System.Windows.Forms.TreeView executionStackTreeView;
private System.Windows.Forms.Button stepButton;
private System.Windows.Forms.Button updateButton;
private System.Windows.Forms.ToolTip toolTip;
private System.Windows.Forms.Button parentButton;
private System.Windows.Forms.Label label4;
private System.Windows.Forms.TextBox operationTextBox;
private System.Windows.Forms.SplitContainer splitContainer3;
private Core.Views.ParameterCollectionView parameterCollectionView;
}
}