diff options
Diffstat (limited to 'Application/org.eclipse.viatra.solver.language/ecore-gen/org/eclipse/viatra/solver/language/solverLanguage/BinaryOperator.java')
-rw-r--r-- | Application/org.eclipse.viatra.solver.language/ecore-gen/org/eclipse/viatra/solver/language/solverLanguage/BinaryOperator.java | 463 |
1 files changed, 463 insertions, 0 deletions
diff --git a/Application/org.eclipse.viatra.solver.language/ecore-gen/org/eclipse/viatra/solver/language/solverLanguage/BinaryOperator.java b/Application/org.eclipse.viatra.solver.language/ecore-gen/org/eclipse/viatra/solver/language/solverLanguage/BinaryOperator.java new file mode 100644 index 00000000..ce34afc7 --- /dev/null +++ b/Application/org.eclipse.viatra.solver.language/ecore-gen/org/eclipse/viatra/solver/language/solverLanguage/BinaryOperator.java | |||
@@ -0,0 +1,463 @@ | |||
1 | /** | ||
2 | * generated by Xtext 2.21.0 | ||
3 | */ | ||
4 | package org.eclipse.viatra.solver.language.solverLanguage; | ||
5 | |||
6 | import java.util.Arrays; | ||
7 | import java.util.Collections; | ||
8 | import java.util.List; | ||
9 | |||
10 | import org.eclipse.emf.common.util.Enumerator; | ||
11 | |||
12 | /** | ||
13 | * <!-- begin-user-doc --> | ||
14 | * A representation of the literals of the enumeration '<em><b>Binary Operator</b></em>', | ||
15 | * and utility methods for working with them. | ||
16 | * <!-- end-user-doc --> | ||
17 | * @see org.eclipse.viatra.solver.language.solverLanguage.SolverLanguagePackage#getBinaryOperator() | ||
18 | * @model | ||
19 | * @generated | ||
20 | */ | ||
21 | public enum BinaryOperator implements Enumerator { | ||
22 | /** | ||
23 | * The '<em><b>EQ</b></em>' literal object. | ||
24 | * <!-- begin-user-doc --> | ||
25 | * <!-- end-user-doc --> | ||
26 | * @see #EQ_VALUE | ||
27 | * @generated | ||
28 | * @ordered | ||
29 | */ | ||
30 | EQ(0, "EQ", "EQ"), | ||
31 | |||
32 | /** | ||
33 | * The '<em><b>NOT EQ</b></em>' literal object. | ||
34 | * <!-- begin-user-doc --> | ||
35 | * <!-- end-user-doc --> | ||
36 | * @see #NOT_EQ_VALUE | ||
37 | * @generated | ||
38 | * @ordered | ||
39 | */ | ||
40 | NOT_EQ(1, "NOT_EQ", "NOT_EQ"), | ||
41 | |||
42 | /** | ||
43 | * The '<em><b>LESS</b></em>' literal object. | ||
44 | * <!-- begin-user-doc --> | ||
45 | * <!-- end-user-doc --> | ||
46 | * @see #LESS_VALUE | ||
47 | * @generated | ||
48 | * @ordered | ||
49 | */ | ||
50 | LESS(2, "LESS", "LESS"), | ||
51 | |||
52 | /** | ||
53 | * The '<em><b>LESS EQ</b></em>' literal object. | ||
54 | * <!-- begin-user-doc --> | ||
55 | * <!-- end-user-doc --> | ||
56 | * @see #LESS_EQ_VALUE | ||
57 | * @generated | ||
58 | * @ordered | ||
59 | */ | ||
60 | LESS_EQ(3, "LESS_EQ", "LESS_EQ"), | ||
61 | |||
62 | /** | ||
63 | * The '<em><b>GREATER</b></em>' literal object. | ||
64 | * <!-- begin-user-doc --> | ||
65 | * <!-- end-user-doc --> | ||
66 | * @see #GREATER_VALUE | ||
67 | * @generated | ||
68 | * @ordered | ||
69 | */ | ||
70 | GREATER(4, "GREATER", "GREATER"), | ||
71 | |||
72 | /** | ||
73 | * The '<em><b>GREATER EQ</b></em>' literal object. | ||
74 | * <!-- begin-user-doc --> | ||
75 | * <!-- end-user-doc --> | ||
76 | * @see #GREATER_EQ_VALUE | ||
77 | * @generated | ||
78 | * @ordered | ||
79 | */ | ||
80 | GREATER_EQ(5, "GREATER_EQ", "GREATER_EQ"), | ||
81 | |||
82 | /** | ||
83 | * The '<em><b>IN</b></em>' literal object. | ||
84 | * <!-- begin-user-doc --> | ||
85 | * <!-- end-user-doc --> | ||
86 | * @see #IN_VALUE | ||
87 | * @generated | ||
88 | * @ordered | ||
89 | */ | ||
90 | IN(6, "IN", "IN"), | ||
91 | |||
92 | /** | ||
93 | * The '<em><b>ADD</b></em>' literal object. | ||
94 | * <!-- begin-user-doc --> | ||
95 | * <!-- end-user-doc --> | ||
96 | * @see #ADD_VALUE | ||
97 | * @generated | ||
98 | * @ordered | ||
99 | */ | ||
100 | ADD(7, "ADD", "ADD"), | ||
101 | |||
102 | /** | ||
103 | * The '<em><b>SUB</b></em>' literal object. | ||
104 | * <!-- begin-user-doc --> | ||
105 | * <!-- end-user-doc --> | ||
106 | * @see #SUB_VALUE | ||
107 | * @generated | ||
108 | * @ordered | ||
109 | */ | ||
110 | SUB(8, "SUB", "SUB"), | ||
111 | |||
112 | /** | ||
113 | * The '<em><b>MUL</b></em>' literal object. | ||
114 | * <!-- begin-user-doc --> | ||
115 | * <!-- end-user-doc --> | ||
116 | * @see #MUL_VALUE | ||
117 | * @generated | ||
118 | * @ordered | ||
119 | */ | ||
120 | MUL(9, "MUL", "MUL"), | ||
121 | |||
122 | /** | ||
123 | * The '<em><b>DIV</b></em>' literal object. | ||
124 | * <!-- begin-user-doc --> | ||
125 | * <!-- end-user-doc --> | ||
126 | * @see #DIV_VALUE | ||
127 | * @generated | ||
128 | * @ordered | ||
129 | */ | ||
130 | DIV(10, "DIV", "DIV"), | ||
131 | |||
132 | /** | ||
133 | * The '<em><b>POW</b></em>' literal object. | ||
134 | * <!-- begin-user-doc --> | ||
135 | * <!-- end-user-doc --> | ||
136 | * @see #POW_VALUE | ||
137 | * @generated | ||
138 | * @ordered | ||
139 | */ | ||
140 | POW(11, "POW", "POW"), | ||
141 | |||
142 | /** | ||
143 | * The '<em><b>IMPLIES</b></em>' literal object. | ||
144 | * <!-- begin-user-doc --> | ||
145 | * <!-- end-user-doc --> | ||
146 | * @see #IMPLIES_VALUE | ||
147 | * @generated | ||
148 | * @ordered | ||
149 | */ | ||
150 | IMPLIES(12, "IMPLIES", "IMPLIES"); | ||
151 | |||
152 | /** | ||
153 | * The '<em><b>EQ</b></em>' literal value. | ||
154 | * <!-- begin-user-doc --> | ||
155 | * <!-- end-user-doc --> | ||
156 | * @see #EQ | ||
157 | * @model | ||
158 | * @generated | ||
159 | * @ordered | ||
160 | */ | ||
161 | public static final int EQ_VALUE = 0; | ||
162 | |||
163 | /** | ||
164 | * The '<em><b>NOT EQ</b></em>' literal value. | ||
165 | * <!-- begin-user-doc --> | ||
166 | * <!-- end-user-doc --> | ||
167 | * @see #NOT_EQ | ||
168 | * @model | ||
169 | * @generated | ||
170 | * @ordered | ||
171 | */ | ||
172 | public static final int NOT_EQ_VALUE = 1; | ||
173 | |||
174 | /** | ||
175 | * The '<em><b>LESS</b></em>' literal value. | ||
176 | * <!-- begin-user-doc --> | ||
177 | * <!-- end-user-doc --> | ||
178 | * @see #LESS | ||
179 | * @model | ||
180 | * @generated | ||
181 | * @ordered | ||
182 | */ | ||
183 | public static final int LESS_VALUE = 2; | ||
184 | |||
185 | /** | ||
186 | * The '<em><b>LESS EQ</b></em>' literal value. | ||
187 | * <!-- begin-user-doc --> | ||
188 | * <!-- end-user-doc --> | ||
189 | * @see #LESS_EQ | ||
190 | * @model | ||
191 | * @generated | ||
192 | * @ordered | ||
193 | */ | ||
194 | public static final int LESS_EQ_VALUE = 3; | ||
195 | |||
196 | /** | ||
197 | * The '<em><b>GREATER</b></em>' literal value. | ||
198 | * <!-- begin-user-doc --> | ||
199 | * <!-- end-user-doc --> | ||
200 | * @see #GREATER | ||
201 | * @model | ||
202 | * @generated | ||
203 | * @ordered | ||
204 | */ | ||
205 | public static final int GREATER_VALUE = 4; | ||
206 | |||
207 | /** | ||
208 | * The '<em><b>GREATER EQ</b></em>' literal value. | ||
209 | * <!-- begin-user-doc --> | ||
210 | * <!-- end-user-doc --> | ||
211 | * @see #GREATER_EQ | ||
212 | * @model | ||
213 | * @generated | ||
214 | * @ordered | ||
215 | */ | ||
216 | public static final int GREATER_EQ_VALUE = 5; | ||
217 | |||
218 | /** | ||
219 | * The '<em><b>IN</b></em>' literal value. | ||
220 | * <!-- begin-user-doc --> | ||
221 | * <!-- end-user-doc --> | ||
222 | * @see #IN | ||
223 | * @model | ||
224 | * @generated | ||
225 | * @ordered | ||
226 | */ | ||
227 | public static final int IN_VALUE = 6; | ||
228 | |||
229 | /** | ||
230 | * The '<em><b>ADD</b></em>' literal value. | ||
231 | * <!-- begin-user-doc --> | ||
232 | * <!-- end-user-doc --> | ||
233 | * @see #ADD | ||
234 | * @model | ||
235 | * @generated | ||
236 | * @ordered | ||
237 | */ | ||
238 | public static final int ADD_VALUE = 7; | ||
239 | |||
240 | /** | ||
241 | * The '<em><b>SUB</b></em>' literal value. | ||
242 | * <!-- begin-user-doc --> | ||
243 | * <!-- end-user-doc --> | ||
244 | * @see #SUB | ||
245 | * @model | ||
246 | * @generated | ||
247 | * @ordered | ||
248 | */ | ||
249 | public static final int SUB_VALUE = 8; | ||
250 | |||
251 | /** | ||
252 | * The '<em><b>MUL</b></em>' literal value. | ||
253 | * <!-- begin-user-doc --> | ||
254 | * <!-- end-user-doc --> | ||
255 | * @see #MUL | ||
256 | * @model | ||
257 | * @generated | ||
258 | * @ordered | ||
259 | */ | ||
260 | public static final int MUL_VALUE = 9; | ||
261 | |||
262 | /** | ||
263 | * The '<em><b>DIV</b></em>' literal value. | ||
264 | * <!-- begin-user-doc --> | ||
265 | * <!-- end-user-doc --> | ||
266 | * @see #DIV | ||
267 | * @model | ||
268 | * @generated | ||
269 | * @ordered | ||
270 | */ | ||
271 | public static final int DIV_VALUE = 10; | ||
272 | |||
273 | /** | ||
274 | * The '<em><b>POW</b></em>' literal value. | ||
275 | * <!-- begin-user-doc --> | ||
276 | * <!-- end-user-doc --> | ||
277 | * @see #POW | ||
278 | * @model | ||
279 | * @generated | ||
280 | * @ordered | ||
281 | */ | ||
282 | public static final int POW_VALUE = 11; | ||
283 | |||
284 | /** | ||
285 | * The '<em><b>IMPLIES</b></em>' literal value. | ||
286 | * <!-- begin-user-doc --> | ||
287 | * <!-- end-user-doc --> | ||
288 | * @see #IMPLIES | ||
289 | * @model | ||
290 | * @generated | ||
291 | * @ordered | ||
292 | */ | ||
293 | public static final int IMPLIES_VALUE = 12; | ||
294 | |||
295 | /** | ||
296 | * An array of all the '<em><b>Binary Operator</b></em>' enumerators. | ||
297 | * <!-- begin-user-doc --> | ||
298 | * <!-- end-user-doc --> | ||
299 | * @generated | ||
300 | */ | ||
301 | private static final BinaryOperator[] VALUES_ARRAY = | ||
302 | new BinaryOperator[] { | ||
303 | EQ, | ||
304 | NOT_EQ, | ||
305 | LESS, | ||
306 | LESS_EQ, | ||
307 | GREATER, | ||
308 | GREATER_EQ, | ||
309 | IN, | ||
310 | ADD, | ||
311 | SUB, | ||
312 | MUL, | ||
313 | DIV, | ||
314 | POW, | ||
315 | IMPLIES, | ||
316 | }; | ||
317 | |||
318 | /** | ||
319 | * A public read-only list of all the '<em><b>Binary Operator</b></em>' enumerators. | ||
320 | * <!-- begin-user-doc --> | ||
321 | * <!-- end-user-doc --> | ||
322 | * @generated | ||
323 | */ | ||
324 | public static final List<BinaryOperator> VALUES = Collections.unmodifiableList(Arrays.asList(VALUES_ARRAY)); | ||
325 | |||
326 | /** | ||
327 | * Returns the '<em><b>Binary Operator</b></em>' literal with the specified literal value. | ||
328 | * <!-- begin-user-doc --> | ||
329 | * <!-- end-user-doc --> | ||
330 | * @param literal the literal. | ||
331 | * @return the matching enumerator or <code>null</code>. | ||
332 | * @generated | ||
333 | */ | ||
334 | public static BinaryOperator get(String literal) { | ||
335 | for (int i = 0; i < VALUES_ARRAY.length; ++i) { | ||
336 | BinaryOperator result = VALUES_ARRAY[i]; | ||
337 | if (result.toString().equals(literal)) { | ||
338 | return result; | ||
339 | } | ||
340 | } | ||
341 | return null; | ||
342 | } | ||
343 | |||
344 | /** | ||
345 | * Returns the '<em><b>Binary Operator</b></em>' literal with the specified name. | ||
346 | * <!-- begin-user-doc --> | ||
347 | * <!-- end-user-doc --> | ||
348 | * @param name the name. | ||
349 | * @return the matching enumerator or <code>null</code>. | ||
350 | * @generated | ||
351 | */ | ||
352 | public static BinaryOperator getByName(String name) { | ||
353 | for (int i = 0; i < VALUES_ARRAY.length; ++i) { | ||
354 | BinaryOperator result = VALUES_ARRAY[i]; | ||
355 | if (result.getName().equals(name)) { | ||
356 | return result; | ||
357 | } | ||
358 | } | ||
359 | return null; | ||
360 | } | ||
361 | |||
362 | /** | ||
363 | * Returns the '<em><b>Binary Operator</b></em>' literal with the specified integer value. | ||
364 | * <!-- begin-user-doc --> | ||
365 | * <!-- end-user-doc --> | ||
366 | * @param value the integer value. | ||
367 | * @return the matching enumerator or <code>null</code>. | ||
368 | * @generated | ||
369 | */ | ||
370 | public static BinaryOperator get(int value) { | ||
371 | switch (value) { | ||
372 | case EQ_VALUE: return EQ; | ||
373 | case NOT_EQ_VALUE: return NOT_EQ; | ||
374 | case LESS_VALUE: return LESS; | ||
375 | case LESS_EQ_VALUE: return LESS_EQ; | ||
376 | case GREATER_VALUE: return GREATER; | ||
377 | case GREATER_EQ_VALUE: return GREATER_EQ; | ||
378 | case IN_VALUE: return IN; | ||
379 | case ADD_VALUE: return ADD; | ||
380 | case SUB_VALUE: return SUB; | ||
381 | case MUL_VALUE: return MUL; | ||
382 | case DIV_VALUE: return DIV; | ||
383 | case POW_VALUE: return POW; | ||
384 | case IMPLIES_VALUE: return IMPLIES; | ||
385 | } | ||
386 | return null; | ||
387 | } | ||
388 | |||
389 | /** | ||
390 | * <!-- begin-user-doc --> | ||
391 | * <!-- end-user-doc --> | ||
392 | * @generated | ||
393 | */ | ||
394 | private final int value; | ||
395 | |||
396 | /** | ||
397 | * <!-- begin-user-doc --> | ||
398 | * <!-- end-user-doc --> | ||
399 | * @generated | ||
400 | */ | ||
401 | private final String name; | ||
402 | |||
403 | /** | ||
404 | * <!-- begin-user-doc --> | ||
405 | * <!-- end-user-doc --> | ||
406 | * @generated | ||
407 | */ | ||
408 | private final String literal; | ||
409 | |||
410 | /** | ||
411 | * Only this class can construct instances. | ||
412 | * <!-- begin-user-doc --> | ||
413 | * <!-- end-user-doc --> | ||
414 | * @generated | ||
415 | */ | ||
416 | private BinaryOperator(int value, String name, String literal) { | ||
417 | this.value = value; | ||
418 | this.name = name; | ||
419 | this.literal = literal; | ||
420 | } | ||
421 | |||
422 | /** | ||
423 | * <!-- begin-user-doc --> | ||
424 | * <!-- end-user-doc --> | ||
425 | * @generated | ||
426 | */ | ||
427 | @Override | ||
428 | public int getValue() { | ||
429 | return value; | ||
430 | } | ||
431 | |||
432 | /** | ||
433 | * <!-- begin-user-doc --> | ||
434 | * <!-- end-user-doc --> | ||
435 | * @generated | ||
436 | */ | ||
437 | @Override | ||
438 | public String getName() { | ||
439 | return name; | ||
440 | } | ||
441 | |||
442 | /** | ||
443 | * <!-- begin-user-doc --> | ||
444 | * <!-- end-user-doc --> | ||
445 | * @generated | ||
446 | */ | ||
447 | @Override | ||
448 | public String getLiteral() { | ||
449 | return literal; | ||
450 | } | ||
451 | |||
452 | /** | ||
453 | * Returns the literal value of the enumerator, which is its string representation. | ||
454 | * <!-- begin-user-doc --> | ||
455 | * <!-- end-user-doc --> | ||
456 | * @generated | ||
457 | */ | ||
458 | @Override | ||
459 | public String toString() { | ||
460 | return literal; | ||
461 | } | ||
462 | |||
463 | } //BinaryOperator | ||