Free cookie consent management tool by TermsFeed Policy Generator

source: branches/HL-3.2-MonoMigration/HeuristicLab.Communication.Data/ProtocolStateView.Designer.cs @ 3026

Last change on this file since 3026 was 591, checked in by abeham, 16 years ago

Put the GPL license in the files from the communication framework and simulation optimization project

File size: 12.7 KB
Line 
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
22namespace HeuristicLab.Communication.Data {
23  partial class ProtocolStateView {
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 (disposing && (components != null)) {
35        components.Dispose();
36      }
37      base.Dispose(disposing);
38    }
39
40    #region Component Designer generated code
41
42    /// <summary>
43    /// Required method for Designer support - do not modify
44    /// the contents of this method with the code editor.
45    /// </summary>
46    private void InitializeComponent() {
47      HeuristicLab.Data.StringData stringData1 = new HeuristicLab.Data.StringData();
48      HeuristicLab.Data.BoolData boolData1 = new HeuristicLab.Data.BoolData();
49      this.nameStringDataView = new HeuristicLab.Data.StringDataView();
50      this.nameLabel = new System.Windows.Forms.Label();
51      this.communicationDataTabControl = new System.Windows.Forms.TabControl();
52      this.sendTabPage = new System.Windows.Forms.TabPage();
53      this.outboundCommunicationDataView = new HeuristicLab.Data.ConstrainedItemListView();
54      this.receiveTabPage = new System.Windows.Forms.TabPage();
55      this.inboundCommunicationDataView = new HeuristicLab.Data.ConstrainedItemListView();
56      this.transitionTabPage = new System.Windows.Forms.TabPage();
57      this.removeTransitionButton = new System.Windows.Forms.Button();
58      this.addTransitionButton = new System.Windows.Forms.Button();
59      this.stateTransitionTabControl = new System.Windows.Forms.TabControl();
60      this.acceptingStateLabel = new System.Windows.Forms.Label();
61      this.acceptingStateBoolDataView = new HeuristicLab.Data.BoolDataView();
62      this.communicationDataTabControl.SuspendLayout();
63      this.sendTabPage.SuspendLayout();
64      this.receiveTabPage.SuspendLayout();
65      this.transitionTabPage.SuspendLayout();
66      this.SuspendLayout();
67      //
68      // nameStringDataView
69      //
70      this.nameStringDataView.Caption = "View (StringData)";
71      this.nameStringDataView.Location = new System.Drawing.Point(48, 14);
72      this.nameStringDataView.Name = "nameStringDataView";
73      this.nameStringDataView.Size = new System.Drawing.Size(178, 26);
74      stringData1.Data = "";
75      this.nameStringDataView.StringData = stringData1;
76      this.nameStringDataView.TabIndex = 1;
77      //
78      // nameLabel
79      //
80      this.nameLabel.AutoSize = true;
81      this.nameLabel.Location = new System.Drawing.Point(4, 17);
82      this.nameLabel.Name = "nameLabel";
83      this.nameLabel.Size = new System.Drawing.Size(38, 13);
84      this.nameLabel.TabIndex = 3;
85      this.nameLabel.Text = "Name:";
86      //
87      // communicationDataTabControl
88      //
89      this.communicationDataTabControl.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom)
90                  | System.Windows.Forms.AnchorStyles.Left)
91                  | System.Windows.Forms.AnchorStyles.Right)));
92      this.communicationDataTabControl.Controls.Add(this.sendTabPage);
93      this.communicationDataTabControl.Controls.Add(this.receiveTabPage);
94      this.communicationDataTabControl.Controls.Add(this.transitionTabPage);
95      this.communicationDataTabControl.Location = new System.Drawing.Point(3, 46);
96      this.communicationDataTabControl.Name = "communicationDataTabControl";
97      this.communicationDataTabControl.SelectedIndex = 0;
98      this.communicationDataTabControl.Size = new System.Drawing.Size(483, 381);
99      this.communicationDataTabControl.TabIndex = 5;
100      //
101      // sendTabPage
102      //
103      this.sendTabPage.Controls.Add(this.outboundCommunicationDataView);
104      this.sendTabPage.Location = new System.Drawing.Point(4, 22);
105      this.sendTabPage.Name = "sendTabPage";
106      this.sendTabPage.Padding = new System.Windows.Forms.Padding(3);
107      this.sendTabPage.Size = new System.Drawing.Size(475, 355);
108      this.sendTabPage.TabIndex = 0;
109      this.sendTabPage.Text = "Send";
110      this.sendTabPage.UseVisualStyleBackColor = true;
111      //
112      // outboundCommunicationDataView
113      //
114      this.outboundCommunicationDataView.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom)
115                  | System.Windows.Forms.AnchorStyles.Left)
116                  | System.Windows.Forms.AnchorStyles.Right)));
117      this.outboundCommunicationDataView.Caption = "View";
118      this.outboundCommunicationDataView.ConstrainedItemList = null;
119      this.outboundCommunicationDataView.Location = new System.Drawing.Point(6, 6);
120      this.outboundCommunicationDataView.Name = "outboundCommunicationDataView";
121      this.outboundCommunicationDataView.Size = new System.Drawing.Size(463, 343);
122      this.outboundCommunicationDataView.TabIndex = 0;
123      //
124      // receiveTabPage
125      //
126      this.receiveTabPage.Controls.Add(this.inboundCommunicationDataView);
127      this.receiveTabPage.Location = new System.Drawing.Point(4, 22);
128      this.receiveTabPage.Name = "receiveTabPage";
129      this.receiveTabPage.Padding = new System.Windows.Forms.Padding(3);
130      this.receiveTabPage.Size = new System.Drawing.Size(475, 355);
131      this.receiveTabPage.TabIndex = 1;
132      this.receiveTabPage.Text = "Receive";
133      this.receiveTabPage.UseVisualStyleBackColor = true;
134      //
135      // inboundCommunicationDataView
136      //
137      this.inboundCommunicationDataView.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom)
138                  | System.Windows.Forms.AnchorStyles.Left)
139                  | System.Windows.Forms.AnchorStyles.Right)));
140      this.inboundCommunicationDataView.Caption = "View";
141      this.inboundCommunicationDataView.ConstrainedItemList = null;
142      this.inboundCommunicationDataView.Location = new System.Drawing.Point(6, 6);
143      this.inboundCommunicationDataView.Name = "inboundCommunicationDataView";
144      this.inboundCommunicationDataView.Size = new System.Drawing.Size(463, 343);
145      this.inboundCommunicationDataView.TabIndex = 0;
146      //
147      // transitionTabPage
148      //
149      this.transitionTabPage.Controls.Add(this.removeTransitionButton);
150      this.transitionTabPage.Controls.Add(this.addTransitionButton);
151      this.transitionTabPage.Controls.Add(this.stateTransitionTabControl);
152      this.transitionTabPage.Location = new System.Drawing.Point(4, 22);
153      this.transitionTabPage.Name = "transitionTabPage";
154      this.transitionTabPage.Padding = new System.Windows.Forms.Padding(3);
155      this.transitionTabPage.Size = new System.Drawing.Size(475, 355);
156      this.transitionTabPage.TabIndex = 2;
157      this.transitionTabPage.Text = "State Transition";
158      this.transitionTabPage.UseVisualStyleBackColor = true;
159      //
160      // removeTransitionButton
161      //
162      this.removeTransitionButton.Anchor = ((System.Windows.Forms.AnchorStyles)((System.Windows.Forms.AnchorStyles.Bottom | System.Windows.Forms.AnchorStyles.Right)));
163      this.removeTransitionButton.Enabled = false;
164      this.removeTransitionButton.Location = new System.Drawing.Point(365, 326);
165      this.removeTransitionButton.Name = "removeTransitionButton";
166      this.removeTransitionButton.Size = new System.Drawing.Size(104, 23);
167      this.removeTransitionButton.TabIndex = 2;
168      this.removeTransitionButton.Text = "Remove Transition";
169      this.removeTransitionButton.UseVisualStyleBackColor = true;
170      this.removeTransitionButton.Click += new System.EventHandler(this.removeTransitionButton_Click);
171      //
172      // addTransitionButton
173      //
174      this.addTransitionButton.Anchor = ((System.Windows.Forms.AnchorStyles)((System.Windows.Forms.AnchorStyles.Bottom | System.Windows.Forms.AnchorStyles.Left)));
175      this.addTransitionButton.Location = new System.Drawing.Point(6, 326);
176      this.addTransitionButton.Name = "addTransitionButton";
177      this.addTransitionButton.Size = new System.Drawing.Size(104, 23);
178      this.addTransitionButton.TabIndex = 1;
179      this.addTransitionButton.Text = "Add Transition";
180      this.addTransitionButton.UseVisualStyleBackColor = true;
181      this.addTransitionButton.Click += new System.EventHandler(this.addTransitionButton_Click);
182      //
183      // stateTransitionTabControl
184      //
185      this.stateTransitionTabControl.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom)
186                  | System.Windows.Forms.AnchorStyles.Left)
187                  | System.Windows.Forms.AnchorStyles.Right)));
188      this.stateTransitionTabControl.Location = new System.Drawing.Point(0, 0);
189      this.stateTransitionTabControl.Name = "stateTransitionTabControl";
190      this.stateTransitionTabControl.SelectedIndex = 0;
191      this.stateTransitionTabControl.Size = new System.Drawing.Size(475, 320);
192      this.stateTransitionTabControl.TabIndex = 0;
193      //
194      // acceptingStateLabel
195      //
196      this.acceptingStateLabel.AutoSize = true;
197      this.acceptingStateLabel.Location = new System.Drawing.Point(232, 17);
198      this.acceptingStateLabel.Name = "acceptingStateLabel";
199      this.acceptingStateLabel.Size = new System.Drawing.Size(86, 13);
200      this.acceptingStateLabel.TabIndex = 6;
201      this.acceptingStateLabel.Text = "Accepting State:";
202      //
203      // acceptingStateBoolDataView
204      //
205      boolData1.Data = true;
206      this.acceptingStateBoolDataView.BoolData = boolData1;
207      this.acceptingStateBoolDataView.Caption = "View";
208      this.acceptingStateBoolDataView.Enabled = false;
209      this.acceptingStateBoolDataView.Location = new System.Drawing.Point(324, 17);
210      this.acceptingStateBoolDataView.Name = "acceptingStateBoolDataView";
211      this.acceptingStateBoolDataView.Size = new System.Drawing.Size(15, 23);
212      this.acceptingStateBoolDataView.TabIndex = 7;
213      //
214      // ProtocolStateView
215      //
216      this.AutoScaleDimensions = new System.Drawing.SizeF(6F, 13F);
217      this.AutoScaleMode = System.Windows.Forms.AutoScaleMode.Font;
218      this.Controls.Add(this.acceptingStateBoolDataView);
219      this.Controls.Add(this.acceptingStateLabel);
220      this.Controls.Add(this.communicationDataTabControl);
221      this.Controls.Add(this.nameLabel);
222      this.Controls.Add(this.nameStringDataView);
223      this.Name = "ProtocolStateView";
224      this.Size = new System.Drawing.Size(489, 430);
225      this.communicationDataTabControl.ResumeLayout(false);
226      this.sendTabPage.ResumeLayout(false);
227      this.receiveTabPage.ResumeLayout(false);
228      this.transitionTabPage.ResumeLayout(false);
229      this.ResumeLayout(false);
230      this.PerformLayout();
231
232    }
233
234    #endregion
235
236    private HeuristicLab.Data.StringDataView nameStringDataView;
237    private System.Windows.Forms.Label nameLabel;
238    private System.Windows.Forms.TabControl communicationDataTabControl;
239    private System.Windows.Forms.TabPage sendTabPage;
240    private System.Windows.Forms.TabPage receiveTabPage;
241    private HeuristicLab.Data.ConstrainedItemListView outboundCommunicationDataView;
242    private HeuristicLab.Data.ConstrainedItemListView inboundCommunicationDataView;
243    private System.Windows.Forms.Label acceptingStateLabel;
244    private HeuristicLab.Data.BoolDataView acceptingStateBoolDataView;
245    private System.Windows.Forms.TabPage transitionTabPage;
246    private System.Windows.Forms.TabControl stateTransitionTabControl;
247    private System.Windows.Forms.Button addTransitionButton;
248    private System.Windows.Forms.Button removeTransitionButton;
249
250  }
251}
Note: See TracBrowser for help on using the repository browser.