aboutsummaryrefslogtreecommitdiffstats
path: root/Domains/ca.mcgill.rtgmrt.example.modes3/ecore-gen/modes3/Modes3Package.java
diff options
context:
space:
mode:
authorLibravatar Kristóf Marussy <marussy@mit.bme.hu>2020-08-06 16:07:16 +0200
committerLibravatar Kristóf Marussy <marussy@mit.bme.hu>2020-08-06 16:07:16 +0200
commita620f07468780778bd55dcffc30245def37ece69 (patch)
tree57189ad9c8bf15211a05a3cd50ee90e90f434557 /Domains/ca.mcgill.rtgmrt.example.modes3/ecore-gen/modes3/Modes3Package.java
parentFix time measurement (diff)
downloadVIATRA-Generator-a620f07468780778bd55dcffc30245def37ece69.tar.gz
VIATRA-Generator-a620f07468780778bd55dcffc30245def37ece69.tar.zst
VIATRA-Generator-a620f07468780778bd55dcffc30245def37ece69.zip
MoDeS3 unit propagation WIP
Diffstat (limited to 'Domains/ca.mcgill.rtgmrt.example.modes3/ecore-gen/modes3/Modes3Package.java')
-rw-r--r--Domains/ca.mcgill.rtgmrt.example.modes3/ecore-gen/modes3/Modes3Package.java640
1 files changed, 640 insertions, 0 deletions
diff --git a/Domains/ca.mcgill.rtgmrt.example.modes3/ecore-gen/modes3/Modes3Package.java b/Domains/ca.mcgill.rtgmrt.example.modes3/ecore-gen/modes3/Modes3Package.java
new file mode 100644
index 00000000..4760af9d
--- /dev/null
+++ b/Domains/ca.mcgill.rtgmrt.example.modes3/ecore-gen/modes3/Modes3Package.java
@@ -0,0 +1,640 @@
1/**
2 */
3package modes3;
4
5import org.eclipse.emf.ecore.EAttribute;
6import org.eclipse.emf.ecore.EClass;
7import org.eclipse.emf.ecore.EPackage;
8import org.eclipse.emf.ecore.EReference;
9
10/**
11 * <!-- begin-user-doc -->
12 * The <b>Package</b> for the model.
13 * It contains accessors for the meta objects to represent
14 * <ul>
15 * <li>each class,</li>
16 * <li>each feature of each class,</li>
17 * <li>each operation of each class,</li>
18 * <li>each enum,</li>
19 * <li>and each data type</li>
20 * </ul>
21 * <!-- end-user-doc -->
22 * @see modes3.Modes3Factory
23 * @model kind="package"
24 * @generated
25 */
26public interface Modes3Package extends EPackage {
27 /**
28 * The package name.
29 * <!-- begin-user-doc -->
30 * <!-- end-user-doc -->
31 * @generated
32 */
33 String eNAME = "modes3";
34
35 /**
36 * The package namespace URI.
37 * <!-- begin-user-doc -->
38 * <!-- end-user-doc -->
39 * @generated
40 */
41 String eNS_URI = "http://www.ece.mcgill.ca/wcet/modes3";
42
43 /**
44 * The package namespace name.
45 * <!-- begin-user-doc -->
46 * <!-- end-user-doc -->
47 * @generated
48 */
49 String eNS_PREFIX = "modes3";
50
51 /**
52 * The singleton instance of the package.
53 * <!-- begin-user-doc -->
54 * <!-- end-user-doc -->
55 * @generated
56 */
57 Modes3Package eINSTANCE = modes3.impl.Modes3PackageImpl.init();
58
59 /**
60 * The meta object id for the '{@link modes3.impl.SegmentImpl <em>Segment</em>}' class.
61 * <!-- begin-user-doc -->
62 * <!-- end-user-doc -->
63 * @see modes3.impl.SegmentImpl
64 * @see modes3.impl.Modes3PackageImpl#getSegment()
65 * @generated
66 */
67 int SEGMENT = 0;
68
69 /**
70 * The feature id for the '<em><b>Connected To</b></em>' reference list.
71 * <!-- begin-user-doc -->
72 * <!-- end-user-doc -->
73 * @generated
74 * @ordered
75 */
76 int SEGMENT__CONNECTED_TO = 0;
77
78 /**
79 * The feature id for the '<em><b>Occupied By</b></em>' reference.
80 * <!-- begin-user-doc -->
81 * <!-- end-user-doc -->
82 * @generated
83 * @ordered
84 */
85 int SEGMENT__OCCUPIED_BY = 1;
86
87 /**
88 * The feature id for the '<em><b>Id</b></em>' attribute.
89 * <!-- begin-user-doc -->
90 * <!-- end-user-doc -->
91 * @generated
92 * @ordered
93 */
94 int SEGMENT__ID = 2;
95
96 /**
97 * The number of structural features of the '<em>Segment</em>' class.
98 * <!-- begin-user-doc -->
99 * <!-- end-user-doc -->
100 * @generated
101 * @ordered
102 */
103 int SEGMENT_FEATURE_COUNT = 3;
104
105 /**
106 * The number of operations of the '<em>Segment</em>' class.
107 * <!-- begin-user-doc -->
108 * <!-- end-user-doc -->
109 * @generated
110 * @ordered
111 */
112 int SEGMENT_OPERATION_COUNT = 0;
113
114 /**
115 * The meta object id for the '{@link modes3.impl.Modes3ModelRootImpl <em>Model Root</em>}' class.
116 * <!-- begin-user-doc -->
117 * <!-- end-user-doc -->
118 * @see modes3.impl.Modes3ModelRootImpl
119 * @see modes3.impl.Modes3PackageImpl#getModes3ModelRoot()
120 * @generated
121 */
122 int MODES3_MODEL_ROOT = 1;
123
124 /**
125 * The feature id for the '<em><b>Id</b></em>' attribute.
126 * <!-- begin-user-doc -->
127 * <!-- end-user-doc -->
128 * @generated
129 * @ordered
130 */
131 int MODES3_MODEL_ROOT__ID = 0;
132
133 /**
134 * The feature id for the '<em><b>Trains</b></em>' containment reference list.
135 * <!-- begin-user-doc -->
136 * <!-- end-user-doc -->
137 * @generated
138 * @ordered
139 */
140 int MODES3_MODEL_ROOT__TRAINS = 1;
141
142 /**
143 * The feature id for the '<em><b>Segments</b></em>' containment reference list.
144 * <!-- begin-user-doc -->
145 * <!-- end-user-doc -->
146 * @generated
147 * @ordered
148 */
149 int MODES3_MODEL_ROOT__SEGMENTS = 2;
150
151 /**
152 * The feature id for the '<em><b>Turnouts</b></em>' containment reference list.
153 * <!-- begin-user-doc -->
154 * <!-- end-user-doc -->
155 * @generated
156 * @ordered
157 */
158 int MODES3_MODEL_ROOT__TURNOUTS = 3;
159
160 /**
161 * The number of structural features of the '<em>Model Root</em>' class.
162 * <!-- begin-user-doc -->
163 * <!-- end-user-doc -->
164 * @generated
165 * @ordered
166 */
167 int MODES3_MODEL_ROOT_FEATURE_COUNT = 4;
168
169 /**
170 * The number of operations of the '<em>Model Root</em>' class.
171 * <!-- begin-user-doc -->
172 * <!-- end-user-doc -->
173 * @generated
174 * @ordered
175 */
176 int MODES3_MODEL_ROOT_OPERATION_COUNT = 0;
177
178 /**
179 * The meta object id for the '{@link modes3.impl.TurnoutImpl <em>Turnout</em>}' class.
180 * <!-- begin-user-doc -->
181 * <!-- end-user-doc -->
182 * @see modes3.impl.TurnoutImpl
183 * @see modes3.impl.Modes3PackageImpl#getTurnout()
184 * @generated
185 */
186 int TURNOUT = 2;
187
188 /**
189 * The feature id for the '<em><b>Connected To</b></em>' reference list.
190 * <!-- begin-user-doc -->
191 * <!-- end-user-doc -->
192 * @generated
193 * @ordered
194 */
195 int TURNOUT__CONNECTED_TO = SEGMENT__CONNECTED_TO;
196
197 /**
198 * The feature id for the '<em><b>Occupied By</b></em>' reference.
199 * <!-- begin-user-doc -->
200 * <!-- end-user-doc -->
201 * @generated
202 * @ordered
203 */
204 int TURNOUT__OCCUPIED_BY = SEGMENT__OCCUPIED_BY;
205
206 /**
207 * The feature id for the '<em><b>Id</b></em>' attribute.
208 * <!-- begin-user-doc -->
209 * <!-- end-user-doc -->
210 * @generated
211 * @ordered
212 */
213 int TURNOUT__ID = SEGMENT__ID;
214
215 /**
216 * The feature id for the '<em><b>Straight</b></em>' reference.
217 * <!-- begin-user-doc -->
218 * <!-- end-user-doc -->
219 * @generated
220 * @ordered
221 */
222 int TURNOUT__STRAIGHT = SEGMENT_FEATURE_COUNT + 0;
223
224 /**
225 * The feature id for the '<em><b>Divergent</b></em>' reference.
226 * <!-- begin-user-doc -->
227 * <!-- end-user-doc -->
228 * @generated
229 * @ordered
230 */
231 int TURNOUT__DIVERGENT = SEGMENT_FEATURE_COUNT + 1;
232
233 /**
234 * The number of structural features of the '<em>Turnout</em>' class.
235 * <!-- begin-user-doc -->
236 * <!-- end-user-doc -->
237 * @generated
238 * @ordered
239 */
240 int TURNOUT_FEATURE_COUNT = SEGMENT_FEATURE_COUNT + 2;
241
242 /**
243 * The number of operations of the '<em>Turnout</em>' class.
244 * <!-- begin-user-doc -->
245 * <!-- end-user-doc -->
246 * @generated
247 * @ordered
248 */
249 int TURNOUT_OPERATION_COUNT = SEGMENT_OPERATION_COUNT + 0;
250
251 /**
252 * The meta object id for the '{@link modes3.impl.TrainImpl <em>Train</em>}' class.
253 * <!-- begin-user-doc -->
254 * <!-- end-user-doc -->
255 * @see modes3.impl.TrainImpl
256 * @see modes3.impl.Modes3PackageImpl#getTrain()
257 * @generated
258 */
259 int TRAIN = 3;
260
261 /**
262 * The feature id for the '<em><b>Location</b></em>' reference.
263 * <!-- begin-user-doc -->
264 * <!-- end-user-doc -->
265 * @generated
266 * @ordered
267 */
268 int TRAIN__LOCATION = 0;
269
270 /**
271 * The feature id for the '<em><b>Id</b></em>' attribute.
272 * <!-- begin-user-doc -->
273 * <!-- end-user-doc -->
274 * @generated
275 * @ordered
276 */
277 int TRAIN__ID = 1;
278
279 /**
280 * The feature id for the '<em><b>Speed</b></em>' attribute.
281 * <!-- begin-user-doc -->
282 * <!-- end-user-doc -->
283 * @generated
284 * @ordered
285 */
286 int TRAIN__SPEED = 2;
287
288 /**
289 * The number of structural features of the '<em>Train</em>' class.
290 * <!-- begin-user-doc -->
291 * <!-- end-user-doc -->
292 * @generated
293 * @ordered
294 */
295 int TRAIN_FEATURE_COUNT = 3;
296
297 /**
298 * The number of operations of the '<em>Train</em>' class.
299 * <!-- begin-user-doc -->
300 * <!-- end-user-doc -->
301 * @generated
302 * @ordered
303 */
304 int TRAIN_OPERATION_COUNT = 0;
305
306
307 /**
308 * Returns the meta object for class '{@link modes3.Segment <em>Segment</em>}'.
309 * <!-- begin-user-doc -->
310 * <!-- end-user-doc -->
311 * @return the meta object for class '<em>Segment</em>'.
312 * @see modes3.Segment
313 * @generated
314 */
315 EClass getSegment();
316
317 /**
318 * Returns the meta object for the reference list '{@link modes3.Segment#getConnectedTo <em>Connected To</em>}'.
319 * <!-- begin-user-doc -->
320 * <!-- end-user-doc -->
321 * @return the meta object for the reference list '<em>Connected To</em>'.
322 * @see modes3.Segment#getConnectedTo()
323 * @see #getSegment()
324 * @generated
325 */
326 EReference getSegment_ConnectedTo();
327
328 /**
329 * Returns the meta object for the reference '{@link modes3.Segment#getOccupiedBy <em>Occupied By</em>}'.
330 * <!-- begin-user-doc -->
331 * <!-- end-user-doc -->
332 * @return the meta object for the reference '<em>Occupied By</em>'.
333 * @see modes3.Segment#getOccupiedBy()
334 * @see #getSegment()
335 * @generated
336 */
337 EReference getSegment_OccupiedBy();
338
339 /**
340 * Returns the meta object for the attribute '{@link modes3.Segment#getId <em>Id</em>}'.
341 * <!-- begin-user-doc -->
342 * <!-- end-user-doc -->
343 * @return the meta object for the attribute '<em>Id</em>'.
344 * @see modes3.Segment#getId()
345 * @see #getSegment()
346 * @generated
347 */
348 EAttribute getSegment_Id();
349
350 /**
351 * Returns the meta object for class '{@link modes3.Modes3ModelRoot <em>Model Root</em>}'.
352 * <!-- begin-user-doc -->
353 * <!-- end-user-doc -->
354 * @return the meta object for class '<em>Model Root</em>'.
355 * @see modes3.Modes3ModelRoot
356 * @generated
357 */
358 EClass getModes3ModelRoot();
359
360 /**
361 * Returns the meta object for the attribute '{@link modes3.Modes3ModelRoot#getId <em>Id</em>}'.
362 * <!-- begin-user-doc -->
363 * <!-- end-user-doc -->
364 * @return the meta object for the attribute '<em>Id</em>'.
365 * @see modes3.Modes3ModelRoot#getId()
366 * @see #getModes3ModelRoot()
367 * @generated
368 */
369 EAttribute getModes3ModelRoot_Id();
370
371 /**
372 * Returns the meta object for the containment reference list '{@link modes3.Modes3ModelRoot#getTrains <em>Trains</em>}'.
373 * <!-- begin-user-doc -->
374 * <!-- end-user-doc -->
375 * @return the meta object for the containment reference list '<em>Trains</em>'.
376 * @see modes3.Modes3ModelRoot#getTrains()
377 * @see #getModes3ModelRoot()
378 * @generated
379 */
380 EReference getModes3ModelRoot_Trains();
381
382 /**
383 * Returns the meta object for the containment reference list '{@link modes3.Modes3ModelRoot#getSegments <em>Segments</em>}'.
384 * <!-- begin-user-doc -->
385 * <!-- end-user-doc -->
386 * @return the meta object for the containment reference list '<em>Segments</em>'.
387 * @see modes3.Modes3ModelRoot#getSegments()
388 * @see #getModes3ModelRoot()
389 * @generated
390 */
391 EReference getModes3ModelRoot_Segments();
392
393 /**
394 * Returns the meta object for the containment reference list '{@link modes3.Modes3ModelRoot#getTurnouts <em>Turnouts</em>}'.
395 * <!-- begin-user-doc -->
396 * <!-- end-user-doc -->
397 * @return the meta object for the containment reference list '<em>Turnouts</em>'.
398 * @see modes3.Modes3ModelRoot#getTurnouts()
399 * @see #getModes3ModelRoot()
400 * @generated
401 */
402 EReference getModes3ModelRoot_Turnouts();
403
404 /**
405 * Returns the meta object for class '{@link modes3.Turnout <em>Turnout</em>}'.
406 * <!-- begin-user-doc -->
407 * <!-- end-user-doc -->
408 * @return the meta object for class '<em>Turnout</em>'.
409 * @see modes3.Turnout
410 * @generated
411 */
412 EClass getTurnout();
413
414 /**
415 * Returns the meta object for the reference '{@link modes3.Turnout#getStraight <em>Straight</em>}'.
416 * <!-- begin-user-doc -->
417 * <!-- end-user-doc -->
418 * @return the meta object for the reference '<em>Straight</em>'.
419 * @see modes3.Turnout#getStraight()
420 * @see #getTurnout()
421 * @generated
422 */
423 EReference getTurnout_Straight();
424
425 /**
426 * Returns the meta object for the reference '{@link modes3.Turnout#getDivergent <em>Divergent</em>}'.
427 * <!-- begin-user-doc -->
428 * <!-- end-user-doc -->
429 * @return the meta object for the reference '<em>Divergent</em>'.
430 * @see modes3.Turnout#getDivergent()
431 * @see #getTurnout()
432 * @generated
433 */
434 EReference getTurnout_Divergent();
435
436 /**
437 * Returns the meta object for class '{@link modes3.Train <em>Train</em>}'.
438 * <!-- begin-user-doc -->
439 * <!-- end-user-doc -->
440 * @return the meta object for class '<em>Train</em>'.
441 * @see modes3.Train
442 * @generated
443 */
444 EClass getTrain();
445
446 /**
447 * Returns the meta object for the reference '{@link modes3.Train#getLocation <em>Location</em>}'.
448 * <!-- begin-user-doc -->
449 * <!-- end-user-doc -->
450 * @return the meta object for the reference '<em>Location</em>'.
451 * @see modes3.Train#getLocation()
452 * @see #getTrain()
453 * @generated
454 */
455 EReference getTrain_Location();
456
457 /**
458 * Returns the meta object for the attribute '{@link modes3.Train#getId <em>Id</em>}'.
459 * <!-- begin-user-doc -->
460 * <!-- end-user-doc -->
461 * @return the meta object for the attribute '<em>Id</em>'.
462 * @see modes3.Train#getId()
463 * @see #getTrain()
464 * @generated
465 */
466 EAttribute getTrain_Id();
467
468 /**
469 * Returns the meta object for the attribute '{@link modes3.Train#getSpeed <em>Speed</em>}'.
470 * <!-- begin-user-doc -->
471 * <!-- end-user-doc -->
472 * @return the meta object for the attribute '<em>Speed</em>'.
473 * @see modes3.Train#getSpeed()
474 * @see #getTrain()
475 * @generated
476 */
477 EAttribute getTrain_Speed();
478
479 /**
480 * Returns the factory that creates the instances of the model.
481 * <!-- begin-user-doc -->
482 * <!-- end-user-doc -->
483 * @return the factory that creates the instances of the model.
484 * @generated
485 */
486 Modes3Factory getModes3Factory();
487
488 /**
489 * <!-- begin-user-doc -->
490 * Defines literals for the meta objects that represent
491 * <ul>
492 * <li>each class,</li>
493 * <li>each feature of each class,</li>
494 * <li>each operation of each class,</li>
495 * <li>each enum,</li>
496 * <li>and each data type</li>
497 * </ul>
498 * <!-- end-user-doc -->
499 * @generated
500 */
501 interface Literals {
502 /**
503 * The meta object literal for the '{@link modes3.impl.SegmentImpl <em>Segment</em>}' class.
504 * <!-- begin-user-doc -->
505 * <!-- end-user-doc -->
506 * @see modes3.impl.SegmentImpl
507 * @see modes3.impl.Modes3PackageImpl#getSegment()
508 * @generated
509 */
510 EClass SEGMENT = eINSTANCE.getSegment();
511
512 /**
513 * The meta object literal for the '<em><b>Connected To</b></em>' reference list feature.
514 * <!-- begin-user-doc -->
515 * <!-- end-user-doc -->
516 * @generated
517 */
518 EReference SEGMENT__CONNECTED_TO = eINSTANCE.getSegment_ConnectedTo();
519
520 /**
521 * The meta object literal for the '<em><b>Occupied By</b></em>' reference feature.
522 * <!-- begin-user-doc -->
523 * <!-- end-user-doc -->
524 * @generated
525 */
526 EReference SEGMENT__OCCUPIED_BY = eINSTANCE.getSegment_OccupiedBy();
527
528 /**
529 * The meta object literal for the '<em><b>Id</b></em>' attribute feature.
530 * <!-- begin-user-doc -->
531 * <!-- end-user-doc -->
532 * @generated
533 */
534 EAttribute SEGMENT__ID = eINSTANCE.getSegment_Id();
535
536 /**
537 * The meta object literal for the '{@link modes3.impl.Modes3ModelRootImpl <em>Model Root</em>}' class.
538 * <!-- begin-user-doc -->
539 * <!-- end-user-doc -->
540 * @see modes3.impl.Modes3ModelRootImpl
541 * @see modes3.impl.Modes3PackageImpl#getModes3ModelRoot()
542 * @generated
543 */
544 EClass MODES3_MODEL_ROOT = eINSTANCE.getModes3ModelRoot();
545
546 /**
547 * The meta object literal for the '<em><b>Id</b></em>' attribute feature.
548 * <!-- begin-user-doc -->
549 * <!-- end-user-doc -->
550 * @generated
551 */
552 EAttribute MODES3_MODEL_ROOT__ID = eINSTANCE.getModes3ModelRoot_Id();
553
554 /**
555 * The meta object literal for the '<em><b>Trains</b></em>' containment reference list feature.
556 * <!-- begin-user-doc -->
557 * <!-- end-user-doc -->
558 * @generated
559 */
560 EReference MODES3_MODEL_ROOT__TRAINS = eINSTANCE.getModes3ModelRoot_Trains();
561
562 /**
563 * The meta object literal for the '<em><b>Segments</b></em>' containment reference list feature.
564 * <!-- begin-user-doc -->
565 * <!-- end-user-doc -->
566 * @generated
567 */
568 EReference MODES3_MODEL_ROOT__SEGMENTS = eINSTANCE.getModes3ModelRoot_Segments();
569
570 /**
571 * The meta object literal for the '<em><b>Turnouts</b></em>' containment reference list feature.
572 * <!-- begin-user-doc -->
573 * <!-- end-user-doc -->
574 * @generated
575 */
576 EReference MODES3_MODEL_ROOT__TURNOUTS = eINSTANCE.getModes3ModelRoot_Turnouts();
577
578 /**
579 * The meta object literal for the '{@link modes3.impl.TurnoutImpl <em>Turnout</em>}' class.
580 * <!-- begin-user-doc -->
581 * <!-- end-user-doc -->
582 * @see modes3.impl.TurnoutImpl
583 * @see modes3.impl.Modes3PackageImpl#getTurnout()
584 * @generated
585 */
586 EClass TURNOUT = eINSTANCE.getTurnout();
587
588 /**
589 * The meta object literal for the '<em><b>Straight</b></em>' reference feature.
590 * <!-- begin-user-doc -->
591 * <!-- end-user-doc -->
592 * @generated
593 */
594 EReference TURNOUT__STRAIGHT = eINSTANCE.getTurnout_Straight();
595
596 /**
597 * The meta object literal for the '<em><b>Divergent</b></em>' reference feature.
598 * <!-- begin-user-doc -->
599 * <!-- end-user-doc -->
600 * @generated
601 */
602 EReference TURNOUT__DIVERGENT = eINSTANCE.getTurnout_Divergent();
603
604 /**
605 * The meta object literal for the '{@link modes3.impl.TrainImpl <em>Train</em>}' class.
606 * <!-- begin-user-doc -->
607 * <!-- end-user-doc -->
608 * @see modes3.impl.TrainImpl
609 * @see modes3.impl.Modes3PackageImpl#getTrain()
610 * @generated
611 */
612 EClass TRAIN = eINSTANCE.getTrain();
613
614 /**
615 * The meta object literal for the '<em><b>Location</b></em>' reference feature.
616 * <!-- begin-user-doc -->
617 * <!-- end-user-doc -->
618 * @generated
619 */
620 EReference TRAIN__LOCATION = eINSTANCE.getTrain_Location();
621
622 /**
623 * The meta object literal for the '<em><b>Id</b></em>' attribute feature.
624 * <!-- begin-user-doc -->
625 * <!-- end-user-doc -->
626 * @generated
627 */
628 EAttribute TRAIN__ID = eINSTANCE.getTrain_Id();
629
630 /**
631 * The meta object literal for the '<em><b>Speed</b></em>' attribute feature.
632 * <!-- begin-user-doc -->
633 * <!-- end-user-doc -->
634 * @generated
635 */
636 EAttribute TRAIN__SPEED = eINSTANCE.getTrain_Speed();
637
638 }
639
640} //Modes3Package
generated by cgit v1.2.3-54-g00ecf (git 2.45.2) at 2024-07-01 20:15:22 +0000