diff options
Diffstat (limited to 'Application/org.eclipse.viatra.solver.language/ecore-gen/org/eclipse/viatra/solver/language/solverLanguage/UnaryOp.java')
-rw-r--r-- | Application/org.eclipse.viatra.solver.language/ecore-gen/org/eclipse/viatra/solver/language/solverLanguage/UnaryOp.java | 302 |
1 files changed, 302 insertions, 0 deletions
diff --git a/Application/org.eclipse.viatra.solver.language/ecore-gen/org/eclipse/viatra/solver/language/solverLanguage/UnaryOp.java b/Application/org.eclipse.viatra.solver.language/ecore-gen/org/eclipse/viatra/solver/language/solverLanguage/UnaryOp.java new file mode 100644 index 00000000..fad289b1 --- /dev/null +++ b/Application/org.eclipse.viatra.solver.language/ecore-gen/org/eclipse/viatra/solver/language/solverLanguage/UnaryOp.java | |||
@@ -0,0 +1,302 @@ | |||
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>Unary Op</b></em>', | ||
15 | * and utility methods for working with them. | ||
16 | * <!-- end-user-doc --> | ||
17 | * @see org.eclipse.viatra.solver.language.solverLanguage.SolverLanguagePackage#getUnaryOp() | ||
18 | * @model | ||
19 | * @generated | ||
20 | */ | ||
21 | public enum UnaryOp implements Enumerator { | ||
22 | /** | ||
23 | * The '<em><b>NEG</b></em>' literal object. | ||
24 | * <!-- begin-user-doc --> | ||
25 | * <!-- end-user-doc --> | ||
26 | * @see #NEG_VALUE | ||
27 | * @generated | ||
28 | * @ordered | ||
29 | */ | ||
30 | NEG(0, "NEG", "!"), | ||
31 | |||
32 | /** | ||
33 | * The '<em><b>PLUS</b></em>' literal object. | ||
34 | * <!-- begin-user-doc --> | ||
35 | * <!-- end-user-doc --> | ||
36 | * @see #PLUS_VALUE | ||
37 | * @generated | ||
38 | * @ordered | ||
39 | */ | ||
40 | PLUS(1, "PLUS", "+"), | ||
41 | |||
42 | /** | ||
43 | * The '<em><b>MINUS</b></em>' literal object. | ||
44 | * <!-- begin-user-doc --> | ||
45 | * <!-- end-user-doc --> | ||
46 | * @see #MINUS_VALUE | ||
47 | * @generated | ||
48 | * @ordered | ||
49 | */ | ||
50 | MINUS(2, "MINUS", "-"), | ||
51 | |||
52 | /** | ||
53 | * The '<em><b>MAY</b></em>' literal object. | ||
54 | * <!-- begin-user-doc --> | ||
55 | * <!-- end-user-doc --> | ||
56 | * @see #MAY_VALUE | ||
57 | * @generated | ||
58 | * @ordered | ||
59 | */ | ||
60 | MAY(3, "MAY", "may"), | ||
61 | |||
62 | /** | ||
63 | * The '<em><b>MUST</b></em>' literal object. | ||
64 | * <!-- begin-user-doc --> | ||
65 | * <!-- end-user-doc --> | ||
66 | * @see #MUST_VALUE | ||
67 | * @generated | ||
68 | * @ordered | ||
69 | */ | ||
70 | MUST(4, "MUST", "must"), | ||
71 | |||
72 | /** | ||
73 | * The '<em><b>CURRENT</b></em>' literal object. | ||
74 | * <!-- begin-user-doc --> | ||
75 | * <!-- end-user-doc --> | ||
76 | * @see #CURRENT_VALUE | ||
77 | * @generated | ||
78 | * @ordered | ||
79 | */ | ||
80 | CURRENT(5, "CURRENT", "current"); | ||
81 | |||
82 | /** | ||
83 | * The '<em><b>NEG</b></em>' literal value. | ||
84 | * <!-- begin-user-doc --> | ||
85 | * <!-- end-user-doc --> | ||
86 | * @see #NEG | ||
87 | * @model literal="!" | ||
88 | * @generated | ||
89 | * @ordered | ||
90 | */ | ||
91 | public static final int NEG_VALUE = 0; | ||
92 | |||
93 | /** | ||
94 | * The '<em><b>PLUS</b></em>' literal value. | ||
95 | * <!-- begin-user-doc --> | ||
96 | * <!-- end-user-doc --> | ||
97 | * @see #PLUS | ||
98 | * @model literal="+" | ||
99 | * @generated | ||
100 | * @ordered | ||
101 | */ | ||
102 | public static final int PLUS_VALUE = 1; | ||
103 | |||
104 | /** | ||
105 | * The '<em><b>MINUS</b></em>' literal value. | ||
106 | * <!-- begin-user-doc --> | ||
107 | * <!-- end-user-doc --> | ||
108 | * @see #MINUS | ||
109 | * @model literal="-" | ||
110 | * @generated | ||
111 | * @ordered | ||
112 | */ | ||
113 | public static final int MINUS_VALUE = 2; | ||
114 | |||
115 | /** | ||
116 | * The '<em><b>MAY</b></em>' literal value. | ||
117 | * <!-- begin-user-doc --> | ||
118 | * <!-- end-user-doc --> | ||
119 | * @see #MAY | ||
120 | * @model literal="may" | ||
121 | * @generated | ||
122 | * @ordered | ||
123 | */ | ||
124 | public static final int MAY_VALUE = 3; | ||
125 | |||
126 | /** | ||
127 | * The '<em><b>MUST</b></em>' literal value. | ||
128 | * <!-- begin-user-doc --> | ||
129 | * <!-- end-user-doc --> | ||
130 | * @see #MUST | ||
131 | * @model literal="must" | ||
132 | * @generated | ||
133 | * @ordered | ||
134 | */ | ||
135 | public static final int MUST_VALUE = 4; | ||
136 | |||
137 | /** | ||
138 | * The '<em><b>CURRENT</b></em>' literal value. | ||
139 | * <!-- begin-user-doc --> | ||
140 | * <!-- end-user-doc --> | ||
141 | * @see #CURRENT | ||
142 | * @model literal="current" | ||
143 | * @generated | ||
144 | * @ordered | ||
145 | */ | ||
146 | public static final int CURRENT_VALUE = 5; | ||
147 | |||
148 | /** | ||
149 | * An array of all the '<em><b>Unary Op</b></em>' enumerators. | ||
150 | * <!-- begin-user-doc --> | ||
151 | * <!-- end-user-doc --> | ||
152 | * @generated | ||
153 | */ | ||
154 | private static final UnaryOp[] VALUES_ARRAY = | ||
155 | new UnaryOp[] { | ||
156 | NEG, | ||
157 | PLUS, | ||
158 | MINUS, | ||
159 | MAY, | ||
160 | MUST, | ||
161 | CURRENT, | ||
162 | }; | ||
163 | |||
164 | /** | ||
165 | * A public read-only list of all the '<em><b>Unary Op</b></em>' enumerators. | ||
166 | * <!-- begin-user-doc --> | ||
167 | * <!-- end-user-doc --> | ||
168 | * @generated | ||
169 | */ | ||
170 | public static final List<UnaryOp> VALUES = Collections.unmodifiableList(Arrays.asList(VALUES_ARRAY)); | ||
171 | |||
172 | /** | ||
173 | * Returns the '<em><b>Unary Op</b></em>' literal with the specified literal value. | ||
174 | * <!-- begin-user-doc --> | ||
175 | * <!-- end-user-doc --> | ||
176 | * @param literal the literal. | ||
177 | * @return the matching enumerator or <code>null</code>. | ||
178 | * @generated | ||
179 | */ | ||
180 | public static UnaryOp get(String literal) { | ||
181 | for (int i = 0; i < VALUES_ARRAY.length; ++i) { | ||
182 | UnaryOp result = VALUES_ARRAY[i]; | ||
183 | if (result.toString().equals(literal)) { | ||
184 | return result; | ||
185 | } | ||
186 | } | ||
187 | return null; | ||
188 | } | ||
189 | |||
190 | /** | ||
191 | * Returns the '<em><b>Unary Op</b></em>' literal with the specified name. | ||
192 | * <!-- begin-user-doc --> | ||
193 | * <!-- end-user-doc --> | ||
194 | * @param name the name. | ||
195 | * @return the matching enumerator or <code>null</code>. | ||
196 | * @generated | ||
197 | */ | ||
198 | public static UnaryOp getByName(String name) { | ||
199 | for (int i = 0; i < VALUES_ARRAY.length; ++i) { | ||
200 | UnaryOp result = VALUES_ARRAY[i]; | ||
201 | if (result.getName().equals(name)) { | ||
202 | return result; | ||
203 | } | ||
204 | } | ||
205 | return null; | ||
206 | } | ||
207 | |||
208 | /** | ||
209 | * Returns the '<em><b>Unary Op</b></em>' literal with the specified integer value. | ||
210 | * <!-- begin-user-doc --> | ||
211 | * <!-- end-user-doc --> | ||
212 | * @param value the integer value. | ||
213 | * @return the matching enumerator or <code>null</code>. | ||
214 | * @generated | ||
215 | */ | ||
216 | public static UnaryOp get(int value) { | ||
217 | switch (value) { | ||
218 | case NEG_VALUE: return NEG; | ||
219 | case PLUS_VALUE: return PLUS; | ||
220 | case MINUS_VALUE: return MINUS; | ||
221 | case MAY_VALUE: return MAY; | ||
222 | case MUST_VALUE: return MUST; | ||
223 | case CURRENT_VALUE: return CURRENT; | ||
224 | } | ||
225 | return null; | ||
226 | } | ||
227 | |||
228 | /** | ||
229 | * <!-- begin-user-doc --> | ||
230 | * <!-- end-user-doc --> | ||
231 | * @generated | ||
232 | */ | ||
233 | private final int value; | ||
234 | |||
235 | /** | ||
236 | * <!-- begin-user-doc --> | ||
237 | * <!-- end-user-doc --> | ||
238 | * @generated | ||
239 | */ | ||
240 | private final String name; | ||
241 | |||
242 | /** | ||
243 | * <!-- begin-user-doc --> | ||
244 | * <!-- end-user-doc --> | ||
245 | * @generated | ||
246 | */ | ||
247 | private final String literal; | ||
248 | |||
249 | /** | ||
250 | * Only this class can construct instances. | ||
251 | * <!-- begin-user-doc --> | ||
252 | * <!-- end-user-doc --> | ||
253 | * @generated | ||
254 | */ | ||
255 | private UnaryOp(int value, String name, String literal) { | ||
256 | this.value = value; | ||
257 | this.name = name; | ||
258 | this.literal = literal; | ||
259 | } | ||
260 | |||
261 | /** | ||
262 | * <!-- begin-user-doc --> | ||
263 | * <!-- end-user-doc --> | ||
264 | * @generated | ||
265 | */ | ||
266 | @Override | ||
267 | public int getValue() { | ||
268 | return value; | ||
269 | } | ||
270 | |||
271 | /** | ||
272 | * <!-- begin-user-doc --> | ||
273 | * <!-- end-user-doc --> | ||
274 | * @generated | ||
275 | */ | ||
276 | @Override | ||
277 | public String getName() { | ||
278 | return name; | ||
279 | } | ||
280 | |||
281 | /** | ||
282 | * <!-- begin-user-doc --> | ||
283 | * <!-- end-user-doc --> | ||
284 | * @generated | ||
285 | */ | ||
286 | @Override | ||
287 | public String getLiteral() { | ||
288 | return literal; | ||
289 | } | ||
290 | |||
291 | /** | ||
292 | * Returns the literal value of the enumerator, which is its string representation. | ||
293 | * <!-- begin-user-doc --> | ||
294 | * <!-- end-user-doc --> | ||
295 | * @generated | ||
296 | */ | ||
297 | @Override | ||
298 | public String toString() { | ||
299 | return literal; | ||
300 | } | ||
301 | |||
302 | } //UnaryOp | ||