diff options
author | Kristóf Marussy <marussy@mit.bme.hu> | 2020-05-10 22:09:17 +0200 |
---|---|---|
committer | Kristóf Marussy <marussy@mit.bme.hu> | 2020-05-10 22:09:17 +0200 |
commit | 7adead25f3c8451a51a3f8fa1d45b0b8f93b3a69 (patch) | |
tree | 0b9b4ac2c58bf0535b27a447cae36335d5b9f503 /Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/satellite/util/SatelliteSwitch.java | |
parent | Synthetic tokens for solver language (diff) | |
download | VIATRA-Generator-7adead25f3c8451a51a3f8fa1d45b0b8f93b3a69.tar.gz VIATRA-Generator-7adead25f3c8451a51a3f8fa1d45b0b8f93b3a69.tar.zst VIATRA-Generator-7adead25f3c8451a51a3f8fa1d45b0b8f93b3a69.zip |
Add satellite case study
Diffstat (limited to 'Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/satellite/util/SatelliteSwitch.java')
-rw-r--r-- | Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/satellite/util/SatelliteSwitch.java | 454 |
1 files changed, 454 insertions, 0 deletions
diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/satellite/util/SatelliteSwitch.java b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/satellite/util/SatelliteSwitch.java new file mode 100644 index 00000000..541d8494 --- /dev/null +++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/satellite/util/SatelliteSwitch.java | |||
@@ -0,0 +1,454 @@ | |||
1 | /** | ||
2 | */ | ||
3 | package satellite.util; | ||
4 | |||
5 | import org.eclipse.emf.ecore.EObject; | ||
6 | import org.eclipse.emf.ecore.EPackage; | ||
7 | |||
8 | import org.eclipse.emf.ecore.util.Switch; | ||
9 | |||
10 | import satellite.*; | ||
11 | |||
12 | /** | ||
13 | * <!-- begin-user-doc --> | ||
14 | * The <b>Switch</b> for the model's inheritance hierarchy. | ||
15 | * It supports the call {@link #doSwitch(EObject) doSwitch(object)} | ||
16 | * to invoke the <code>caseXXX</code> method for each class of the model, | ||
17 | * starting with the actual class of the object | ||
18 | * and proceeding up the inheritance hierarchy | ||
19 | * until a non-null result is returned, | ||
20 | * which is the result of the switch. | ||
21 | * <!-- end-user-doc --> | ||
22 | * @see satellite.SatellitePackage | ||
23 | * @generated | ||
24 | */ | ||
25 | public class SatelliteSwitch<T> extends Switch<T> { | ||
26 | /** | ||
27 | * The cached model package | ||
28 | * <!-- begin-user-doc --> | ||
29 | * <!-- end-user-doc --> | ||
30 | * @generated | ||
31 | */ | ||
32 | protected static SatellitePackage modelPackage; | ||
33 | |||
34 | /** | ||
35 | * Creates an instance of the switch. | ||
36 | * <!-- begin-user-doc --> | ||
37 | * <!-- end-user-doc --> | ||
38 | * @generated | ||
39 | */ | ||
40 | public SatelliteSwitch() { | ||
41 | if (modelPackage == null) { | ||
42 | modelPackage = SatellitePackage.eINSTANCE; | ||
43 | } | ||
44 | } | ||
45 | |||
46 | /** | ||
47 | * Checks whether this is a switch for the given package. | ||
48 | * <!-- begin-user-doc --> | ||
49 | * <!-- end-user-doc --> | ||
50 | * @param ePackage the package in question. | ||
51 | * @return whether this is a switch for the given package. | ||
52 | * @generated | ||
53 | */ | ||
54 | @Override | ||
55 | protected boolean isSwitchFor(EPackage ePackage) { | ||
56 | return ePackage == modelPackage; | ||
57 | } | ||
58 | |||
59 | /** | ||
60 | * Calls <code>caseXXX</code> for each class of the model until one returns a non null result; it yields that result. | ||
61 | * <!-- begin-user-doc --> | ||
62 | * <!-- end-user-doc --> | ||
63 | * @return the first non-null result returned by a <code>caseXXX</code> call. | ||
64 | * @generated | ||
65 | */ | ||
66 | @Override | ||
67 | protected T doSwitch(int classifierID, EObject theEObject) { | ||
68 | switch (classifierID) { | ||
69 | case SatellitePackage.CONSTELLATION_MISSION: { | ||
70 | ConstellationMission constellationMission = (ConstellationMission) theEObject; | ||
71 | T result = caseConstellationMission(constellationMission); | ||
72 | if (result == null) | ||
73 | result = defaultCase(theEObject); | ||
74 | return result; | ||
75 | } | ||
76 | case SatellitePackage.INTERFEROMETRY_MISSION: { | ||
77 | InterferometryMission interferometryMission = (InterferometryMission) theEObject; | ||
78 | T result = caseInterferometryMission(interferometryMission); | ||
79 | if (result == null) | ||
80 | result = caseConstellationMission(interferometryMission); | ||
81 | if (result == null) | ||
82 | result = defaultCase(theEObject); | ||
83 | return result; | ||
84 | } | ||
85 | case SatellitePackage.COMMUNICATING_ELEMENT: { | ||
86 | CommunicatingElement communicatingElement = (CommunicatingElement) theEObject; | ||
87 | T result = caseCommunicatingElement(communicatingElement); | ||
88 | if (result == null) | ||
89 | result = defaultCase(theEObject); | ||
90 | return result; | ||
91 | } | ||
92 | case SatellitePackage.GROUND_STATION_NETWORK: { | ||
93 | GroundStationNetwork groundStationNetwork = (GroundStationNetwork) theEObject; | ||
94 | T result = caseGroundStationNetwork(groundStationNetwork); | ||
95 | if (result == null) | ||
96 | result = caseCommunicatingElement(groundStationNetwork); | ||
97 | if (result == null) | ||
98 | result = defaultCase(theEObject); | ||
99 | return result; | ||
100 | } | ||
101 | case SatellitePackage.SPACECRAFT: { | ||
102 | Spacecraft spacecraft = (Spacecraft) theEObject; | ||
103 | T result = caseSpacecraft(spacecraft); | ||
104 | if (result == null) | ||
105 | result = caseCommunicatingElement(spacecraft); | ||
106 | if (result == null) | ||
107 | result = defaultCase(theEObject); | ||
108 | return result; | ||
109 | } | ||
110 | case SatellitePackage.COMM_SUBSYSTEM: { | ||
111 | CommSubsystem commSubsystem = (CommSubsystem) theEObject; | ||
112 | T result = caseCommSubsystem(commSubsystem); | ||
113 | if (result == null) | ||
114 | result = defaultCase(theEObject); | ||
115 | return result; | ||
116 | } | ||
117 | case SatellitePackage.PAYLOAD: { | ||
118 | Payload payload = (Payload) theEObject; | ||
119 | T result = casePayload(payload); | ||
120 | if (result == null) | ||
121 | result = defaultCase(theEObject); | ||
122 | return result; | ||
123 | } | ||
124 | case SatellitePackage.INTERFEROMETRY_PAYLOAD: { | ||
125 | InterferometryPayload interferometryPayload = (InterferometryPayload) theEObject; | ||
126 | T result = caseInterferometryPayload(interferometryPayload); | ||
127 | if (result == null) | ||
128 | result = casePayload(interferometryPayload); | ||
129 | if (result == null) | ||
130 | result = defaultCase(theEObject); | ||
131 | return result; | ||
132 | } | ||
133 | case SatellitePackage.CUBE_SAT3_U: { | ||
134 | CubeSat3U cubeSat3U = (CubeSat3U) theEObject; | ||
135 | T result = caseCubeSat3U(cubeSat3U); | ||
136 | if (result == null) | ||
137 | result = caseCubeSat(cubeSat3U); | ||
138 | if (result == null) | ||
139 | result = caseSpacecraft(cubeSat3U); | ||
140 | if (result == null) | ||
141 | result = caseCommunicatingElement(cubeSat3U); | ||
142 | if (result == null) | ||
143 | result = defaultCase(theEObject); | ||
144 | return result; | ||
145 | } | ||
146 | case SatellitePackage.CUBE_SAT6_U: { | ||
147 | CubeSat6U cubeSat6U = (CubeSat6U) theEObject; | ||
148 | T result = caseCubeSat6U(cubeSat6U); | ||
149 | if (result == null) | ||
150 | result = caseCubeSat(cubeSat6U); | ||
151 | if (result == null) | ||
152 | result = caseSpacecraft(cubeSat6U); | ||
153 | if (result == null) | ||
154 | result = caseCommunicatingElement(cubeSat6U); | ||
155 | if (result == null) | ||
156 | result = defaultCase(theEObject); | ||
157 | return result; | ||
158 | } | ||
159 | case SatellitePackage.SMALL_SAT: { | ||
160 | SmallSat smallSat = (SmallSat) theEObject; | ||
161 | T result = caseSmallSat(smallSat); | ||
162 | if (result == null) | ||
163 | result = caseSpacecraft(smallSat); | ||
164 | if (result == null) | ||
165 | result = caseCommunicatingElement(smallSat); | ||
166 | if (result == null) | ||
167 | result = defaultCase(theEObject); | ||
168 | return result; | ||
169 | } | ||
170 | case SatellitePackage.CUBE_SAT: { | ||
171 | CubeSat cubeSat = (CubeSat) theEObject; | ||
172 | T result = caseCubeSat(cubeSat); | ||
173 | if (result == null) | ||
174 | result = caseSpacecraft(cubeSat); | ||
175 | if (result == null) | ||
176 | result = caseCommunicatingElement(cubeSat); | ||
177 | if (result == null) | ||
178 | result = defaultCase(theEObject); | ||
179 | return result; | ||
180 | } | ||
181 | case SatellitePackage.UHF_COMM_SUBSYSTEM: { | ||
182 | UHFCommSubsystem uhfCommSubsystem = (UHFCommSubsystem) theEObject; | ||
183 | T result = caseUHFCommSubsystem(uhfCommSubsystem); | ||
184 | if (result == null) | ||
185 | result = caseCommSubsystem(uhfCommSubsystem); | ||
186 | if (result == null) | ||
187 | result = defaultCase(theEObject); | ||
188 | return result; | ||
189 | } | ||
190 | case SatellitePackage.XCOMM_SUBSYSTEM: { | ||
191 | XCommSubsystem xCommSubsystem = (XCommSubsystem) theEObject; | ||
192 | T result = caseXCommSubsystem(xCommSubsystem); | ||
193 | if (result == null) | ||
194 | result = caseCommSubsystem(xCommSubsystem); | ||
195 | if (result == null) | ||
196 | result = defaultCase(theEObject); | ||
197 | return result; | ||
198 | } | ||
199 | case SatellitePackage.KA_COMM_SUBSYSTEM: { | ||
200 | KaCommSubsystem kaCommSubsystem = (KaCommSubsystem) theEObject; | ||
201 | T result = caseKaCommSubsystem(kaCommSubsystem); | ||
202 | if (result == null) | ||
203 | result = caseCommSubsystem(kaCommSubsystem); | ||
204 | if (result == null) | ||
205 | result = defaultCase(theEObject); | ||
206 | return result; | ||
207 | } | ||
208 | default: | ||
209 | return defaultCase(theEObject); | ||
210 | } | ||
211 | } | ||
212 | |||
213 | /** | ||
214 | * Returns the result of interpreting the object as an instance of '<em>Constellation Mission</em>'. | ||
215 | * <!-- begin-user-doc --> | ||
216 | * This implementation returns null; | ||
217 | * returning a non-null result will terminate the switch. | ||
218 | * <!-- end-user-doc --> | ||
219 | * @param object the target of the switch. | ||
220 | * @return the result of interpreting the object as an instance of '<em>Constellation Mission</em>'. | ||
221 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) | ||
222 | * @generated | ||
223 | */ | ||
224 | public T caseConstellationMission(ConstellationMission object) { | ||
225 | return null; | ||
226 | } | ||
227 | |||
228 | /** | ||
229 | * Returns the result of interpreting the object as an instance of '<em>Interferometry Mission</em>'. | ||
230 | * <!-- begin-user-doc --> | ||
231 | * This implementation returns null; | ||
232 | * returning a non-null result will terminate the switch. | ||
233 | * <!-- end-user-doc --> | ||
234 | * @param object the target of the switch. | ||
235 | * @return the result of interpreting the object as an instance of '<em>Interferometry Mission</em>'. | ||
236 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) | ||
237 | * @generated | ||
238 | */ | ||
239 | public T caseInterferometryMission(InterferometryMission object) { | ||
240 | return null; | ||
241 | } | ||
242 | |||
243 | /** | ||
244 | * Returns the result of interpreting the object as an instance of '<em>Communicating Element</em>'. | ||
245 | * <!-- begin-user-doc --> | ||
246 | * This implementation returns null; | ||
247 | * returning a non-null result will terminate the switch. | ||
248 | * <!-- end-user-doc --> | ||
249 | * @param object the target of the switch. | ||
250 | * @return the result of interpreting the object as an instance of '<em>Communicating Element</em>'. | ||
251 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) | ||
252 | * @generated | ||
253 | */ | ||
254 | public T caseCommunicatingElement(CommunicatingElement object) { | ||
255 | return null; | ||
256 | } | ||
257 | |||
258 | /** | ||
259 | * Returns the result of interpreting the object as an instance of '<em>Ground Station Network</em>'. | ||
260 | * <!-- begin-user-doc --> | ||
261 | * This implementation returns null; | ||
262 | * returning a non-null result will terminate the switch. | ||
263 | * <!-- end-user-doc --> | ||
264 | * @param object the target of the switch. | ||
265 | * @return the result of interpreting the object as an instance of '<em>Ground Station Network</em>'. | ||
266 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) | ||
267 | * @generated | ||
268 | */ | ||
269 | public T caseGroundStationNetwork(GroundStationNetwork object) { | ||
270 | return null; | ||
271 | } | ||
272 | |||
273 | /** | ||
274 | * Returns the result of interpreting the object as an instance of '<em>Spacecraft</em>'. | ||
275 | * <!-- begin-user-doc --> | ||
276 | * This implementation returns null; | ||
277 | * returning a non-null result will terminate the switch. | ||
278 | * <!-- end-user-doc --> | ||
279 | * @param object the target of the switch. | ||
280 | * @return the result of interpreting the object as an instance of '<em>Spacecraft</em>'. | ||
281 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) | ||
282 | * @generated | ||
283 | */ | ||
284 | public T caseSpacecraft(Spacecraft object) { | ||
285 | return null; | ||
286 | } | ||
287 | |||
288 | /** | ||
289 | * Returns the result of interpreting the object as an instance of '<em>Comm Subsystem</em>'. | ||
290 | * <!-- begin-user-doc --> | ||
291 | * This implementation returns null; | ||
292 | * returning a non-null result will terminate the switch. | ||
293 | * <!-- end-user-doc --> | ||
294 | * @param object the target of the switch. | ||
295 | * @return the result of interpreting the object as an instance of '<em>Comm Subsystem</em>'. | ||
296 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) | ||
297 | * @generated | ||
298 | */ | ||
299 | public T caseCommSubsystem(CommSubsystem object) { | ||
300 | return null; | ||
301 | } | ||
302 | |||
303 | /** | ||
304 | * Returns the result of interpreting the object as an instance of '<em>Payload</em>'. | ||
305 | * <!-- begin-user-doc --> | ||
306 | * This implementation returns null; | ||
307 | * returning a non-null result will terminate the switch. | ||
308 | * <!-- end-user-doc --> | ||
309 | * @param object the target of the switch. | ||
310 | * @return the result of interpreting the object as an instance of '<em>Payload</em>'. | ||
311 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) | ||
312 | * @generated | ||
313 | */ | ||
314 | public T casePayload(Payload object) { | ||
315 | return null; | ||
316 | } | ||
317 | |||
318 | /** | ||
319 | * Returns the result of interpreting the object as an instance of '<em>Interferometry Payload</em>'. | ||
320 | * <!-- begin-user-doc --> | ||
321 | * This implementation returns null; | ||
322 | * returning a non-null result will terminate the switch. | ||
323 | * <!-- end-user-doc --> | ||
324 | * @param object the target of the switch. | ||
325 | * @return the result of interpreting the object as an instance of '<em>Interferometry Payload</em>'. | ||
326 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) | ||
327 | * @generated | ||
328 | */ | ||
329 | public T caseInterferometryPayload(InterferometryPayload object) { | ||
330 | return null; | ||
331 | } | ||
332 | |||
333 | /** | ||
334 | * Returns the result of interpreting the object as an instance of '<em>Cube Sat3 U</em>'. | ||
335 | * <!-- begin-user-doc --> | ||
336 | * This implementation returns null; | ||
337 | * returning a non-null result will terminate the switch. | ||
338 | * <!-- end-user-doc --> | ||
339 | * @param object the target of the switch. | ||
340 | * @return the result of interpreting the object as an instance of '<em>Cube Sat3 U</em>'. | ||
341 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) | ||
342 | * @generated | ||
343 | */ | ||
344 | public T caseCubeSat3U(CubeSat3U object) { | ||
345 | return null; | ||
346 | } | ||
347 | |||
348 | /** | ||
349 | * Returns the result of interpreting the object as an instance of '<em>Cube Sat6 U</em>'. | ||
350 | * <!-- begin-user-doc --> | ||
351 | * This implementation returns null; | ||
352 | * returning a non-null result will terminate the switch. | ||
353 | * <!-- end-user-doc --> | ||
354 | * @param object the target of the switch. | ||
355 | * @return the result of interpreting the object as an instance of '<em>Cube Sat6 U</em>'. | ||
356 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) | ||
357 | * @generated | ||
358 | */ | ||
359 | public T caseCubeSat6U(CubeSat6U object) { | ||
360 | return null; | ||
361 | } | ||
362 | |||
363 | /** | ||
364 | * Returns the result of interpreting the object as an instance of '<em>Small Sat</em>'. | ||
365 | * <!-- begin-user-doc --> | ||
366 | * This implementation returns null; | ||
367 | * returning a non-null result will terminate the switch. | ||
368 | * <!-- end-user-doc --> | ||
369 | * @param object the target of the switch. | ||
370 | * @return the result of interpreting the object as an instance of '<em>Small Sat</em>'. | ||
371 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) | ||
372 | * @generated | ||
373 | */ | ||
374 | public T caseSmallSat(SmallSat object) { | ||
375 | return null; | ||
376 | } | ||
377 | |||
378 | /** | ||
379 | * Returns the result of interpreting the object as an instance of '<em>Cube Sat</em>'. | ||
380 | * <!-- begin-user-doc --> | ||
381 | * This implementation returns null; | ||
382 | * returning a non-null result will terminate the switch. | ||
383 | * <!-- end-user-doc --> | ||
384 | * @param object the target of the switch. | ||
385 | * @return the result of interpreting the object as an instance of '<em>Cube Sat</em>'. | ||
386 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) | ||
387 | * @generated | ||
388 | */ | ||
389 | public T caseCubeSat(CubeSat object) { | ||
390 | return null; | ||
391 | } | ||
392 | |||
393 | /** | ||
394 | * Returns the result of interpreting the object as an instance of '<em>UHF Comm Subsystem</em>'. | ||
395 | * <!-- begin-user-doc --> | ||
396 | * This implementation returns null; | ||
397 | * returning a non-null result will terminate the switch. | ||
398 | * <!-- end-user-doc --> | ||
399 | * @param object the target of the switch. | ||
400 | * @return the result of interpreting the object as an instance of '<em>UHF Comm Subsystem</em>'. | ||
401 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) | ||
402 | * @generated | ||
403 | */ | ||
404 | public T caseUHFCommSubsystem(UHFCommSubsystem object) { | ||
405 | return null; | ||
406 | } | ||
407 | |||
408 | /** | ||
409 | * Returns the result of interpreting the object as an instance of '<em>XComm Subsystem</em>'. | ||
410 | * <!-- begin-user-doc --> | ||
411 | * This implementation returns null; | ||
412 | * returning a non-null result will terminate the switch. | ||
413 | * <!-- end-user-doc --> | ||
414 | * @param object the target of the switch. | ||
415 | * @return the result of interpreting the object as an instance of '<em>XComm Subsystem</em>'. | ||
416 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) | ||
417 | * @generated | ||
418 | */ | ||
419 | public T caseXCommSubsystem(XCommSubsystem object) { | ||
420 | return null; | ||
421 | } | ||
422 | |||
423 | /** | ||
424 | * Returns the result of interpreting the object as an instance of '<em>Ka Comm Subsystem</em>'. | ||
425 | * <!-- begin-user-doc --> | ||
426 | * This implementation returns null; | ||
427 | * returning a non-null result will terminate the switch. | ||
428 | * <!-- end-user-doc --> | ||
429 | * @param object the target of the switch. | ||
430 | * @return the result of interpreting the object as an instance of '<em>Ka Comm Subsystem</em>'. | ||
431 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) | ||
432 | * @generated | ||
433 | */ | ||
434 | public T caseKaCommSubsystem(KaCommSubsystem object) { | ||
435 | return null; | ||
436 | } | ||
437 | |||
438 | /** | ||
439 | * Returns the result of interpreting the object as an instance of '<em>EObject</em>'. | ||
440 | * <!-- begin-user-doc --> | ||
441 | * This implementation returns null; | ||
442 | * returning a non-null result will terminate the switch, but this is the last case anyway. | ||
443 | * <!-- end-user-doc --> | ||
444 | * @param object the target of the switch. | ||
445 | * @return the result of interpreting the object as an instance of '<em>EObject</em>'. | ||
446 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) | ||
447 | * @generated | ||
448 | */ | ||
449 | @Override | ||
450 | public T defaultCase(EObject object) { | ||
451 | return null; | ||
452 | } | ||
453 | |||
454 | } //SatelliteSwitch | ||