aboutsummaryrefslogtreecommitdiffstats
path: root/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/yakindumm/util
diff options
context:
space:
mode:
Diffstat (limited to 'Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/yakindumm/util')
-rw-r--r--Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/yakindumm/util/YakinduAdapterFactory.java657
-rw-r--r--Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/yakindumm/util/YakinduSwitch.java736
-rw-r--r--Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/yakindumm/util/YakindummAdapterFactory.java339
-rw-r--r--Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/yakindumm/util/YakindummSwitch.java381
4 files changed, 2113 insertions, 0 deletions
diff --git a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/yakindumm/util/YakinduAdapterFactory.java b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/yakindumm/util/YakinduAdapterFactory.java
new file mode 100644
index 00000000..fb33ef42
--- /dev/null
+++ b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/yakindumm/util/YakinduAdapterFactory.java
@@ -0,0 +1,657 @@
1<<<<<<< HEAD:Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/yakindumm/util/YakindummAdapterFactory.java
2/**
3 */
4package ca.mcgill.ecse.dslreasoner.vampire.yakindumm.util;
5
6import ca.mcgill.ecse.dslreasoner.vampire.yakindumm.*;
7
8import org.eclipse.emf.common.notify.Adapter;
9import org.eclipse.emf.common.notify.Notifier;
10
11import org.eclipse.emf.common.notify.impl.AdapterFactoryImpl;
12
13import org.eclipse.emf.ecore.EObject;
14
15/**
16 * <!-- begin-user-doc -->
17 * The <b>Adapter Factory</b> for the model.
18 * It provides an adapter <code>createXXX</code> method for each class of the model.
19 * <!-- end-user-doc -->
20 * @see ca.mcgill.ecse.dslreasoner.vampire.yakindumm.YakindummPackage
21 * @generated
22 */
23public class YakindummAdapterFactory extends AdapterFactoryImpl {
24 /**
25 * The cached model package.
26 * <!-- begin-user-doc -->
27 * <!-- end-user-doc -->
28 * @generated
29 */
30 protected static YakindummPackage modelPackage;
31
32 /**
33 * Creates an instance of the adapter factory.
34 * <!-- begin-user-doc -->
35 * <!-- end-user-doc -->
36 * @generated
37 */
38 public YakindummAdapterFactory() {
39 if (modelPackage == null) {
40 modelPackage = YakindummPackage.eINSTANCE;
41 }
42 }
43
44 /**
45 * Returns whether this factory is applicable for the type of the object.
46 * <!-- begin-user-doc -->
47 * This implementation returns <code>true</code> if the object is either the model's package or is an instance object of the model.
48 * <!-- end-user-doc -->
49 * @return whether this factory is applicable for the type of the object.
50 * @generated
51 */
52 @Override
53 public boolean isFactoryForType(Object object) {
54 if (object == modelPackage) {
55 return true;
56 }
57 if (object instanceof EObject) {
58 return ((EObject)object).eClass().getEPackage() == modelPackage;
59 }
60 return false;
61 }
62
63 /**
64 * The switch that delegates to the <code>createXXX</code> methods.
65 * <!-- begin-user-doc -->
66 * <!-- end-user-doc -->
67 * @generated
68 */
69 protected YakindummSwitch<Adapter> modelSwitch =
70 new YakindummSwitch<Adapter>() {
71 @Override
72 public Adapter casePseudostate(Pseudostate object) {
73 return createPseudostateAdapter();
74 }
75 @Override
76 public Adapter caseVertex(Vertex object) {
77 return createVertexAdapter();
78 }
79 @Override
80 public Adapter caseRegion(Region object) {
81 return createRegionAdapter();
82 }
83 @Override
84 public Adapter caseTransition(Transition object) {
85 return createTransitionAdapter();
86 }
87 @Override
88 public Adapter caseStatechart(Statechart object) {
89 return createStatechartAdapter();
90 }
91 @Override
92 public Adapter caseEntry(Entry object) {
93 return createEntryAdapter();
94 }
95 @Override
96 public Adapter caseState(State object) {
97 return createStateAdapter();
98 }
99 @Override
100 public Adapter caseRegularState(RegularState object) {
101 return createRegularStateAdapter();
102 }
103 @Override
104 public Adapter caseCompositeElement(CompositeElement object) {
105 return createCompositeElementAdapter();
106 }
107 @Override
108 public Adapter caseChoice(Choice object) {
109 return createChoiceAdapter();
110 }
111 @Override
112 public Adapter caseExit(Exit object) {
113 return createExitAdapter();
114 }
115 @Override
116 public Adapter caseFinalState(FinalState object) {
117 return createFinalStateAdapter();
118 }
119 @Override
120 public Adapter defaultCase(EObject object) {
121 return createEObjectAdapter();
122 }
123 };
124
125 /**
126 * Creates an adapter for the <code>target</code>.
127 * <!-- begin-user-doc -->
128 * <!-- end-user-doc -->
129 * @param target the object to adapt.
130 * @return the adapter for the <code>target</code>.
131 * @generated
132 */
133 @Override
134 public Adapter createAdapter(Notifier target) {
135 return modelSwitch.doSwitch((EObject)target);
136 }
137
138
139 /**
140 * Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.vampire.yakindumm.Pseudostate <em>Pseudostate</em>}'.
141 * <!-- begin-user-doc -->
142 * This default implementation returns null so that we can easily ignore cases;
143 * it's useful to ignore a case when inheritance will catch all the cases anyway.
144 * <!-- end-user-doc -->
145 * @return the new adapter.
146 * @see ca.mcgill.ecse.dslreasoner.vampire.yakindumm.Pseudostate
147 * @generated
148 */
149 public Adapter createPseudostateAdapter() {
150 return null;
151 }
152
153 /**
154 * Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.vampire.yakindumm.Vertex <em>Vertex</em>}'.
155 * <!-- begin-user-doc -->
156 * This default implementation returns null so that we can easily ignore cases;
157 * it's useful to ignore a case when inheritance will catch all the cases anyway.
158 * <!-- end-user-doc -->
159 * @return the new adapter.
160 * @see ca.mcgill.ecse.dslreasoner.vampire.yakindumm.Vertex
161 * @generated
162 */
163 public Adapter createVertexAdapter() {
164 return null;
165 }
166
167 /**
168 * Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.vampire.yakindumm.Region <em>Region</em>}'.
169 * <!-- begin-user-doc -->
170 * This default implementation returns null so that we can easily ignore cases;
171 * it's useful to ignore a case when inheritance will catch all the cases anyway.
172 * <!-- end-user-doc -->
173 * @return the new adapter.
174 * @see ca.mcgill.ecse.dslreasoner.vampire.yakindumm.Region
175 * @generated
176 */
177 public Adapter createRegionAdapter() {
178 return null;
179 }
180
181 /**
182 * Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.vampire.yakindumm.Transition <em>Transition</em>}'.
183 * <!-- begin-user-doc -->
184 * This default implementation returns null so that we can easily ignore cases;
185 * it's useful to ignore a case when inheritance will catch all the cases anyway.
186 * <!-- end-user-doc -->
187 * @return the new adapter.
188 * @see ca.mcgill.ecse.dslreasoner.vampire.yakindumm.Transition
189 * @generated
190 */
191 public Adapter createTransitionAdapter() {
192 return null;
193 }
194
195 /**
196 * Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.vampire.yakindumm.Statechart <em>Statechart</em>}'.
197 * <!-- begin-user-doc -->
198 * This default implementation returns null so that we can easily ignore cases;
199 * it's useful to ignore a case when inheritance will catch all the cases anyway.
200 * <!-- end-user-doc -->
201 * @return the new adapter.
202 * @see ca.mcgill.ecse.dslreasoner.vampire.yakindumm.Statechart
203 * @generated
204 */
205 public Adapter createStatechartAdapter() {
206 return null;
207 }
208
209 /**
210 * Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.vampire.yakindumm.Entry <em>Entry</em>}'.
211 * <!-- begin-user-doc -->
212 * This default implementation returns null so that we can easily ignore cases;
213 * it's useful to ignore a case when inheritance will catch all the cases anyway.
214 * <!-- end-user-doc -->
215 * @return the new adapter.
216 * @see ca.mcgill.ecse.dslreasoner.vampire.yakindumm.Entry
217 * @generated
218 */
219 public Adapter createEntryAdapter() {
220 return null;
221 }
222
223 /**
224 * Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.vampire.yakindumm.State <em>State</em>}'.
225 * <!-- begin-user-doc -->
226 * This default implementation returns null so that we can easily ignore cases;
227 * it's useful to ignore a case when inheritance will catch all the cases anyway.
228 * <!-- end-user-doc -->
229 * @return the new adapter.
230 * @see ca.mcgill.ecse.dslreasoner.vampire.yakindumm.State
231 * @generated
232 */
233 public Adapter createStateAdapter() {
234 return null;
235 }
236
237 /**
238 * Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.vampire.yakindumm.RegularState <em>Regular State</em>}'.
239 * <!-- begin-user-doc -->
240 * This default implementation returns null so that we can easily ignore cases;
241 * it's useful to ignore a case when inheritance will catch all the cases anyway.
242 * <!-- end-user-doc -->
243 * @return the new adapter.
244 * @see ca.mcgill.ecse.dslreasoner.vampire.yakindumm.RegularState
245 * @generated
246 */
247 public Adapter createRegularStateAdapter() {
248 return null;
249 }
250
251 /**
252 * Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.vampire.yakindumm.CompositeElement <em>Composite Element</em>}'.
253 * <!-- begin-user-doc -->
254 * This default implementation returns null so that we can easily ignore cases;
255 * it's useful to ignore a case when inheritance will catch all the cases anyway.
256 * <!-- end-user-doc -->
257 * @return the new adapter.
258 * @see ca.mcgill.ecse.dslreasoner.vampire.yakindumm.CompositeElement
259 * @generated
260 */
261 public Adapter createCompositeElementAdapter() {
262 return null;
263 }
264
265 /**
266 * Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.vampire.yakindumm.Choice <em>Choice</em>}'.
267 * <!-- begin-user-doc -->
268 * This default implementation returns null so that we can easily ignore cases;
269 * it's useful to ignore a case when inheritance will catch all the cases anyway.
270 * <!-- end-user-doc -->
271 * @return the new adapter.
272 * @see ca.mcgill.ecse.dslreasoner.vampire.yakindumm.Choice
273 * @generated
274 */
275 public Adapter createChoiceAdapter() {
276 return null;
277 }
278
279 /**
280 * Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.vampire.yakindumm.Exit <em>Exit</em>}'.
281 * <!-- begin-user-doc -->
282 * This default implementation returns null so that we can easily ignore cases;
283 * it's useful to ignore a case when inheritance will catch all the cases anyway.
284 * <!-- end-user-doc -->
285 * @return the new adapter.
286 * @see ca.mcgill.ecse.dslreasoner.vampire.yakindumm.Exit
287 * @generated
288 */
289 public Adapter createExitAdapter() {
290 return null;
291 }
292
293 /**
294 * Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.vampire.yakindumm.FinalState <em>Final State</em>}'.
295 * <!-- begin-user-doc -->
296 * This default implementation returns null so that we can easily ignore cases;
297 * it's useful to ignore a case when inheritance will catch all the cases anyway.
298 * <!-- end-user-doc -->
299 * @return the new adapter.
300 * @see ca.mcgill.ecse.dslreasoner.vampire.yakindumm.FinalState
301 * @generated
302 */
303 public Adapter createFinalStateAdapter() {
304 return null;
305 }
306
307 /**
308 * Creates a new adapter for the default case.
309 * <!-- begin-user-doc -->
310 * This default implementation returns null.
311 * <!-- end-user-doc -->
312 * @return the new adapter.
313 * @generated
314 */
315 public Adapter createEObjectAdapter() {
316 return null;
317 }
318
319} //YakindummAdapterFactory
320=======
321/**
322 */
323package ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.util;
324
325import ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.*;
326
327import org.eclipse.emf.common.notify.Adapter;
328import org.eclipse.emf.common.notify.Notifier;
329
330import org.eclipse.emf.common.notify.impl.AdapterFactoryImpl;
331
332import org.eclipse.emf.ecore.EObject;
333
334/**
335 * <!-- begin-user-doc -->
336 * The <b>Adapter Factory</b> for the model.
337 * It provides an adapter <code>createXXX</code> method for each class of the model.
338 * <!-- end-user-doc -->
339 * @see ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.YakinduPackage
340 * @generated
341 */
342public class YakinduAdapterFactory extends AdapterFactoryImpl {
343 /**
344 * The cached model package.
345 * <!-- begin-user-doc -->
346 * <!-- end-user-doc -->
347 * @generated
348 */
349 protected static YakinduPackage modelPackage;
350
351 /**
352 * Creates an instance of the adapter factory.
353 * <!-- begin-user-doc -->
354 * <!-- end-user-doc -->
355 * @generated
356 */
357 public YakinduAdapterFactory() {
358 if (modelPackage == null) {
359 modelPackage = YakinduPackage.eINSTANCE;
360 }
361 }
362
363 /**
364 * Returns whether this factory is applicable for the type of the object.
365 * <!-- begin-user-doc -->
366 * This implementation returns <code>true</code> if the object is either the model's package or is an instance object of the model.
367 * <!-- end-user-doc -->
368 * @return whether this factory is applicable for the type of the object.
369 * @generated
370 */
371 @Override
372 public boolean isFactoryForType(Object object) {
373 if (object == modelPackage) {
374 return true;
375 }
376 if (object instanceof EObject) {
377 return ((EObject)object).eClass().getEPackage() == modelPackage;
378 }
379 return false;
380 }
381
382 /**
383 * The switch that delegates to the <code>createXXX</code> methods.
384 * <!-- begin-user-doc -->
385 * <!-- end-user-doc -->
386 * @generated
387 */
388 protected YakinduSwitch<Adapter> modelSwitch =
389 new YakinduSwitch<Adapter>() {
390 @Override
391 public Adapter casePseudostate(Pseudostate object) {
392 return createPseudostateAdapter();
393 }
394 @Override
395 public Adapter caseVertex(Vertex object) {
396 return createVertexAdapter();
397 }
398 @Override
399 public Adapter caseRegion(Region object) {
400 return createRegionAdapter();
401 }
402 @Override
403 public Adapter caseTransition(Transition object) {
404 return createTransitionAdapter();
405 }
406 @Override
407 public Adapter caseStatechart(Statechart object) {
408 return createStatechartAdapter();
409 }
410 @Override
411 public Adapter caseEntry(Entry object) {
412 return createEntryAdapter();
413 }
414 @Override
415 public Adapter caseSynchronization(Synchronization object) {
416 return createSynchronizationAdapter();
417 }
418 @Override
419 public Adapter caseState(State object) {
420 return createStateAdapter();
421 }
422 @Override
423 public Adapter caseRegularState(RegularState object) {
424 return createRegularStateAdapter();
425 }
426 @Override
427 public Adapter caseCompositeElement(CompositeElement object) {
428 return createCompositeElementAdapter();
429 }
430 @Override
431 public Adapter caseChoice(Choice object) {
432 return createChoiceAdapter();
433 }
434 @Override
435 public Adapter caseExit(Exit object) {
436 return createExitAdapter();
437 }
438 @Override
439 public Adapter caseFinalState(FinalState object) {
440 return createFinalStateAdapter();
441 }
442 @Override
443 public Adapter defaultCase(EObject object) {
444 return createEObjectAdapter();
445 }
446 };
447
448 /**
449 * Creates an adapter for the <code>target</code>.
450 * <!-- begin-user-doc -->
451 * <!-- end-user-doc -->
452 * @param target the object to adapt.
453 * @return the adapter for the <code>target</code>.
454 * @generated
455 */
456 @Override
457 public Adapter createAdapter(Notifier target) {
458 return modelSwitch.doSwitch((EObject)target);
459 }
460
461
462 /**
463 * Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.Pseudostate <em>Pseudostate</em>}'.
464 * <!-- begin-user-doc -->
465 * This default implementation returns null so that we can easily ignore cases;
466 * it's useful to ignore a case when inheritance will catch all the cases anyway.
467 * <!-- end-user-doc -->
468 * @return the new adapter.
469 * @see ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.Pseudostate
470 * @generated
471 */
472 public Adapter createPseudostateAdapter() {
473 return null;
474 }
475
476 /**
477 * Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.Vertex <em>Vertex</em>}'.
478 * <!-- begin-user-doc -->
479 * This default implementation returns null so that we can easily ignore cases;
480 * it's useful to ignore a case when inheritance will catch all the cases anyway.
481 * <!-- end-user-doc -->
482 * @return the new adapter.
483 * @see ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.Vertex
484 * @generated
485 */
486 public Adapter createVertexAdapter() {
487 return null;
488 }
489
490 /**
491 * Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.Region <em>Region</em>}'.
492 * <!-- begin-user-doc -->
493 * This default implementation returns null so that we can easily ignore cases;
494 * it's useful to ignore a case when inheritance will catch all the cases anyway.
495 * <!-- end-user-doc -->
496 * @return the new adapter.
497 * @see ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.Region
498 * @generated
499 */
500 public Adapter createRegionAdapter() {
501 return null;
502 }
503
504 /**
505 * Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.Transition <em>Transition</em>}'.
506 * <!-- begin-user-doc -->
507 * This default implementation returns null so that we can easily ignore cases;
508 * it's useful to ignore a case when inheritance will catch all the cases anyway.
509 * <!-- end-user-doc -->
510 * @return the new adapter.
511 * @see ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.Transition
512 * @generated
513 */
514 public Adapter createTransitionAdapter() {
515 return null;
516 }
517
518 /**
519 * Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.Statechart <em>Statechart</em>}'.
520 * <!-- begin-user-doc -->
521 * This default implementation returns null so that we can easily ignore cases;
522 * it's useful to ignore a case when inheritance will catch all the cases anyway.
523 * <!-- end-user-doc -->
524 * @return the new adapter.
525 * @see ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.Statechart
526 * @generated
527 */
528 public Adapter createStatechartAdapter() {
529 return null;
530 }
531
532 /**
533 * Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.Entry <em>Entry</em>}'.
534 * <!-- begin-user-doc -->
535 * This default implementation returns null so that we can easily ignore cases;
536 * it's useful to ignore a case when inheritance will catch all the cases anyway.
537 * <!-- end-user-doc -->
538 * @return the new adapter.
539 * @see ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.Entry
540 * @generated
541 */
542 public Adapter createEntryAdapter() {
543 return null;
544 }
545
546 /**
547 * Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.Synchronization <em>Synchronization</em>}'.
548 * <!-- begin-user-doc -->
549 * This default implementation returns null so that we can easily ignore cases;
550 * it's useful to ignore a case when inheritance will catch all the cases anyway.
551 * <!-- end-user-doc -->
552 * @return the new adapter.
553 * @see ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.Synchronization
554 * @generated
555 */
556 public Adapter createSynchronizationAdapter() {
557 return null;
558 }
559
560 /**
561 * Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.State <em>State</em>}'.
562 * <!-- begin-user-doc -->
563 * This default implementation returns null so that we can easily ignore cases;
564 * it's useful to ignore a case when inheritance will catch all the cases anyway.
565 * <!-- end-user-doc -->
566 * @return the new adapter.
567 * @see ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.State
568 * @generated
569 */
570 public Adapter createStateAdapter() {
571 return null;
572 }
573
574 /**
575 * Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.RegularState <em>Regular State</em>}'.
576 * <!-- begin-user-doc -->
577 * This default implementation returns null so that we can easily ignore cases;
578 * it's useful to ignore a case when inheritance will catch all the cases anyway.
579 * <!-- end-user-doc -->
580 * @return the new adapter.
581 * @see ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.RegularState
582 * @generated
583 */
584 public Adapter createRegularStateAdapter() {
585 return null;
586 }
587
588 /**
589 * Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.CompositeElement <em>Composite Element</em>}'.
590 * <!-- begin-user-doc -->
591 * This default implementation returns null so that we can easily ignore cases;
592 * it's useful to ignore a case when inheritance will catch all the cases anyway.
593 * <!-- end-user-doc -->
594 * @return the new adapter.
595 * @see ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.CompositeElement
596 * @generated
597 */
598 public Adapter createCompositeElementAdapter() {
599 return null;
600 }
601
602 /**
603 * Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.Choice <em>Choice</em>}'.
604 * <!-- begin-user-doc -->
605 * This default implementation returns null so that we can easily ignore cases;
606 * it's useful to ignore a case when inheritance will catch all the cases anyway.
607 * <!-- end-user-doc -->
608 * @return the new adapter.
609 * @see ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.Choice
610 * @generated
611 */
612 public Adapter createChoiceAdapter() {
613 return null;
614 }
615
616 /**
617 * Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.Exit <em>Exit</em>}'.
618 * <!-- begin-user-doc -->
619 * This default implementation returns null so that we can easily ignore cases;
620 * it's useful to ignore a case when inheritance will catch all the cases anyway.
621 * <!-- end-user-doc -->
622 * @return the new adapter.
623 * @see ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.Exit
624 * @generated
625 */
626 public Adapter createExitAdapter() {
627 return null;
628 }
629
630 /**
631 * Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.FinalState <em>Final State</em>}'.
632 * <!-- begin-user-doc -->
633 * This default implementation returns null so that we can easily ignore cases;
634 * it's useful to ignore a case when inheritance will catch all the cases anyway.
635 * <!-- end-user-doc -->
636 * @return the new adapter.
637 * @see ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.FinalState
638 * @generated
639 */
640 public Adapter createFinalStateAdapter() {
641 return null;
642 }
643
644 /**
645 * Creates a new adapter for the default case.
646 * <!-- begin-user-doc -->
647 * This default implementation returns null.
648 * <!-- end-user-doc -->
649 * @return the new adapter.
650 * @generated
651 */
652 public Adapter createEObjectAdapter() {
653 return null;
654 }
655
656} //YakinduAdapterFactory
657>>>>>>> f1f2a1fa... Pre-realisticBranchCreation Commit:Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/yakindumm/util/YakinduAdapterFactory.java
diff --git a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/yakindumm/util/YakinduSwitch.java b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/yakindumm/util/YakinduSwitch.java
new file mode 100644
index 00000000..4cc0e8a8
--- /dev/null
+++ b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/yakindumm/util/YakinduSwitch.java
@@ -0,0 +1,736 @@
1<<<<<<< HEAD:Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/yakindumm/util/YakindummSwitch.java
2/**
3 */
4package ca.mcgill.ecse.dslreasoner.vampire.yakindumm.util;
5
6import ca.mcgill.ecse.dslreasoner.vampire.yakindumm.*;
7
8import org.eclipse.emf.ecore.EObject;
9import org.eclipse.emf.ecore.EPackage;
10
11import org.eclipse.emf.ecore.util.Switch;
12
13/**
14 * <!-- begin-user-doc -->
15 * The <b>Switch</b> for the model's inheritance hierarchy.
16 * It supports the call {@link #doSwitch(EObject) doSwitch(object)}
17 * to invoke the <code>caseXXX</code> method for each class of the model,
18 * starting with the actual class of the object
19 * and proceeding up the inheritance hierarchy
20 * until a non-null result is returned,
21 * which is the result of the switch.
22 * <!-- end-user-doc -->
23 * @see ca.mcgill.ecse.dslreasoner.vampire.yakindumm.YakindummPackage
24 * @generated
25 */
26public class YakindummSwitch<T> extends Switch<T> {
27 /**
28 * The cached model package
29 * <!-- begin-user-doc -->
30 * <!-- end-user-doc -->
31 * @generated
32 */
33 protected static YakindummPackage modelPackage;
34
35 /**
36 * Creates an instance of the switch.
37 * <!-- begin-user-doc -->
38 * <!-- end-user-doc -->
39 * @generated
40 */
41 public YakindummSwitch() {
42 if (modelPackage == null) {
43 modelPackage = YakindummPackage.eINSTANCE;
44 }
45 }
46
47 /**
48 * Checks whether this is a switch for the given package.
49 * <!-- begin-user-doc -->
50 * <!-- end-user-doc -->
51 * @param ePackage the package in question.
52 * @return whether this is a switch for the given package.
53 * @generated
54 */
55 @Override
56 protected boolean isSwitchFor(EPackage ePackage) {
57 return ePackage == modelPackage;
58 }
59
60 /**
61 * Calls <code>caseXXX</code> for each class of the model until one returns a non null result; it yields that result.
62 * <!-- begin-user-doc -->
63 * <!-- end-user-doc -->
64 * @return the first non-null result returned by a <code>caseXXX</code> call.
65 * @generated
66 */
67 @Override
68 protected T doSwitch(int classifierID, EObject theEObject) {
69 switch (classifierID) {
70 case YakindummPackage.PSEUDOSTATE: {
71 Pseudostate pseudostate = (Pseudostate)theEObject;
72 T result = casePseudostate(pseudostate);
73 if (result == null) result = caseVertex(pseudostate);
74 if (result == null) result = defaultCase(theEObject);
75 return result;
76 }
77 case YakindummPackage.VERTEX: {
78 Vertex vertex = (Vertex)theEObject;
79 T result = caseVertex(vertex);
80 if (result == null) result = defaultCase(theEObject);
81 return result;
82 }
83 case YakindummPackage.REGION: {
84 Region region = (Region)theEObject;
85 T result = caseRegion(region);
86 if (result == null) result = defaultCase(theEObject);
87 return result;
88 }
89 case YakindummPackage.TRANSITION: {
90 Transition transition = (Transition)theEObject;
91 T result = caseTransition(transition);
92 if (result == null) result = defaultCase(theEObject);
93 return result;
94 }
95 case YakindummPackage.STATECHART: {
96 Statechart statechart = (Statechart)theEObject;
97 T result = caseStatechart(statechart);
98 if (result == null) result = caseCompositeElement(statechart);
99 if (result == null) result = defaultCase(theEObject);
100 return result;
101 }
102 case YakindummPackage.ENTRY: {
103 Entry entry = (Entry)theEObject;
104 T result = caseEntry(entry);
105 if (result == null) result = casePseudostate(entry);
106 if (result == null) result = caseVertex(entry);
107 if (result == null) result = defaultCase(theEObject);
108 return result;
109 }
110 case YakindummPackage.STATE: {
111 State state = (State)theEObject;
112 T result = caseState(state);
113 if (result == null) result = caseRegularState(state);
114 if (result == null) result = caseCompositeElement(state);
115 if (result == null) result = caseVertex(state);
116 if (result == null) result = defaultCase(theEObject);
117 return result;
118 }
119 case YakindummPackage.REGULAR_STATE: {
120 RegularState regularState = (RegularState)theEObject;
121 T result = caseRegularState(regularState);
122 if (result == null) result = caseVertex(regularState);
123 if (result == null) result = defaultCase(theEObject);
124 return result;
125 }
126 case YakindummPackage.COMPOSITE_ELEMENT: {
127 CompositeElement compositeElement = (CompositeElement)theEObject;
128 T result = caseCompositeElement(compositeElement);
129 if (result == null) result = defaultCase(theEObject);
130 return result;
131 }
132 case YakindummPackage.CHOICE: {
133 Choice choice = (Choice)theEObject;
134 T result = caseChoice(choice);
135 if (result == null) result = casePseudostate(choice);
136 if (result == null) result = caseVertex(choice);
137 if (result == null) result = defaultCase(theEObject);
138 return result;
139 }
140 case YakindummPackage.EXIT: {
141 Exit exit = (Exit)theEObject;
142 T result = caseExit(exit);
143 if (result == null) result = casePseudostate(exit);
144 if (result == null) result = caseVertex(exit);
145 if (result == null) result = defaultCase(theEObject);
146 return result;
147 }
148 case YakindummPackage.FINAL_STATE: {
149 FinalState finalState = (FinalState)theEObject;
150 T result = caseFinalState(finalState);
151 if (result == null) result = caseRegularState(finalState);
152 if (result == null) result = caseVertex(finalState);
153 if (result == null) result = defaultCase(theEObject);
154 return result;
155 }
156 default: return defaultCase(theEObject);
157 }
158 }
159
160 /**
161 * Returns the result of interpreting the object as an instance of '<em>Pseudostate</em>'.
162 * <!-- begin-user-doc -->
163 * This implementation returns null;
164 * returning a non-null result will terminate the switch.
165 * <!-- end-user-doc -->
166 * @param object the target of the switch.
167 * @return the result of interpreting the object as an instance of '<em>Pseudostate</em>'.
168 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
169 * @generated
170 */
171 public T casePseudostate(Pseudostate object) {
172 return null;
173 }
174
175 /**
176 * Returns the result of interpreting the object as an instance of '<em>Vertex</em>'.
177 * <!-- begin-user-doc -->
178 * This implementation returns null;
179 * returning a non-null result will terminate the switch.
180 * <!-- end-user-doc -->
181 * @param object the target of the switch.
182 * @return the result of interpreting the object as an instance of '<em>Vertex</em>'.
183 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
184 * @generated
185 */
186 public T caseVertex(Vertex object) {
187 return null;
188 }
189
190 /**
191 * Returns the result of interpreting the object as an instance of '<em>Region</em>'.
192 * <!-- begin-user-doc -->
193 * This implementation returns null;
194 * returning a non-null result will terminate the switch.
195 * <!-- end-user-doc -->
196 * @param object the target of the switch.
197 * @return the result of interpreting the object as an instance of '<em>Region</em>'.
198 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
199 * @generated
200 */
201 public T caseRegion(Region object) {
202 return null;
203 }
204
205 /**
206 * Returns the result of interpreting the object as an instance of '<em>Transition</em>'.
207 * <!-- begin-user-doc -->
208 * This implementation returns null;
209 * returning a non-null result will terminate the switch.
210 * <!-- end-user-doc -->
211 * @param object the target of the switch.
212 * @return the result of interpreting the object as an instance of '<em>Transition</em>'.
213 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
214 * @generated
215 */
216 public T caseTransition(Transition object) {
217 return null;
218 }
219
220 /**
221 * Returns the result of interpreting the object as an instance of '<em>Statechart</em>'.
222 * <!-- begin-user-doc -->
223 * This implementation returns null;
224 * returning a non-null result will terminate the switch.
225 * <!-- end-user-doc -->
226 * @param object the target of the switch.
227 * @return the result of interpreting the object as an instance of '<em>Statechart</em>'.
228 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
229 * @generated
230 */
231 public T caseStatechart(Statechart object) {
232 return null;
233 }
234
235 /**
236 * Returns the result of interpreting the object as an instance of '<em>Entry</em>'.
237 * <!-- begin-user-doc -->
238 * This implementation returns null;
239 * returning a non-null result will terminate the switch.
240 * <!-- end-user-doc -->
241 * @param object the target of the switch.
242 * @return the result of interpreting the object as an instance of '<em>Entry</em>'.
243 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
244 * @generated
245 */
246 public T caseEntry(Entry object) {
247 return null;
248 }
249
250 /**
251 * Returns the result of interpreting the object as an instance of '<em>State</em>'.
252 * <!-- begin-user-doc -->
253 * This implementation returns null;
254 * returning a non-null result will terminate the switch.
255 * <!-- end-user-doc -->
256 * @param object the target of the switch.
257 * @return the result of interpreting the object as an instance of '<em>State</em>'.
258 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
259 * @generated
260 */
261 public T caseState(State object) {
262 return null;
263 }
264
265 /**
266 * Returns the result of interpreting the object as an instance of '<em>Regular State</em>'.
267 * <!-- begin-user-doc -->
268 * This implementation returns null;
269 * returning a non-null result will terminate the switch.
270 * <!-- end-user-doc -->
271 * @param object the target of the switch.
272 * @return the result of interpreting the object as an instance of '<em>Regular State</em>'.
273 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
274 * @generated
275 */
276 public T caseRegularState(RegularState object) {
277 return null;
278 }
279
280 /**
281 * Returns the result of interpreting the object as an instance of '<em>Composite Element</em>'.
282 * <!-- begin-user-doc -->
283 * This implementation returns null;
284 * returning a non-null result will terminate the switch.
285 * <!-- end-user-doc -->
286 * @param object the target of the switch.
287 * @return the result of interpreting the object as an instance of '<em>Composite Element</em>'.
288 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
289 * @generated
290 */
291 public T caseCompositeElement(CompositeElement object) {
292 return null;
293 }
294
295 /**
296 * Returns the result of interpreting the object as an instance of '<em>Choice</em>'.
297 * <!-- begin-user-doc -->
298 * This implementation returns null;
299 * returning a non-null result will terminate the switch.
300 * <!-- end-user-doc -->
301 * @param object the target of the switch.
302 * @return the result of interpreting the object as an instance of '<em>Choice</em>'.
303 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
304 * @generated
305 */
306 public T caseChoice(Choice object) {
307 return null;
308 }
309
310 /**
311 * Returns the result of interpreting the object as an instance of '<em>Exit</em>'.
312 * <!-- begin-user-doc -->
313 * This implementation returns null;
314 * returning a non-null result will terminate the switch.
315 * <!-- end-user-doc -->
316 * @param object the target of the switch.
317 * @return the result of interpreting the object as an instance of '<em>Exit</em>'.
318 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
319 * @generated
320 */
321 public T caseExit(Exit object) {
322 return null;
323 }
324
325 /**
326 * Returns the result of interpreting the object as an instance of '<em>Final State</em>'.
327 * <!-- begin-user-doc -->
328 * This implementation returns null;
329 * returning a non-null result will terminate the switch.
330 * <!-- end-user-doc -->
331 * @param object the target of the switch.
332 * @return the result of interpreting the object as an instance of '<em>Final State</em>'.
333 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
334 * @generated
335 */
336 public T caseFinalState(FinalState object) {
337 return null;
338 }
339
340 /**
341 * Returns the result of interpreting the object as an instance of '<em>EObject</em>'.
342 * <!-- begin-user-doc -->
343 * This implementation returns null;
344 * returning a non-null result will terminate the switch, but this is the last case anyway.
345 * <!-- end-user-doc -->
346 * @param object the target of the switch.
347 * @return the result of interpreting the object as an instance of '<em>EObject</em>'.
348 * @see #doSwitch(org.eclipse.emf.ecore.EObject)
349 * @generated
350 */
351 @Override
352 public T defaultCase(EObject object) {
353 return null;
354 }
355
356} //YakindummSwitch
357=======
358/**
359 */
360package ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.util;
361
362import ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.*;
363
364import org.eclipse.emf.ecore.EObject;
365import org.eclipse.emf.ecore.EPackage;
366
367import org.eclipse.emf.ecore.util.Switch;
368
369/**
370 * <!-- begin-user-doc -->
371 * The <b>Switch</b> for the model's inheritance hierarchy.
372 * It supports the call {@link #doSwitch(EObject) doSwitch(object)}
373 * to invoke the <code>caseXXX</code> method for each class of the model,
374 * starting with the actual class of the object
375 * and proceeding up the inheritance hierarchy
376 * until a non-null result is returned,
377 * which is the result of the switch.
378 * <!-- end-user-doc -->
379 * @see ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.YakinduPackage
380 * @generated
381 */
382public class YakinduSwitch<T> extends Switch<T> {
383 /**
384 * The cached model package
385 * <!-- begin-user-doc -->
386 * <!-- end-user-doc -->
387 * @generated
388 */
389 protected static YakinduPackage modelPackage;
390
391 /**
392 * Creates an instance of the switch.
393 * <!-- begin-user-doc -->
394 * <!-- end-user-doc -->
395 * @generated
396 */
397 public YakinduSwitch() {
398 if (modelPackage == null) {
399 modelPackage = YakinduPackage.eINSTANCE;
400 }
401 }
402
403 /**
404 * Checks whether this is a switch for the given package.
405 * <!-- begin-user-doc -->
406 * <!-- end-user-doc -->
407 * @param ePackage the package in question.
408 * @return whether this is a switch for the given package.
409 * @generated
410 */
411 @Override
412 protected boolean isSwitchFor(EPackage ePackage) {
413 return ePackage == modelPackage;
414 }
415
416 /**
417 * Calls <code>caseXXX</code> for each class of the model until one returns a non null result; it yields that result.
418 * <!-- begin-user-doc -->
419 * <!-- end-user-doc -->
420 * @return the first non-null result returned by a <code>caseXXX</code> call.
421 * @generated
422 */
423 @Override
424 protected T doSwitch(int classifierID, EObject theEObject) {
425 switch (classifierID) {
426 case YakinduPackage.PSEUDOSTATE: {
427 Pseudostate pseudostate = (Pseudostate)theEObject;
428 T result = casePseudostate(pseudostate);
429 if (result == null) result = caseVertex(pseudostate);
430 if (result == null) result = defaultCase(theEObject);
431 return result;
432 }
433 case YakinduPackage.VERTEX: {
434 Vertex vertex = (Vertex)theEObject;
435 T result = caseVertex(vertex);
436 if (result == null) result = defaultCase(theEObject);
437 return result;
438 }
439 case YakinduPackage.REGION: {
440 Region region = (Region)theEObject;
441 T result = caseRegion(region);
442 if (result == null) result = defaultCase(theEObject);
443 return result;
444 }
445 case YakinduPackage.TRANSITION: {
446 Transition transition = (Transition)theEObject;
447 T result = caseTransition(transition);
448 if (result == null) result = defaultCase(theEObject);
449 return result;
450 }
451 case YakinduPackage.STATECHART: {
452 Statechart statechart = (Statechart)theEObject;
453 T result = caseStatechart(statechart);
454 if (result == null) result = caseCompositeElement(statechart);
455 if (result == null) result = defaultCase(theEObject);
456 return result;
457 }
458 case YakinduPackage.ENTRY: {
459 Entry entry = (Entry)theEObject;
460 T result = caseEntry(entry);
461 if (result == null) result = casePseudostate(entry);
462 if (result == null) result = caseVertex(entry);
463 if (result == null) result = defaultCase(theEObject);
464 return result;
465 }
466 case YakinduPackage.SYNCHRONIZATION: {
467 Synchronization synchronization = (Synchronization)theEObject;
468 T result = caseSynchronization(synchronization);
469 if (result == null) result = casePseudostate(synchronization);
470 if (result == null) result = caseVertex(synchronization);
471 if (result == null) result = defaultCase(theEObject);
472 return result;
473 }
474 case YakinduPackage.STATE: {
475 State state = (State)theEObject;
476 T result = caseState(state);
477 if (result == null) result = caseRegularState(state);
478 if (result == null) result = caseCompositeElement(state);
479 if (result == null) result = caseVertex(state);
480 if (result == null) result = defaultCase(theEObject);
481 return result;
482 }
483 case YakinduPackage.REGULAR_STATE: {
484 RegularState regularState = (RegularState)theEObject;
485 T result = caseRegularState(regularState);
486 if (result == null) result = caseVertex(regularState);
487 if (result == null) result = defaultCase(theEObject);
488 return result;
489 }
490 case YakinduPackage.COMPOSITE_ELEMENT: {
491 CompositeElement compositeElement = (CompositeElement)theEObject;
492 T result = caseCompositeElement(compositeElement);
493 if (result == null) result = defaultCase(theEObject);
494 return result;
495 }
496 case YakinduPackage.CHOICE: {
497 Choice choice = (Choice)theEObject;
498 T result = caseChoice(choice);
499 if (result == null) result = casePseudostate(choice);
500 if (result == null) result = caseVertex(choice);
501 if (result == null) result = defaultCase(theEObject);
502 return result;
503 }
504 case YakinduPackage.EXIT: {
505 Exit exit = (Exit)theEObject;
506 T result = caseExit(exit);
507 if (result == null) result = casePseudostate(exit);
508 if (result == null) result = caseVertex(exit);
509 if (result == null) result = defaultCase(theEObject);
510 return result;
511 }
512 case YakinduPackage.FINAL_STATE: {
513 FinalState finalState = (FinalState)theEObject;
514 T result = caseFinalState(finalState);
515 if (result == null) result = caseRegularState(finalState);
516 if (result == null) result = caseVertex(finalState);
517 if (result == null) result = defaultCase(theEObject);
518 return result;
519 }
520 default: return defaultCase(theEObject);
521 }
522 }
523
524 /**
525 * Returns the result of interpreting the object as an instance of '<em>Pseudostate</em>'.
526 * <!-- begin-user-doc -->
527 * This implementation returns null;
528 * returning a non-null result will terminate the switch.
529 * <!-- end-user-doc -->
530 * @param object the target of the switch.
531 * @return the result of interpreting the object as an instance of '<em>Pseudostate</em>'.
532 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
533 * @generated
534 */
535 public T casePseudostate(Pseudostate object) {
536 return null;
537 }
538
539 /**
540 * Returns the result of interpreting the object as an instance of '<em>Vertex</em>'.
541 * <!-- begin-user-doc -->
542 * This implementation returns null;
543 * returning a non-null result will terminate the switch.
544 * <!-- end-user-doc -->
545 * @param object the target of the switch.
546 * @return the result of interpreting the object as an instance of '<em>Vertex</em>'.
547 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
548 * @generated
549 */
550 public T caseVertex(Vertex object) {
551 return null;
552 }
553
554 /**
555 * Returns the result of interpreting the object as an instance of '<em>Region</em>'.
556 * <!-- begin-user-doc -->
557 * This implementation returns null;
558 * returning a non-null result will terminate the switch.
559 * <!-- end-user-doc -->
560 * @param object the target of the switch.
561 * @return the result of interpreting the object as an instance of '<em>Region</em>'.
562 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
563 * @generated
564 */
565 public T caseRegion(Region object) {
566 return null;
567 }
568
569 /**
570 * Returns the result of interpreting the object as an instance of '<em>Transition</em>'.
571 * <!-- begin-user-doc -->
572 * This implementation returns null;
573 * returning a non-null result will terminate the switch.
574 * <!-- end-user-doc -->
575 * @param object the target of the switch.
576 * @return the result of interpreting the object as an instance of '<em>Transition</em>'.
577 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
578 * @generated
579 */
580 public T caseTransition(Transition object) {
581 return null;
582 }
583
584 /**
585 * Returns the result of interpreting the object as an instance of '<em>Statechart</em>'.
586 * <!-- begin-user-doc -->
587 * This implementation returns null;
588 * returning a non-null result will terminate the switch.
589 * <!-- end-user-doc -->
590 * @param object the target of the switch.
591 * @return the result of interpreting the object as an instance of '<em>Statechart</em>'.
592 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
593 * @generated
594 */
595 public T caseStatechart(Statechart object) {
596 return null;
597 }
598
599 /**
600 * Returns the result of interpreting the object as an instance of '<em>Entry</em>'.
601 * <!-- begin-user-doc -->
602 * This implementation returns null;
603 * returning a non-null result will terminate the switch.
604 * <!-- end-user-doc -->
605 * @param object the target of the switch.
606 * @return the result of interpreting the object as an instance of '<em>Entry</em>'.
607 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
608 * @generated
609 */
610 public T caseEntry(Entry object) {
611 return null;
612 }
613
614 /**
615 * Returns the result of interpreting the object as an instance of '<em>Synchronization</em>'.
616 * <!-- begin-user-doc -->
617 * This implementation returns null;
618 * returning a non-null result will terminate the switch.
619 * <!-- end-user-doc -->
620 * @param object the target of the switch.
621 * @return the result of interpreting the object as an instance of '<em>Synchronization</em>'.
622 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
623 * @generated
624 */
625 public T caseSynchronization(Synchronization object) {
626 return null;
627 }
628
629 /**
630 * Returns the result of interpreting the object as an instance of '<em>State</em>'.
631 * <!-- begin-user-doc -->
632 * This implementation returns null;
633 * returning a non-null result will terminate the switch.
634 * <!-- end-user-doc -->
635 * @param object the target of the switch.
636 * @return the result of interpreting the object as an instance of '<em>State</em>'.
637 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
638 * @generated
639 */
640 public T caseState(State object) {
641 return null;
642 }
643
644 /**
645 * Returns the result of interpreting the object as an instance of '<em>Regular State</em>'.
646 * <!-- begin-user-doc -->
647 * This implementation returns null;
648 * returning a non-null result will terminate the switch.
649 * <!-- end-user-doc -->
650 * @param object the target of the switch.
651 * @return the result of interpreting the object as an instance of '<em>Regular State</em>'.
652 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
653 * @generated
654 */
655 public T caseRegularState(RegularState object) {
656 return null;
657 }
658
659 /**
660 * Returns the result of interpreting the object as an instance of '<em>Composite Element</em>'.
661 * <!-- begin-user-doc -->
662 * This implementation returns null;
663 * returning a non-null result will terminate the switch.
664 * <!-- end-user-doc -->
665 * @param object the target of the switch.
666 * @return the result of interpreting the object as an instance of '<em>Composite Element</em>'.
667 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
668 * @generated
669 */
670 public T caseCompositeElement(CompositeElement object) {
671 return null;
672 }
673
674 /**
675 * Returns the result of interpreting the object as an instance of '<em>Choice</em>'.
676 * <!-- begin-user-doc -->
677 * This implementation returns null;
678 * returning a non-null result will terminate the switch.
679 * <!-- end-user-doc -->
680 * @param object the target of the switch.
681 * @return the result of interpreting the object as an instance of '<em>Choice</em>'.
682 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
683 * @generated
684 */
685 public T caseChoice(Choice object) {
686 return null;
687 }
688
689 /**
690 * Returns the result of interpreting the object as an instance of '<em>Exit</em>'.
691 * <!-- begin-user-doc -->
692 * This implementation returns null;
693 * returning a non-null result will terminate the switch.
694 * <!-- end-user-doc -->
695 * @param object the target of the switch.
696 * @return the result of interpreting the object as an instance of '<em>Exit</em>'.
697 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
698 * @generated
699 */
700 public T caseExit(Exit object) {
701 return null;
702 }
703
704 /**
705 * Returns the result of interpreting the object as an instance of '<em>Final State</em>'.
706 * <!-- begin-user-doc -->
707 * This implementation returns null;
708 * returning a non-null result will terminate the switch.
709 * <!-- end-user-doc -->
710 * @param object the target of the switch.
711 * @return the result of interpreting the object as an instance of '<em>Final State</em>'.
712 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
713 * @generated
714 */
715 public T caseFinalState(FinalState object) {
716 return null;
717 }
718
719 /**
720 * Returns the result of interpreting the object as an instance of '<em>EObject</em>'.
721 * <!-- begin-user-doc -->
722 * This implementation returns null;
723 * returning a non-null result will terminate the switch, but this is the last case anyway.
724 * <!-- end-user-doc -->
725 * @param object the target of the switch.
726 * @return the result of interpreting the object as an instance of '<em>EObject</em>'.
727 * @see #doSwitch(org.eclipse.emf.ecore.EObject)
728 * @generated
729 */
730 @Override
731 public T defaultCase(EObject object) {
732 return null;
733 }
734
735} //YakinduSwitch
736>>>>>>> f1f2a1fa... Pre-realisticBranchCreation Commit:Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/yakindumm/util/YakinduSwitch.java
diff --git a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/yakindumm/util/YakindummAdapterFactory.java b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/yakindumm/util/YakindummAdapterFactory.java
index b3373dfd..fb33ef42 100644
--- a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/yakindumm/util/YakindummAdapterFactory.java
+++ b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/yakindumm/util/YakindummAdapterFactory.java
@@ -1,3 +1,4 @@
1<<<<<<< HEAD:Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/yakindumm/util/YakindummAdapterFactory.java
1/** 2/**
2 */ 3 */
3package ca.mcgill.ecse.dslreasoner.vampire.yakindumm.util; 4package ca.mcgill.ecse.dslreasoner.vampire.yakindumm.util;
@@ -316,3 +317,341 @@ public class YakindummAdapterFactory extends AdapterFactoryImpl {
316 } 317 }
317 318
318} //YakindummAdapterFactory 319} //YakindummAdapterFactory
320=======
321/**
322 */
323package ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.util;
324
325import ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.*;
326
327import org.eclipse.emf.common.notify.Adapter;
328import org.eclipse.emf.common.notify.Notifier;
329
330import org.eclipse.emf.common.notify.impl.AdapterFactoryImpl;
331
332import org.eclipse.emf.ecore.EObject;
333
334/**
335 * <!-- begin-user-doc -->
336 * The <b>Adapter Factory</b> for the model.
337 * It provides an adapter <code>createXXX</code> method for each class of the model.
338 * <!-- end-user-doc -->
339 * @see ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.YakinduPackage
340 * @generated
341 */
342public class YakinduAdapterFactory extends AdapterFactoryImpl {
343 /**
344 * The cached model package.
345 * <!-- begin-user-doc -->
346 * <!-- end-user-doc -->
347 * @generated
348 */
349 protected static YakinduPackage modelPackage;
350
351 /**
352 * Creates an instance of the adapter factory.
353 * <!-- begin-user-doc -->
354 * <!-- end-user-doc -->
355 * @generated
356 */
357 public YakinduAdapterFactory() {
358 if (modelPackage == null) {
359 modelPackage = YakinduPackage.eINSTANCE;
360 }
361 }
362
363 /**
364 * Returns whether this factory is applicable for the type of the object.
365 * <!-- begin-user-doc -->
366 * This implementation returns <code>true</code> if the object is either the model's package or is an instance object of the model.
367 * <!-- end-user-doc -->
368 * @return whether this factory is applicable for the type of the object.
369 * @generated
370 */
371 @Override
372 public boolean isFactoryForType(Object object) {
373 if (object == modelPackage) {
374 return true;
375 }
376 if (object instanceof EObject) {
377 return ((EObject)object).eClass().getEPackage() == modelPackage;
378 }
379 return false;
380 }
381
382 /**
383 * The switch that delegates to the <code>createXXX</code> methods.
384 * <!-- begin-user-doc -->
385 * <!-- end-user-doc -->
386 * @generated
387 */
388 protected YakinduSwitch<Adapter> modelSwitch =
389 new YakinduSwitch<Adapter>() {
390 @Override
391 public Adapter casePseudostate(Pseudostate object) {
392 return createPseudostateAdapter();
393 }
394 @Override
395 public Adapter caseVertex(Vertex object) {
396 return createVertexAdapter();
397 }
398 @Override
399 public Adapter caseRegion(Region object) {
400 return createRegionAdapter();
401 }
402 @Override
403 public Adapter caseTransition(Transition object) {
404 return createTransitionAdapter();
405 }
406 @Override
407 public Adapter caseStatechart(Statechart object) {
408 return createStatechartAdapter();
409 }
410 @Override
411 public Adapter caseEntry(Entry object) {
412 return createEntryAdapter();
413 }
414 @Override
415 public Adapter caseSynchronization(Synchronization object) {
416 return createSynchronizationAdapter();
417 }
418 @Override
419 public Adapter caseState(State object) {
420 return createStateAdapter();
421 }
422 @Override
423 public Adapter caseRegularState(RegularState object) {
424 return createRegularStateAdapter();
425 }
426 @Override
427 public Adapter caseCompositeElement(CompositeElement object) {
428 return createCompositeElementAdapter();
429 }
430 @Override
431 public Adapter caseChoice(Choice object) {
432 return createChoiceAdapter();
433 }
434 @Override
435 public Adapter caseExit(Exit object) {
436 return createExitAdapter();
437 }
438 @Override
439 public Adapter caseFinalState(FinalState object) {
440 return createFinalStateAdapter();
441 }
442 @Override
443 public Adapter defaultCase(EObject object) {
444 return createEObjectAdapter();
445 }
446 };
447
448 /**
449 * Creates an adapter for the <code>target</code>.
450 * <!-- begin-user-doc -->
451 * <!-- end-user-doc -->
452 * @param target the object to adapt.
453 * @return the adapter for the <code>target</code>.
454 * @generated
455 */
456 @Override
457 public Adapter createAdapter(Notifier target) {
458 return modelSwitch.doSwitch((EObject)target);
459 }
460
461
462 /**
463 * Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.Pseudostate <em>Pseudostate</em>}'.
464 * <!-- begin-user-doc -->
465 * This default implementation returns null so that we can easily ignore cases;
466 * it's useful to ignore a case when inheritance will catch all the cases anyway.
467 * <!-- end-user-doc -->
468 * @return the new adapter.
469 * @see ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.Pseudostate
470 * @generated
471 */
472 public Adapter createPseudostateAdapter() {
473 return null;
474 }
475
476 /**
477 * Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.Vertex <em>Vertex</em>}'.
478 * <!-- begin-user-doc -->
479 * This default implementation returns null so that we can easily ignore cases;
480 * it's useful to ignore a case when inheritance will catch all the cases anyway.
481 * <!-- end-user-doc -->
482 * @return the new adapter.
483 * @see ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.Vertex
484 * @generated
485 */
486 public Adapter createVertexAdapter() {
487 return null;
488 }
489
490 /**
491 * Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.Region <em>Region</em>}'.
492 * <!-- begin-user-doc -->
493 * This default implementation returns null so that we can easily ignore cases;
494 * it's useful to ignore a case when inheritance will catch all the cases anyway.
495 * <!-- end-user-doc -->
496 * @return the new adapter.
497 * @see ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.Region
498 * @generated
499 */
500 public Adapter createRegionAdapter() {
501 return null;
502 }
503
504 /**
505 * Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.Transition <em>Transition</em>}'.
506 * <!-- begin-user-doc -->
507 * This default implementation returns null so that we can easily ignore cases;
508 * it's useful to ignore a case when inheritance will catch all the cases anyway.
509 * <!-- end-user-doc -->
510 * @return the new adapter.
511 * @see ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.Transition
512 * @generated
513 */
514 public Adapter createTransitionAdapter() {
515 return null;
516 }
517
518 /**
519 * Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.Statechart <em>Statechart</em>}'.
520 * <!-- begin-user-doc -->
521 * This default implementation returns null so that we can easily ignore cases;
522 * it's useful to ignore a case when inheritance will catch all the cases anyway.
523 * <!-- end-user-doc -->
524 * @return the new adapter.
525 * @see ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.Statechart
526 * @generated
527 */
528 public Adapter createStatechartAdapter() {
529 return null;
530 }
531
532 /**
533 * Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.Entry <em>Entry</em>}'.
534 * <!-- begin-user-doc -->
535 * This default implementation returns null so that we can easily ignore cases;
536 * it's useful to ignore a case when inheritance will catch all the cases anyway.
537 * <!-- end-user-doc -->
538 * @return the new adapter.
539 * @see ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.Entry
540 * @generated
541 */
542 public Adapter createEntryAdapter() {
543 return null;
544 }
545
546 /**
547 * Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.Synchronization <em>Synchronization</em>}'.
548 * <!-- begin-user-doc -->
549 * This default implementation returns null so that we can easily ignore cases;
550 * it's useful to ignore a case when inheritance will catch all the cases anyway.
551 * <!-- end-user-doc -->
552 * @return the new adapter.
553 * @see ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.Synchronization
554 * @generated
555 */
556 public Adapter createSynchronizationAdapter() {
557 return null;
558 }
559
560 /**
561 * Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.State <em>State</em>}'.
562 * <!-- begin-user-doc -->
563 * This default implementation returns null so that we can easily ignore cases;
564 * it's useful to ignore a case when inheritance will catch all the cases anyway.
565 * <!-- end-user-doc -->
566 * @return the new adapter.
567 * @see ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.State
568 * @generated
569 */
570 public Adapter createStateAdapter() {
571 return null;
572 }
573
574 /**
575 * Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.RegularState <em>Regular State</em>}'.
576 * <!-- begin-user-doc -->
577 * This default implementation returns null so that we can easily ignore cases;
578 * it's useful to ignore a case when inheritance will catch all the cases anyway.
579 * <!-- end-user-doc -->
580 * @return the new adapter.
581 * @see ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.RegularState
582 * @generated
583 */
584 public Adapter createRegularStateAdapter() {
585 return null;
586 }
587
588 /**
589 * Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.CompositeElement <em>Composite Element</em>}'.
590 * <!-- begin-user-doc -->
591 * This default implementation returns null so that we can easily ignore cases;
592 * it's useful to ignore a case when inheritance will catch all the cases anyway.
593 * <!-- end-user-doc -->
594 * @return the new adapter.
595 * @see ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.CompositeElement
596 * @generated
597 */
598 public Adapter createCompositeElementAdapter() {
599 return null;
600 }
601
602 /**
603 * Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.Choice <em>Choice</em>}'.
604 * <!-- begin-user-doc -->
605 * This default implementation returns null so that we can easily ignore cases;
606 * it's useful to ignore a case when inheritance will catch all the cases anyway.
607 * <!-- end-user-doc -->
608 * @return the new adapter.
609 * @see ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.Choice
610 * @generated
611 */
612 public Adapter createChoiceAdapter() {
613 return null;
614 }
615
616 /**
617 * Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.Exit <em>Exit</em>}'.
618 * <!-- begin-user-doc -->
619 * This default implementation returns null so that we can easily ignore cases;
620 * it's useful to ignore a case when inheritance will catch all the cases anyway.
621 * <!-- end-user-doc -->
622 * @return the new adapter.
623 * @see ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.Exit
624 * @generated
625 */
626 public Adapter createExitAdapter() {
627 return null;
628 }
629
630 /**
631 * Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.FinalState <em>Final State</em>}'.
632 * <!-- begin-user-doc -->
633 * This default implementation returns null so that we can easily ignore cases;
634 * it's useful to ignore a case when inheritance will catch all the cases anyway.
635 * <!-- end-user-doc -->
636 * @return the new adapter.
637 * @see ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.FinalState
638 * @generated
639 */
640 public Adapter createFinalStateAdapter() {
641 return null;
642 }
643
644 /**
645 * Creates a new adapter for the default case.
646 * <!-- begin-user-doc -->
647 * This default implementation returns null.
648 * <!-- end-user-doc -->
649 * @return the new adapter.
650 * @generated
651 */
652 public Adapter createEObjectAdapter() {
653 return null;
654 }
655
656} //YakinduAdapterFactory
657>>>>>>> f1f2a1fa... Pre-realisticBranchCreation Commit:Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/yakindumm/util/YakinduAdapterFactory.java
diff --git a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/yakindumm/util/YakindummSwitch.java b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/yakindumm/util/YakindummSwitch.java
index 422565c2..4cc0e8a8 100644
--- a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/yakindumm/util/YakindummSwitch.java
+++ b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/yakindumm/util/YakindummSwitch.java
@@ -1,3 +1,4 @@
1<<<<<<< HEAD:Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/yakindumm/util/YakindummSwitch.java
1/** 2/**
2 */ 3 */
3package ca.mcgill.ecse.dslreasoner.vampire.yakindumm.util; 4package ca.mcgill.ecse.dslreasoner.vampire.yakindumm.util;
@@ -353,3 +354,383 @@ public class YakindummSwitch<T> extends Switch<T> {
353 } 354 }
354 355
355} //YakindummSwitch 356} //YakindummSwitch
357=======
358/**
359 */
360package ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.util;
361
362import ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.*;
363
364import org.eclipse.emf.ecore.EObject;
365import org.eclipse.emf.ecore.EPackage;
366
367import org.eclipse.emf.ecore.util.Switch;
368
369/**
370 * <!-- begin-user-doc -->
371 * The <b>Switch</b> for the model's inheritance hierarchy.
372 * It supports the call {@link #doSwitch(EObject) doSwitch(object)}
373 * to invoke the <code>caseXXX</code> method for each class of the model,
374 * starting with the actual class of the object
375 * and proceeding up the inheritance hierarchy
376 * until a non-null result is returned,
377 * which is the result of the switch.
378 * <!-- end-user-doc -->
379 * @see ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.YakinduPackage
380 * @generated
381 */
382public class YakinduSwitch<T> extends Switch<T> {
383 /**
384 * The cached model package
385 * <!-- begin-user-doc -->
386 * <!-- end-user-doc -->
387 * @generated
388 */
389 protected static YakinduPackage modelPackage;
390
391 /**
392 * Creates an instance of the switch.
393 * <!-- begin-user-doc -->
394 * <!-- end-user-doc -->
395 * @generated
396 */
397 public YakinduSwitch() {
398 if (modelPackage == null) {
399 modelPackage = YakinduPackage.eINSTANCE;
400 }
401 }
402
403 /**
404 * Checks whether this is a switch for the given package.
405 * <!-- begin-user-doc -->
406 * <!-- end-user-doc -->
407 * @param ePackage the package in question.
408 * @return whether this is a switch for the given package.
409 * @generated
410 */
411 @Override
412 protected boolean isSwitchFor(EPackage ePackage) {
413 return ePackage == modelPackage;
414 }
415
416 /**
417 * Calls <code>caseXXX</code> for each class of the model until one returns a non null result; it yields that result.
418 * <!-- begin-user-doc -->
419 * <!-- end-user-doc -->
420 * @return the first non-null result returned by a <code>caseXXX</code> call.
421 * @generated
422 */
423 @Override
424 protected T doSwitch(int classifierID, EObject theEObject) {
425 switch (classifierID) {
426 case YakinduPackage.PSEUDOSTATE: {
427 Pseudostate pseudostate = (Pseudostate)theEObject;
428 T result = casePseudostate(pseudostate);
429 if (result == null) result = caseVertex(pseudostate);
430 if (result == null) result = defaultCase(theEObject);
431 return result;
432 }
433 case YakinduPackage.VERTEX: {
434 Vertex vertex = (Vertex)theEObject;
435 T result = caseVertex(vertex);
436 if (result == null) result = defaultCase(theEObject);
437 return result;
438 }
439 case YakinduPackage.REGION: {
440 Region region = (Region)theEObject;
441 T result = caseRegion(region);
442 if (result == null) result = defaultCase(theEObject);
443 return result;
444 }
445 case YakinduPackage.TRANSITION: {
446 Transition transition = (Transition)theEObject;
447 T result = caseTransition(transition);
448 if (result == null) result = defaultCase(theEObject);
449 return result;
450 }
451 case YakinduPackage.STATECHART: {
452 Statechart statechart = (Statechart)theEObject;
453 T result = caseStatechart(statechart);
454 if (result == null) result = caseCompositeElement(statechart);
455 if (result == null) result = defaultCase(theEObject);
456 return result;
457 }
458 case YakinduPackage.ENTRY: {
459 Entry entry = (Entry)theEObject;
460 T result = caseEntry(entry);
461 if (result == null) result = casePseudostate(entry);
462 if (result == null) result = caseVertex(entry);
463 if (result == null) result = defaultCase(theEObject);
464 return result;
465 }
466 case YakinduPackage.SYNCHRONIZATION: {
467 Synchronization synchronization = (Synchronization)theEObject;
468 T result = caseSynchronization(synchronization);
469 if (result == null) result = casePseudostate(synchronization);
470 if (result == null) result = caseVertex(synchronization);
471 if (result == null) result = defaultCase(theEObject);
472 return result;
473 }
474 case YakinduPackage.STATE: {
475 State state = (State)theEObject;
476 T result = caseState(state);
477 if (result == null) result = caseRegularState(state);
478 if (result == null) result = caseCompositeElement(state);
479 if (result == null) result = caseVertex(state);
480 if (result == null) result = defaultCase(theEObject);
481 return result;
482 }
483 case YakinduPackage.REGULAR_STATE: {
484 RegularState regularState = (RegularState)theEObject;
485 T result = caseRegularState(regularState);
486 if (result == null) result = caseVertex(regularState);
487 if (result == null) result = defaultCase(theEObject);
488 return result;
489 }
490 case YakinduPackage.COMPOSITE_ELEMENT: {
491 CompositeElement compositeElement = (CompositeElement)theEObject;
492 T result = caseCompositeElement(compositeElement);
493 if (result == null) result = defaultCase(theEObject);
494 return result;
495 }
496 case YakinduPackage.CHOICE: {
497 Choice choice = (Choice)theEObject;
498 T result = caseChoice(choice);
499 if (result == null) result = casePseudostate(choice);
500 if (result == null) result = caseVertex(choice);
501 if (result == null) result = defaultCase(theEObject);
502 return result;
503 }
504 case YakinduPackage.EXIT: {
505 Exit exit = (Exit)theEObject;
506 T result = caseExit(exit);
507 if (result == null) result = casePseudostate(exit);
508 if (result == null) result = caseVertex(exit);
509 if (result == null) result = defaultCase(theEObject);
510 return result;
511 }
512 case YakinduPackage.FINAL_STATE: {
513 FinalState finalState = (FinalState)theEObject;
514 T result = caseFinalState(finalState);
515 if (result == null) result = caseRegularState(finalState);
516 if (result == null) result = caseVertex(finalState);
517 if (result == null) result = defaultCase(theEObject);
518 return result;
519 }
520 default: return defaultCase(theEObject);
521 }
522 }
523
524 /**
525 * Returns the result of interpreting the object as an instance of '<em>Pseudostate</em>'.
526 * <!-- begin-user-doc -->
527 * This implementation returns null;
528 * returning a non-null result will terminate the switch.
529 * <!-- end-user-doc -->
530 * @param object the target of the switch.
531 * @return the result of interpreting the object as an instance of '<em>Pseudostate</em>'.
532 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
533 * @generated
534 */
535 public T casePseudostate(Pseudostate object) {
536 return null;
537 }
538
539 /**
540 * Returns the result of interpreting the object as an instance of '<em>Vertex</em>'.
541 * <!-- begin-user-doc -->
542 * This implementation returns null;
543 * returning a non-null result will terminate the switch.
544 * <!-- end-user-doc -->
545 * @param object the target of the switch.
546 * @return the result of interpreting the object as an instance of '<em>Vertex</em>'.
547 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
548 * @generated
549 */
550 public T caseVertex(Vertex object) {
551 return null;
552 }
553
554 /**
555 * Returns the result of interpreting the object as an instance of '<em>Region</em>'.
556 * <!-- begin-user-doc -->
557 * This implementation returns null;
558 * returning a non-null result will terminate the switch.
559 * <!-- end-user-doc -->
560 * @param object the target of the switch.
561 * @return the result of interpreting the object as an instance of '<em>Region</em>'.
562 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
563 * @generated
564 */
565 public T caseRegion(Region object) {
566 return null;
567 }
568
569 /**
570 * Returns the result of interpreting the object as an instance of '<em>Transition</em>'.
571 * <!-- begin-user-doc -->
572 * This implementation returns null;
573 * returning a non-null result will terminate the switch.
574 * <!-- end-user-doc -->
575 * @param object the target of the switch.
576 * @return the result of interpreting the object as an instance of '<em>Transition</em>'.
577 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
578 * @generated
579 */
580 public T caseTransition(Transition object) {
581 return null;
582 }
583
584 /**
585 * Returns the result of interpreting the object as an instance of '<em>Statechart</em>'.
586 * <!-- begin-user-doc -->
587 * This implementation returns null;
588 * returning a non-null result will terminate the switch.
589 * <!-- end-user-doc -->
590 * @param object the target of the switch.
591 * @return the result of interpreting the object as an instance of '<em>Statechart</em>'.
592 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
593 * @generated
594 */
595 public T caseStatechart(Statechart object) {
596 return null;
597 }
598
599 /**
600 * Returns the result of interpreting the object as an instance of '<em>Entry</em>'.
601 * <!-- begin-user-doc -->
602 * This implementation returns null;
603 * returning a non-null result will terminate the switch.
604 * <!-- end-user-doc -->
605 * @param object the target of the switch.
606 * @return the result of interpreting the object as an instance of '<em>Entry</em>'.
607 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
608 * @generated
609 */
610 public T caseEntry(Entry object) {
611 return null;
612 }
613
614 /**
615 * Returns the result of interpreting the object as an instance of '<em>Synchronization</em>'.
616 * <!-- begin-user-doc -->
617 * This implementation returns null;
618 * returning a non-null result will terminate the switch.
619 * <!-- end-user-doc -->
620 * @param object the target of the switch.
621 * @return the result of interpreting the object as an instance of '<em>Synchronization</em>'.
622 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
623 * @generated
624 */
625 public T caseSynchronization(Synchronization object) {
626 return null;
627 }
628
629 /**
630 * Returns the result of interpreting the object as an instance of '<em>State</em>'.
631 * <!-- begin-user-doc -->
632 * This implementation returns null;
633 * returning a non-null result will terminate the switch.
634 * <!-- end-user-doc -->
635 * @param object the target of the switch.
636 * @return the result of interpreting the object as an instance of '<em>State</em>'.
637 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
638 * @generated
639 */
640 public T caseState(State object) {
641 return null;
642 }
643
644 /**
645 * Returns the result of interpreting the object as an instance of '<em>Regular State</em>'.
646 * <!-- begin-user-doc -->
647 * This implementation returns null;
648 * returning a non-null result will terminate the switch.
649 * <!-- end-user-doc -->
650 * @param object the target of the switch.
651 * @return the result of interpreting the object as an instance of '<em>Regular State</em>'.
652 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
653 * @generated
654 */
655 public T caseRegularState(RegularState object) {
656 return null;
657 }
658
659 /**
660 * Returns the result of interpreting the object as an instance of '<em>Composite Element</em>'.
661 * <!-- begin-user-doc -->
662 * This implementation returns null;
663 * returning a non-null result will terminate the switch.
664 * <!-- end-user-doc -->
665 * @param object the target of the switch.
666 * @return the result of interpreting the object as an instance of '<em>Composite Element</em>'.
667 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
668 * @generated
669 */
670 public T caseCompositeElement(CompositeElement object) {
671 return null;
672 }
673
674 /**
675 * Returns the result of interpreting the object as an instance of '<em>Choice</em>'.
676 * <!-- begin-user-doc -->
677 * This implementation returns null;
678 * returning a non-null result will terminate the switch.
679 * <!-- end-user-doc -->
680 * @param object the target of the switch.
681 * @return the result of interpreting the object as an instance of '<em>Choice</em>'.
682 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
683 * @generated
684 */
685 public T caseChoice(Choice object) {
686 return null;
687 }
688
689 /**
690 * Returns the result of interpreting the object as an instance of '<em>Exit</em>'.
691 * <!-- begin-user-doc -->
692 * This implementation returns null;
693 * returning a non-null result will terminate the switch.
694 * <!-- end-user-doc -->
695 * @param object the target of the switch.
696 * @return the result of interpreting the object as an instance of '<em>Exit</em>'.
697 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
698 * @generated
699 */
700 public T caseExit(Exit object) {
701 return null;
702 }
703
704 /**
705 * Returns the result of interpreting the object as an instance of '<em>Final State</em>'.
706 * <!-- begin-user-doc -->
707 * This implementation returns null;
708 * returning a non-null result will terminate the switch.
709 * <!-- end-user-doc -->
710 * @param object the target of the switch.
711 * @return the result of interpreting the object as an instance of '<em>Final State</em>'.
712 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
713 * @generated
714 */
715 public T caseFinalState(FinalState object) {
716 return null;
717 }
718
719 /**
720 * Returns the result of interpreting the object as an instance of '<em>EObject</em>'.
721 * <!-- begin-user-doc -->
722 * This implementation returns null;
723 * returning a non-null result will terminate the switch, but this is the last case anyway.
724 * <!-- end-user-doc -->
725 * @param object the target of the switch.
726 * @return the result of interpreting the object as an instance of '<em>EObject</em>'.
727 * @see #doSwitch(org.eclipse.emf.ecore.EObject)
728 * @generated
729 */
730 @Override
731 public T defaultCase(EObject object) {
732 return null;
733 }
734
735} //YakinduSwitch
736>>>>>>> f1f2a1fa... Pre-realisticBranchCreation Commit:Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/yakindumm/util/YakinduSwitch.java
generated by cgit v1.2.3-54-g00ecf (git 2.45.2) at 2024-07-23 15:15:16 +0000