aboutsummaryrefslogtreecommitdiffstats
path: root/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/yakindumm/impl/YakindummPackageImpl.java
diff options
context:
space:
mode:
Diffstat (limited to 'Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/yakindumm/impl/YakindummPackageImpl.java')
-rw-r--r--Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/yakindumm/impl/YakindummPackageImpl.java511
1 files changed, 511 insertions, 0 deletions
diff --git a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/yakindumm/impl/YakindummPackageImpl.java b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/yakindumm/impl/YakindummPackageImpl.java
new file mode 100644
index 00000000..b95dc3ea
--- /dev/null
+++ b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/yakindumm/impl/YakindummPackageImpl.java
@@ -0,0 +1,511 @@
1/**
2 */
3package ca.mcgill.ecse.dslreasoner.vampire.yakindumm.impl;
4
5import ca.mcgill.ecse.dslreasoner.vampire.yakindumm.Choice;
6import ca.mcgill.ecse.dslreasoner.vampire.yakindumm.CompositeElement;
7import ca.mcgill.ecse.dslreasoner.vampire.yakindumm.Entry;
8import ca.mcgill.ecse.dslreasoner.vampire.yakindumm.EntryType;
9import ca.mcgill.ecse.dslreasoner.vampire.yakindumm.Exit;
10import ca.mcgill.ecse.dslreasoner.vampire.yakindumm.FinalState;
11import ca.mcgill.ecse.dslreasoner.vampire.yakindumm.Pseudostate;
12import ca.mcgill.ecse.dslreasoner.vampire.yakindumm.Region;
13import ca.mcgill.ecse.dslreasoner.vampire.yakindumm.RegularState;
14import ca.mcgill.ecse.dslreasoner.vampire.yakindumm.State;
15import ca.mcgill.ecse.dslreasoner.vampire.yakindumm.Statechart;
16import ca.mcgill.ecse.dslreasoner.vampire.yakindumm.Transition;
17import ca.mcgill.ecse.dslreasoner.vampire.yakindumm.Vertex;
18import ca.mcgill.ecse.dslreasoner.vampire.yakindumm.YakindummFactory;
19import ca.mcgill.ecse.dslreasoner.vampire.yakindumm.YakindummPackage;
20
21import org.eclipse.emf.ecore.EAttribute;
22import org.eclipse.emf.ecore.EClass;
23import org.eclipse.emf.ecore.EEnum;
24import org.eclipse.emf.ecore.EPackage;
25import org.eclipse.emf.ecore.EReference;
26
27import org.eclipse.emf.ecore.impl.EPackageImpl;
28
29/**
30 * <!-- begin-user-doc -->
31 * An implementation of the model <b>Package</b>.
32 * <!-- end-user-doc -->
33 * @generated
34 */
35public class YakindummPackageImpl extends EPackageImpl implements YakindummPackage {
36 /**
37 * <!-- begin-user-doc -->
38 * <!-- end-user-doc -->
39 * @generated
40 */
41 private EClass pseudostateEClass = null;
42
43 /**
44 * <!-- begin-user-doc -->
45 * <!-- end-user-doc -->
46 * @generated
47 */
48 private EClass vertexEClass = null;
49
50 /**
51 * <!-- begin-user-doc -->
52 * <!-- end-user-doc -->
53 * @generated
54 */
55 private EClass regionEClass = null;
56
57 /**
58 * <!-- begin-user-doc -->
59 * <!-- end-user-doc -->
60 * @generated
61 */
62 private EClass transitionEClass = null;
63
64 /**
65 * <!-- begin-user-doc -->
66 * <!-- end-user-doc -->
67 * @generated
68 */
69 private EClass statechartEClass = null;
70
71 /**
72 * <!-- begin-user-doc -->
73 * <!-- end-user-doc -->
74 * @generated
75 */
76 private EClass entryEClass = null;
77
78 /**
79 * <!-- begin-user-doc -->
80 * <!-- end-user-doc -->
81 * @generated
82 */
83 private EClass stateEClass = null;
84
85 /**
86 * <!-- begin-user-doc -->
87 * <!-- end-user-doc -->
88 * @generated
89 */
90 private EClass regularStateEClass = null;
91
92 /**
93 * <!-- begin-user-doc -->
94 * <!-- end-user-doc -->
95 * @generated
96 */
97 private EClass compositeElementEClass = null;
98
99 /**
100 * <!-- begin-user-doc -->
101 * <!-- end-user-doc -->
102 * @generated
103 */
104 private EClass choiceEClass = null;
105
106 /**
107 * <!-- begin-user-doc -->
108 * <!-- end-user-doc -->
109 * @generated
110 */
111 private EClass exitEClass = null;
112
113 /**
114 * <!-- begin-user-doc -->
115 * <!-- end-user-doc -->
116 * @generated
117 */
118 private EClass finalStateEClass = null;
119
120 /**
121 * <!-- begin-user-doc -->
122 * <!-- end-user-doc -->
123 * @generated
124 */
125 private EEnum entryTypeEEnum = null;
126
127 /**
128 * Creates an instance of the model <b>Package</b>, registered with
129 * {@link org.eclipse.emf.ecore.EPackage.Registry EPackage.Registry} by the package
130 * package URI value.
131 * <p>Note: the correct way to create the package is via the static
132 * factory method {@link #init init()}, which also performs
133 * initialization of the package, or returns the registered package,
134 * if one already exists.
135 * <!-- begin-user-doc -->
136 * <!-- end-user-doc -->
137 * @see org.eclipse.emf.ecore.EPackage.Registry
138 * @see ca.mcgill.ecse.dslreasoner.vampire.yakindumm.YakindummPackage#eNS_URI
139 * @see #init()
140 * @generated
141 */
142 private YakindummPackageImpl() {
143 super(eNS_URI, YakindummFactory.eINSTANCE);
144 }
145
146 /**
147 * <!-- begin-user-doc -->
148 * <!-- end-user-doc -->
149 * @generated
150 */
151 private static boolean isInited = false;
152
153 /**
154 * Creates, registers, and initializes the <b>Package</b> for this model, and for any others upon which it depends.
155 *
156 * <p>This method is used to initialize {@link YakindummPackage#eINSTANCE} when that field is accessed.
157 * Clients should not invoke it directly. Instead, they should simply access that field to obtain the package.
158 * <!-- begin-user-doc -->
159 * <!-- end-user-doc -->
160 * @see #eNS_URI
161 * @see #createPackageContents()
162 * @see #initializePackageContents()
163 * @generated
164 */
165 public static YakindummPackage init() {
166 if (isInited) return (YakindummPackage)EPackage.Registry.INSTANCE.getEPackage(YakindummPackage.eNS_URI);
167
168 // Obtain or create and register package
169 Object registeredYakindummPackage = EPackage.Registry.INSTANCE.get(eNS_URI);
170 YakindummPackageImpl theYakindummPackage = registeredYakindummPackage instanceof YakindummPackageImpl ? (YakindummPackageImpl)registeredYakindummPackage : new YakindummPackageImpl();
171
172 isInited = true;
173
174 // Create package meta-data objects
175 theYakindummPackage.createPackageContents();
176
177 // Initialize created meta-data
178 theYakindummPackage.initializePackageContents();
179
180 // Mark meta-data to indicate it can't be changed
181 theYakindummPackage.freeze();
182
183 // Update the registry and return the package
184 EPackage.Registry.INSTANCE.put(YakindummPackage.eNS_URI, theYakindummPackage);
185 return theYakindummPackage;
186 }
187
188 /**
189 * <!-- begin-user-doc -->
190 * <!-- end-user-doc -->
191 * @generated
192 */
193 public EClass getPseudostate() {
194 return pseudostateEClass;
195 }
196
197 /**
198 * <!-- begin-user-doc -->
199 * <!-- end-user-doc -->
200 * @generated
201 */
202 public EClass getVertex() {
203 return vertexEClass;
204 }
205
206 /**
207 * <!-- begin-user-doc -->
208 * <!-- end-user-doc -->
209 * @generated
210 */
211 public EReference getVertex_IncomingTransitions() {
212 return (EReference)vertexEClass.getEStructuralFeatures().get(0);
213 }
214
215 /**
216 * <!-- begin-user-doc -->
217 * <!-- end-user-doc -->
218 * @generated
219 */
220 public EReference getVertex_OutgoingTransitions() {
221 return (EReference)vertexEClass.getEStructuralFeatures().get(1);
222 }
223
224 /**
225 * <!-- begin-user-doc -->
226 * <!-- end-user-doc -->
227 * @generated
228 */
229 public EClass getRegion() {
230 return regionEClass;
231 }
232
233 /**
234 * <!-- begin-user-doc -->
235 * <!-- end-user-doc -->
236 * @generated
237 */
238 public EReference getRegion_Vertices() {
239 return (EReference)regionEClass.getEStructuralFeatures().get(0);
240 }
241
242 /**
243 * <!-- begin-user-doc -->
244 * <!-- end-user-doc -->
245 * @generated
246 */
247 public EClass getTransition() {
248 return transitionEClass;
249 }
250
251 /**
252 * <!-- begin-user-doc -->
253 * <!-- end-user-doc -->
254 * @generated
255 */
256 public EReference getTransition_Target() {
257 return (EReference)transitionEClass.getEStructuralFeatures().get(0);
258 }
259
260 /**
261 * <!-- begin-user-doc -->
262 * <!-- end-user-doc -->
263 * @generated
264 */
265 public EReference getTransition_Source() {
266 return (EReference)transitionEClass.getEStructuralFeatures().get(1);
267 }
268
269 /**
270 * <!-- begin-user-doc -->
271 * <!-- end-user-doc -->
272 * @generated
273 */
274 public EClass getStatechart() {
275 return statechartEClass;
276 }
277
278 /**
279 * <!-- begin-user-doc -->
280 * <!-- end-user-doc -->
281 * @generated
282 */
283 public EClass getEntry() {
284 return entryEClass;
285 }
286
287 /**
288 * <!-- begin-user-doc -->
289 * <!-- end-user-doc -->
290 * @generated
291 */
292 public EAttribute getEntry_Type() {
293 return (EAttribute)entryEClass.getEStructuralFeatures().get(0);
294 }
295
296 /**
297 * <!-- begin-user-doc -->
298 * <!-- end-user-doc -->
299 * @generated
300 */
301 public EClass getState() {
302 return stateEClass;
303 }
304
305 /**
306 * <!-- begin-user-doc -->
307 * <!-- end-user-doc -->
308 * @generated
309 */
310 public EClass getRegularState() {
311 return regularStateEClass;
312 }
313
314 /**
315 * <!-- begin-user-doc -->
316 * <!-- end-user-doc -->
317 * @generated
318 */
319 public EClass getCompositeElement() {
320 return compositeElementEClass;
321 }
322
323 /**
324 * <!-- begin-user-doc -->
325 * <!-- end-user-doc -->
326 * @generated
327 */
328 public EReference getCompositeElement_Regions() {
329 return (EReference)compositeElementEClass.getEStructuralFeatures().get(0);
330 }
331
332 /**
333 * <!-- begin-user-doc -->
334 * <!-- end-user-doc -->
335 * @generated
336 */
337 public EClass getChoice() {
338 return choiceEClass;
339 }
340
341 /**
342 * <!-- begin-user-doc -->
343 * <!-- end-user-doc -->
344 * @generated
345 */
346 public EClass getExit() {
347 return exitEClass;
348 }
349
350 /**
351 * <!-- begin-user-doc -->
352 * <!-- end-user-doc -->
353 * @generated
354 */
355 public EClass getFinalState() {
356 return finalStateEClass;
357 }
358
359 /**
360 * <!-- begin-user-doc -->
361 * <!-- end-user-doc -->
362 * @generated
363 */
364 public EEnum getEntryType() {
365 return entryTypeEEnum;
366 }
367
368 /**
369 * <!-- begin-user-doc -->
370 * <!-- end-user-doc -->
371 * @generated
372 */
373 public YakindummFactory getYakindummFactory() {
374 return (YakindummFactory)getEFactoryInstance();
375 }
376
377 /**
378 * <!-- begin-user-doc -->
379 * <!-- end-user-doc -->
380 * @generated
381 */
382 private boolean isCreated = false;
383
384 /**
385 * Creates the meta-model objects for the package. This method is
386 * guarded to have no affect on any invocation but its first.
387 * <!-- begin-user-doc -->
388 * <!-- end-user-doc -->
389 * @generated
390 */
391 public void createPackageContents() {
392 if (isCreated) return;
393 isCreated = true;
394
395 // Create classes and their features
396 pseudostateEClass = createEClass(PSEUDOSTATE);
397
398 vertexEClass = createEClass(VERTEX);
399 createEReference(vertexEClass, VERTEX__INCOMING_TRANSITIONS);
400 createEReference(vertexEClass, VERTEX__OUTGOING_TRANSITIONS);
401
402 regionEClass = createEClass(REGION);
403 createEReference(regionEClass, REGION__VERTICES);
404
405 transitionEClass = createEClass(TRANSITION);
406 createEReference(transitionEClass, TRANSITION__TARGET);
407 createEReference(transitionEClass, TRANSITION__SOURCE);
408
409 statechartEClass = createEClass(STATECHART);
410
411 entryEClass = createEClass(ENTRY);
412 createEAttribute(entryEClass, ENTRY__TYPE);
413
414 stateEClass = createEClass(STATE);
415
416 regularStateEClass = createEClass(REGULAR_STATE);
417
418 compositeElementEClass = createEClass(COMPOSITE_ELEMENT);
419 createEReference(compositeElementEClass, COMPOSITE_ELEMENT__REGIONS);
420
421 choiceEClass = createEClass(CHOICE);
422
423 exitEClass = createEClass(EXIT);
424
425 finalStateEClass = createEClass(FINAL_STATE);
426
427 // Create enums
428 entryTypeEEnum = createEEnum(ENTRY_TYPE);
429 }
430
431 /**
432 * <!-- begin-user-doc -->
433 * <!-- end-user-doc -->
434 * @generated
435 */
436 private boolean isInitialized = false;
437
438 /**
439 * Complete the initialization of the package and its meta-model. This
440 * method is guarded to have no affect on any invocation but its first.
441 * <!-- begin-user-doc -->
442 * <!-- end-user-doc -->
443 * @generated
444 */
445 public void initializePackageContents() {
446 if (isInitialized) return;
447 isInitialized = true;
448
449 // Initialize package
450 setName(eNAME);
451 setNsPrefix(eNS_PREFIX);
452 setNsURI(eNS_URI);
453
454 // Create type parameters
455
456 // Set bounds for type parameters
457
458 // Add supertypes to classes
459 pseudostateEClass.getESuperTypes().add(this.getVertex());
460 statechartEClass.getESuperTypes().add(this.getCompositeElement());
461 entryEClass.getESuperTypes().add(this.getPseudostate());
462 stateEClass.getESuperTypes().add(this.getRegularState());
463 stateEClass.getESuperTypes().add(this.getCompositeElement());
464 regularStateEClass.getESuperTypes().add(this.getVertex());
465 choiceEClass.getESuperTypes().add(this.getPseudostate());
466 exitEClass.getESuperTypes().add(this.getPseudostate());
467 finalStateEClass.getESuperTypes().add(this.getRegularState());
468
469 // Initialize classes, features, and operations; add parameters
470 initEClass(pseudostateEClass, Pseudostate.class, "Pseudostate", IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
471
472 initEClass(vertexEClass, Vertex.class, "Vertex", IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
473 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);
474 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);
475
476 initEClass(regionEClass, Region.class, "Region", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
477 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);
478
479 initEClass(transitionEClass, Transition.class, "Transition", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
480 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);
481 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);
482
483 initEClass(statechartEClass, Statechart.class, "Statechart", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
484
485 initEClass(entryEClass, Entry.class, "Entry", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
486 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);
487
488 initEClass(stateEClass, State.class, "State", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
489
490 initEClass(regularStateEClass, RegularState.class, "RegularState", IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
491
492 initEClass(compositeElementEClass, CompositeElement.class, "CompositeElement", IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
493 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);
494
495 initEClass(choiceEClass, Choice.class, "Choice", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
496
497 initEClass(exitEClass, Exit.class, "Exit", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
498
499 initEClass(finalStateEClass, FinalState.class, "FinalState", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
500
501 // Initialize enums and add enum literals
502 initEEnum(entryTypeEEnum, EntryType.class, "EntryType");
503 addEEnumLiteral(entryTypeEEnum, EntryType.NORMAL);
504 addEEnumLiteral(entryTypeEEnum, EntryType.HISTORY);
505 addEEnumLiteral(entryTypeEEnum, EntryType.DEEP_HISTORY);
506
507 // Create resource
508 createResource(eNS_URI);
509 }
510
511} //YakindummPackageImpl
generated by cgit v1.2.3-54-g00ecf (git 2.45.2) at 2024-06-25 10:24:37 +0000