| 1 | #region License Information
|
|---|
| 2 | /* HeuristicLab
|
|---|
| 3 | * Copyright (C) 2002-2008 Heuristic and Evolutionary Algorithms Laboratory (HEAL)
|
|---|
| 4 | *
|
|---|
| 5 | * This file is part of HeuristicLab.
|
|---|
| 6 | *
|
|---|
| 7 | * HeuristicLab is free software: you can redistribute it and/or modify
|
|---|
| 8 | * it under the terms of the GNU General Public License as published by
|
|---|
| 9 | * the Free Software Foundation, either version 3 of the License, or
|
|---|
| 10 | * (at your option) any later version.
|
|---|
| 11 | *
|
|---|
| 12 | * HeuristicLab is distributed in the hope that it will be useful,
|
|---|
| 13 | * but WITHOUT ANY WARRANTY; without even the implied warranty of
|
|---|
| 14 | * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
|
|---|
| 15 | * GNU General Public License for more details.
|
|---|
| 16 | *
|
|---|
| 17 | * You should have received a copy of the GNU General Public License
|
|---|
| 18 | * along with HeuristicLab. If not, see <http://www.gnu.org/licenses/>.
|
|---|
| 19 | */
|
|---|
| 20 | #endregion
|
|---|
| 21 |
|
|---|
| 22 | namespace HeuristicLab.Core {
|
|---|
| 23 | partial class OperatorGraphView {
|
|---|
| 24 | /// <summary>
|
|---|
| 25 | /// Required designer variable.
|
|---|
| 26 | /// </summary>
|
|---|
| 27 | private System.ComponentModel.IContainer components = null;
|
|---|
| 28 |
|
|---|
| 29 | /// <summary>
|
|---|
| 30 | /// Clean up any resources being used.
|
|---|
| 31 | /// </summary>
|
|---|
| 32 | /// <param name="disposing">true if managed resources should be disposed; otherwise, false.</param>
|
|---|
| 33 | protected override void Dispose(bool disposing) {
|
|---|
| 34 | if (chooseOperatorDialog != null) chooseOperatorDialog.Dispose();
|
|---|
| 35 | if (graphTreeView.Nodes.Count > 0) {
|
|---|
| 36 | RemoveTreeNode(graphTreeView.Nodes[0]);
|
|---|
| 37 | graphTreeView.Nodes.Clear();
|
|---|
| 38 | }
|
|---|
| 39 | if (disposing && (components != null)) {
|
|---|
| 40 | components.Dispose();
|
|---|
| 41 | }
|
|---|
| 42 | base.Dispose(disposing);
|
|---|
| 43 | }
|
|---|
| 44 |
|
|---|
| 45 | #region Component Designer generated code
|
|---|
| 46 |
|
|---|
| 47 | /// <summary>
|
|---|
| 48 | /// Required method for Designer support - do not modify
|
|---|
| 49 | /// the contents of this method with the code editor.
|
|---|
| 50 | /// </summary>
|
|---|
| 51 | private void InitializeComponent() {
|
|---|
| 52 | this.components = new System.ComponentModel.Container();
|
|---|
| 53 | System.ComponentModel.ComponentResourceManager resources = new System.ComponentModel.ComponentResourceManager(typeof(OperatorGraphView));
|
|---|
| 54 | this.operatorsListView = new System.Windows.Forms.ListView();
|
|---|
| 55 | this.columnHeader1 = new System.Windows.Forms.ColumnHeader();
|
|---|
| 56 | this.operatorsContextMenuStrip = new System.Windows.Forms.ContextMenuStrip(this.components);
|
|---|
| 57 | this.initialOperatorToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
|
|---|
| 58 | this.viewToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
|
|---|
| 59 | this.imageList = new System.Windows.Forms.ImageList(this.components);
|
|---|
| 60 | this.addOperatorButton = new System.Windows.Forms.Button();
|
|---|
| 61 | this.splitContainer1 = new System.Windows.Forms.SplitContainer();
|
|---|
| 62 | this.operatorsGroupBox = new System.Windows.Forms.GroupBox();
|
|---|
| 63 | this.graphGroupBox = new System.Windows.Forms.GroupBox();
|
|---|
| 64 | this.graphTreeView = new System.Windows.Forms.TreeView();
|
|---|
| 65 | this.graphContextMenuStrip = new System.Windows.Forms.ContextMenuStrip(this.components);
|
|---|
| 66 | this.breakpointToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
|
|---|
| 67 | this.viewToolStripMenuItem1 = new System.Windows.Forms.ToolStripMenuItem();
|
|---|
| 68 | this.removeButton = new System.Windows.Forms.Button();
|
|---|
| 69 | this.toolTip = new System.Windows.Forms.ToolTip(this.components);
|
|---|
| 70 | this.operatorsContextMenuStrip.SuspendLayout();
|
|---|
| 71 | this.splitContainer1.Panel1.SuspendLayout();
|
|---|
| 72 | this.splitContainer1.Panel2.SuspendLayout();
|
|---|
| 73 | this.splitContainer1.SuspendLayout();
|
|---|
| 74 | this.operatorsGroupBox.SuspendLayout();
|
|---|
| 75 | this.graphGroupBox.SuspendLayout();
|
|---|
| 76 | this.graphContextMenuStrip.SuspendLayout();
|
|---|
| 77 | this.SuspendLayout();
|
|---|
| 78 | //
|
|---|
| 79 | // operatorsListView
|
|---|
| 80 | //
|
|---|
| 81 | this.operatorsListView.AllowDrop = true;
|
|---|
| 82 | this.operatorsListView.Columns.AddRange(new System.Windows.Forms.ColumnHeader[] {
|
|---|
| 83 | this.columnHeader1});
|
|---|
| 84 | this.operatorsListView.ContextMenuStrip = this.operatorsContextMenuStrip;
|
|---|
| 85 | this.operatorsListView.Dock = System.Windows.Forms.DockStyle.Fill;
|
|---|
| 86 | this.operatorsListView.HeaderStyle = System.Windows.Forms.ColumnHeaderStyle.None;
|
|---|
| 87 | this.operatorsListView.HideSelection = false;
|
|---|
| 88 | this.operatorsListView.LabelEdit = true;
|
|---|
| 89 | this.operatorsListView.Location = new System.Drawing.Point(3, 16);
|
|---|
| 90 | this.operatorsListView.Name = "operatorsListView";
|
|---|
| 91 | this.operatorsListView.Size = new System.Drawing.Size(169, 243);
|
|---|
| 92 | this.operatorsListView.SmallImageList = this.imageList;
|
|---|
| 93 | this.operatorsListView.TabIndex = 0;
|
|---|
| 94 | this.operatorsListView.UseCompatibleStateImageBehavior = false;
|
|---|
| 95 | this.operatorsListView.View = System.Windows.Forms.View.Details;
|
|---|
| 96 | this.operatorsListView.AfterLabelEdit += new System.Windows.Forms.LabelEditEventHandler(this.operatorsListView_AfterLabelEdit);
|
|---|
| 97 | this.operatorsListView.SelectedIndexChanged += new System.EventHandler(this.operatorsListView_SelectedIndexChanged);
|
|---|
| 98 | this.operatorsListView.SizeChanged += new System.EventHandler(this.operatorsListView_SizeChanged);
|
|---|
| 99 | this.operatorsListView.DoubleClick += new System.EventHandler(this.operatorsListView_DoubleClick);
|
|---|
| 100 | this.operatorsListView.DragDrop += new System.Windows.Forms.DragEventHandler(this.operatorsListView_DragDrop);
|
|---|
| 101 | this.operatorsListView.DragEnter += new System.Windows.Forms.DragEventHandler(this.operatorsListView_DragEnter);
|
|---|
| 102 | this.operatorsListView.KeyDown += new System.Windows.Forms.KeyEventHandler(this.operatorsListView_KeyDown);
|
|---|
| 103 | this.operatorsListView.ItemDrag += new System.Windows.Forms.ItemDragEventHandler(this.operatorsListView_ItemDrag);
|
|---|
| 104 | this.operatorsListView.DragOver += new System.Windows.Forms.DragEventHandler(this.operatorsListView_DragOver);
|
|---|
| 105 | //
|
|---|
| 106 | // operatorsContextMenuStrip
|
|---|
| 107 | //
|
|---|
| 108 | this.operatorsContextMenuStrip.Items.AddRange(new System.Windows.Forms.ToolStripItem[] {
|
|---|
| 109 | this.initialOperatorToolStripMenuItem,
|
|---|
| 110 | this.viewToolStripMenuItem});
|
|---|
| 111 | this.operatorsContextMenuStrip.Name = "operatorsContextMenuStrip";
|
|---|
| 112 | this.operatorsContextMenuStrip.Size = new System.Drawing.Size(159, 48);
|
|---|
| 113 | this.operatorsContextMenuStrip.Opening += new System.ComponentModel.CancelEventHandler(this.operatorsContextMenuStrip_Opening);
|
|---|
| 114 | //
|
|---|
| 115 | // initialOperatorToolStripMenuItem
|
|---|
| 116 | //
|
|---|
| 117 | this.initialOperatorToolStripMenuItem.CheckOnClick = true;
|
|---|
| 118 | this.initialOperatorToolStripMenuItem.Name = "initialOperatorToolStripMenuItem";
|
|---|
| 119 | this.initialOperatorToolStripMenuItem.Size = new System.Drawing.Size(158, 22);
|
|---|
| 120 | this.initialOperatorToolStripMenuItem.Text = "&Initial Operator";
|
|---|
| 121 | this.initialOperatorToolStripMenuItem.ToolTipText = "Set as initial operator";
|
|---|
| 122 | this.initialOperatorToolStripMenuItem.Click += new System.EventHandler(this.initialOperatorToolStripMenuItem_Click);
|
|---|
| 123 | //
|
|---|
| 124 | // viewToolStripMenuItem
|
|---|
| 125 | //
|
|---|
| 126 | this.viewToolStripMenuItem.Name = "viewToolStripMenuItem";
|
|---|
| 127 | this.viewToolStripMenuItem.Size = new System.Drawing.Size(158, 22);
|
|---|
| 128 | this.viewToolStripMenuItem.Text = "&View...";
|
|---|
| 129 | this.viewToolStripMenuItem.ToolTipText = "View operator";
|
|---|
| 130 | this.viewToolStripMenuItem.Click += new System.EventHandler(this.viewToolStripMenuItem_Click);
|
|---|
| 131 | //
|
|---|
| 132 | // imageList
|
|---|
| 133 | //
|
|---|
| 134 | this.imageList.ImageStream = ((System.Windows.Forms.ImageListStreamer)(resources.GetObject("imageList.ImageStream")));
|
|---|
| 135 | this.imageList.TransparentColor = System.Drawing.Color.Magenta;
|
|---|
| 136 | this.imageList.Images.SetKeyName(0, "Operator.bmp");
|
|---|
| 137 | this.imageList.Images.SetKeyName(1, "CombinedOperator.bmp");
|
|---|
| 138 | this.imageList.Images.SetKeyName(2, "ProgrammableOperator.bmp");
|
|---|
| 139 | //
|
|---|
| 140 | // addOperatorButton
|
|---|
| 141 | //
|
|---|
| 142 | this.addOperatorButton.Anchor = ((System.Windows.Forms.AnchorStyles)((System.Windows.Forms.AnchorStyles.Bottom | System.Windows.Forms.AnchorStyles.Left)));
|
|---|
| 143 | this.addOperatorButton.Location = new System.Drawing.Point(0, 268);
|
|---|
| 144 | this.addOperatorButton.Name = "addOperatorButton";
|
|---|
| 145 | this.addOperatorButton.Size = new System.Drawing.Size(75, 23);
|
|---|
| 146 | this.addOperatorButton.TabIndex = 0;
|
|---|
| 147 | this.addOperatorButton.Text = "&Add...";
|
|---|
| 148 | this.addOperatorButton.UseVisualStyleBackColor = true;
|
|---|
| 149 | this.addOperatorButton.Click += new System.EventHandler(this.addOperatorButton_Click);
|
|---|
| 150 | //
|
|---|
| 151 | // splitContainer1
|
|---|
| 152 | //
|
|---|
| 153 | this.splitContainer1.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom)
|
|---|
| 154 | | System.Windows.Forms.AnchorStyles.Left)
|
|---|
| 155 | | System.Windows.Forms.AnchorStyles.Right)));
|
|---|
| 156 | this.splitContainer1.Location = new System.Drawing.Point(0, 0);
|
|---|
| 157 | this.splitContainer1.Name = "splitContainer1";
|
|---|
| 158 | //
|
|---|
| 159 | // splitContainer1.Panel1
|
|---|
| 160 | //
|
|---|
| 161 | this.splitContainer1.Panel1.Controls.Add(this.operatorsGroupBox);
|
|---|
| 162 | //
|
|---|
| 163 | // splitContainer1.Panel2
|
|---|
| 164 | //
|
|---|
| 165 | this.splitContainer1.Panel2.Controls.Add(this.graphGroupBox);
|
|---|
| 166 | this.splitContainer1.Size = new System.Drawing.Size(475, 262);
|
|---|
| 167 | this.splitContainer1.SplitterDistance = 175;
|
|---|
| 168 | this.splitContainer1.TabIndex = 4;
|
|---|
| 169 | //
|
|---|
| 170 | // operatorsGroupBox
|
|---|
| 171 | //
|
|---|
| 172 | this.operatorsGroupBox.Controls.Add(this.operatorsListView);
|
|---|
| 173 | this.operatorsGroupBox.Dock = System.Windows.Forms.DockStyle.Fill;
|
|---|
| 174 | this.operatorsGroupBox.Location = new System.Drawing.Point(0, 0);
|
|---|
| 175 | this.operatorsGroupBox.Name = "operatorsGroupBox";
|
|---|
| 176 | this.operatorsGroupBox.Size = new System.Drawing.Size(175, 262);
|
|---|
| 177 | this.operatorsGroupBox.TabIndex = 3;
|
|---|
| 178 | this.operatorsGroupBox.TabStop = false;
|
|---|
| 179 | this.operatorsGroupBox.Text = "&Operators";
|
|---|
| 180 | //
|
|---|
| 181 | // graphGroupBox
|
|---|
| 182 | //
|
|---|
| 183 | this.graphGroupBox.Controls.Add(this.graphTreeView);
|
|---|
| 184 | this.graphGroupBox.Dock = System.Windows.Forms.DockStyle.Fill;
|
|---|
| 185 | this.graphGroupBox.Location = new System.Drawing.Point(0, 0);
|
|---|
| 186 | this.graphGroupBox.Name = "graphGroupBox";
|
|---|
| 187 | this.graphGroupBox.Size = new System.Drawing.Size(296, 262);
|
|---|
| 188 | this.graphGroupBox.TabIndex = 0;
|
|---|
| 189 | this.graphGroupBox.TabStop = false;
|
|---|
| 190 | this.graphGroupBox.Text = "&Graph";
|
|---|
| 191 | //
|
|---|
| 192 | // graphTreeView
|
|---|
| 193 | //
|
|---|
| 194 | this.graphTreeView.AllowDrop = true;
|
|---|
| 195 | this.graphTreeView.ContextMenuStrip = this.graphContextMenuStrip;
|
|---|
| 196 | this.graphTreeView.Dock = System.Windows.Forms.DockStyle.Fill;
|
|---|
| 197 | this.graphTreeView.HideSelection = false;
|
|---|
| 198 | this.graphTreeView.Location = new System.Drawing.Point(3, 16);
|
|---|
| 199 | this.graphTreeView.Name = "graphTreeView";
|
|---|
| 200 | this.graphTreeView.ShowNodeToolTips = true;
|
|---|
| 201 | this.graphTreeView.Size = new System.Drawing.Size(290, 243);
|
|---|
| 202 | this.graphTreeView.TabIndex = 0;
|
|---|
| 203 | this.graphTreeView.BeforeExpand += new System.Windows.Forms.TreeViewCancelEventHandler(this.graphTreeView_BeforeExpand);
|
|---|
| 204 | this.graphTreeView.DragDrop += new System.Windows.Forms.DragEventHandler(this.graphTreeView_DragDrop);
|
|---|
| 205 | this.graphTreeView.AfterSelect += new System.Windows.Forms.TreeViewEventHandler(this.graphTreeView_AfterSelect);
|
|---|
| 206 | this.graphTreeView.MouseDown += new System.Windows.Forms.MouseEventHandler(this.graphTreeView_MouseDown);
|
|---|
| 207 | this.graphTreeView.DragEnter += new System.Windows.Forms.DragEventHandler(this.graphTreeView_DragEnter);
|
|---|
| 208 | this.graphTreeView.KeyDown += new System.Windows.Forms.KeyEventHandler(this.graphTreeView_KeyDown);
|
|---|
| 209 | this.graphTreeView.ItemDrag += new System.Windows.Forms.ItemDragEventHandler(this.graphTreeView_ItemDrag);
|
|---|
| 210 | this.graphTreeView.DragOver += new System.Windows.Forms.DragEventHandler(this.graphTreeView_DragOver);
|
|---|
| 211 | //
|
|---|
| 212 | // graphContextMenuStrip
|
|---|
| 213 | //
|
|---|
| 214 | this.graphContextMenuStrip.Items.AddRange(new System.Windows.Forms.ToolStripItem[] {
|
|---|
| 215 | this.breakpointToolStripMenuItem,
|
|---|
| 216 | this.viewToolStripMenuItem1});
|
|---|
| 217 | this.graphContextMenuStrip.Name = "graphContextMenuStrip";
|
|---|
| 218 | this.graphContextMenuStrip.Size = new System.Drawing.Size(137, 48);
|
|---|
| 219 | this.graphContextMenuStrip.Opening += new System.ComponentModel.CancelEventHandler(this.graphContextMenuStrip_Opening);
|
|---|
| 220 | //
|
|---|
| 221 | // breakpointToolStripMenuItem
|
|---|
| 222 | //
|
|---|
| 223 | this.breakpointToolStripMenuItem.CheckOnClick = true;
|
|---|
| 224 | this.breakpointToolStripMenuItem.Name = "breakpointToolStripMenuItem";
|
|---|
| 225 | this.breakpointToolStripMenuItem.Size = new System.Drawing.Size(136, 22);
|
|---|
| 226 | this.breakpointToolStripMenuItem.Text = "&Breakpoint";
|
|---|
| 227 | this.breakpointToolStripMenuItem.ToolTipText = "Halt engine execution after executing the operator";
|
|---|
| 228 | this.breakpointToolStripMenuItem.Click += new System.EventHandler(this.breakpointToolStripMenuItem_Click);
|
|---|
| 229 | //
|
|---|
| 230 | // viewToolStripMenuItem1
|
|---|
| 231 | //
|
|---|
| 232 | this.viewToolStripMenuItem1.Name = "viewToolStripMenuItem1";
|
|---|
| 233 | this.viewToolStripMenuItem1.Size = new System.Drawing.Size(136, 22);
|
|---|
| 234 | this.viewToolStripMenuItem1.Text = "&View...";
|
|---|
| 235 | this.viewToolStripMenuItem1.ToolTipText = "View operator";
|
|---|
| 236 | this.viewToolStripMenuItem1.Click += new System.EventHandler(this.viewToolStripMenuItem_Click);
|
|---|
| 237 | //
|
|---|
| 238 | // removeButton
|
|---|
| 239 | //
|
|---|
| 240 | this.removeButton.Anchor = ((System.Windows.Forms.AnchorStyles)((System.Windows.Forms.AnchorStyles.Bottom | System.Windows.Forms.AnchorStyles.Left)));
|
|---|
| 241 | this.removeButton.Location = new System.Drawing.Point(81, 268);
|
|---|
| 242 | this.removeButton.Name = "removeButton";
|
|---|
| 243 | this.removeButton.Size = new System.Drawing.Size(75, 23);
|
|---|
| 244 | this.removeButton.TabIndex = 1;
|
|---|
| 245 | this.removeButton.Text = "&Remove";
|
|---|
| 246 | this.removeButton.UseVisualStyleBackColor = true;
|
|---|
| 247 | this.removeButton.Click += new System.EventHandler(this.removeButton_Click);
|
|---|
| 248 | //
|
|---|
| 249 | // OperatorGraphView
|
|---|
| 250 | //
|
|---|
| 251 | this.AutoScaleDimensions = new System.Drawing.SizeF(6F, 13F);
|
|---|
| 252 | this.AutoScaleMode = System.Windows.Forms.AutoScaleMode.Font;
|
|---|
| 253 | this.Controls.Add(this.splitContainer1);
|
|---|
| 254 | this.Controls.Add(this.addOperatorButton);
|
|---|
| 255 | this.Controls.Add(this.removeButton);
|
|---|
| 256 | this.Name = "OperatorGraphView";
|
|---|
| 257 | this.Size = new System.Drawing.Size(475, 291);
|
|---|
| 258 | this.operatorsContextMenuStrip.ResumeLayout(false);
|
|---|
| 259 | this.splitContainer1.Panel1.ResumeLayout(false);
|
|---|
| 260 | this.splitContainer1.Panel2.ResumeLayout(false);
|
|---|
| 261 | this.splitContainer1.ResumeLayout(false);
|
|---|
| 262 | this.operatorsGroupBox.ResumeLayout(false);
|
|---|
| 263 | this.graphGroupBox.ResumeLayout(false);
|
|---|
| 264 | this.graphContextMenuStrip.ResumeLayout(false);
|
|---|
| 265 | this.ResumeLayout(false);
|
|---|
| 266 |
|
|---|
| 267 | }
|
|---|
| 268 |
|
|---|
| 269 | #endregion
|
|---|
| 270 |
|
|---|
| 271 | private System.Windows.Forms.Button addOperatorButton;
|
|---|
| 272 | private System.Windows.Forms.ListView operatorsListView;
|
|---|
| 273 | private System.Windows.Forms.SplitContainer splitContainer1;
|
|---|
| 274 | private System.Windows.Forms.GroupBox operatorsGroupBox;
|
|---|
| 275 | private System.Windows.Forms.Button removeButton;
|
|---|
| 276 | private System.Windows.Forms.ColumnHeader columnHeader1;
|
|---|
| 277 | private System.Windows.Forms.ContextMenuStrip operatorsContextMenuStrip;
|
|---|
| 278 | private System.Windows.Forms.ToolStripMenuItem viewToolStripMenuItem;
|
|---|
| 279 | private System.Windows.Forms.ToolStripMenuItem initialOperatorToolStripMenuItem;
|
|---|
| 280 | private System.Windows.Forms.ToolTip toolTip;
|
|---|
| 281 | private System.Windows.Forms.GroupBox graphGroupBox;
|
|---|
| 282 | private System.Windows.Forms.TreeView graphTreeView;
|
|---|
| 283 | private System.Windows.Forms.ImageList imageList;
|
|---|
| 284 | private System.Windows.Forms.ContextMenuStrip graphContextMenuStrip;
|
|---|
| 285 | private System.Windows.Forms.ToolStripMenuItem breakpointToolStripMenuItem;
|
|---|
| 286 | private System.Windows.Forms.ToolStripMenuItem viewToolStripMenuItem1;
|
|---|
| 287 | }
|
|---|
| 288 | }
|
|---|
