Free cookie consent management tool by TermsFeed Policy Generator

source: branches/Benchmark Generator/Benchmark Generator/BenchmarkGeneratorView.Designer.cs @ 9693

Last change on this file since 9693 was 9693, checked in by bburlacu, 11 years ago

#2083: Initial commit of benchmark generator application skeleton.

File size: 9.0 KB
Line 
1namespace Benchmark_Generator {
2  partial class BenchmarkGeneratorView {
3    /// <summary>
4    /// Required designer variable.
5    /// </summary>
6    private System.ComponentModel.IContainer components = null;
7
8    /// <summary>
9    /// Clean up any resources being used.
10    /// </summary>
11    /// <param name="disposing">true if managed resources should be disposed; otherwise, false.</param>
12    protected override void Dispose(bool disposing) {
13      if (disposing && (components != null)) {
14        components.Dispose();
15      }
16      base.Dispose(disposing);
17    }
18
19    #region Windows Form Designer generated code
20
21    /// <summary>
22    /// Required method for Designer support - do not modify
23    /// the contents of this method with the code editor.
24    /// </summary>
25    private void InitializeComponent() {
26      System.Windows.Forms.DataGridViewCellStyle dataGridViewCellStyle1 = new System.Windows.Forms.DataGridViewCellStyle();
27      System.Windows.Forms.DataGridViewCellStyle dataGridViewCellStyle2 = new System.Windows.Forms.DataGridViewCellStyle();
28      System.Windows.Forms.DataGridViewCellStyle dataGridViewCellStyle3 = new System.Windows.Forms.DataGridViewCellStyle();
29      this.button1 = new System.Windows.Forms.Button();
30      this.richTextBox1 = new System.Windows.Forms.RichTextBox();
31      this.dataGridView1 = new System.Windows.Forms.DataGridView();
32      this.Var = new System.Windows.Forms.DataGridViewTextBoxColumn();
33      this.Train = new System.Windows.Forms.DataGridViewTextBoxColumn();
34      this.Test = new System.Windows.Forms.DataGridViewTextBoxColumn();
35      this.label1 = new System.Windows.Forms.Label();
36      this.label2 = new System.Windows.Forms.Label();
37      this.richTextBox2 = new System.Windows.Forms.RichTextBox();
38      this.label3 = new System.Windows.Forms.Label();
39      this.button2 = new System.Windows.Forms.Button();
40      ((System.ComponentModel.ISupportInitialize)(this.dataGridView1)).BeginInit();
41      this.SuspendLayout();
42      //
43      // button1
44      //
45      this.button1.Location = new System.Drawing.Point(12, 11);
46      this.button1.Name = "button1";
47      this.button1.Size = new System.Drawing.Size(75, 23);
48      this.button1.TabIndex = 1;
49      this.button1.Text = "Export CSV";
50      this.button1.UseVisualStyleBackColor = true;
51      //
52      // richTextBox1
53      //
54      this.richTextBox1.Location = new System.Drawing.Point(12, 69);
55      this.richTextBox1.Name = "richTextBox1";
56      this.richTextBox1.Size = new System.Drawing.Size(408, 53);
57      this.richTextBox1.TabIndex = 6;
58      this.richTextBox1.Text = "";
59      //
60      // dataGridView1
61      //
62      dataGridViewCellStyle1.Alignment = System.Windows.Forms.DataGridViewContentAlignment.MiddleLeft;
63      dataGridViewCellStyle1.BackColor = System.Drawing.SystemColors.Control;
64      dataGridViewCellStyle1.Font = new System.Drawing.Font("Microsoft Sans Serif", 8.25F, System.Drawing.FontStyle.Regular, System.Drawing.GraphicsUnit.Point, ((byte)(0)));
65      dataGridViewCellStyle1.ForeColor = System.Drawing.SystemColors.WindowText;
66      dataGridViewCellStyle1.SelectionBackColor = System.Drawing.SystemColors.Highlight;
67      dataGridViewCellStyle1.SelectionForeColor = System.Drawing.SystemColors.HighlightText;
68      dataGridViewCellStyle1.WrapMode = System.Windows.Forms.DataGridViewTriState.True;
69      this.dataGridView1.ColumnHeadersDefaultCellStyle = dataGridViewCellStyle1;
70      this.dataGridView1.ColumnHeadersHeightSizeMode = System.Windows.Forms.DataGridViewColumnHeadersHeightSizeMode.AutoSize;
71      this.dataGridView1.Columns.AddRange(new System.Windows.Forms.DataGridViewColumn[] {
72            this.Var,
73            this.Train,
74            this.Test});
75      dataGridViewCellStyle2.Alignment = System.Windows.Forms.DataGridViewContentAlignment.MiddleLeft;
76      dataGridViewCellStyle2.BackColor = System.Drawing.SystemColors.Window;
77      dataGridViewCellStyle2.Font = new System.Drawing.Font("Microsoft Sans Serif", 8.25F, System.Drawing.FontStyle.Regular, System.Drawing.GraphicsUnit.Point, ((byte)(0)));
78      dataGridViewCellStyle2.ForeColor = System.Drawing.SystemColors.ControlText;
79      dataGridViewCellStyle2.SelectionBackColor = System.Drawing.SystemColors.Highlight;
80      dataGridViewCellStyle2.SelectionForeColor = System.Drawing.SystemColors.HighlightText;
81      dataGridViewCellStyle2.WrapMode = System.Windows.Forms.DataGridViewTriState.False;
82      this.dataGridView1.DefaultCellStyle = dataGridViewCellStyle2;
83      this.dataGridView1.Location = new System.Drawing.Point(478, 69);
84      this.dataGridView1.Name = "dataGridView1";
85      dataGridViewCellStyle3.Alignment = System.Windows.Forms.DataGridViewContentAlignment.MiddleLeft;
86      dataGridViewCellStyle3.BackColor = System.Drawing.SystemColors.Control;
87      dataGridViewCellStyle3.Font = new System.Drawing.Font("Microsoft Sans Serif", 8.25F, System.Drawing.FontStyle.Regular, System.Drawing.GraphicsUnit.Point, ((byte)(0)));
88      dataGridViewCellStyle3.ForeColor = System.Drawing.SystemColors.WindowText;
89      dataGridViewCellStyle3.SelectionBackColor = System.Drawing.SystemColors.Highlight;
90      dataGridViewCellStyle3.SelectionForeColor = System.Drawing.SystemColors.HighlightText;
91      dataGridViewCellStyle3.WrapMode = System.Windows.Forms.DataGridViewTriState.True;
92      this.dataGridView1.RowHeadersDefaultCellStyle = dataGridViewCellStyle3;
93      this.dataGridView1.ScrollBars = System.Windows.Forms.ScrollBars.None;
94      this.dataGridView1.Size = new System.Drawing.Size(343, 222);
95      this.dataGridView1.TabIndex = 8;
96      //
97      // Var
98      //
99      this.Var.HeaderText = "Variable";
100      this.Var.Name = "Var";
101      //
102      // Train
103      //
104      this.Train.HeaderText = "Train distribution";
105      this.Train.Name = "Train";
106      //
107      // Test
108      //
109      this.Test.HeaderText = "Test distribution";
110      this.Test.Name = "Test";
111      //
112      // label1
113      //
114      this.label1.AutoSize = true;
115      this.label1.Location = new System.Drawing.Point(13, 50);
116      this.label1.Name = "label1";
117      this.label1.Size = new System.Drawing.Size(61, 13);
118      this.label1.TabIndex = 9;
119      this.label1.Text = "Expression:";
120      //
121      // label2
122      //
123      this.label2.AutoSize = true;
124      this.label2.Location = new System.Drawing.Point(475, 50);
125      this.label2.Name = "label2";
126      this.label2.Size = new System.Drawing.Size(193, 13);
127      this.label2.TabIndex = 10;
128      this.label2.Text = "Variables configuration (including noise)";
129      //
130      // richTextBox2
131      //
132      this.richTextBox2.Location = new System.Drawing.Point(12, 182);
133      this.richTextBox2.Name = "richTextBox2";
134      this.richTextBox2.ReadOnly = true;
135      this.richTextBox2.Size = new System.Drawing.Size(408, 109);
136      this.richTextBox2.TabIndex = 11;
137      this.richTextBox2.Text = "";
138      //
139      // label3
140      //
141      this.label3.AutoSize = true;
142      this.label3.Location = new System.Drawing.Point(12, 163);
143      this.label3.Name = "label3";
144      this.label3.Size = new System.Drawing.Size(200, 13);
145      this.label3.TabIndex = 12;
146      this.label3.Text = "Information box (for messages and errors)";
147      //
148      // button2
149      //
150      this.button2.Location = new System.Drawing.Point(12, 128);
151      this.button2.Name = "button2";
152      this.button2.Size = new System.Drawing.Size(75, 23);
153      this.button2.TabIndex = 13;
154      this.button2.Text = "Evaluate";
155      this.button2.UseVisualStyleBackColor = true;
156      this.button2.Click += new System.EventHandler(this.button2_Click);
157      //
158      // BenchmarkGeneratorView
159      //
160      this.AutoScaleDimensions = new System.Drawing.SizeF(6F, 13F);
161      this.AutoScaleMode = System.Windows.Forms.AutoScaleMode.Font;
162      this.ClientSize = new System.Drawing.Size(846, 306);
163      this.Controls.Add(this.button2);
164      this.Controls.Add(this.label3);
165      this.Controls.Add(this.richTextBox2);
166      this.Controls.Add(this.label2);
167      this.Controls.Add(this.label1);
168      this.Controls.Add(this.dataGridView1);
169      this.Controls.Add(this.richTextBox1);
170      this.Controls.Add(this.button1);
171      this.Name = "BenchmarkGeneratorView";
172      this.Text = "Form1";
173      ((System.ComponentModel.ISupportInitialize)(this.dataGridView1)).EndInit();
174      this.ResumeLayout(false);
175      this.PerformLayout();
176
177    }
178
179    #endregion
180
181    private System.Windows.Forms.Button button1;
182    private System.Windows.Forms.RichTextBox richTextBox1;
183    private System.Windows.Forms.DataGridView dataGridView1;
184    private System.Windows.Forms.DataGridViewTextBoxColumn Var;
185    private System.Windows.Forms.DataGridViewTextBoxColumn Train;
186    private System.Windows.Forms.DataGridViewTextBoxColumn Test;
187    private System.Windows.Forms.Label label1;
188    private System.Windows.Forms.Label label2;
189    private System.Windows.Forms.RichTextBox richTextBox2;
190    private System.Windows.Forms.Label label3;
191    private System.Windows.Forms.Button button2;
192
193
194  }
195}
196
Note: See TracBrowser for help on using the repository browser.