aboutsummaryrefslogtreecommitdiffstats
path: root/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/yakindumm/YakindummPackage.java
diff options
context:
space:
mode:
Diffstat (limited to 'Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/yakindumm/YakindummPackage.java')
-rw-r--r--Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/yakindumm/YakindummPackage.java1032
1 files changed, 1032 insertions, 0 deletions
diff --git a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/yakindumm/YakindummPackage.java b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/yakindumm/YakindummPackage.java
new file mode 100644
index 00000000..f70e851a
--- /dev/null
+++ b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/yakindumm/YakindummPackage.java
@@ -0,0 +1,1032 @@
1/**
2 */
3package ca.mcgill.ecse.dslreasoner.vampire.yakindumm;
4
5import org.eclipse.emf.ecore.EAttribute;
6import org.eclipse.emf.ecore.EClass;
7import org.eclipse.emf.ecore.EEnum;
8import org.eclipse.emf.ecore.EPackage;
9import org.eclipse.emf.ecore.EReference;
10
11/**
12 * <!-- begin-user-doc -->
13 * The <b>Package</b> for the model.
14 * It contains accessors for the meta objects to represent
15 * <ul>
16 * <li>each class,</li>
17 * <li>each feature of each class,</li>
18 * <li>each operation of each class,</li>
19 * <li>each enum,</li>
20 * <li>and each data type</li>
21 * </ul>
22 * <!-- end-user-doc -->
23 * @see ca.mcgill.ecse.dslreasoner.vampire.yakindumm.YakindummFactory
24 * @model kind="package"
25 * @generated
26 */
27public interface YakindummPackage extends EPackage {
28 /**
29 * The package name.
30 * <!-- begin-user-doc -->
31 * <!-- end-user-doc -->
32 * @generated
33 */
34 String eNAME = "yakindumm";
35
36 /**
37 * The package namespace URI.
38 * <!-- begin-user-doc -->
39 * <!-- end-user-doc -->
40 * @generated
41 */
42 String eNS_URI = "hu.bme.mit.inf.yakindumm";
43
44 /**
45 * The package namespace name.
46 * <!-- begin-user-doc -->
47 * <!-- end-user-doc -->
48 * @generated
49 */
50 String eNS_PREFIX = "ca.mcgill.ecse.yakindumm";
51
52 /**
53 * The singleton instance of the package.
54 * <!-- begin-user-doc -->
55 * <!-- end-user-doc -->
56 * @generated
57 */
58 YakindummPackage eINSTANCE = ca.mcgill.ecse.dslreasoner.vampire.yakindumm.impl.YakindummPackageImpl.init();
59
60 /**
61 * The meta object id for the '{@link ca.mcgill.ecse.dslreasoner.vampire.yakindumm.impl.VertexImpl <em>Vertex</em>}' class.
62 * <!-- begin-user-doc -->
63 * <!-- end-user-doc -->
64 * @see ca.mcgill.ecse.dslreasoner.vampire.yakindumm.impl.VertexImpl
65 * @see ca.mcgill.ecse.dslreasoner.vampire.yakindumm.impl.YakindummPackageImpl#getVertex()
66 * @generated
67 */
68 int VERTEX = 1;
69
70 /**
71 * The feature id for the '<em><b>Incoming Transitions</b></em>' reference list.
72 * <!-- begin-user-doc -->
73 * <!-- end-user-doc -->
74 * @generated
75 * @ordered
76 */
77 int VERTEX__INCOMING_TRANSITIONS = 0;
78
79 /**
80 * The feature id for the '<em><b>Outgoing Transitions</b></em>' containment reference list.
81 * <!-- begin-user-doc -->
82 * <!-- end-user-doc -->
83 * @generated
84 * @ordered
85 */
86 int VERTEX__OUTGOING_TRANSITIONS = 1;
87
88 /**
89 * The number of structural features of the '<em>Vertex</em>' class.
90 * <!-- begin-user-doc -->
91 * <!-- end-user-doc -->
92 * @generated
93 * @ordered
94 */
95 int VERTEX_FEATURE_COUNT = 2;
96
97 /**
98 * The number of operations of the '<em>Vertex</em>' class.
99 * <!-- begin-user-doc -->
100 * <!-- end-user-doc -->
101 * @generated
102 * @ordered
103 */
104 int VERTEX_OPERATION_COUNT = 0;
105
106 /**
107 * The meta object id for the '{@link ca.mcgill.ecse.dslreasoner.vampire.yakindumm.impl.PseudostateImpl <em>Pseudostate</em>}' class.
108 * <!-- begin-user-doc -->
109 * <!-- end-user-doc -->
110 * @see ca.mcgill.ecse.dslreasoner.vampire.yakindumm.impl.PseudostateImpl
111 * @see ca.mcgill.ecse.dslreasoner.vampire.yakindumm.impl.YakindummPackageImpl#getPseudostate()
112 * @generated
113 */
114 int PSEUDOSTATE = 0;
115
116 /**
117 * The feature id for the '<em><b>Incoming Transitions</b></em>' reference list.
118 * <!-- begin-user-doc -->
119 * <!-- end-user-doc -->
120 * @generated
121 * @ordered
122 */
123 int PSEUDOSTATE__INCOMING_TRANSITIONS = VERTEX__INCOMING_TRANSITIONS;
124
125 /**
126 * The feature id for the '<em><b>Outgoing Transitions</b></em>' containment reference list.
127 * <!-- begin-user-doc -->
128 * <!-- end-user-doc -->
129 * @generated
130 * @ordered
131 */
132 int PSEUDOSTATE__OUTGOING_TRANSITIONS = VERTEX__OUTGOING_TRANSITIONS;
133
134 /**
135 * The number of structural features of the '<em>Pseudostate</em>' class.
136 * <!-- begin-user-doc -->
137 * <!-- end-user-doc -->
138 * @generated
139 * @ordered
140 */
141 int PSEUDOSTATE_FEATURE_COUNT = VERTEX_FEATURE_COUNT + 0;
142
143 /**
144 * The number of operations of the '<em>Pseudostate</em>' class.
145 * <!-- begin-user-doc -->
146 * <!-- end-user-doc -->
147 * @generated
148 * @ordered
149 */
150 int PSEUDOSTATE_OPERATION_COUNT = VERTEX_OPERATION_COUNT + 0;
151
152 /**
153 * The meta object id for the '{@link ca.mcgill.ecse.dslreasoner.vampire.yakindumm.impl.RegionImpl <em>Region</em>}' class.
154 * <!-- begin-user-doc -->
155 * <!-- end-user-doc -->
156 * @see ca.mcgill.ecse.dslreasoner.vampire.yakindumm.impl.RegionImpl
157 * @see ca.mcgill.ecse.dslreasoner.vampire.yakindumm.impl.YakindummPackageImpl#getRegion()
158 * @generated
159 */
160 int REGION = 2;
161
162 /**
163 * The feature id for the '<em><b>Vertices</b></em>' containment reference list.
164 * <!-- begin-user-doc -->
165 * <!-- end-user-doc -->
166 * @generated
167 * @ordered
168 */
169 int REGION__VERTICES = 0;
170
171 /**
172 * The number of structural features of the '<em>Region</em>' class.
173 * <!-- begin-user-doc -->
174 * <!-- end-user-doc -->
175 * @generated
176 * @ordered
177 */
178 int REGION_FEATURE_COUNT = 1;
179
180 /**
181 * The number of operations of the '<em>Region</em>' class.
182 * <!-- begin-user-doc -->
183 * <!-- end-user-doc -->
184 * @generated
185 * @ordered
186 */
187 int REGION_OPERATION_COUNT = 0;
188
189 /**
190 * The meta object id for the '{@link ca.mcgill.ecse.dslreasoner.vampire.yakindumm.impl.TransitionImpl <em>Transition</em>}' class.
191 * <!-- begin-user-doc -->
192 * <!-- end-user-doc -->
193 * @see ca.mcgill.ecse.dslreasoner.vampire.yakindumm.impl.TransitionImpl
194 * @see ca.mcgill.ecse.dslreasoner.vampire.yakindumm.impl.YakindummPackageImpl#getTransition()
195 * @generated
196 */
197 int TRANSITION = 3;
198
199 /**
200 * The feature id for the '<em><b>Target</b></em>' reference.
201 * <!-- begin-user-doc -->
202 * <!-- end-user-doc -->
203 * @generated
204 * @ordered
205 */
206 int TRANSITION__TARGET = 0;
207
208 /**
209 * The feature id for the '<em><b>Source</b></em>' container reference.
210 * <!-- begin-user-doc -->
211 * <!-- end-user-doc -->
212 * @generated
213 * @ordered
214 */
215 int TRANSITION__SOURCE = 1;
216
217 /**
218 * The number of structural features of the '<em>Transition</em>' class.
219 * <!-- begin-user-doc -->
220 * <!-- end-user-doc -->
221 * @generated
222 * @ordered
223 */
224 int TRANSITION_FEATURE_COUNT = 2;
225
226 /**
227 * The number of operations of the '<em>Transition</em>' class.
228 * <!-- begin-user-doc -->
229 * <!-- end-user-doc -->
230 * @generated
231 * @ordered
232 */
233 int TRANSITION_OPERATION_COUNT = 0;
234
235 /**
236 * The meta object id for the '{@link ca.mcgill.ecse.dslreasoner.vampire.yakindumm.impl.CompositeElementImpl <em>Composite Element</em>}' class.
237 * <!-- begin-user-doc -->
238 * <!-- end-user-doc -->
239 * @see ca.mcgill.ecse.dslreasoner.vampire.yakindumm.impl.CompositeElementImpl
240 * @see ca.mcgill.ecse.dslreasoner.vampire.yakindumm.impl.YakindummPackageImpl#getCompositeElement()
241 * @generated
242 */
243 int COMPOSITE_ELEMENT = 8;
244
245 /**
246 * The feature id for the '<em><b>Regions</b></em>' containment reference list.
247 * <!-- begin-user-doc -->
248 * <!-- end-user-doc -->
249 * @generated
250 * @ordered
251 */
252 int COMPOSITE_ELEMENT__REGIONS = 0;
253
254 /**
255 * The number of structural features of the '<em>Composite Element</em>' class.
256 * <!-- begin-user-doc -->
257 * <!-- end-user-doc -->
258 * @generated
259 * @ordered
260 */
261 int COMPOSITE_ELEMENT_FEATURE_COUNT = 1;
262
263 /**
264 * The number of operations of the '<em>Composite Element</em>' class.
265 * <!-- begin-user-doc -->
266 * <!-- end-user-doc -->
267 * @generated
268 * @ordered
269 */
270 int COMPOSITE_ELEMENT_OPERATION_COUNT = 0;
271
272 /**
273 * The meta object id for the '{@link ca.mcgill.ecse.dslreasoner.vampire.yakindumm.impl.StatechartImpl <em>Statechart</em>}' class.
274 * <!-- begin-user-doc -->
275 * <!-- end-user-doc -->
276 * @see ca.mcgill.ecse.dslreasoner.vampire.yakindumm.impl.StatechartImpl
277 * @see ca.mcgill.ecse.dslreasoner.vampire.yakindumm.impl.YakindummPackageImpl#getStatechart()
278 * @generated
279 */
280 int STATECHART = 4;
281
282 /**
283 * The feature id for the '<em><b>Regions</b></em>' containment reference list.
284 * <!-- begin-user-doc -->
285 * <!-- end-user-doc -->
286 * @generated
287 * @ordered
288 */
289 int STATECHART__REGIONS = COMPOSITE_ELEMENT__REGIONS;
290
291 /**
292 * The number of structural features of the '<em>Statechart</em>' class.
293 * <!-- begin-user-doc -->
294 * <!-- end-user-doc -->
295 * @generated
296 * @ordered
297 */
298 int STATECHART_FEATURE_COUNT = COMPOSITE_ELEMENT_FEATURE_COUNT + 0;
299
300 /**
301 * The number of operations of the '<em>Statechart</em>' class.
302 * <!-- begin-user-doc -->
303 * <!-- end-user-doc -->
304 * @generated
305 * @ordered
306 */
307 int STATECHART_OPERATION_COUNT = COMPOSITE_ELEMENT_OPERATION_COUNT + 0;
308
309 /**
310 * The meta object id for the '{@link ca.mcgill.ecse.dslreasoner.vampire.yakindumm.impl.EntryImpl <em>Entry</em>}' class.
311 * <!-- begin-user-doc -->
312 * <!-- end-user-doc -->
313 * @see ca.mcgill.ecse.dslreasoner.vampire.yakindumm.impl.EntryImpl
314 * @see ca.mcgill.ecse.dslreasoner.vampire.yakindumm.impl.YakindummPackageImpl#getEntry()
315 * @generated
316 */
317 int ENTRY = 5;
318
319 /**
320 * The feature id for the '<em><b>Incoming Transitions</b></em>' reference list.
321 * <!-- begin-user-doc -->
322 * <!-- end-user-doc -->
323 * @generated
324 * @ordered
325 */
326 int ENTRY__INCOMING_TRANSITIONS = PSEUDOSTATE__INCOMING_TRANSITIONS;
327
328 /**
329 * The feature id for the '<em><b>Outgoing Transitions</b></em>' containment reference list.
330 * <!-- begin-user-doc -->
331 * <!-- end-user-doc -->
332 * @generated
333 * @ordered
334 */
335 int ENTRY__OUTGOING_TRANSITIONS = PSEUDOSTATE__OUTGOING_TRANSITIONS;
336
337 /**
338 * The feature id for the '<em><b>Type</b></em>' attribute.
339 * <!-- begin-user-doc -->
340 * <!-- end-user-doc -->
341 * @generated
342 * @ordered
343 */
344 int ENTRY__TYPE = PSEUDOSTATE_FEATURE_COUNT + 0;
345
346 /**
347 * The number of structural features of the '<em>Entry</em>' class.
348 * <!-- begin-user-doc -->
349 * <!-- end-user-doc -->
350 * @generated
351 * @ordered
352 */
353 int ENTRY_FEATURE_COUNT = PSEUDOSTATE_FEATURE_COUNT + 1;
354
355 /**
356 * The number of operations of the '<em>Entry</em>' class.
357 * <!-- begin-user-doc -->
358 * <!-- end-user-doc -->
359 * @generated
360 * @ordered
361 */
362 int ENTRY_OPERATION_COUNT = PSEUDOSTATE_OPERATION_COUNT + 0;
363
364 /**
365 * The meta object id for the '{@link ca.mcgill.ecse.dslreasoner.vampire.yakindumm.impl.RegularStateImpl <em>Regular State</em>}' class.
366 * <!-- begin-user-doc -->
367 * <!-- end-user-doc -->
368 * @see ca.mcgill.ecse.dslreasoner.vampire.yakindumm.impl.RegularStateImpl
369 * @see ca.mcgill.ecse.dslreasoner.vampire.yakindumm.impl.YakindummPackageImpl#getRegularState()
370 * @generated
371 */
372 int REGULAR_STATE = 7;
373
374 /**
375 * The feature id for the '<em><b>Incoming Transitions</b></em>' reference list.
376 * <!-- begin-user-doc -->
377 * <!-- end-user-doc -->
378 * @generated
379 * @ordered
380 */
381 int REGULAR_STATE__INCOMING_TRANSITIONS = VERTEX__INCOMING_TRANSITIONS;
382
383 /**
384 * The feature id for the '<em><b>Outgoing Transitions</b></em>' containment reference list.
385 * <!-- begin-user-doc -->
386 * <!-- end-user-doc -->
387 * @generated
388 * @ordered
389 */
390 int REGULAR_STATE__OUTGOING_TRANSITIONS = VERTEX__OUTGOING_TRANSITIONS;
391
392 /**
393 * The number of structural features of the '<em>Regular State</em>' class.
394 * <!-- begin-user-doc -->
395 * <!-- end-user-doc -->
396 * @generated
397 * @ordered
398 */
399 int REGULAR_STATE_FEATURE_COUNT = VERTEX_FEATURE_COUNT + 0;
400
401 /**
402 * The number of operations of the '<em>Regular State</em>' class.
403 * <!-- begin-user-doc -->
404 * <!-- end-user-doc -->
405 * @generated
406 * @ordered
407 */
408 int REGULAR_STATE_OPERATION_COUNT = VERTEX_OPERATION_COUNT + 0;
409
410 /**
411 * The meta object id for the '{@link ca.mcgill.ecse.dslreasoner.vampire.yakindumm.impl.StateImpl <em>State</em>}' class.
412 * <!-- begin-user-doc -->
413 * <!-- end-user-doc -->
414 * @see ca.mcgill.ecse.dslreasoner.vampire.yakindumm.impl.StateImpl
415 * @see ca.mcgill.ecse.dslreasoner.vampire.yakindumm.impl.YakindummPackageImpl#getState()
416 * @generated
417 */
418 int STATE = 6;
419
420 /**
421 * The feature id for the '<em><b>Incoming Transitions</b></em>' reference list.
422 * <!-- begin-user-doc -->
423 * <!-- end-user-doc -->
424 * @generated
425 * @ordered
426 */
427 int STATE__INCOMING_TRANSITIONS = REGULAR_STATE__INCOMING_TRANSITIONS;
428
429 /**
430 * The feature id for the '<em><b>Outgoing Transitions</b></em>' containment reference list.
431 * <!-- begin-user-doc -->
432 * <!-- end-user-doc -->
433 * @generated
434 * @ordered
435 */
436 int STATE__OUTGOING_TRANSITIONS = REGULAR_STATE__OUTGOING_TRANSITIONS;
437
438 /**
439 * The feature id for the '<em><b>Regions</b></em>' containment reference list.
440 * <!-- begin-user-doc -->
441 * <!-- end-user-doc -->
442 * @generated
443 * @ordered
444 */
445 int STATE__REGIONS = REGULAR_STATE_FEATURE_COUNT + 0;
446
447 /**
448 * The number of structural features of the '<em>State</em>' class.
449 * <!-- begin-user-doc -->
450 * <!-- end-user-doc -->
451 * @generated
452 * @ordered
453 */
454 int STATE_FEATURE_COUNT = REGULAR_STATE_FEATURE_COUNT + 1;
455
456 /**
457 * The number of operations of the '<em>State</em>' class.
458 * <!-- begin-user-doc -->
459 * <!-- end-user-doc -->
460 * @generated
461 * @ordered
462 */
463 int STATE_OPERATION_COUNT = REGULAR_STATE_OPERATION_COUNT + 0;
464
465 /**
466 * The meta object id for the '{@link ca.mcgill.ecse.dslreasoner.vampire.yakindumm.impl.ChoiceImpl <em>Choice</em>}' class.
467 * <!-- begin-user-doc -->
468 * <!-- end-user-doc -->
469 * @see ca.mcgill.ecse.dslreasoner.vampire.yakindumm.impl.ChoiceImpl
470 * @see ca.mcgill.ecse.dslreasoner.vampire.yakindumm.impl.YakindummPackageImpl#getChoice()
471 * @generated
472 */
473 int CHOICE = 9;
474
475 /**
476 * The feature id for the '<em><b>Incoming Transitions</b></em>' reference list.
477 * <!-- begin-user-doc -->
478 * <!-- end-user-doc -->
479 * @generated
480 * @ordered
481 */
482 int CHOICE__INCOMING_TRANSITIONS = PSEUDOSTATE__INCOMING_TRANSITIONS;
483
484 /**
485 * The feature id for the '<em><b>Outgoing Transitions</b></em>' containment reference list.
486 * <!-- begin-user-doc -->
487 * <!-- end-user-doc -->
488 * @generated
489 * @ordered
490 */
491 int CHOICE__OUTGOING_TRANSITIONS = PSEUDOSTATE__OUTGOING_TRANSITIONS;
492
493 /**
494 * The number of structural features of the '<em>Choice</em>' class.
495 * <!-- begin-user-doc -->
496 * <!-- end-user-doc -->
497 * @generated
498 * @ordered
499 */
500 int CHOICE_FEATURE_COUNT = PSEUDOSTATE_FEATURE_COUNT + 0;
501
502 /**
503 * The number of operations of the '<em>Choice</em>' class.
504 * <!-- begin-user-doc -->
505 * <!-- end-user-doc -->
506 * @generated
507 * @ordered
508 */
509 int CHOICE_OPERATION_COUNT = PSEUDOSTATE_OPERATION_COUNT + 0;
510
511 /**
512 * The meta object id for the '{@link ca.mcgill.ecse.dslreasoner.vampire.yakindumm.impl.ExitImpl <em>Exit</em>}' class.
513 * <!-- begin-user-doc -->
514 * <!-- end-user-doc -->
515 * @see ca.mcgill.ecse.dslreasoner.vampire.yakindumm.impl.ExitImpl
516 * @see ca.mcgill.ecse.dslreasoner.vampire.yakindumm.impl.YakindummPackageImpl#getExit()
517 * @generated
518 */
519 int EXIT = 10;
520
521 /**
522 * The feature id for the '<em><b>Incoming Transitions</b></em>' reference list.
523 * <!-- begin-user-doc -->
524 * <!-- end-user-doc -->
525 * @generated
526 * @ordered
527 */
528 int EXIT__INCOMING_TRANSITIONS = PSEUDOSTATE__INCOMING_TRANSITIONS;
529
530 /**
531 * The feature id for the '<em><b>Outgoing Transitions</b></em>' containment reference list.
532 * <!-- begin-user-doc -->
533 * <!-- end-user-doc -->
534 * @generated
535 * @ordered
536 */
537 int EXIT__OUTGOING_TRANSITIONS = PSEUDOSTATE__OUTGOING_TRANSITIONS;
538
539 /**
540 * The number of structural features of the '<em>Exit</em>' class.
541 * <!-- begin-user-doc -->
542 * <!-- end-user-doc -->
543 * @generated
544 * @ordered
545 */
546 int EXIT_FEATURE_COUNT = PSEUDOSTATE_FEATURE_COUNT + 0;
547
548 /**
549 * The number of operations of the '<em>Exit</em>' class.
550 * <!-- begin-user-doc -->
551 * <!-- end-user-doc -->
552 * @generated
553 * @ordered
554 */
555 int EXIT_OPERATION_COUNT = PSEUDOSTATE_OPERATION_COUNT + 0;
556
557 /**
558 * The meta object id for the '{@link ca.mcgill.ecse.dslreasoner.vampire.yakindumm.impl.FinalStateImpl <em>Final State</em>}' class.
559 * <!-- begin-user-doc -->
560 * <!-- end-user-doc -->
561 * @see ca.mcgill.ecse.dslreasoner.vampire.yakindumm.impl.FinalStateImpl
562 * @see ca.mcgill.ecse.dslreasoner.vampire.yakindumm.impl.YakindummPackageImpl#getFinalState()
563 * @generated
564 */
565 int FINAL_STATE = 11;
566
567 /**
568 * The feature id for the '<em><b>Incoming Transitions</b></em>' reference list.
569 * <!-- begin-user-doc -->
570 * <!-- end-user-doc -->
571 * @generated
572 * @ordered
573 */
574 int FINAL_STATE__INCOMING_TRANSITIONS = REGULAR_STATE__INCOMING_TRANSITIONS;
575
576 /**
577 * The feature id for the '<em><b>Outgoing Transitions</b></em>' containment reference list.
578 * <!-- begin-user-doc -->
579 * <!-- end-user-doc -->
580 * @generated
581 * @ordered
582 */
583 int FINAL_STATE__OUTGOING_TRANSITIONS = REGULAR_STATE__OUTGOING_TRANSITIONS;
584
585 /**
586 * The number of structural features of the '<em>Final State</em>' class.
587 * <!-- begin-user-doc -->
588 * <!-- end-user-doc -->
589 * @generated
590 * @ordered
591 */
592 int FINAL_STATE_FEATURE_COUNT = REGULAR_STATE_FEATURE_COUNT + 0;
593
594 /**
595 * The number of operations of the '<em>Final State</em>' class.
596 * <!-- begin-user-doc -->
597 * <!-- end-user-doc -->
598 * @generated
599 * @ordered
600 */
601 int FINAL_STATE_OPERATION_COUNT = REGULAR_STATE_OPERATION_COUNT + 0;
602
603 /**
604 * The meta object id for the '{@link ca.mcgill.ecse.dslreasoner.vampire.yakindumm.EntryType <em>Entry Type</em>}' enum.
605 * <!-- begin-user-doc -->
606 * <!-- end-user-doc -->
607 * @see ca.mcgill.ecse.dslreasoner.vampire.yakindumm.EntryType
608 * @see ca.mcgill.ecse.dslreasoner.vampire.yakindumm.impl.YakindummPackageImpl#getEntryType()
609 * @generated
610 */
611 int ENTRY_TYPE = 12;
612
613
614 /**
615 * Returns the meta object for class '{@link ca.mcgill.ecse.dslreasoner.vampire.yakindumm.Pseudostate <em>Pseudostate</em>}'.
616 * <!-- begin-user-doc -->
617 * <!-- end-user-doc -->
618 * @return the meta object for class '<em>Pseudostate</em>'.
619 * @see ca.mcgill.ecse.dslreasoner.vampire.yakindumm.Pseudostate
620 * @generated
621 */
622 EClass getPseudostate();
623
624 /**
625 * Returns the meta object for class '{@link ca.mcgill.ecse.dslreasoner.vampire.yakindumm.Vertex <em>Vertex</em>}'.
626 * <!-- begin-user-doc -->
627 * <!-- end-user-doc -->
628 * @return the meta object for class '<em>Vertex</em>'.
629 * @see ca.mcgill.ecse.dslreasoner.vampire.yakindumm.Vertex
630 * @generated
631 */
632 EClass getVertex();
633
634 /**
635 * Returns the meta object for the reference list '{@link ca.mcgill.ecse.dslreasoner.vampire.yakindumm.Vertex#getIncomingTransitions <em>Incoming Transitions</em>}'.
636 * <!-- begin-user-doc -->
637 * <!-- end-user-doc -->
638 * @return the meta object for the reference list '<em>Incoming Transitions</em>'.
639 * @see ca.mcgill.ecse.dslreasoner.vampire.yakindumm.Vertex#getIncomingTransitions()
640 * @see #getVertex()
641 * @generated
642 */
643 EReference getVertex_IncomingTransitions();
644
645 /**
646 * Returns the meta object for the containment reference list '{@link ca.mcgill.ecse.dslreasoner.vampire.yakindumm.Vertex#getOutgoingTransitions <em>Outgoing Transitions</em>}'.
647 * <!-- begin-user-doc -->
648 * <!-- end-user-doc -->
649 * @return the meta object for the containment reference list '<em>Outgoing Transitions</em>'.
650 * @see ca.mcgill.ecse.dslreasoner.vampire.yakindumm.Vertex#getOutgoingTransitions()
651 * @see #getVertex()
652 * @generated
653 */
654 EReference getVertex_OutgoingTransitions();
655
656 /**
657 * Returns the meta object for class '{@link ca.mcgill.ecse.dslreasoner.vampire.yakindumm.Region <em>Region</em>}'.
658 * <!-- begin-user-doc -->
659 * <!-- end-user-doc -->
660 * @return the meta object for class '<em>Region</em>'.
661 * @see ca.mcgill.ecse.dslreasoner.vampire.yakindumm.Region
662 * @generated
663 */
664 EClass getRegion();
665
666 /**
667 * Returns the meta object for the containment reference list '{@link ca.mcgill.ecse.dslreasoner.vampire.yakindumm.Region#getVertices <em>Vertices</em>}'.
668 * <!-- begin-user-doc -->
669 * <!-- end-user-doc -->
670 * @return the meta object for the containment reference list '<em>Vertices</em>'.
671 * @see ca.mcgill.ecse.dslreasoner.vampire.yakindumm.Region#getVertices()
672 * @see #getRegion()
673 * @generated
674 */
675 EReference getRegion_Vertices();
676
677 /**
678 * Returns the meta object for class '{@link ca.mcgill.ecse.dslreasoner.vampire.yakindumm.Transition <em>Transition</em>}'.
679 * <!-- begin-user-doc -->
680 * <!-- end-user-doc -->
681 * @return the meta object for class '<em>Transition</em>'.
682 * @see ca.mcgill.ecse.dslreasoner.vampire.yakindumm.Transition
683 * @generated
684 */
685 EClass getTransition();
686
687 /**
688 * Returns the meta object for the reference '{@link ca.mcgill.ecse.dslreasoner.vampire.yakindumm.Transition#getTarget <em>Target</em>}'.
689 * <!-- begin-user-doc -->
690 * <!-- end-user-doc -->
691 * @return the meta object for the reference '<em>Target</em>'.
692 * @see ca.mcgill.ecse.dslreasoner.vampire.yakindumm.Transition#getTarget()
693 * @see #getTransition()
694 * @generated
695 */
696 EReference getTransition_Target();
697
698 /**
699 * Returns the meta object for the container reference '{@link ca.mcgill.ecse.dslreasoner.vampire.yakindumm.Transition#getSource <em>Source</em>}'.
700 * <!-- begin-user-doc -->
701 * <!-- end-user-doc -->
702 * @return the meta object for the container reference '<em>Source</em>'.
703 * @see ca.mcgill.ecse.dslreasoner.vampire.yakindumm.Transition#getSource()
704 * @see #getTransition()
705 * @generated
706 */
707 EReference getTransition_Source();
708
709 /**
710 * Returns the meta object for class '{@link ca.mcgill.ecse.dslreasoner.vampire.yakindumm.Statechart <em>Statechart</em>}'.
711 * <!-- begin-user-doc -->
712 * <!-- end-user-doc -->
713 * @return the meta object for class '<em>Statechart</em>'.
714 * @see ca.mcgill.ecse.dslreasoner.vampire.yakindumm.Statechart
715 * @generated
716 */
717 EClass getStatechart();
718
719 /**
720 * Returns the meta object for class '{@link ca.mcgill.ecse.dslreasoner.vampire.yakindumm.Entry <em>Entry</em>}'.
721 * <!-- begin-user-doc -->
722 * <!-- end-user-doc -->
723 * @return the meta object for class '<em>Entry</em>'.
724 * @see ca.mcgill.ecse.dslreasoner.vampire.yakindumm.Entry
725 * @generated
726 */
727 EClass getEntry();
728
729 /**
730 * Returns the meta object for the attribute '{@link ca.mcgill.ecse.dslreasoner.vampire.yakindumm.Entry#getType <em>Type</em>}'.
731 * <!-- begin-user-doc -->
732 * <!-- end-user-doc -->
733 * @return the meta object for the attribute '<em>Type</em>'.
734 * @see ca.mcgill.ecse.dslreasoner.vampire.yakindumm.Entry#getType()
735 * @see #getEntry()
736 * @generated
737 */
738 EAttribute getEntry_Type();
739
740 /**
741 * Returns the meta object for class '{@link ca.mcgill.ecse.dslreasoner.vampire.yakindumm.State <em>State</em>}'.
742 * <!-- begin-user-doc -->
743 * <!-- end-user-doc -->
744 * @return the meta object for class '<em>State</em>'.
745 * @see ca.mcgill.ecse.dslreasoner.vampire.yakindumm.State
746 * @generated
747 */
748 EClass getState();
749
750 /**
751 * Returns the meta object for class '{@link ca.mcgill.ecse.dslreasoner.vampire.yakindumm.RegularState <em>Regular State</em>}'.
752 * <!-- begin-user-doc -->
753 * <!-- end-user-doc -->
754 * @return the meta object for class '<em>Regular State</em>'.
755 * @see ca.mcgill.ecse.dslreasoner.vampire.yakindumm.RegularState
756 * @generated
757 */
758 EClass getRegularState();
759
760 /**
761 * Returns the meta object for class '{@link ca.mcgill.ecse.dslreasoner.vampire.yakindumm.CompositeElement <em>Composite Element</em>}'.
762 * <!-- begin-user-doc -->
763 * <!-- end-user-doc -->
764 * @return the meta object for class '<em>Composite Element</em>'.
765 * @see ca.mcgill.ecse.dslreasoner.vampire.yakindumm.CompositeElement
766 * @generated
767 */
768 EClass getCompositeElement();
769
770 /**
771 * Returns the meta object for the containment reference list '{@link ca.mcgill.ecse.dslreasoner.vampire.yakindumm.CompositeElement#getRegions <em>Regions</em>}'.
772 * <!-- begin-user-doc -->
773 * <!-- end-user-doc -->
774 * @return the meta object for the containment reference list '<em>Regions</em>'.
775 * @see ca.mcgill.ecse.dslreasoner.vampire.yakindumm.CompositeElement#getRegions()
776 * @see #getCompositeElement()
777 * @generated
778 */
779 EReference getCompositeElement_Regions();
780
781 /**
782 * Returns the meta object for class '{@link ca.mcgill.ecse.dslreasoner.vampire.yakindumm.Choice <em>Choice</em>}'.
783 * <!-- begin-user-doc -->
784 * <!-- end-user-doc -->
785 * @return the meta object for class '<em>Choice</em>'.
786 * @see ca.mcgill.ecse.dslreasoner.vampire.yakindumm.Choice
787 * @generated
788 */
789 EClass getChoice();
790
791 /**
792 * Returns the meta object for class '{@link ca.mcgill.ecse.dslreasoner.vampire.yakindumm.Exit <em>Exit</em>}'.
793 * <!-- begin-user-doc -->
794 * <!-- end-user-doc -->
795 * @return the meta object for class '<em>Exit</em>'.
796 * @see ca.mcgill.ecse.dslreasoner.vampire.yakindumm.Exit
797 * @generated
798 */
799 EClass getExit();
800
801 /**
802 * Returns the meta object for class '{@link ca.mcgill.ecse.dslreasoner.vampire.yakindumm.FinalState <em>Final State</em>}'.
803 * <!-- begin-user-doc -->
804 * <!-- end-user-doc -->
805 * @return the meta object for class '<em>Final State</em>'.
806 * @see ca.mcgill.ecse.dslreasoner.vampire.yakindumm.FinalState
807 * @generated
808 */
809 EClass getFinalState();
810
811 /**
812 * Returns the meta object for enum '{@link ca.mcgill.ecse.dslreasoner.vampire.yakindumm.EntryType <em>Entry Type</em>}'.
813 * <!-- begin-user-doc -->
814 * <!-- end-user-doc -->
815 * @return the meta object for enum '<em>Entry Type</em>'.
816 * @see ca.mcgill.ecse.dslreasoner.vampire.yakindumm.EntryType
817 * @generated
818 */
819 EEnum getEntryType();
820
821 /**
822 * Returns the factory that creates the instances of the model.
823 * <!-- begin-user-doc -->
824 * <!-- end-user-doc -->
825 * @return the factory that creates the instances of the model.
826 * @generated
827 */
828 YakindummFactory getYakindummFactory();
829
830 /**
831 * <!-- begin-user-doc -->
832 * Defines literals for the meta objects that represent
833 * <ul>
834 * <li>each class,</li>
835 * <li>each feature of each class,</li>
836 * <li>each operation of each class,</li>
837 * <li>each enum,</li>
838 * <li>and each data type</li>
839 * </ul>
840 * <!-- end-user-doc -->
841 * @generated
842 */
843 interface Literals {
844 /**
845 * The meta object literal for the '{@link ca.mcgill.ecse.dslreasoner.vampire.yakindumm.impl.PseudostateImpl <em>Pseudostate</em>}' class.
846 * <!-- begin-user-doc -->
847 * <!-- end-user-doc -->
848 * @see ca.mcgill.ecse.dslreasoner.vampire.yakindumm.impl.PseudostateImpl
849 * @see ca.mcgill.ecse.dslreasoner.vampire.yakindumm.impl.YakindummPackageImpl#getPseudostate()
850 * @generated
851 */
852 EClass PSEUDOSTATE = eINSTANCE.getPseudostate();
853
854 /**
855 * The meta object literal for the '{@link ca.mcgill.ecse.dslreasoner.vampire.yakindumm.impl.VertexImpl <em>Vertex</em>}' class.
856 * <!-- begin-user-doc -->
857 * <!-- end-user-doc -->
858 * @see ca.mcgill.ecse.dslreasoner.vampire.yakindumm.impl.VertexImpl
859 * @see ca.mcgill.ecse.dslreasoner.vampire.yakindumm.impl.YakindummPackageImpl#getVertex()
860 * @generated
861 */
862 EClass VERTEX = eINSTANCE.getVertex();
863
864 /**
865 * The meta object literal for the '<em><b>Incoming Transitions</b></em>' reference list feature.
866 * <!-- begin-user-doc -->
867 * <!-- end-user-doc -->
868 * @generated
869 */
870 EReference VERTEX__INCOMING_TRANSITIONS = eINSTANCE.getVertex_IncomingTransitions();
871
872 /**
873 * The meta object literal for the '<em><b>Outgoing Transitions</b></em>' containment reference list feature.
874 * <!-- begin-user-doc -->
875 * <!-- end-user-doc -->
876 * @generated
877 */
878 EReference VERTEX__OUTGOING_TRANSITIONS = eINSTANCE.getVertex_OutgoingTransitions();
879
880 /**
881 * The meta object literal for the '{@link ca.mcgill.ecse.dslreasoner.vampire.yakindumm.impl.RegionImpl <em>Region</em>}' class.
882 * <!-- begin-user-doc -->
883 * <!-- end-user-doc -->
884 * @see ca.mcgill.ecse.dslreasoner.vampire.yakindumm.impl.RegionImpl
885 * @see ca.mcgill.ecse.dslreasoner.vampire.yakindumm.impl.YakindummPackageImpl#getRegion()
886 * @generated
887 */
888 EClass REGION = eINSTANCE.getRegion();
889
890 /**
891 * The meta object literal for the '<em><b>Vertices</b></em>' containment reference list feature.
892 * <!-- begin-user-doc -->
893 * <!-- end-user-doc -->
894 * @generated
895 */
896 EReference REGION__VERTICES = eINSTANCE.getRegion_Vertices();
897
898 /**
899 * The meta object literal for the '{@link ca.mcgill.ecse.dslreasoner.vampire.yakindumm.impl.TransitionImpl <em>Transition</em>}' class.
900 * <!-- begin-user-doc -->
901 * <!-- end-user-doc -->
902 * @see ca.mcgill.ecse.dslreasoner.vampire.yakindumm.impl.TransitionImpl
903 * @see ca.mcgill.ecse.dslreasoner.vampire.yakindumm.impl.YakindummPackageImpl#getTransition()
904 * @generated
905 */
906 EClass TRANSITION = eINSTANCE.getTransition();
907
908 /**
909 * The meta object literal for the '<em><b>Target</b></em>' reference feature.
910 * <!-- begin-user-doc -->
911 * <!-- end-user-doc -->
912 * @generated
913 */
914 EReference TRANSITION__TARGET = eINSTANCE.getTransition_Target();
915
916 /**
917 * The meta object literal for the '<em><b>Source</b></em>' container reference feature.
918 * <!-- begin-user-doc -->
919 * <!-- end-user-doc -->
920 * @generated
921 */
922 EReference TRANSITION__SOURCE = eINSTANCE.getTransition_Source();
923
924 /**
925 * The meta object literal for the '{@link ca.mcgill.ecse.dslreasoner.vampire.yakindumm.impl.StatechartImpl <em>Statechart</em>}' class.
926 * <!-- begin-user-doc -->
927 * <!-- end-user-doc -->
928 * @see ca.mcgill.ecse.dslreasoner.vampire.yakindumm.impl.StatechartImpl
929 * @see ca.mcgill.ecse.dslreasoner.vampire.yakindumm.impl.YakindummPackageImpl#getStatechart()
930 * @generated
931 */
932 EClass STATECHART = eINSTANCE.getStatechart();
933
934 /**
935 * The meta object literal for the '{@link ca.mcgill.ecse.dslreasoner.vampire.yakindumm.impl.EntryImpl <em>Entry</em>}' class.
936 * <!-- begin-user-doc -->
937 * <!-- end-user-doc -->
938 * @see ca.mcgill.ecse.dslreasoner.vampire.yakindumm.impl.EntryImpl
939 * @see ca.mcgill.ecse.dslreasoner.vampire.yakindumm.impl.YakindummPackageImpl#getEntry()
940 * @generated
941 */
942 EClass ENTRY = eINSTANCE.getEntry();
943
944 /**
945 * The meta object literal for the '<em><b>Type</b></em>' attribute feature.
946 * <!-- begin-user-doc -->
947 * <!-- end-user-doc -->
948 * @generated
949 */
950 EAttribute ENTRY__TYPE = eINSTANCE.getEntry_Type();
951
952 /**
953 * The meta object literal for the '{@link ca.mcgill.ecse.dslreasoner.vampire.yakindumm.impl.StateImpl <em>State</em>}' class.
954 * <!-- begin-user-doc -->
955 * <!-- end-user-doc -->
956 * @see ca.mcgill.ecse.dslreasoner.vampire.yakindumm.impl.StateImpl
957 * @see ca.mcgill.ecse.dslreasoner.vampire.yakindumm.impl.YakindummPackageImpl#getState()
958 * @generated
959 */
960 EClass STATE = eINSTANCE.getState();
961
962 /**
963 * The meta object literal for the '{@link ca.mcgill.ecse.dslreasoner.vampire.yakindumm.impl.RegularStateImpl <em>Regular State</em>}' class.
964 * <!-- begin-user-doc -->
965 * <!-- end-user-doc -->
966 * @see ca.mcgill.ecse.dslreasoner.vampire.yakindumm.impl.RegularStateImpl
967 * @see ca.mcgill.ecse.dslreasoner.vampire.yakindumm.impl.YakindummPackageImpl#getRegularState()
968 * @generated
969 */
970 EClass REGULAR_STATE = eINSTANCE.getRegularState();
971
972 /**
973 * The meta object literal for the '{@link ca.mcgill.ecse.dslreasoner.vampire.yakindumm.impl.CompositeElementImpl <em>Composite Element</em>}' class.
974 * <!-- begin-user-doc -->
975 * <!-- end-user-doc -->
976 * @see ca.mcgill.ecse.dslreasoner.vampire.yakindumm.impl.CompositeElementImpl
977 * @see ca.mcgill.ecse.dslreasoner.vampire.yakindumm.impl.YakindummPackageImpl#getCompositeElement()
978 * @generated
979 */
980 EClass COMPOSITE_ELEMENT = eINSTANCE.getCompositeElement();
981
982 /**
983 * The meta object literal for the '<em><b>Regions</b></em>' containment reference list feature.
984 * <!-- begin-user-doc -->
985 * <!-- end-user-doc -->
986 * @generated
987 */
988 EReference COMPOSITE_ELEMENT__REGIONS = eINSTANCE.getCompositeElement_Regions();
989
990 /**
991 * The meta object literal for the '{@link ca.mcgill.ecse.dslreasoner.vampire.yakindumm.impl.ChoiceImpl <em>Choice</em>}' class.
992 * <!-- begin-user-doc -->
993 * <!-- end-user-doc -->
994 * @see ca.mcgill.ecse.dslreasoner.vampire.yakindumm.impl.ChoiceImpl
995 * @see ca.mcgill.ecse.dslreasoner.vampire.yakindumm.impl.YakindummPackageImpl#getChoice()
996 * @generated
997 */
998 EClass CHOICE = eINSTANCE.getChoice();
999
1000 /**
1001 * The meta object literal for the '{@link ca.mcgill.ecse.dslreasoner.vampire.yakindumm.impl.ExitImpl <em>Exit</em>}' class.
1002 * <!-- begin-user-doc -->
1003 * <!-- end-user-doc -->
1004 * @see ca.mcgill.ecse.dslreasoner.vampire.yakindumm.impl.ExitImpl
1005 * @see ca.mcgill.ecse.dslreasoner.vampire.yakindumm.impl.YakindummPackageImpl#getExit()
1006 * @generated
1007 */
1008 EClass EXIT = eINSTANCE.getExit();
1009
1010 /**
1011 * The meta object literal for the '{@link ca.mcgill.ecse.dslreasoner.vampire.yakindumm.impl.FinalStateImpl <em>Final State</em>}' class.
1012 * <!-- begin-user-doc -->
1013 * <!-- end-user-doc -->
1014 * @see ca.mcgill.ecse.dslreasoner.vampire.yakindumm.impl.FinalStateImpl
1015 * @see ca.mcgill.ecse.dslreasoner.vampire.yakindumm.impl.YakindummPackageImpl#getFinalState()
1016 * @generated
1017 */
1018 EClass FINAL_STATE = eINSTANCE.getFinalState();
1019
1020 /**
1021 * The meta object literal for the '{@link ca.mcgill.ecse.dslreasoner.vampire.yakindumm.EntryType <em>Entry Type</em>}' enum.
1022 * <!-- begin-user-doc -->
1023 * <!-- end-user-doc -->
1024 * @see ca.mcgill.ecse.dslreasoner.vampire.yakindumm.EntryType
1025 * @see ca.mcgill.ecse.dslreasoner.vampire.yakindumm.impl.YakindummPackageImpl#getEntryType()
1026 * @generated
1027 */
1028 EEnum ENTRY_TYPE = eINSTANCE.getEntryType();
1029
1030 }
1031
1032} //YakindummPackage
generated by cgit v1.2.3-54-g00ecf (git 2.45.2) at 2024-06-17 16:42:53 +0000