Free cookie consent management tool by TermsFeed Policy Generator

source: branches/3026_IntegrationIntoSymSpace/HeuristicLab.JsonInterface.OptimizerIntegration/Views/JsonItemRangeControl.Designer.cs @ 17404

Last change on this file since 17404 was 17404, checked in by dpiringe, 4 years ago

#3026:

  • fixed a bug in BaseConverter -> the range for percent values should be returned correctly now
  • fixed a bug in ConstrainedValueParameterConverter, ParameterizedItemConverter, ValueParameterConverter -> unsupported json items get filtered now
  • JCGenerator is now a dynamic class and can return all JsonItems for an IOptimizer now (instead of string only) + it is now possible to generate an template string with an IEnumerable<JsonItem>
  • added first version of an export dialog for JsonInterface
    • it is organized with a main view (for the dialog) and some user controls (for a better visualization of an JsonItem -> to reduce wrong user inputs)
    • the user controls inherit a base control, which organizes some base values of an JsonItem
File size: 8.1 KB
Line 
1namespace HeuristicLab.JsonInterface.OptimizerIntegration {
2  partial class JsonItemRangeControl {
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 Component 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      this.groupBox1 = new System.Windows.Forms.GroupBox();
27      this.textBoxValueTo = new System.Windows.Forms.TextBox();
28      this.textBoxValueFrom = new System.Windows.Forms.TextBox();
29      this.label4 = new System.Windows.Forms.Label();
30      this.label2 = new System.Windows.Forms.Label();
31      this.textBoxRangeTo = new System.Windows.Forms.TextBox();
32      this.textBoxRangeFrom = new System.Windows.Forms.TextBox();
33      this.label5 = new System.Windows.Forms.Label();
34      this.label6 = new System.Windows.Forms.Label();
35      this.groupBox2 = new System.Windows.Forms.GroupBox();
36      this.groupBox1.SuspendLayout();
37      this.groupBox2.SuspendLayout();
38      this.SuspendLayout();
39      //
40      // groupBox1
41      //
42      this.groupBox1.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left)
43            | System.Windows.Forms.AnchorStyles.Right)));
44      this.groupBox1.Controls.Add(this.textBoxValueTo);
45      this.groupBox1.Controls.Add(this.textBoxValueFrom);
46      this.groupBox1.Controls.Add(this.label4);
47      this.groupBox1.Controls.Add(this.label2);
48      this.groupBox1.Location = new System.Drawing.Point(9, 81);
49      this.groupBox1.Name = "groupBox1";
50      this.groupBox1.Size = new System.Drawing.Size(487, 64);
51      this.groupBox1.TabIndex = 17;
52      this.groupBox1.TabStop = false;
53      this.groupBox1.Text = "Value";
54      //
55      // textBoxValueTo
56      //
57      this.textBoxValueTo.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left)
58            | System.Windows.Forms.AnchorStyles.Right)));
59      this.textBoxValueTo.Location = new System.Drawing.Point(249, 36);
60      this.textBoxValueTo.Name = "textBoxValueTo";
61      this.textBoxValueTo.Size = new System.Drawing.Size(230, 20);
62      this.textBoxValueTo.TabIndex = 3;
63      this.textBoxValueTo.Leave += new System.EventHandler(this.textBoxValueTo_Leave);
64      //
65      // textBoxValueFrom
66      //
67      this.textBoxValueFrom.Location = new System.Drawing.Point(10, 36);
68      this.textBoxValueFrom.Name = "textBoxValueFrom";
69      this.textBoxValueFrom.Size = new System.Drawing.Size(230, 20);
70      this.textBoxValueFrom.TabIndex = 2;
71      this.textBoxValueFrom.Leave += new System.EventHandler(this.textBoxValueFrom_Leave);
72      //
73      // label4
74      //
75      this.label4.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left)
76            | System.Windows.Forms.AnchorStyles.Right)));
77      this.label4.AutoSize = true;
78      this.label4.Location = new System.Drawing.Point(246, 20);
79      this.label4.Name = "label4";
80      this.label4.Size = new System.Drawing.Size(20, 13);
81      this.label4.TabIndex = 1;
82      this.label4.Text = "To";
83      //
84      // label2
85      //
86      this.label2.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left)
87            | System.Windows.Forms.AnchorStyles.Right)));
88      this.label2.AutoSize = true;
89      this.label2.Location = new System.Drawing.Point(7, 20);
90      this.label2.Name = "label2";
91      this.label2.Size = new System.Drawing.Size(30, 13);
92      this.label2.TabIndex = 0;
93      this.label2.Text = "From";
94      //
95      // textBoxRangeTo
96      //
97      this.textBoxRangeTo.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left)
98            | System.Windows.Forms.AnchorStyles.Right)));
99      this.textBoxRangeTo.Location = new System.Drawing.Point(249, 36);
100      this.textBoxRangeTo.Name = "textBoxRangeTo";
101      this.textBoxRangeTo.Size = new System.Drawing.Size(230, 20);
102      this.textBoxRangeTo.TabIndex = 3;
103      this.textBoxRangeTo.Leave += new System.EventHandler(this.textBoxRangeTo_Leave);
104      //
105      // textBoxRangeFrom
106      //
107      this.textBoxRangeFrom.Location = new System.Drawing.Point(10, 36);
108      this.textBoxRangeFrom.Name = "textBoxRangeFrom";
109      this.textBoxRangeFrom.Size = new System.Drawing.Size(230, 20);
110      this.textBoxRangeFrom.TabIndex = 2;
111      this.textBoxRangeFrom.Leave += new System.EventHandler(this.textBoxRangeFrom_Leave);
112      //
113      // label5
114      //
115      this.label5.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left)
116            | System.Windows.Forms.AnchorStyles.Right)));
117      this.label5.AutoSize = true;
118      this.label5.Location = new System.Drawing.Point(246, 20);
119      this.label5.Name = "label5";
120      this.label5.Size = new System.Drawing.Size(20, 13);
121      this.label5.TabIndex = 1;
122      this.label5.Text = "To";
123      //
124      // label6
125      //
126      this.label6.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left)
127            | System.Windows.Forms.AnchorStyles.Right)));
128      this.label6.AutoSize = true;
129      this.label6.Location = new System.Drawing.Point(7, 20);
130      this.label6.Name = "label6";
131      this.label6.Size = new System.Drawing.Size(30, 13);
132      this.label6.TabIndex = 0;
133      this.label6.Text = "From";
134      //
135      // groupBox2
136      //
137      this.groupBox2.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left)
138            | System.Windows.Forms.AnchorStyles.Right)));
139      this.groupBox2.Controls.Add(this.textBoxRangeTo);
140      this.groupBox2.Controls.Add(this.textBoxRangeFrom);
141      this.groupBox2.Controls.Add(this.label5);
142      this.groupBox2.Controls.Add(this.label6);
143      this.groupBox2.Location = new System.Drawing.Point(9, 151);
144      this.groupBox2.Name = "groupBox2";
145      this.groupBox2.Size = new System.Drawing.Size(487, 64);
146      this.groupBox2.TabIndex = 18;
147      this.groupBox2.TabStop = false;
148      this.groupBox2.Text = "Range";
149      //
150      // JsonItemRangeControl
151      //
152      this.AutoScaleDimensions = new System.Drawing.SizeF(6F, 13F);
153      this.AutoScaleMode = System.Windows.Forms.AutoScaleMode.Font;
154      this.Controls.Add(this.groupBox2);
155      this.Controls.Add(this.groupBox1);
156      this.Name = "JsonItemRangeControl";
157      this.Size = new System.Drawing.Size(500, 220);
158      this.Controls.SetChildIndex(this.groupBox1, 0);
159      this.Controls.SetChildIndex(this.groupBox2, 0);
160      this.groupBox1.ResumeLayout(false);
161      this.groupBox1.PerformLayout();
162      this.groupBox2.ResumeLayout(false);
163      this.groupBox2.PerformLayout();
164      this.ResumeLayout(false);
165      this.PerformLayout();
166
167    }
168
169    #endregion
170
171    private System.Windows.Forms.GroupBox groupBox1;
172    private System.Windows.Forms.TextBox textBoxValueTo;
173    private System.Windows.Forms.TextBox textBoxValueFrom;
174    private System.Windows.Forms.Label label4;
175    private System.Windows.Forms.Label label2;
176    private System.Windows.Forms.TextBox textBoxRangeTo;
177    private System.Windows.Forms.TextBox textBoxRangeFrom;
178    private System.Windows.Forms.Label label5;
179    private System.Windows.Forms.Label label6;
180    private System.Windows.Forms.GroupBox groupBox2;
181  }
182}
Note: See TracBrowser for help on using the repository browser.