diff options
author | 2021-01-14 13:07:08 -0500 | |
---|---|---|
committer | 2021-01-14 13:07:08 -0500 | |
commit | 0de1dbfaed208ba70863abe3671f868f168bc9cd (patch) | |
tree | 24961120f0d94d4da6fd1ac03e6776e224d493b0 /Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/OptimizationDirection.java | |
parent | Add aird file for crossingScenario Ecore (diff) | |
download | VIATRA-Generator-0de1dbfaed208ba70863abe3671f868f168bc9cd.tar.gz VIATRA-Generator-0de1dbfaed208ba70863abe3671f868f168bc9cd.tar.zst VIATRA-Generator-0de1dbfaed208ba70863abe3671f868f168bc9cd.zip |
Adjust vsconfig xtext to consider reals as EDouble rather than EBigDecimals
Diffstat (limited to 'Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/OptimizationDirection.java')
-rw-r--r-- | Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/OptimizationDirection.java | 450 |
1 files changed, 225 insertions, 225 deletions
diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/OptimizationDirection.java b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/OptimizationDirection.java index 2f6f11ec..23d539ba 100644 --- a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/OptimizationDirection.java +++ b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/OptimizationDirection.java | |||
@@ -1,225 +1,225 @@ | |||
1 | /** | 1 | /** |
2 | * generated by Xtext 2.21.0 | 2 | * generated by Xtext 2.21.0 |
3 | */ | 3 | */ |
4 | package hu.bme.mit.inf.dslreasoner.application.applicationConfiguration; | 4 | package hu.bme.mit.inf.dslreasoner.application.applicationConfiguration; |
5 | 5 | ||
6 | import java.util.Arrays; | 6 | import java.util.Arrays; |
7 | import java.util.Collections; | 7 | import java.util.Collections; |
8 | import java.util.List; | 8 | import java.util.List; |
9 | 9 | ||
10 | import org.eclipse.emf.common.util.Enumerator; | 10 | import org.eclipse.emf.common.util.Enumerator; |
11 | 11 | ||
12 | /** | 12 | /** |
13 | * <!-- begin-user-doc --> | 13 | * <!-- begin-user-doc --> |
14 | * A representation of the literals of the enumeration '<em><b>Optimization Direction</b></em>', | 14 | * A representation of the literals of the enumeration '<em><b>Optimization Direction</b></em>', |
15 | * and utility methods for working with them. | 15 | * and utility methods for working with them. |
16 | * <!-- end-user-doc --> | 16 | * <!-- end-user-doc --> |
17 | * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage#getOptimizationDirection() | 17 | * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage#getOptimizationDirection() |
18 | * @model | 18 | * @model |
19 | * @generated | 19 | * @generated |
20 | */ | 20 | */ |
21 | public enum OptimizationDirection implements Enumerator | 21 | public enum OptimizationDirection implements Enumerator |
22 | { | 22 | { |
23 | /** | 23 | /** |
24 | * The '<em><b>MINIMIZE</b></em>' literal object. | 24 | * The '<em><b>MINIMIZE</b></em>' literal object. |
25 | * <!-- begin-user-doc --> | 25 | * <!-- begin-user-doc --> |
26 | * <!-- end-user-doc --> | 26 | * <!-- end-user-doc --> |
27 | * @see #MINIMIZE_VALUE | 27 | * @see #MINIMIZE_VALUE |
28 | * @generated | 28 | * @generated |
29 | * @ordered | 29 | * @ordered |
30 | */ | 30 | */ |
31 | MINIMIZE(0, "MINIMIZE", "minimize"), | 31 | MINIMIZE(0, "MINIMIZE", "minimize"), |
32 | 32 | ||
33 | /** | 33 | /** |
34 | * The '<em><b>MAXIMIZE</b></em>' literal object. | 34 | * The '<em><b>MAXIMIZE</b></em>' literal object. |
35 | * <!-- begin-user-doc --> | 35 | * <!-- begin-user-doc --> |
36 | * <!-- end-user-doc --> | 36 | * <!-- end-user-doc --> |
37 | * @see #MAXIMIZE_VALUE | 37 | * @see #MAXIMIZE_VALUE |
38 | * @generated | 38 | * @generated |
39 | * @ordered | 39 | * @ordered |
40 | */ | 40 | */ |
41 | MAXIMIZE(1, "MAXIMIZE", "maximize"); | 41 | MAXIMIZE(1, "MAXIMIZE", "maximize"); |
42 | 42 | ||
43 | /** | 43 | /** |
44 | * The '<em><b>MINIMIZE</b></em>' literal value. | 44 | * The '<em><b>MINIMIZE</b></em>' literal value. |
45 | * <!-- begin-user-doc --> | 45 | * <!-- begin-user-doc --> |
46 | * <!-- end-user-doc --> | 46 | * <!-- end-user-doc --> |
47 | * @see #MINIMIZE | 47 | * @see #MINIMIZE |
48 | * @model literal="minimize" | 48 | * @model literal="minimize" |
49 | * @generated | 49 | * @generated |
50 | * @ordered | 50 | * @ordered |
51 | */ | 51 | */ |
52 | public static final int MINIMIZE_VALUE = 0; | 52 | public static final int MINIMIZE_VALUE = 0; |
53 | 53 | ||
54 | /** | 54 | /** |
55 | * The '<em><b>MAXIMIZE</b></em>' literal value. | 55 | * The '<em><b>MAXIMIZE</b></em>' literal value. |
56 | * <!-- begin-user-doc --> | 56 | * <!-- begin-user-doc --> |
57 | * <!-- end-user-doc --> | 57 | * <!-- end-user-doc --> |
58 | * @see #MAXIMIZE | 58 | * @see #MAXIMIZE |
59 | * @model literal="maximize" | 59 | * @model literal="maximize" |
60 | * @generated | 60 | * @generated |
61 | * @ordered | 61 | * @ordered |
62 | */ | 62 | */ |
63 | public static final int MAXIMIZE_VALUE = 1; | 63 | public static final int MAXIMIZE_VALUE = 1; |
64 | 64 | ||
65 | /** | 65 | /** |
66 | * An array of all the '<em><b>Optimization Direction</b></em>' enumerators. | 66 | * An array of all the '<em><b>Optimization Direction</b></em>' enumerators. |
67 | * <!-- begin-user-doc --> | 67 | * <!-- begin-user-doc --> |
68 | * <!-- end-user-doc --> | 68 | * <!-- end-user-doc --> |
69 | * @generated | 69 | * @generated |
70 | */ | 70 | */ |
71 | private static final OptimizationDirection[] VALUES_ARRAY = | 71 | private static final OptimizationDirection[] VALUES_ARRAY = |
72 | new OptimizationDirection[] | 72 | new OptimizationDirection[] |
73 | { | 73 | { |
74 | MINIMIZE, | 74 | MINIMIZE, |
75 | MAXIMIZE, | 75 | MAXIMIZE, |
76 | }; | 76 | }; |
77 | 77 | ||
78 | /** | 78 | /** |
79 | * A public read-only list of all the '<em><b>Optimization Direction</b></em>' enumerators. | 79 | * A public read-only list of all the '<em><b>Optimization Direction</b></em>' enumerators. |
80 | * <!-- begin-user-doc --> | 80 | * <!-- begin-user-doc --> |
81 | * <!-- end-user-doc --> | 81 | * <!-- end-user-doc --> |
82 | * @generated | 82 | * @generated |
83 | */ | 83 | */ |
84 | public static final List<OptimizationDirection> VALUES = Collections.unmodifiableList(Arrays.asList(VALUES_ARRAY)); | 84 | public static final List<OptimizationDirection> VALUES = Collections.unmodifiableList(Arrays.asList(VALUES_ARRAY)); |
85 | 85 | ||
86 | /** | 86 | /** |
87 | * Returns the '<em><b>Optimization Direction</b></em>' literal with the specified literal value. | 87 | * Returns the '<em><b>Optimization Direction</b></em>' literal with the specified literal value. |
88 | * <!-- begin-user-doc --> | 88 | * <!-- begin-user-doc --> |
89 | * <!-- end-user-doc --> | 89 | * <!-- end-user-doc --> |
90 | * @param literal the literal. | 90 | * @param literal the literal. |
91 | * @return the matching enumerator or <code>null</code>. | 91 | * @return the matching enumerator or <code>null</code>. |
92 | * @generated | 92 | * @generated |
93 | */ | 93 | */ |
94 | public static OptimizationDirection get(String literal) | 94 | public static OptimizationDirection get(String literal) |
95 | { | 95 | { |
96 | for (int i = 0; i < VALUES_ARRAY.length; ++i) | 96 | for (int i = 0; i < VALUES_ARRAY.length; ++i) |
97 | { | 97 | { |
98 | OptimizationDirection result = VALUES_ARRAY[i]; | 98 | OptimizationDirection result = VALUES_ARRAY[i]; |
99 | if (result.toString().equals(literal)) | 99 | if (result.toString().equals(literal)) |
100 | { | 100 | { |
101 | return result; | 101 | return result; |
102 | } | 102 | } |
103 | } | 103 | } |
104 | return null; | 104 | return null; |
105 | } | 105 | } |
106 | 106 | ||
107 | /** | 107 | /** |
108 | * Returns the '<em><b>Optimization Direction</b></em>' literal with the specified name. | 108 | * Returns the '<em><b>Optimization Direction</b></em>' literal with the specified name. |
109 | * <!-- begin-user-doc --> | 109 | * <!-- begin-user-doc --> |
110 | * <!-- end-user-doc --> | 110 | * <!-- end-user-doc --> |
111 | * @param name the name. | 111 | * @param name the name. |
112 | * @return the matching enumerator or <code>null</code>. | 112 | * @return the matching enumerator or <code>null</code>. |
113 | * @generated | 113 | * @generated |
114 | */ | 114 | */ |
115 | public static OptimizationDirection getByName(String name) | 115 | public static OptimizationDirection getByName(String name) |
116 | { | 116 | { |
117 | for (int i = 0; i < VALUES_ARRAY.length; ++i) | 117 | for (int i = 0; i < VALUES_ARRAY.length; ++i) |
118 | { | 118 | { |
119 | OptimizationDirection result = VALUES_ARRAY[i]; | 119 | OptimizationDirection result = VALUES_ARRAY[i]; |
120 | if (result.getName().equals(name)) | 120 | if (result.getName().equals(name)) |
121 | { | 121 | { |
122 | return result; | 122 | return result; |
123 | } | 123 | } |
124 | } | 124 | } |
125 | return null; | 125 | return null; |
126 | } | 126 | } |
127 | 127 | ||
128 | /** | 128 | /** |
129 | * Returns the '<em><b>Optimization Direction</b></em>' literal with the specified integer value. | 129 | * Returns the '<em><b>Optimization Direction</b></em>' literal with the specified integer value. |
130 | * <!-- begin-user-doc --> | 130 | * <!-- begin-user-doc --> |
131 | * <!-- end-user-doc --> | 131 | * <!-- end-user-doc --> |
132 | * @param value the integer value. | 132 | * @param value the integer value. |
133 | * @return the matching enumerator or <code>null</code>. | 133 | * @return the matching enumerator or <code>null</code>. |
134 | * @generated | 134 | * @generated |
135 | */ | 135 | */ |
136 | public static OptimizationDirection get(int value) | 136 | public static OptimizationDirection get(int value) |
137 | { | 137 | { |
138 | switch (value) | 138 | switch (value) |
139 | { | 139 | { |
140 | case MINIMIZE_VALUE: return MINIMIZE; | 140 | case MINIMIZE_VALUE: return MINIMIZE; |
141 | case MAXIMIZE_VALUE: return MAXIMIZE; | 141 | case MAXIMIZE_VALUE: return MAXIMIZE; |
142 | } | 142 | } |
143 | return null; | 143 | return null; |
144 | } | 144 | } |
145 | 145 | ||
146 | /** | 146 | /** |
147 | * <!-- begin-user-doc --> | 147 | * <!-- begin-user-doc --> |
148 | * <!-- end-user-doc --> | 148 | * <!-- end-user-doc --> |
149 | * @generated | 149 | * @generated |
150 | */ | 150 | */ |
151 | private final int value; | 151 | private final int value; |
152 | 152 | ||
153 | /** | 153 | /** |
154 | * <!-- begin-user-doc --> | 154 | * <!-- begin-user-doc --> |
155 | * <!-- end-user-doc --> | 155 | * <!-- end-user-doc --> |
156 | * @generated | 156 | * @generated |
157 | */ | 157 | */ |
158 | private final String name; | 158 | private final String name; |
159 | 159 | ||
160 | /** | 160 | /** |
161 | * <!-- begin-user-doc --> | 161 | * <!-- begin-user-doc --> |
162 | * <!-- end-user-doc --> | 162 | * <!-- end-user-doc --> |
163 | * @generated | 163 | * @generated |
164 | */ | 164 | */ |
165 | private final String literal; | 165 | private final String literal; |
166 | 166 | ||
167 | /** | 167 | /** |
168 | * Only this class can construct instances. | 168 | * Only this class can construct instances. |
169 | * <!-- begin-user-doc --> | 169 | * <!-- begin-user-doc --> |
170 | * <!-- end-user-doc --> | 170 | * <!-- end-user-doc --> |
171 | * @generated | 171 | * @generated |
172 | */ | 172 | */ |
173 | private OptimizationDirection(int value, String name, String literal) | 173 | private OptimizationDirection(int value, String name, String literal) |
174 | { | 174 | { |
175 | this.value = value; | 175 | this.value = value; |
176 | this.name = name; | 176 | this.name = name; |
177 | this.literal = literal; | 177 | this.literal = literal; |
178 | } | 178 | } |
179 | 179 | ||
180 | /** | 180 | /** |
181 | * <!-- begin-user-doc --> | 181 | * <!-- begin-user-doc --> |
182 | * <!-- end-user-doc --> | 182 | * <!-- end-user-doc --> |
183 | * @generated | 183 | * @generated |
184 | */ | 184 | */ |
185 | @Override | 185 | @Override |
186 | public int getValue() | 186 | public int getValue() |
187 | { | 187 | { |
188 | return value; | 188 | return value; |
189 | } | 189 | } |
190 | 190 | ||
191 | /** | 191 | /** |
192 | * <!-- begin-user-doc --> | 192 | * <!-- begin-user-doc --> |
193 | * <!-- end-user-doc --> | 193 | * <!-- end-user-doc --> |
194 | * @generated | 194 | * @generated |
195 | */ | 195 | */ |
196 | @Override | 196 | @Override |
197 | public String getName() | 197 | public String getName() |
198 | { | 198 | { |
199 | return name; | 199 | return name; |
200 | } | 200 | } |
201 | 201 | ||
202 | /** | 202 | /** |
203 | * <!-- begin-user-doc --> | 203 | * <!-- begin-user-doc --> |
204 | * <!-- end-user-doc --> | 204 | * <!-- end-user-doc --> |
205 | * @generated | 205 | * @generated |
206 | */ | 206 | */ |
207 | @Override | 207 | @Override |
208 | public String getLiteral() | 208 | public String getLiteral() |
209 | { | 209 | { |
210 | return literal; | 210 | return literal; |
211 | } | 211 | } |
212 | 212 | ||
213 | /** | 213 | /** |
214 | * Returns the literal value of the enumerator, which is its string representation. | 214 | * Returns the literal value of the enumerator, which is its string representation. |
215 | * <!-- begin-user-doc --> | 215 | * <!-- begin-user-doc --> |
216 | * <!-- end-user-doc --> | 216 | * <!-- end-user-doc --> |
217 | * @generated | 217 | * @generated |
218 | */ | 218 | */ |
219 | @Override | 219 | @Override |
220 | public String toString() | 220 | public String toString() |
221 | { | 221 | { |
222 | return literal; | 222 | return literal; |
223 | } | 223 | } |
224 | 224 | ||
225 | } //OptimizationDirection | 225 | } //OptimizationDirection |