#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 OperationContentView {
///
/// 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 Component 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();
this.groupBox = new System.Windows.Forms.GroupBox();
this.splitContainer1 = new System.Windows.Forms.SplitContainer();
this.executionContextGroupBox = new System.Windows.Forms.GroupBox();
this.executionContextTreeView = new System.Windows.Forms.TreeView();
this.executionContextImageList = new System.Windows.Forms.ImageList(this.components);
this.scopeGroupBox = new System.Windows.Forms.GroupBox();
this.scopeTreeView = new System.Windows.Forms.TreeView();
this.scopeImageList = new System.Windows.Forms.ImageList(this.components);
this.nameTextBox = new System.Windows.Forms.TextBox();
this.contextLabel = new System.Windows.Forms.Label();
this.atomicLabel = new System.Windows.Forms.Label();
this.collectionLabel = new System.Windows.Forms.Label();
this.parametersImageList = new System.Windows.Forms.ImageList(this.components);
this.executionContextConextMenu = new System.Windows.Forms.ContextMenuStrip(this.components);
this.showValueToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
this.groupBox.SuspendLayout();
this.splitContainer1.Panel1.SuspendLayout();
this.splitContainer1.Panel2.SuspendLayout();
this.splitContainer1.SuspendLayout();
this.executionContextGroupBox.SuspendLayout();
this.scopeGroupBox.SuspendLayout();
this.executionContextConextMenu.SuspendLayout();
this.SuspendLayout();
//
// groupBox
//
this.groupBox.Controls.Add(this.splitContainer1);
this.groupBox.Controls.Add(this.nameTextBox);
this.groupBox.Controls.Add(this.contextLabel);
this.groupBox.Controls.Add(this.atomicLabel);
this.groupBox.Controls.Add(this.collectionLabel);
this.groupBox.Dock = System.Windows.Forms.DockStyle.Fill;
this.groupBox.Location = new System.Drawing.Point(0, 0);
this.groupBox.Name = "groupBox";
this.groupBox.Size = new System.Drawing.Size(563, 412);
this.groupBox.TabIndex = 0;
this.groupBox.TabStop = false;
this.groupBox.Text = "Operation";
//
// splitContainer1
//
this.splitContainer1.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.splitContainer1.Location = new System.Drawing.Point(6, 45);
this.splitContainer1.Name = "splitContainer1";
//
// splitContainer1.Panel1
//
this.splitContainer1.Panel1.Controls.Add(this.executionContextGroupBox);
//
// splitContainer1.Panel2
//
this.splitContainer1.Panel2.Controls.Add(this.scopeGroupBox);
this.splitContainer1.Size = new System.Drawing.Size(551, 361);
this.splitContainer1.SplitterDistance = 242;
this.splitContainer1.TabIndex = 4;
//
// executionContextGroupBox
//
this.executionContextGroupBox.Controls.Add(this.executionContextTreeView);
this.executionContextGroupBox.Dock = System.Windows.Forms.DockStyle.Fill;
this.executionContextGroupBox.Location = new System.Drawing.Point(0, 0);
this.executionContextGroupBox.Name = "executionContextGroupBox";
this.executionContextGroupBox.Size = new System.Drawing.Size(242, 361);
this.executionContextGroupBox.TabIndex = 0;
this.executionContextGroupBox.TabStop = false;
this.executionContextGroupBox.Text = "Execution Context";
//
// executionContextTreeView
//
this.executionContextTreeView.ContextMenuStrip = this.executionContextConextMenu;
this.executionContextTreeView.Dock = System.Windows.Forms.DockStyle.Fill;
this.executionContextTreeView.ImageIndex = 0;
this.executionContextTreeView.ImageList = this.executionContextImageList;
this.executionContextTreeView.Location = new System.Drawing.Point(3, 16);
this.executionContextTreeView.Name = "executionContextTreeView";
this.executionContextTreeView.SelectedImageIndex = 0;
this.executionContextTreeView.ShowNodeToolTips = true;
this.executionContextTreeView.Size = new System.Drawing.Size(236, 342);
this.executionContextTreeView.TabIndex = 0;
this.executionContextTreeView.NodeMouseClick += new System.Windows.Forms.TreeNodeMouseClickEventHandler(this.executionContextTreeView_NodeMouseClick);
this.executionContextTreeView.NodeMouseDoubleClick += new System.Windows.Forms.TreeNodeMouseClickEventHandler(this.executionContextTreeView_NodeMouseDoubleClick);
//
// executionContextImageList
//
this.executionContextImageList.ColorDepth = System.Windows.Forms.ColorDepth.Depth8Bit;
this.executionContextImageList.ImageSize = new System.Drawing.Size(16, 16);
this.executionContextImageList.TransparentColor = System.Drawing.Color.Transparent;
//
// scopeGroupBox
//
this.scopeGroupBox.Controls.Add(this.scopeTreeView);
this.scopeGroupBox.Dock = System.Windows.Forms.DockStyle.Fill;
this.scopeGroupBox.Location = new System.Drawing.Point(0, 0);
this.scopeGroupBox.Name = "scopeGroupBox";
this.scopeGroupBox.Size = new System.Drawing.Size(305, 361);
this.scopeGroupBox.TabIndex = 1;
this.scopeGroupBox.TabStop = false;
this.scopeGroupBox.Text = "Scope";
//
// scopeTreeView
//
this.scopeTreeView.Dock = System.Windows.Forms.DockStyle.Fill;
this.scopeTreeView.ImageIndex = 0;
this.scopeTreeView.ImageList = this.scopeImageList;
this.scopeTreeView.Location = new System.Drawing.Point(3, 16);
this.scopeTreeView.Name = "scopeTreeView";
this.scopeTreeView.SelectedImageIndex = 0;
this.scopeTreeView.ShowNodeToolTips = true;
this.scopeTreeView.Size = new System.Drawing.Size(299, 342);
this.scopeTreeView.TabIndex = 0;
this.scopeTreeView.NodeMouseDoubleClick += new System.Windows.Forms.TreeNodeMouseClickEventHandler(this.scopeTreeView_NodeMouseDoubleClick);
//
// scopeImageList
//
this.scopeImageList.ColorDepth = System.Windows.Forms.ColorDepth.Depth8Bit;
this.scopeImageList.ImageSize = new System.Drawing.Size(16, 16);
this.scopeImageList.TransparentColor = System.Drawing.Color.Transparent;
//
// nameTextBox
//
this.nameTextBox.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left)
| System.Windows.Forms.AnchorStyles.Right)));
this.nameTextBox.Cursor = System.Windows.Forms.Cursors.Default;
this.nameTextBox.Location = new System.Drawing.Point(6, 19);
this.nameTextBox.Name = "nameTextBox";
this.nameTextBox.ReadOnly = true;
this.nameTextBox.Size = new System.Drawing.Size(395, 20);
this.nameTextBox.TabIndex = 3;
this.nameTextBox.DoubleClick += new System.EventHandler(this.nameTextBox_DoubleClick);
//
// contextLabel
//
this.contextLabel.Anchor = ((System.Windows.Forms.AnchorStyles)((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Right)));
this.contextLabel.AutoSize = true;
this.contextLabel.ForeColor = System.Drawing.SystemColors.ControlDark;
this.contextLabel.Location = new System.Drawing.Point(407, 22);
this.contextLabel.Name = "contextLabel";
this.contextLabel.Size = new System.Drawing.Size(43, 13);
this.contextLabel.TabIndex = 2;
this.contextLabel.Text = "Context";
//
// atomicLabel
//
this.atomicLabel.Anchor = ((System.Windows.Forms.AnchorStyles)((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Right)));
this.atomicLabel.AutoSize = true;
this.atomicLabel.ForeColor = System.Drawing.SystemColors.ControlDark;
this.atomicLabel.Location = new System.Drawing.Point(456, 22);
this.atomicLabel.Name = "atomicLabel";
this.atomicLabel.Size = new System.Drawing.Size(39, 13);
this.atomicLabel.TabIndex = 1;
this.atomicLabel.Text = "Atomic";
//
// collectionLabel
//
this.collectionLabel.Anchor = ((System.Windows.Forms.AnchorStyles)((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Right)));
this.collectionLabel.AutoSize = true;
this.collectionLabel.ForeColor = System.Drawing.SystemColors.ControlDark;
this.collectionLabel.Location = new System.Drawing.Point(501, 22);
this.collectionLabel.Name = "collectionLabel";
this.collectionLabel.Size = new System.Drawing.Size(53, 13);
this.collectionLabel.TabIndex = 0;
this.collectionLabel.Text = "Collection";
//
// parametersImageList
//
this.parametersImageList.ColorDepth = System.Windows.Forms.ColorDepth.Depth8Bit;
this.parametersImageList.ImageSize = new System.Drawing.Size(16, 16);
this.parametersImageList.TransparentColor = System.Drawing.Color.Transparent;
//
// executionContextConextMenu
//
this.executionContextConextMenu.Items.AddRange(new System.Windows.Forms.ToolStripItem[] {
this.showValueToolStripMenuItem});
this.executionContextConextMenu.Name = "executionContextConextMenu";
this.executionContextConextMenu.Size = new System.Drawing.Size(169, 48);
this.executionContextConextMenu.Opening += new System.ComponentModel.CancelEventHandler(this.executionContextConextMenu_Opening);
//
// showValueToolStripMenuItem
//
this.showValueToolStripMenuItem.Name = "showValueToolStripMenuItem";
this.showValueToolStripMenuItem.Size = new System.Drawing.Size(168, 22);
this.showValueToolStripMenuItem.Text = "show actual value";
this.showValueToolStripMenuItem.ToolTipText = "Try to obtain the parameter\'s actual value in the current execution context and o" +
"pen it in a new view.";
this.showValueToolStripMenuItem.Click += new System.EventHandler(this.ShowValue_Click);
//
// OperationContentView
//
this.AutoScaleDimensions = new System.Drawing.SizeF(6F, 13F);
this.AutoScaleMode = System.Windows.Forms.AutoScaleMode.Font;
this.Controls.Add(this.groupBox);
this.Name = "OperationContentView";
this.Size = new System.Drawing.Size(563, 412);
this.groupBox.ResumeLayout(false);
this.groupBox.PerformLayout();
this.splitContainer1.Panel1.ResumeLayout(false);
this.splitContainer1.Panel2.ResumeLayout(false);
this.splitContainer1.ResumeLayout(false);
this.executionContextGroupBox.ResumeLayout(false);
this.scopeGroupBox.ResumeLayout(false);
this.executionContextConextMenu.ResumeLayout(false);
this.ResumeLayout(false);
}
#endregion
private System.Windows.Forms.GroupBox groupBox;
private System.Windows.Forms.TextBox nameTextBox;
private System.Windows.Forms.Label contextLabel;
private System.Windows.Forms.Label atomicLabel;
private System.Windows.Forms.Label collectionLabel;
private System.Windows.Forms.SplitContainer splitContainer1;
private System.Windows.Forms.TreeView scopeTreeView;
private System.Windows.Forms.GroupBox scopeGroupBox;
private System.Windows.Forms.ImageList executionContextImageList;
private System.Windows.Forms.ImageList parametersImageList;
private System.Windows.Forms.ImageList scopeImageList;
private System.Windows.Forms.GroupBox executionContextGroupBox;
private System.Windows.Forms.TreeView executionContextTreeView;
private System.Windows.Forms.ContextMenuStrip executionContextConextMenu;
private System.Windows.Forms.ToolStripMenuItem showValueToolStripMenuItem;
}
}