aboutsummaryrefslogtreecommitdiffstats
path: root/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/yakindumm/impl/YakinduPackageImpl.java
diff options
context:
space:
mode:
Diffstat (limited to 'Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/yakindumm/impl/YakinduPackageImpl.java')
-rw-r--r--Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/yakindumm/impl/YakinduPackageImpl.java1008
1 files changed, 1008 insertions, 0 deletions
diff --git a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/yakindumm/impl/YakinduPackageImpl.java b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/yakindumm/impl/YakinduPackageImpl.java
new file mode 100644
index 00000000..87ae07f4
--- /dev/null
+++ b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/yakindumm/impl/YakinduPackageImpl.java
@@ -0,0 +1,1008 @@
1<<<<<<< HEAD:Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/yakindumm/impl/YakindummPackageImpl.java
2/**
3 */
4package ca.mcgill.ecse.dslreasoner.vampire.yakindumm.impl;
5
6import ca.mcgill.ecse.dslreasoner.vampire.yakindumm.Choice;
7import ca.mcgill.ecse.dslreasoner.vampire.yakindumm.CompositeElement;
8import ca.mcgill.ecse.dslreasoner.vampire.yakindumm.Entry;
9import ca.mcgill.ecse.dslreasoner.vampire.yakindumm.EntryType;
10import ca.mcgill.ecse.dslreasoner.vampire.yakindumm.Exit;
11import ca.mcgill.ecse.dslreasoner.vampire.yakindumm.FinalState;
12import ca.mcgill.ecse.dslreasoner.vampire.yakindumm.Pseudostate;
13import ca.mcgill.ecse.dslreasoner.vampire.yakindumm.Region;
14import ca.mcgill.ecse.dslreasoner.vampire.yakindumm.RegularState;
15import ca.mcgill.ecse.dslreasoner.vampire.yakindumm.State;
16import ca.mcgill.ecse.dslreasoner.vampire.yakindumm.Statechart;
17import ca.mcgill.ecse.dslreasoner.vampire.yakindumm.Transition;
18import ca.mcgill.ecse.dslreasoner.vampire.yakindumm.Vertex;
19import ca.mcgill.ecse.dslreasoner.vampire.yakindumm.YakindummFactory;
20import ca.mcgill.ecse.dslreasoner.vampire.yakindumm.YakindummPackage;
21
22import org.eclipse.emf.ecore.EAttribute;
23import org.eclipse.emf.ecore.EClass;
24import org.eclipse.emf.ecore.EEnum;
25import org.eclipse.emf.ecore.EPackage;
26import org.eclipse.emf.ecore.EReference;
27
28import org.eclipse.emf.ecore.impl.EPackageImpl;
29
30/**
31 * <!-- begin-user-doc -->
32 * An implementation of the model <b>Package</b>.
33 * <!-- end-user-doc -->
34 * @generated
35 */
36public class YakindummPackageImpl extends EPackageImpl implements YakindummPackage {
37 /**
38 * <!-- begin-user-doc -->
39 * <!-- end-user-doc -->
40 * @generated
41 */
42 private EClass pseudostateEClass = null;
43
44 /**
45 * <!-- begin-user-doc -->
46 * <!-- end-user-doc -->
47 * @generated
48 */
49 private EClass vertexEClass = null;
50
51 /**
52 * <!-- begin-user-doc -->
53 * <!-- end-user-doc -->
54 * @generated
55 */
56 private EClass regionEClass = null;
57
58 /**
59 * <!-- begin-user-doc -->
60 * <!-- end-user-doc -->
61 * @generated
62 */
63 private EClass transitionEClass = null;
64
65 /**
66 * <!-- begin-user-doc -->
67 * <!-- end-user-doc -->
68 * @generated
69 */
70 private EClass statechartEClass = null;
71
72 /**
73 * <!-- begin-user-doc -->
74 * <!-- end-user-doc -->
75 * @generated
76 */
77 private EClass entryEClass = null;
78
79 /**
80 * <!-- begin-user-doc -->
81 * <!-- end-user-doc -->
82 * @generated
83 */
84 private EClass stateEClass = null;
85
86 /**
87 * <!-- begin-user-doc -->
88 * <!-- end-user-doc -->
89 * @generated
90 */
91 private EClass regularStateEClass = null;
92
93 /**
94 * <!-- begin-user-doc -->
95 * <!-- end-user-doc -->
96 * @generated
97 */
98 private EClass compositeElementEClass = null;
99
100 /**
101 * <!-- begin-user-doc -->
102 * <!-- end-user-doc -->
103 * @generated
104 */
105 private EClass choiceEClass = null;
106
107 /**
108 * <!-- begin-user-doc -->
109 * <!-- end-user-doc -->
110 * @generated
111 */
112 private EClass exitEClass = null;
113
114 /**
115 * <!-- begin-user-doc -->
116 * <!-- end-user-doc -->
117 * @generated
118 */
119 private EClass finalStateEClass = null;
120
121 /**
122 * <!-- begin-user-doc -->
123 * <!-- end-user-doc -->
124 * @generated
125 */
126 private EEnum entryTypeEEnum = null;
127
128 /**
129 * Creates an instance of the model <b>Package</b>, registered with
130 * {@link org.eclipse.emf.ecore.EPackage.Registry EPackage.Registry} by the package
131 * package URI value.
132 * <p>Note: the correct way to create the package is via the static
133 * factory method {@link #init init()}, which also performs
134 * initialization of the package, or returns the registered package,
135 * if one already exists.
136 * <!-- begin-user-doc -->
137 * <!-- end-user-doc -->
138 * @see org.eclipse.emf.ecore.EPackage.Registry
139 * @see ca.mcgill.ecse.dslreasoner.vampire.yakindumm.YakindummPackage#eNS_URI
140 * @see #init()
141 * @generated
142 */
143 private YakindummPackageImpl() {
144 super(eNS_URI, YakindummFactory.eINSTANCE);
145 }
146
147 /**
148 * <!-- begin-user-doc -->
149 * <!-- end-user-doc -->
150 * @generated
151 */
152 private static boolean isInited = false;
153
154 /**
155 * Creates, registers, and initializes the <b>Package</b> for this model, and for any others upon which it depends.
156 *
157 * <p>This method is used to initialize {@link YakindummPackage#eINSTANCE} when that field is accessed.
158 * Clients should not invoke it directly. Instead, they should simply access that field to obtain the package.
159 * <!-- begin-user-doc -->
160 * <!-- end-user-doc -->
161 * @see #eNS_URI
162 * @see #createPackageContents()
163 * @see #initializePackageContents()
164 * @generated
165 */
166 public static YakindummPackage init() {
167 if (isInited) return (YakindummPackage)EPackage.Registry.INSTANCE.getEPackage(YakindummPackage.eNS_URI);
168
169 // Obtain or create and register package
170 Object registeredYakindummPackage = EPackage.Registry.INSTANCE.get(eNS_URI);
171 YakindummPackageImpl theYakindummPackage = registeredYakindummPackage instanceof YakindummPackageImpl ? (YakindummPackageImpl)registeredYakindummPackage : new YakindummPackageImpl();
172
173 isInited = true;
174
175 // Create package meta-data objects
176 theYakindummPackage.createPackageContents();
177
178 // Initialize created meta-data
179 theYakindummPackage.initializePackageContents();
180
181 // Mark meta-data to indicate it can't be changed
182 theYakindummPackage.freeze();
183
184 // Update the registry and return the package
185 EPackage.Registry.INSTANCE.put(YakindummPackage.eNS_URI, theYakindummPackage);
186 return theYakindummPackage;
187 }
188
189 /**
190 * <!-- begin-user-doc -->
191 * <!-- end-user-doc -->
192 * @generated
193 */
194 public EClass getPseudostate() {
195 return pseudostateEClass;
196 }
197
198 /**
199 * <!-- begin-user-doc -->
200 * <!-- end-user-doc -->
201 * @generated
202 */
203 public EClass getVertex() {
204 return vertexEClass;
205 }
206
207 /**
208 * <!-- begin-user-doc -->
209 * <!-- end-user-doc -->
210 * @generated
211 */
212 public EReference getVertex_IncomingTransitions() {
213 return (EReference)vertexEClass.getEStructuralFeatures().get(0);
214 }
215
216 /**
217 * <!-- begin-user-doc -->
218 * <!-- end-user-doc -->
219 * @generated
220 */
221 public EReference getVertex_OutgoingTransitions() {
222 return (EReference)vertexEClass.getEStructuralFeatures().get(1);
223 }
224
225 /**
226 * <!-- begin-user-doc -->
227 * <!-- end-user-doc -->
228 * @generated
229 */
230 public EClass getRegion() {
231 return regionEClass;
232 }
233
234 /**
235 * <!-- begin-user-doc -->
236 * <!-- end-user-doc -->
237 * @generated
238 */
239 public EReference getRegion_Vertices() {
240 return (EReference)regionEClass.getEStructuralFeatures().get(0);
241 }
242
243 /**
244 * <!-- begin-user-doc -->
245 * <!-- end-user-doc -->
246 * @generated
247 */
248 public EClass getTransition() {
249 return transitionEClass;
250 }
251
252 /**
253 * <!-- begin-user-doc -->
254 * <!-- end-user-doc -->
255 * @generated
256 */
257 public EReference getTransition_Target() {
258 return (EReference)transitionEClass.getEStructuralFeatures().get(0);
259 }
260
261 /**
262 * <!-- begin-user-doc -->
263 * <!-- end-user-doc -->
264 * @generated
265 */
266 public EReference getTransition_Source() {
267 return (EReference)transitionEClass.getEStructuralFeatures().get(1);
268 }
269
270 /**
271 * <!-- begin-user-doc -->
272 * <!-- end-user-doc -->
273 * @generated
274 */
275 public EClass getStatechart() {
276 return statechartEClass;
277 }
278
279 /**
280 * <!-- begin-user-doc -->
281 * <!-- end-user-doc -->
282 * @generated
283 */
284 public EClass getEntry() {
285 return entryEClass;
286 }
287
288 /**
289 * <!-- begin-user-doc -->
290 * <!-- end-user-doc -->
291 * @generated
292 */
293 public EAttribute getEntry_Type() {
294 return (EAttribute)entryEClass.getEStructuralFeatures().get(0);
295 }
296
297 /**
298 * <!-- begin-user-doc -->
299 * <!-- end-user-doc -->
300 * @generated
301 */
302 public EClass getState() {
303 return stateEClass;
304 }
305
306 /**
307 * <!-- begin-user-doc -->
308 * <!-- end-user-doc -->
309 * @generated
310 */
311 public EClass getRegularState() {
312 return regularStateEClass;
313 }
314
315 /**
316 * <!-- begin-user-doc -->
317 * <!-- end-user-doc -->
318 * @generated
319 */
320 public EClass getCompositeElement() {
321 return compositeElementEClass;
322 }
323
324 /**
325 * <!-- begin-user-doc -->
326 * <!-- end-user-doc -->
327 * @generated
328 */
329 public EReference getCompositeElement_Regions() {
330 return (EReference)compositeElementEClass.getEStructuralFeatures().get(0);
331 }
332
333 /**
334 * <!-- begin-user-doc -->
335 * <!-- end-user-doc -->
336 * @generated
337 */
338 public EClass getChoice() {
339 return choiceEClass;
340 }
341
342 /**
343 * <!-- begin-user-doc -->
344 * <!-- end-user-doc -->
345 * @generated
346 */
347 public EClass getExit() {
348 return exitEClass;
349 }
350
351 /**
352 * <!-- begin-user-doc -->
353 * <!-- end-user-doc -->
354 * @generated
355 */
356 public EClass getFinalState() {
357 return finalStateEClass;
358 }
359
360 /**
361 * <!-- begin-user-doc -->
362 * <!-- end-user-doc -->
363 * @generated
364 */
365 public EEnum getEntryType() {
366 return entryTypeEEnum;
367 }
368
369 /**
370 * <!-- begin-user-doc -->
371 * <!-- end-user-doc -->
372 * @generated
373 */
374 public YakindummFactory getYakindummFactory() {
375 return (YakindummFactory)getEFactoryInstance();
376 }
377
378 /**
379 * <!-- begin-user-doc -->
380 * <!-- end-user-doc -->
381 * @generated
382 */
383 private boolean isCreated = false;
384
385 /**
386 * Creates the meta-model objects for the package. This method is
387 * guarded to have no affect on any invocation but its first.
388 * <!-- begin-user-doc -->
389 * <!-- end-user-doc -->
390 * @generated
391 */
392 public void createPackageContents() {
393 if (isCreated) return;
394 isCreated = true;
395
396 // Create classes and their features
397 pseudostateEClass = createEClass(PSEUDOSTATE);
398
399 vertexEClass = createEClass(VERTEX);
400 createEReference(vertexEClass, VERTEX__INCOMING_TRANSITIONS);
401 createEReference(vertexEClass, VERTEX__OUTGOING_TRANSITIONS);
402
403 regionEClass = createEClass(REGION);
404 createEReference(regionEClass, REGION__VERTICES);
405
406 transitionEClass = createEClass(TRANSITION);
407 createEReference(transitionEClass, TRANSITION__TARGET);
408 createEReference(transitionEClass, TRANSITION__SOURCE);
409
410 statechartEClass = createEClass(STATECHART);
411
412 entryEClass = createEClass(ENTRY);
413 createEAttribute(entryEClass, ENTRY__TYPE);
414
415 stateEClass = createEClass(STATE);
416
417 regularStateEClass = createEClass(REGULAR_STATE);
418
419 compositeElementEClass = createEClass(COMPOSITE_ELEMENT);
420 createEReference(compositeElementEClass, COMPOSITE_ELEMENT__REGIONS);
421
422 choiceEClass = createEClass(CHOICE);
423
424 exitEClass = createEClass(EXIT);
425
426 finalStateEClass = createEClass(FINAL_STATE);
427
428 // Create enums
429 entryTypeEEnum = createEEnum(ENTRY_TYPE);
430 }
431
432 /**
433 * <!-- begin-user-doc -->
434 * <!-- end-user-doc -->
435 * @generated
436 */
437 private boolean isInitialized = false;
438
439 /**
440 * Complete the initialization of the package and its meta-model. This
441 * method is guarded to have no affect on any invocation but its first.
442 * <!-- begin-user-doc -->
443 * <!-- end-user-doc -->
444 * @generated
445 */
446 public void initializePackageContents() {
447 if (isInitialized) return;
448 isInitialized = true;
449
450 // Initialize package
451 setName(eNAME);
452 setNsPrefix(eNS_PREFIX);
453 setNsURI(eNS_URI);
454
455 // Create type parameters
456
457 // Set bounds for type parameters
458
459 // Add supertypes to classes
460 pseudostateEClass.getESuperTypes().add(this.getVertex());
461 statechartEClass.getESuperTypes().add(this.getCompositeElement());
462 entryEClass.getESuperTypes().add(this.getPseudostate());
463 stateEClass.getESuperTypes().add(this.getRegularState());
464 stateEClass.getESuperTypes().add(this.getCompositeElement());
465 regularStateEClass.getESuperTypes().add(this.getVertex());
466 choiceEClass.getESuperTypes().add(this.getPseudostate());
467 exitEClass.getESuperTypes().add(this.getPseudostate());
468 finalStateEClass.getESuperTypes().add(this.getRegularState());
469
470 // Initialize classes, features, and operations; add parameters
471 initEClass(pseudostateEClass, Pseudostate.class, "Pseudostate", IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
472
473 initEClass(vertexEClass, Vertex.class, "Vertex", IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
474 initEReference(getVertex_IncomingTransitions(), this.getTransition(), this.getTransition_Target(), "incomingTransitions", null, 0, -1, Vertex.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE, IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, !IS_ORDERED);
475 initEReference(getVertex_OutgoingTransitions(), this.getTransition(), this.getTransition_Source(), "outgoingTransitions", null, 0, -1, Vertex.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, !IS_ORDERED);
476
477 initEClass(regionEClass, Region.class, "Region", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
478 initEReference(getRegion_Vertices(), this.getVertex(), null, "vertices", null, 0, -1, Region.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, !IS_ORDERED);
479
480 initEClass(transitionEClass, Transition.class, "Transition", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
481 initEReference(getTransition_Target(), this.getVertex(), this.getVertex_IncomingTransitions(), "target", null, 1, 1, Transition.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE, IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, !IS_ORDERED);
482 initEReference(getTransition_Source(), this.getVertex(), this.getVertex_OutgoingTransitions(), "source", null, 0, 1, Transition.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, !IS_ORDERED);
483
484 initEClass(statechartEClass, Statechart.class, "Statechart", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
485
486 initEClass(entryEClass, Entry.class, "Entry", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
487 initEAttribute(getEntry_Type(), this.getEntryType(), "Type", null, 1, 1, Entry.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
488
489 initEClass(stateEClass, State.class, "State", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
490
491 initEClass(regularStateEClass, RegularState.class, "RegularState", IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
492
493 initEClass(compositeElementEClass, CompositeElement.class, "CompositeElement", IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
494 initEReference(getCompositeElement_Regions(), this.getRegion(), null, "regions", null, 0, -1, CompositeElement.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
495
496 initEClass(choiceEClass, Choice.class, "Choice", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
497
498 initEClass(exitEClass, Exit.class, "Exit", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
499
500 initEClass(finalStateEClass, FinalState.class, "FinalState", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
501
502 // Initialize enums and add enum literals
503 initEEnum(entryTypeEEnum, EntryType.class, "EntryType");
504 addEEnumLiteral(entryTypeEEnum, EntryType.NORMAL);
505 addEEnumLiteral(entryTypeEEnum, EntryType.HISTORY);
506 addEEnumLiteral(entryTypeEEnum, EntryType.DEEP_HISTORY);
507
508 // Create resource
509 createResource(eNS_URI);
510 }
511
512} //YakindummPackageImpl
513=======
514/**
515 */
516package ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.impl;
517
518import ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.Choice;
519import ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.CompositeElement;
520import ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.Entry;
521import ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.Exit;
522import ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.FinalState;
523import ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.Pseudostate;
524import ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.Region;
525import ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.RegularState;
526import ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.State;
527import ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.Statechart;
528import ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.Synchronization;
529import ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.Transition;
530import ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.Vertex;
531import ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.YakinduFactory;
532import ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.YakinduPackage;
533
534import org.eclipse.emf.ecore.EClass;
535import org.eclipse.emf.ecore.EPackage;
536import org.eclipse.emf.ecore.EReference;
537
538import org.eclipse.emf.ecore.impl.EPackageImpl;
539
540/**
541 * <!-- begin-user-doc -->
542 * An implementation of the model <b>Package</b>.
543 * <!-- end-user-doc -->
544 * @generated
545 */
546public class YakinduPackageImpl extends EPackageImpl implements YakinduPackage {
547 /**
548 * <!-- begin-user-doc -->
549 * <!-- end-user-doc -->
550 * @generated
551 */
552 private EClass pseudostateEClass = null;
553
554 /**
555 * <!-- begin-user-doc -->
556 * <!-- end-user-doc -->
557 * @generated
558 */
559 private EClass vertexEClass = null;
560
561 /**
562 * <!-- begin-user-doc -->
563 * <!-- end-user-doc -->
564 * @generated
565 */
566 private EClass regionEClass = null;
567
568 /**
569 * <!-- begin-user-doc -->
570 * <!-- end-user-doc -->
571 * @generated
572 */
573 private EClass transitionEClass = null;
574
575 /**
576 * <!-- begin-user-doc -->
577 * <!-- end-user-doc -->
578 * @generated
579 */
580 private EClass statechartEClass = null;
581
582 /**
583 * <!-- begin-user-doc -->
584 * <!-- end-user-doc -->
585 * @generated
586 */
587 private EClass entryEClass = null;
588
589 /**
590 * <!-- begin-user-doc -->
591 * <!-- end-user-doc -->
592 * @generated
593 */
594 private EClass synchronizationEClass = null;
595
596 /**
597 * <!-- begin-user-doc -->
598 * <!-- end-user-doc -->
599 * @generated
600 */
601 private EClass stateEClass = null;
602
603 /**
604 * <!-- begin-user-doc -->
605 * <!-- end-user-doc -->
606 * @generated
607 */
608 private EClass regularStateEClass = null;
609
610 /**
611 * <!-- begin-user-doc -->
612 * <!-- end-user-doc -->
613 * @generated
614 */
615 private EClass compositeElementEClass = null;
616
617 /**
618 * <!-- begin-user-doc -->
619 * <!-- end-user-doc -->
620 * @generated
621 */
622 private EClass choiceEClass = null;
623
624 /**
625 * <!-- begin-user-doc -->
626 * <!-- end-user-doc -->
627 * @generated
628 */
629 private EClass exitEClass = null;
630
631 /**
632 * <!-- begin-user-doc -->
633 * <!-- end-user-doc -->
634 * @generated
635 */
636 private EClass finalStateEClass = null;
637
638 /**
639 * Creates an instance of the model <b>Package</b>, registered with
640 * {@link org.eclipse.emf.ecore.EPackage.Registry EPackage.Registry} by the package
641 * package URI value.
642 * <p>Note: the correct way to create the package is via the static
643 * factory method {@link #init init()}, which also performs
644 * initialization of the package, or returns the registered package,
645 * if one already exists.
646 * <!-- begin-user-doc -->
647 * <!-- end-user-doc -->
648 * @see org.eclipse.emf.ecore.EPackage.Registry
649 * @see ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.YakinduPackage#eNS_URI
650 * @see #init()
651 * @generated
652 */
653 private YakinduPackageImpl() {
654 super(eNS_URI, YakinduFactory.eINSTANCE);
655 }
656
657 /**
658 * <!-- begin-user-doc -->
659 * <!-- end-user-doc -->
660 * @generated
661 */
662 private static boolean isInited = false;
663
664 /**
665 * Creates, registers, and initializes the <b>Package</b> for this model, and for any others upon which it depends.
666 *
667 * <p>This method is used to initialize {@link YakinduPackage#eINSTANCE} when that field is accessed.
668 * Clients should not invoke it directly. Instead, they should simply access that field to obtain the package.
669 * <!-- begin-user-doc -->
670 * <!-- end-user-doc -->
671 * @see #eNS_URI
672 * @see #createPackageContents()
673 * @see #initializePackageContents()
674 * @generated
675 */
676 public static YakinduPackage init() {
677 if (isInited) return (YakinduPackage)EPackage.Registry.INSTANCE.getEPackage(YakinduPackage.eNS_URI);
678
679 // Obtain or create and register package
680 Object registeredYakinduPackage = EPackage.Registry.INSTANCE.get(eNS_URI);
681 YakinduPackageImpl theYakinduPackage = registeredYakinduPackage instanceof YakinduPackageImpl ? (YakinduPackageImpl)registeredYakinduPackage : new YakinduPackageImpl();
682
683 isInited = true;
684
685 // Create package meta-data objects
686 theYakinduPackage.createPackageContents();
687
688 // Initialize created meta-data
689 theYakinduPackage.initializePackageContents();
690
691 // Mark meta-data to indicate it can't be changed
692 theYakinduPackage.freeze();
693
694 // Update the registry and return the package
695 EPackage.Registry.INSTANCE.put(YakinduPackage.eNS_URI, theYakinduPackage);
696 return theYakinduPackage;
697 }
698
699 /**
700 * <!-- begin-user-doc -->
701 * <!-- end-user-doc -->
702 * @generated
703 */
704 public EClass getPseudostate() {
705 return pseudostateEClass;
706 }
707
708 /**
709 * <!-- begin-user-doc -->
710 * <!-- end-user-doc -->
711 * @generated
712 */
713 public EClass getVertex() {
714 return vertexEClass;
715 }
716
717 /**
718 * <!-- begin-user-doc -->
719 * <!-- end-user-doc -->
720 * @generated
721 */
722 public EReference getVertex_IncomingTransitions() {
723 return (EReference)vertexEClass.getEStructuralFeatures().get(0);
724 }
725
726 /**
727 * <!-- begin-user-doc -->
728 * <!-- end-user-doc -->
729 * @generated
730 */
731 public EReference getVertex_OutgoingTransitions() {
732 return (EReference)vertexEClass.getEStructuralFeatures().get(1);
733 }
734
735 /**
736 * <!-- begin-user-doc -->
737 * <!-- end-user-doc -->
738 * @generated
739 */
740 public EClass getRegion() {
741 return regionEClass;
742 }
743
744 /**
745 * <!-- begin-user-doc -->
746 * <!-- end-user-doc -->
747 * @generated
748 */
749 public EReference getRegion_Vertices() {
750 return (EReference)regionEClass.getEStructuralFeatures().get(0);
751 }
752
753 /**
754 * <!-- begin-user-doc -->
755 * <!-- end-user-doc -->
756 * @generated
757 */
758 public EClass getTransition() {
759 return transitionEClass;
760 }
761
762 /**
763 * <!-- begin-user-doc -->
764 * <!-- end-user-doc -->
765 * @generated
766 */
767 public EReference getTransition_Target() {
768 return (EReference)transitionEClass.getEStructuralFeatures().get(0);
769 }
770
771 /**
772 * <!-- begin-user-doc -->
773 * <!-- end-user-doc -->
774 * @generated
775 */
776 public EReference getTransition_Source() {
777 return (EReference)transitionEClass.getEStructuralFeatures().get(1);
778 }
779
780 /**
781 * <!-- begin-user-doc -->
782 * <!-- end-user-doc -->
783 * @generated
784 */
785 public EClass getStatechart() {
786 return statechartEClass;
787 }
788
789 /**
790 * <!-- begin-user-doc -->
791 * <!-- end-user-doc -->
792 * @generated
793 */
794 public EClass getEntry() {
795 return entryEClass;
796 }
797
798 /**
799 * <!-- begin-user-doc -->
800 * <!-- end-user-doc -->
801 * @generated
802 */
803 public EClass getSynchronization() {
804 return synchronizationEClass;
805 }
806
807 /**
808 * <!-- begin-user-doc -->
809 * <!-- end-user-doc -->
810 * @generated
811 */
812 public EClass getState() {
813 return stateEClass;
814 }
815
816 /**
817 * <!-- begin-user-doc -->
818 * <!-- end-user-doc -->
819 * @generated
820 */
821 public EClass getRegularState() {
822 return regularStateEClass;
823 }
824
825 /**
826 * <!-- begin-user-doc -->
827 * <!-- end-user-doc -->
828 * @generated
829 */
830 public EClass getCompositeElement() {
831 return compositeElementEClass;
832 }
833
834 /**
835 * <!-- begin-user-doc -->
836 * <!-- end-user-doc -->
837 * @generated
838 */
839 public EReference getCompositeElement_Regions() {
840 return (EReference)compositeElementEClass.getEStructuralFeatures().get(0);
841 }
842
843 /**
844 * <!-- begin-user-doc -->
845 * <!-- end-user-doc -->
846 * @generated
847 */
848 public EClass getChoice() {
849 return choiceEClass;
850 }
851
852 /**
853 * <!-- begin-user-doc -->
854 * <!-- end-user-doc -->
855 * @generated
856 */
857 public EClass getExit() {
858 return exitEClass;
859 }
860
861 /**
862 * <!-- begin-user-doc -->
863 * <!-- end-user-doc -->
864 * @generated
865 */
866 public EClass getFinalState() {
867 return finalStateEClass;
868 }
869
870 /**
871 * <!-- begin-user-doc -->
872 * <!-- end-user-doc -->
873 * @generated
874 */
875 public YakinduFactory getYakinduFactory() {
876 return (YakinduFactory)getEFactoryInstance();
877 }
878
879 /**
880 * <!-- begin-user-doc -->
881 * <!-- end-user-doc -->
882 * @generated
883 */
884 private boolean isCreated = false;
885
886 /**
887 * Creates the meta-model objects for the package. This method is
888 * guarded to have no affect on any invocation but its first.
889 * <!-- begin-user-doc -->
890 * <!-- end-user-doc -->
891 * @generated
892 */
893 public void createPackageContents() {
894 if (isCreated) return;
895 isCreated = true;
896
897 // Create classes and their features
898 pseudostateEClass = createEClass(PSEUDOSTATE);
899
900 vertexEClass = createEClass(VERTEX);
901 createEReference(vertexEClass, VERTEX__INCOMING_TRANSITIONS);
902 createEReference(vertexEClass, VERTEX__OUTGOING_TRANSITIONS);
903
904 regionEClass = createEClass(REGION);
905 createEReference(regionEClass, REGION__VERTICES);
906
907 transitionEClass = createEClass(TRANSITION);
908 createEReference(transitionEClass, TRANSITION__TARGET);
909 createEReference(transitionEClass, TRANSITION__SOURCE);
910
911 statechartEClass = createEClass(STATECHART);
912
913 entryEClass = createEClass(ENTRY);
914
915 synchronizationEClass = createEClass(SYNCHRONIZATION);
916
917 stateEClass = createEClass(STATE);
918
919 regularStateEClass = createEClass(REGULAR_STATE);
920
921 compositeElementEClass = createEClass(COMPOSITE_ELEMENT);
922 createEReference(compositeElementEClass, COMPOSITE_ELEMENT__REGIONS);
923
924 choiceEClass = createEClass(CHOICE);
925
926 exitEClass = createEClass(EXIT);
927
928 finalStateEClass = createEClass(FINAL_STATE);
929 }
930
931 /**
932 * <!-- begin-user-doc -->
933 * <!-- end-user-doc -->
934 * @generated
935 */
936 private boolean isInitialized = false;
937
938 /**
939 * Complete the initialization of the package and its meta-model. This
940 * method is guarded to have no affect on any invocation but its first.
941 * <!-- begin-user-doc -->
942 * <!-- end-user-doc -->
943 * @generated
944 */
945 public void initializePackageContents() {
946 if (isInitialized) return;
947 isInitialized = true;
948
949 // Initialize package
950 setName(eNAME);
951 setNsPrefix(eNS_PREFIX);
952 setNsURI(eNS_URI);
953
954 // Create type parameters
955
956 // Set bounds for type parameters
957
958 // Add supertypes to classes
959 pseudostateEClass.getESuperTypes().add(this.getVertex());
960 statechartEClass.getESuperTypes().add(this.getCompositeElement());
961 entryEClass.getESuperTypes().add(this.getPseudostate());
962 synchronizationEClass.getESuperTypes().add(this.getPseudostate());
963 stateEClass.getESuperTypes().add(this.getRegularState());
964 stateEClass.getESuperTypes().add(this.getCompositeElement());
965 regularStateEClass.getESuperTypes().add(this.getVertex());
966 choiceEClass.getESuperTypes().add(this.getPseudostate());
967 exitEClass.getESuperTypes().add(this.getPseudostate());
968 finalStateEClass.getESuperTypes().add(this.getRegularState());
969
970 // Initialize classes, features, and operations; add parameters
971 initEClass(pseudostateEClass, Pseudostate.class, "Pseudostate", IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
972
973 initEClass(vertexEClass, Vertex.class, "Vertex", IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
974 initEReference(getVertex_IncomingTransitions(), this.getTransition(), this.getTransition_Target(), "incomingTransitions", null, 0, -1, Vertex.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE, IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, !IS_ORDERED);
975 initEReference(getVertex_OutgoingTransitions(), this.getTransition(), this.getTransition_Source(), "outgoingTransitions", null, 0, -1, Vertex.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, !IS_ORDERED);
976
977 initEClass(regionEClass, Region.class, "Region", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
978 initEReference(getRegion_Vertices(), this.getVertex(), null, "vertices", null, 0, -1, Region.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, !IS_ORDERED);
979
980 initEClass(transitionEClass, Transition.class, "Transition", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
981 initEReference(getTransition_Target(), this.getVertex(), this.getVertex_IncomingTransitions(), "target", null, 1, 1, Transition.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE, IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, !IS_ORDERED);
982 initEReference(getTransition_Source(), this.getVertex(), this.getVertex_OutgoingTransitions(), "source", null, 0, 1, Transition.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, !IS_ORDERED);
983
984 initEClass(statechartEClass, Statechart.class, "Statechart", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
985
986 initEClass(entryEClass, Entry.class, "Entry", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
987
988 initEClass(synchronizationEClass, Synchronization.class, "Synchronization", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
989
990 initEClass(stateEClass, State.class, "State", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
991
992 initEClass(regularStateEClass, RegularState.class, "RegularState", IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
993
994 initEClass(compositeElementEClass, CompositeElement.class, "CompositeElement", IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
995 initEReference(getCompositeElement_Regions(), this.getRegion(), null, "regions", null, 0, -1, CompositeElement.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
996
997 initEClass(choiceEClass, Choice.class, "Choice", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
998
999 initEClass(exitEClass, Exit.class, "Exit", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
1000
1001 initEClass(finalStateEClass, FinalState.class, "FinalState", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
1002
1003 // Create resource
1004 createResource(eNS_URI);
1005 }
1006
1007} //YakinduPackageImpl
1008>>>>>>> f1f2a1fa... Pre-realisticBranchCreation Commit:Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/yakindumm/impl/YakinduPackageImpl.java
generated by cgit v1.2.3-54-g00ecf (git 2.45.2) at 2024-07-09 16:16:49 +0000