#region License Information /* HeuristicLab * Copyright (C) 2002-2008 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.Communication.Data { partial class ProtocolStateView { /// /// 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() { HeuristicLab.Data.StringData stringData1 = new HeuristicLab.Data.StringData(); HeuristicLab.Data.BoolData boolData1 = new HeuristicLab.Data.BoolData(); this.nameStringDataView = new HeuristicLab.Data.StringDataView(); this.nameLabel = new System.Windows.Forms.Label(); this.communicationDataTabControl = new System.Windows.Forms.TabControl(); this.sendTabPage = new System.Windows.Forms.TabPage(); this.outboundCommunicationDataView = new HeuristicLab.Data.ConstrainedItemListView(); this.receiveTabPage = new System.Windows.Forms.TabPage(); this.inboundCommunicationDataView = new HeuristicLab.Data.ConstrainedItemListView(); this.transitionTabPage = new System.Windows.Forms.TabPage(); this.removeTransitionButton = new System.Windows.Forms.Button(); this.addTransitionButton = new System.Windows.Forms.Button(); this.stateTransitionTabControl = new System.Windows.Forms.TabControl(); this.acceptingStateLabel = new System.Windows.Forms.Label(); this.acceptingStateBoolDataView = new HeuristicLab.Data.BoolDataView(); this.communicationDataTabControl.SuspendLayout(); this.sendTabPage.SuspendLayout(); this.receiveTabPage.SuspendLayout(); this.transitionTabPage.SuspendLayout(); this.SuspendLayout(); // // nameStringDataView // this.nameStringDataView.Caption = "View (StringData)"; this.nameStringDataView.Location = new System.Drawing.Point(48, 14); this.nameStringDataView.Name = "nameStringDataView"; this.nameStringDataView.Size = new System.Drawing.Size(178, 26); stringData1.Data = ""; this.nameStringDataView.StringData = stringData1; this.nameStringDataView.TabIndex = 1; // // nameLabel // this.nameLabel.AutoSize = true; this.nameLabel.Location = new System.Drawing.Point(4, 17); this.nameLabel.Name = "nameLabel"; this.nameLabel.Size = new System.Drawing.Size(38, 13); this.nameLabel.TabIndex = 3; this.nameLabel.Text = "Name:"; // // communicationDataTabControl // this.communicationDataTabControl.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.communicationDataTabControl.Controls.Add(this.sendTabPage); this.communicationDataTabControl.Controls.Add(this.receiveTabPage); this.communicationDataTabControl.Controls.Add(this.transitionTabPage); this.communicationDataTabControl.Location = new System.Drawing.Point(3, 46); this.communicationDataTabControl.Name = "communicationDataTabControl"; this.communicationDataTabControl.SelectedIndex = 0; this.communicationDataTabControl.Size = new System.Drawing.Size(483, 381); this.communicationDataTabControl.TabIndex = 5; // // sendTabPage // this.sendTabPage.Controls.Add(this.outboundCommunicationDataView); this.sendTabPage.Location = new System.Drawing.Point(4, 22); this.sendTabPage.Name = "sendTabPage"; this.sendTabPage.Padding = new System.Windows.Forms.Padding(3); this.sendTabPage.Size = new System.Drawing.Size(475, 355); this.sendTabPage.TabIndex = 0; this.sendTabPage.Text = "Send"; this.sendTabPage.UseVisualStyleBackColor = true; // // outboundCommunicationDataView // this.outboundCommunicationDataView.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.outboundCommunicationDataView.Caption = "View"; this.outboundCommunicationDataView.ConstrainedItemList = null; this.outboundCommunicationDataView.Location = new System.Drawing.Point(6, 6); this.outboundCommunicationDataView.Name = "outboundCommunicationDataView"; this.outboundCommunicationDataView.Size = new System.Drawing.Size(463, 343); this.outboundCommunicationDataView.TabIndex = 0; // // receiveTabPage // this.receiveTabPage.Controls.Add(this.inboundCommunicationDataView); this.receiveTabPage.Location = new System.Drawing.Point(4, 22); this.receiveTabPage.Name = "receiveTabPage"; this.receiveTabPage.Padding = new System.Windows.Forms.Padding(3); this.receiveTabPage.Size = new System.Drawing.Size(475, 355); this.receiveTabPage.TabIndex = 1; this.receiveTabPage.Text = "Receive"; this.receiveTabPage.UseVisualStyleBackColor = true; // // inboundCommunicationDataView // this.inboundCommunicationDataView.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.inboundCommunicationDataView.Caption = "View"; this.inboundCommunicationDataView.ConstrainedItemList = null; this.inboundCommunicationDataView.Location = new System.Drawing.Point(6, 6); this.inboundCommunicationDataView.Name = "inboundCommunicationDataView"; this.inboundCommunicationDataView.Size = new System.Drawing.Size(463, 343); this.inboundCommunicationDataView.TabIndex = 0; // // transitionTabPage // this.transitionTabPage.Controls.Add(this.removeTransitionButton); this.transitionTabPage.Controls.Add(this.addTransitionButton); this.transitionTabPage.Controls.Add(this.stateTransitionTabControl); this.transitionTabPage.Location = new System.Drawing.Point(4, 22); this.transitionTabPage.Name = "transitionTabPage"; this.transitionTabPage.Padding = new System.Windows.Forms.Padding(3); this.transitionTabPage.Size = new System.Drawing.Size(475, 355); this.transitionTabPage.TabIndex = 2; this.transitionTabPage.Text = "State Transition"; this.transitionTabPage.UseVisualStyleBackColor = true; // // removeTransitionButton // this.removeTransitionButton.Anchor = ((System.Windows.Forms.AnchorStyles)((System.Windows.Forms.AnchorStyles.Bottom | System.Windows.Forms.AnchorStyles.Right))); this.removeTransitionButton.Enabled = false; this.removeTransitionButton.Location = new System.Drawing.Point(365, 326); this.removeTransitionButton.Name = "removeTransitionButton"; this.removeTransitionButton.Size = new System.Drawing.Size(104, 23); this.removeTransitionButton.TabIndex = 2; this.removeTransitionButton.Text = "Remove Transition"; this.removeTransitionButton.UseVisualStyleBackColor = true; this.removeTransitionButton.Click += new System.EventHandler(this.removeTransitionButton_Click); // // addTransitionButton // this.addTransitionButton.Anchor = ((System.Windows.Forms.AnchorStyles)((System.Windows.Forms.AnchorStyles.Bottom | System.Windows.Forms.AnchorStyles.Left))); this.addTransitionButton.Location = new System.Drawing.Point(6, 326); this.addTransitionButton.Name = "addTransitionButton"; this.addTransitionButton.Size = new System.Drawing.Size(104, 23); this.addTransitionButton.TabIndex = 1; this.addTransitionButton.Text = "Add Transition"; this.addTransitionButton.UseVisualStyleBackColor = true; this.addTransitionButton.Click += new System.EventHandler(this.addTransitionButton_Click); // // stateTransitionTabControl // this.stateTransitionTabControl.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.stateTransitionTabControl.Location = new System.Drawing.Point(0, 0); this.stateTransitionTabControl.Name = "stateTransitionTabControl"; this.stateTransitionTabControl.SelectedIndex = 0; this.stateTransitionTabControl.Size = new System.Drawing.Size(475, 320); this.stateTransitionTabControl.TabIndex = 0; // // acceptingStateLabel // this.acceptingStateLabel.AutoSize = true; this.acceptingStateLabel.Location = new System.Drawing.Point(232, 17); this.acceptingStateLabel.Name = "acceptingStateLabel"; this.acceptingStateLabel.Size = new System.Drawing.Size(86, 13); this.acceptingStateLabel.TabIndex = 6; this.acceptingStateLabel.Text = "Accepting State:"; // // acceptingStateBoolDataView // boolData1.Data = true; this.acceptingStateBoolDataView.BoolData = boolData1; this.acceptingStateBoolDataView.Caption = "View"; this.acceptingStateBoolDataView.Enabled = false; this.acceptingStateBoolDataView.Location = new System.Drawing.Point(324, 17); this.acceptingStateBoolDataView.Name = "acceptingStateBoolDataView"; this.acceptingStateBoolDataView.Size = new System.Drawing.Size(15, 23); this.acceptingStateBoolDataView.TabIndex = 7; // // ProtocolStateView // this.AutoScaleDimensions = new System.Drawing.SizeF(6F, 13F); this.AutoScaleMode = System.Windows.Forms.AutoScaleMode.Font; this.Controls.Add(this.acceptingStateBoolDataView); this.Controls.Add(this.acceptingStateLabel); this.Controls.Add(this.communicationDataTabControl); this.Controls.Add(this.nameLabel); this.Controls.Add(this.nameStringDataView); this.Name = "ProtocolStateView"; this.Size = new System.Drawing.Size(489, 430); this.communicationDataTabControl.ResumeLayout(false); this.sendTabPage.ResumeLayout(false); this.receiveTabPage.ResumeLayout(false); this.transitionTabPage.ResumeLayout(false); this.ResumeLayout(false); this.PerformLayout(); } #endregion private HeuristicLab.Data.StringDataView nameStringDataView; private System.Windows.Forms.Label nameLabel; private System.Windows.Forms.TabControl communicationDataTabControl; private System.Windows.Forms.TabPage sendTabPage; private System.Windows.Forms.TabPage receiveTabPage; private HeuristicLab.Data.ConstrainedItemListView outboundCommunicationDataView; private HeuristicLab.Data.ConstrainedItemListView inboundCommunicationDataView; private System.Windows.Forms.Label acceptingStateLabel; private HeuristicLab.Data.BoolDataView acceptingStateBoolDataView; private System.Windows.Forms.TabPage transitionTabPage; private System.Windows.Forms.TabControl stateTransitionTabControl; private System.Windows.Forms.Button addTransitionButton; private System.Windows.Forms.Button removeTransitionButton; } }