diff options
Diffstat (limited to 'Domains/hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph/ecore-gen/hu')
7 files changed, 451 insertions, 2 deletions
diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph/ecore-gen/hu/bme/mit/inf/dslreasoner/domains/yakindu/sgraph/yakindumm/Transition.java b/Domains/hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph/ecore-gen/hu/bme/mit/inf/dslreasoner/domains/yakindu/sgraph/yakindumm/Transition.java index a27e46e8..8d30734c 100644 --- a/Domains/hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph/ecore-gen/hu/bme/mit/inf/dslreasoner/domains/yakindu/sgraph/yakindumm/Transition.java +++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph/ecore-gen/hu/bme/mit/inf/dslreasoner/domains/yakindu/sgraph/yakindumm/Transition.java | |||
@@ -63,7 +63,7 @@ public interface Transition extends EObject { | |||
63 | * @see #setSource(Vertex) | 63 | * @see #setSource(Vertex) |
64 | * @see hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph.yakindumm.YakindummPackage#getTransition_Source() | 64 | * @see hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph.yakindumm.YakindummPackage#getTransition_Source() |
65 | * @see hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph.yakindumm.Vertex#getOutgoingTransitions | 65 | * @see hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph.yakindumm.Vertex#getOutgoingTransitions |
66 | * @model opposite="outgoingTransitions" required="true" transient="false" ordered="false" | 66 | * @model opposite="outgoingTransitions" transient="false" ordered="false" |
67 | * @generated | 67 | * @generated |
68 | */ | 68 | */ |
69 | Vertex getSource(); | 69 | Vertex getSource(); |
diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph/ecore-gen/hu/bme/mit/inf/dslreasoner/domains/yakindu/sgraph/yakindumm/YakindummFactory.java b/Domains/hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph/ecore-gen/hu/bme/mit/inf/dslreasoner/domains/yakindu/sgraph/yakindumm/YakindummFactory.java index 51751f8c..bbf75ada 100644 --- a/Domains/hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph/ecore-gen/hu/bme/mit/inf/dslreasoner/domains/yakindu/sgraph/yakindumm/YakindummFactory.java +++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph/ecore-gen/hu/bme/mit/inf/dslreasoner/domains/yakindu/sgraph/yakindumm/YakindummFactory.java | |||
@@ -76,6 +76,33 @@ public interface YakindummFactory extends EFactory { | |||
76 | State createState(); | 76 | State createState(); |
77 | 77 | ||
78 | /** | 78 | /** |
79 | * Returns a new object of class '<em>Choice</em>'. | ||
80 | * <!-- begin-user-doc --> | ||
81 | * <!-- end-user-doc --> | ||
82 | * @return a new object of class '<em>Choice</em>'. | ||
83 | * @generated | ||
84 | */ | ||
85 | Choice createChoice(); | ||
86 | |||
87 | /** | ||
88 | * Returns a new object of class '<em>Exit</em>'. | ||
89 | * <!-- begin-user-doc --> | ||
90 | * <!-- end-user-doc --> | ||
91 | * @return a new object of class '<em>Exit</em>'. | ||
92 | * @generated | ||
93 | */ | ||
94 | Exit createExit(); | ||
95 | |||
96 | /** | ||
97 | * Returns a new object of class '<em>Final State</em>'. | ||
98 | * <!-- begin-user-doc --> | ||
99 | * <!-- end-user-doc --> | ||
100 | * @return a new object of class '<em>Final State</em>'. | ||
101 | * @generated | ||
102 | */ | ||
103 | FinalState createFinalState(); | ||
104 | |||
105 | /** | ||
79 | * Returns the package supported by this factory. | 106 | * Returns the package supported by this factory. |
80 | * <!-- begin-user-doc --> | 107 | * <!-- begin-user-doc --> |
81 | * <!-- end-user-doc --> | 108 | * <!-- end-user-doc --> |
diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph/ecore-gen/hu/bme/mit/inf/dslreasoner/domains/yakindu/sgraph/yakindumm/YakindummPackage.java b/Domains/hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph/ecore-gen/hu/bme/mit/inf/dslreasoner/domains/yakindu/sgraph/yakindumm/YakindummPackage.java index 01f62588..18a4b105 100644 --- a/Domains/hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph/ecore-gen/hu/bme/mit/inf/dslreasoner/domains/yakindu/sgraph/yakindumm/YakindummPackage.java +++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph/ecore-gen/hu/bme/mit/inf/dslreasoner/domains/yakindu/sgraph/yakindumm/YakindummPackage.java | |||
@@ -499,6 +499,146 @@ public interface YakindummPackage extends EPackage { | |||
499 | 499 | ||
500 | 500 | ||
501 | /** | 501 | /** |
502 | * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph.yakindumm.impl.ChoiceImpl <em>Choice</em>}' class. | ||
503 | * <!-- begin-user-doc --> | ||
504 | * <!-- end-user-doc --> | ||
505 | * @see hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph.yakindumm.impl.ChoiceImpl | ||
506 | * @see hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph.yakindumm.impl.YakindummPackageImpl#getChoice() | ||
507 | * @generated | ||
508 | */ | ||
509 | int CHOICE = 10; | ||
510 | |||
511 | /** | ||
512 | * The feature id for the '<em><b>Incoming Transitions</b></em>' reference list. | ||
513 | * <!-- begin-user-doc --> | ||
514 | * <!-- end-user-doc --> | ||
515 | * @generated | ||
516 | * @ordered | ||
517 | */ | ||
518 | int CHOICE__INCOMING_TRANSITIONS = PSEUDOSTATE__INCOMING_TRANSITIONS; | ||
519 | |||
520 | /** | ||
521 | * The feature id for the '<em><b>Outgoing Transitions</b></em>' containment reference list. | ||
522 | * <!-- begin-user-doc --> | ||
523 | * <!-- end-user-doc --> | ||
524 | * @generated | ||
525 | * @ordered | ||
526 | */ | ||
527 | int CHOICE__OUTGOING_TRANSITIONS = PSEUDOSTATE__OUTGOING_TRANSITIONS; | ||
528 | |||
529 | /** | ||
530 | * The number of structural features of the '<em>Choice</em>' class. | ||
531 | * <!-- begin-user-doc --> | ||
532 | * <!-- end-user-doc --> | ||
533 | * @generated | ||
534 | * @ordered | ||
535 | */ | ||
536 | int CHOICE_FEATURE_COUNT = PSEUDOSTATE_FEATURE_COUNT + 0; | ||
537 | |||
538 | /** | ||
539 | * The number of operations of the '<em>Choice</em>' class. | ||
540 | * <!-- begin-user-doc --> | ||
541 | * <!-- end-user-doc --> | ||
542 | * @generated | ||
543 | * @ordered | ||
544 | */ | ||
545 | int CHOICE_OPERATION_COUNT = PSEUDOSTATE_OPERATION_COUNT + 0; | ||
546 | |||
547 | /** | ||
548 | * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph.yakindumm.impl.ExitImpl <em>Exit</em>}' class. | ||
549 | * <!-- begin-user-doc --> | ||
550 | * <!-- end-user-doc --> | ||
551 | * @see hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph.yakindumm.impl.ExitImpl | ||
552 | * @see hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph.yakindumm.impl.YakindummPackageImpl#getExit() | ||
553 | * @generated | ||
554 | */ | ||
555 | int EXIT = 11; | ||
556 | |||
557 | /** | ||
558 | * The feature id for the '<em><b>Incoming Transitions</b></em>' reference list. | ||
559 | * <!-- begin-user-doc --> | ||
560 | * <!-- end-user-doc --> | ||
561 | * @generated | ||
562 | * @ordered | ||
563 | */ | ||
564 | int EXIT__INCOMING_TRANSITIONS = PSEUDOSTATE__INCOMING_TRANSITIONS; | ||
565 | |||
566 | /** | ||
567 | * The feature id for the '<em><b>Outgoing Transitions</b></em>' containment reference list. | ||
568 | * <!-- begin-user-doc --> | ||
569 | * <!-- end-user-doc --> | ||
570 | * @generated | ||
571 | * @ordered | ||
572 | */ | ||
573 | int EXIT__OUTGOING_TRANSITIONS = PSEUDOSTATE__OUTGOING_TRANSITIONS; | ||
574 | |||
575 | /** | ||
576 | * The number of structural features of the '<em>Exit</em>' class. | ||
577 | * <!-- begin-user-doc --> | ||
578 | * <!-- end-user-doc --> | ||
579 | * @generated | ||
580 | * @ordered | ||
581 | */ | ||
582 | int EXIT_FEATURE_COUNT = PSEUDOSTATE_FEATURE_COUNT + 0; | ||
583 | |||
584 | /** | ||
585 | * The number of operations of the '<em>Exit</em>' class. | ||
586 | * <!-- begin-user-doc --> | ||
587 | * <!-- end-user-doc --> | ||
588 | * @generated | ||
589 | * @ordered | ||
590 | */ | ||
591 | int EXIT_OPERATION_COUNT = PSEUDOSTATE_OPERATION_COUNT + 0; | ||
592 | |||
593 | |||
594 | /** | ||
595 | * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph.yakindumm.impl.FinalStateImpl <em>Final State</em>}' class. | ||
596 | * <!-- begin-user-doc --> | ||
597 | * <!-- end-user-doc --> | ||
598 | * @see hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph.yakindumm.impl.FinalStateImpl | ||
599 | * @see hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph.yakindumm.impl.YakindummPackageImpl#getFinalState() | ||
600 | * @generated | ||
601 | */ | ||
602 | int FINAL_STATE = 12; | ||
603 | |||
604 | /** | ||
605 | * The feature id for the '<em><b>Incoming Transitions</b></em>' reference list. | ||
606 | * <!-- begin-user-doc --> | ||
607 | * <!-- end-user-doc --> | ||
608 | * @generated | ||
609 | * @ordered | ||
610 | */ | ||
611 | int FINAL_STATE__INCOMING_TRANSITIONS = REGULAR_STATE__INCOMING_TRANSITIONS; | ||
612 | |||
613 | /** | ||
614 | * The feature id for the '<em><b>Outgoing Transitions</b></em>' containment reference list. | ||
615 | * <!-- begin-user-doc --> | ||
616 | * <!-- end-user-doc --> | ||
617 | * @generated | ||
618 | * @ordered | ||
619 | */ | ||
620 | int FINAL_STATE__OUTGOING_TRANSITIONS = REGULAR_STATE__OUTGOING_TRANSITIONS; | ||
621 | |||
622 | /** | ||
623 | * The number of structural features of the '<em>Final State</em>' class. | ||
624 | * <!-- begin-user-doc --> | ||
625 | * <!-- end-user-doc --> | ||
626 | * @generated | ||
627 | * @ordered | ||
628 | */ | ||
629 | int FINAL_STATE_FEATURE_COUNT = REGULAR_STATE_FEATURE_COUNT + 0; | ||
630 | |||
631 | /** | ||
632 | * The number of operations of the '<em>Final State</em>' class. | ||
633 | * <!-- begin-user-doc --> | ||
634 | * <!-- end-user-doc --> | ||
635 | * @generated | ||
636 | * @ordered | ||
637 | */ | ||
638 | int FINAL_STATE_OPERATION_COUNT = REGULAR_STATE_OPERATION_COUNT + 0; | ||
639 | |||
640 | |||
641 | /** | ||
502 | * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph.yakindumm.Pseudostate <em>Pseudostate</em>}'. | 642 | * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph.yakindumm.Pseudostate <em>Pseudostate</em>}'. |
503 | * <!-- begin-user-doc --> | 643 | * <!-- begin-user-doc --> |
504 | * <!-- end-user-doc --> | 644 | * <!-- end-user-doc --> |
@@ -665,6 +805,36 @@ public interface YakindummPackage extends EPackage { | |||
665 | EReference getCompositeElement_Regions(); | 805 | EReference getCompositeElement_Regions(); |
666 | 806 | ||
667 | /** | 807 | /** |
808 | * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph.yakindumm.Choice <em>Choice</em>}'. | ||
809 | * <!-- begin-user-doc --> | ||
810 | * <!-- end-user-doc --> | ||
811 | * @return the meta object for class '<em>Choice</em>'. | ||
812 | * @see hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph.yakindumm.Choice | ||
813 | * @generated | ||
814 | */ | ||
815 | EClass getChoice(); | ||
816 | |||
817 | /** | ||
818 | * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph.yakindumm.Exit <em>Exit</em>}'. | ||
819 | * <!-- begin-user-doc --> | ||
820 | * <!-- end-user-doc --> | ||
821 | * @return the meta object for class '<em>Exit</em>'. | ||
822 | * @see hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph.yakindumm.Exit | ||
823 | * @generated | ||
824 | */ | ||
825 | EClass getExit(); | ||
826 | |||
827 | /** | ||
828 | * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph.yakindumm.FinalState <em>Final State</em>}'. | ||
829 | * <!-- begin-user-doc --> | ||
830 | * <!-- end-user-doc --> | ||
831 | * @return the meta object for class '<em>Final State</em>'. | ||
832 | * @see hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph.yakindumm.FinalState | ||
833 | * @generated | ||
834 | */ | ||
835 | EClass getFinalState(); | ||
836 | |||
837 | /** | ||
668 | * Returns the factory that creates the instances of the model. | 838 | * Returns the factory that creates the instances of the model. |
669 | * <!-- begin-user-doc --> | 839 | * <!-- begin-user-doc --> |
670 | * <!-- end-user-doc --> | 840 | * <!-- end-user-doc --> |
@@ -835,6 +1005,36 @@ public interface YakindummPackage extends EPackage { | |||
835 | */ | 1005 | */ |
836 | EReference COMPOSITE_ELEMENT__REGIONS = eINSTANCE.getCompositeElement_Regions(); | 1006 | EReference COMPOSITE_ELEMENT__REGIONS = eINSTANCE.getCompositeElement_Regions(); |
837 | 1007 | ||
1008 | /** | ||
1009 | * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph.yakindumm.impl.ChoiceImpl <em>Choice</em>}' class. | ||
1010 | * <!-- begin-user-doc --> | ||
1011 | * <!-- end-user-doc --> | ||
1012 | * @see hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph.yakindumm.impl.ChoiceImpl | ||
1013 | * @see hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph.yakindumm.impl.YakindummPackageImpl#getChoice() | ||
1014 | * @generated | ||
1015 | */ | ||
1016 | EClass CHOICE = eINSTANCE.getChoice(); | ||
1017 | |||
1018 | /** | ||
1019 | * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph.yakindumm.impl.ExitImpl <em>Exit</em>}' class. | ||
1020 | * <!-- begin-user-doc --> | ||
1021 | * <!-- end-user-doc --> | ||
1022 | * @see hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph.yakindumm.impl.ExitImpl | ||
1023 | * @see hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph.yakindumm.impl.YakindummPackageImpl#getExit() | ||
1024 | * @generated | ||
1025 | */ | ||
1026 | EClass EXIT = eINSTANCE.getExit(); | ||
1027 | |||
1028 | /** | ||
1029 | * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph.yakindumm.impl.FinalStateImpl <em>Final State</em>}' class. | ||
1030 | * <!-- begin-user-doc --> | ||
1031 | * <!-- end-user-doc --> | ||
1032 | * @see hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph.yakindumm.impl.FinalStateImpl | ||
1033 | * @see hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph.yakindumm.impl.YakindummPackageImpl#getFinalState() | ||
1034 | * @generated | ||
1035 | */ | ||
1036 | EClass FINAL_STATE = eINSTANCE.getFinalState(); | ||
1037 | |||
838 | } | 1038 | } |
839 | 1039 | ||
840 | } //YakindummPackage | 1040 | } //YakindummPackage |
diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph/ecore-gen/hu/bme/mit/inf/dslreasoner/domains/yakindu/sgraph/yakindumm/impl/YakindummFactoryImpl.java b/Domains/hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph/ecore-gen/hu/bme/mit/inf/dslreasoner/domains/yakindu/sgraph/yakindumm/impl/YakindummFactoryImpl.java index 3578e66a..9c4fc4f1 100644 --- a/Domains/hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph/ecore-gen/hu/bme/mit/inf/dslreasoner/domains/yakindu/sgraph/yakindumm/impl/YakindummFactoryImpl.java +++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph/ecore-gen/hu/bme/mit/inf/dslreasoner/domains/yakindu/sgraph/yakindumm/impl/YakindummFactoryImpl.java | |||
@@ -62,6 +62,9 @@ public class YakindummFactoryImpl extends EFactoryImpl implements YakindummFacto | |||
62 | case YakindummPackage.ENTRY: return createEntry(); | 62 | case YakindummPackage.ENTRY: return createEntry(); |
63 | case YakindummPackage.SYNCHRONIZATION: return createSynchronization(); | 63 | case YakindummPackage.SYNCHRONIZATION: return createSynchronization(); |
64 | case YakindummPackage.STATE: return createState(); | 64 | case YakindummPackage.STATE: return createState(); |
65 | case YakindummPackage.CHOICE: return createChoice(); | ||
66 | case YakindummPackage.EXIT: return createExit(); | ||
67 | case YakindummPackage.FINAL_STATE: return createFinalState(); | ||
65 | default: | 68 | default: |
66 | throw new IllegalArgumentException("The class '" + eClass.getName() + "' is not a valid classifier"); | 69 | throw new IllegalArgumentException("The class '" + eClass.getName() + "' is not a valid classifier"); |
67 | } | 70 | } |
@@ -132,6 +135,36 @@ public class YakindummFactoryImpl extends EFactoryImpl implements YakindummFacto | |||
132 | * <!-- end-user-doc --> | 135 | * <!-- end-user-doc --> |
133 | * @generated | 136 | * @generated |
134 | */ | 137 | */ |
138 | public Choice createChoice() { | ||
139 | ChoiceImpl choice = new ChoiceImpl(); | ||
140 | return choice; | ||
141 | } | ||
142 | |||
143 | /** | ||
144 | * <!-- begin-user-doc --> | ||
145 | * <!-- end-user-doc --> | ||
146 | * @generated | ||
147 | */ | ||
148 | public Exit createExit() { | ||
149 | ExitImpl exit = new ExitImpl(); | ||
150 | return exit; | ||
151 | } | ||
152 | |||
153 | /** | ||
154 | * <!-- begin-user-doc --> | ||
155 | * <!-- end-user-doc --> | ||
156 | * @generated | ||
157 | */ | ||
158 | public FinalState createFinalState() { | ||
159 | FinalStateImpl finalState = new FinalStateImpl(); | ||
160 | return finalState; | ||
161 | } | ||
162 | |||
163 | /** | ||
164 | * <!-- begin-user-doc --> | ||
165 | * <!-- end-user-doc --> | ||
166 | * @generated | ||
167 | */ | ||
135 | public YakindummPackage getYakindummPackage() { | 168 | public YakindummPackage getYakindummPackage() { |
136 | return (YakindummPackage)getEPackage(); | 169 | return (YakindummPackage)getEPackage(); |
137 | } | 170 | } |
diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph/ecore-gen/hu/bme/mit/inf/dslreasoner/domains/yakindu/sgraph/yakindumm/impl/YakindummPackageImpl.java b/Domains/hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph/ecore-gen/hu/bme/mit/inf/dslreasoner/domains/yakindu/sgraph/yakindumm/impl/YakindummPackageImpl.java index 2d8abfab..77092c17 100644 --- a/Domains/hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph/ecore-gen/hu/bme/mit/inf/dslreasoner/domains/yakindu/sgraph/yakindumm/impl/YakindummPackageImpl.java +++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph/ecore-gen/hu/bme/mit/inf/dslreasoner/domains/yakindu/sgraph/yakindumm/impl/YakindummPackageImpl.java | |||
@@ -2,8 +2,11 @@ | |||
2 | */ | 2 | */ |
3 | package hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph.yakindumm.impl; | 3 | package hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph.yakindumm.impl; |
4 | 4 | ||
5 | import hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph.yakindumm.Choice; | ||
5 | import hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph.yakindumm.CompositeElement; | 6 | import hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph.yakindumm.CompositeElement; |
6 | import hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph.yakindumm.Entry; | 7 | import hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph.yakindumm.Entry; |
8 | import hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph.yakindumm.Exit; | ||
9 | import hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph.yakindumm.FinalState; | ||
7 | import hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph.yakindumm.Pseudostate; | 10 | import hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph.yakindumm.Pseudostate; |
8 | import hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph.yakindumm.Region; | 11 | import hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph.yakindumm.Region; |
9 | import hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph.yakindumm.RegularState; | 12 | import hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph.yakindumm.RegularState; |
@@ -99,6 +102,27 @@ public class YakindummPackageImpl extends EPackageImpl implements YakindummPacka | |||
99 | private EClass compositeElementEClass = null; | 102 | private EClass compositeElementEClass = null; |
100 | 103 | ||
101 | /** | 104 | /** |
105 | * <!-- begin-user-doc --> | ||
106 | * <!-- end-user-doc --> | ||
107 | * @generated | ||
108 | */ | ||
109 | private EClass choiceEClass = null; | ||
110 | |||
111 | /** | ||
112 | * <!-- begin-user-doc --> | ||
113 | * <!-- end-user-doc --> | ||
114 | * @generated | ||
115 | */ | ||
116 | private EClass exitEClass = null; | ||
117 | |||
118 | /** | ||
119 | * <!-- begin-user-doc --> | ||
120 | * <!-- end-user-doc --> | ||
121 | * @generated | ||
122 | */ | ||
123 | private EClass finalStateEClass = null; | ||
124 | |||
125 | /** | ||
102 | * Creates an instance of the model <b>Package</b>, registered with | 126 | * Creates an instance of the model <b>Package</b>, registered with |
103 | * {@link org.eclipse.emf.ecore.EPackage.Registry EPackage.Registry} by the package | 127 | * {@link org.eclipse.emf.ecore.EPackage.Registry EPackage.Registry} by the package |
104 | * package URI value. | 128 | * package URI value. |
@@ -308,6 +332,33 @@ public class YakindummPackageImpl extends EPackageImpl implements YakindummPacka | |||
308 | * <!-- end-user-doc --> | 332 | * <!-- end-user-doc --> |
309 | * @generated | 333 | * @generated |
310 | */ | 334 | */ |
335 | public EClass getChoice() { | ||
336 | return choiceEClass; | ||
337 | } | ||
338 | |||
339 | /** | ||
340 | * <!-- begin-user-doc --> | ||
341 | * <!-- end-user-doc --> | ||
342 | * @generated | ||
343 | */ | ||
344 | public EClass getExit() { | ||
345 | return exitEClass; | ||
346 | } | ||
347 | |||
348 | /** | ||
349 | * <!-- begin-user-doc --> | ||
350 | * <!-- end-user-doc --> | ||
351 | * @generated | ||
352 | */ | ||
353 | public EClass getFinalState() { | ||
354 | return finalStateEClass; | ||
355 | } | ||
356 | |||
357 | /** | ||
358 | * <!-- begin-user-doc --> | ||
359 | * <!-- end-user-doc --> | ||
360 | * @generated | ||
361 | */ | ||
311 | public YakindummFactory getYakindummFactory() { | 362 | public YakindummFactory getYakindummFactory() { |
312 | return (YakindummFactory)getEFactoryInstance(); | 363 | return (YakindummFactory)getEFactoryInstance(); |
313 | } | 364 | } |
@@ -356,6 +407,12 @@ public class YakindummPackageImpl extends EPackageImpl implements YakindummPacka | |||
356 | 407 | ||
357 | compositeElementEClass = createEClass(COMPOSITE_ELEMENT); | 408 | compositeElementEClass = createEClass(COMPOSITE_ELEMENT); |
358 | createEReference(compositeElementEClass, COMPOSITE_ELEMENT__REGIONS); | 409 | createEReference(compositeElementEClass, COMPOSITE_ELEMENT__REGIONS); |
410 | |||
411 | choiceEClass = createEClass(CHOICE); | ||
412 | |||
413 | exitEClass = createEClass(EXIT); | ||
414 | |||
415 | finalStateEClass = createEClass(FINAL_STATE); | ||
359 | } | 416 | } |
360 | 417 | ||
361 | /** | 418 | /** |
@@ -393,6 +450,9 @@ public class YakindummPackageImpl extends EPackageImpl implements YakindummPacka | |||
393 | stateEClass.getESuperTypes().add(this.getRegularState()); | 450 | stateEClass.getESuperTypes().add(this.getRegularState()); |
394 | stateEClass.getESuperTypes().add(this.getCompositeElement()); | 451 | stateEClass.getESuperTypes().add(this.getCompositeElement()); |
395 | regularStateEClass.getESuperTypes().add(this.getVertex()); | 452 | regularStateEClass.getESuperTypes().add(this.getVertex()); |
453 | choiceEClass.getESuperTypes().add(this.getPseudostate()); | ||
454 | exitEClass.getESuperTypes().add(this.getPseudostate()); | ||
455 | finalStateEClass.getESuperTypes().add(this.getRegularState()); | ||
396 | 456 | ||
397 | // Initialize classes, features, and operations; add parameters | 457 | // Initialize classes, features, and operations; add parameters |
398 | initEClass(pseudostateEClass, Pseudostate.class, "Pseudostate", IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | 458 | initEClass(pseudostateEClass, Pseudostate.class, "Pseudostate", IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); |
@@ -406,7 +466,7 @@ public class YakindummPackageImpl extends EPackageImpl implements YakindummPacka | |||
406 | 466 | ||
407 | initEClass(transitionEClass, Transition.class, "Transition", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | 467 | initEClass(transitionEClass, Transition.class, "Transition", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); |
408 | 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); | 468 | 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); |
409 | initEReference(getTransition_Source(), this.getVertex(), this.getVertex_OutgoingTransitions(), "source", null, 1, 1, Transition.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, !IS_ORDERED); | 469 | 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); |
410 | 470 | ||
411 | initEClass(statechartEClass, Statechart.class, "Statechart", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | 471 | initEClass(statechartEClass, Statechart.class, "Statechart", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); |
412 | 472 | ||
@@ -421,6 +481,12 @@ public class YakindummPackageImpl extends EPackageImpl implements YakindummPacka | |||
421 | initEClass(compositeElementEClass, CompositeElement.class, "CompositeElement", IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | 481 | initEClass(compositeElementEClass, CompositeElement.class, "CompositeElement", IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); |
422 | 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); | 482 | 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); |
423 | 483 | ||
484 | initEClass(choiceEClass, Choice.class, "Choice", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
485 | |||
486 | initEClass(exitEClass, Exit.class, "Exit", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
487 | |||
488 | initEClass(finalStateEClass, FinalState.class, "FinalState", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
489 | |||
424 | // Create resource | 490 | // Create resource |
425 | createResource(eNS_URI); | 491 | createResource(eNS_URI); |
426 | } | 492 | } |
diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph/ecore-gen/hu/bme/mit/inf/dslreasoner/domains/yakindu/sgraph/yakindumm/util/YakindummAdapterFactory.java b/Domains/hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph/ecore-gen/hu/bme/mit/inf/dslreasoner/domains/yakindu/sgraph/yakindumm/util/YakindummAdapterFactory.java index 06393ef6..5fe6c27a 100644 --- a/Domains/hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph/ecore-gen/hu/bme/mit/inf/dslreasoner/domains/yakindu/sgraph/yakindumm/util/YakindummAdapterFactory.java +++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph/ecore-gen/hu/bme/mit/inf/dslreasoner/domains/yakindu/sgraph/yakindumm/util/YakindummAdapterFactory.java | |||
@@ -108,6 +108,18 @@ public class YakindummAdapterFactory extends AdapterFactoryImpl { | |||
108 | return createCompositeElementAdapter(); | 108 | return createCompositeElementAdapter(); |
109 | } | 109 | } |
110 | @Override | 110 | @Override |
111 | public Adapter caseChoice(Choice object) { | ||
112 | return createChoiceAdapter(); | ||
113 | } | ||
114 | @Override | ||
115 | public Adapter caseExit(Exit object) { | ||
116 | return createExitAdapter(); | ||
117 | } | ||
118 | @Override | ||
119 | public Adapter caseFinalState(FinalState object) { | ||
120 | return createFinalStateAdapter(); | ||
121 | } | ||
122 | @Override | ||
111 | public Adapter defaultCase(EObject object) { | 123 | public Adapter defaultCase(EObject object) { |
112 | return createEObjectAdapter(); | 124 | return createEObjectAdapter(); |
113 | } | 125 | } |
@@ -268,6 +280,48 @@ public class YakindummAdapterFactory extends AdapterFactoryImpl { | |||
268 | } | 280 | } |
269 | 281 | ||
270 | /** | 282 | /** |
283 | * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph.yakindumm.Choice <em>Choice</em>}'. | ||
284 | * <!-- begin-user-doc --> | ||
285 | * This default implementation returns null so that we can easily ignore cases; | ||
286 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | ||
287 | * <!-- end-user-doc --> | ||
288 | * @return the new adapter. | ||
289 | * @see hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph.yakindumm.Choice | ||
290 | * @generated | ||
291 | */ | ||
292 | public Adapter createChoiceAdapter() { | ||
293 | return null; | ||
294 | } | ||
295 | |||
296 | /** | ||
297 | * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph.yakindumm.Exit <em>Exit</em>}'. | ||
298 | * <!-- begin-user-doc --> | ||
299 | * This default implementation returns null so that we can easily ignore cases; | ||
300 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | ||
301 | * <!-- end-user-doc --> | ||
302 | * @return the new adapter. | ||
303 | * @see hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph.yakindumm.Exit | ||
304 | * @generated | ||
305 | */ | ||
306 | public Adapter createExitAdapter() { | ||
307 | return null; | ||
308 | } | ||
309 | |||
310 | /** | ||
311 | * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph.yakindumm.FinalState <em>Final State</em>}'. | ||
312 | * <!-- begin-user-doc --> | ||
313 | * This default implementation returns null so that we can easily ignore cases; | ||
314 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | ||
315 | * <!-- end-user-doc --> | ||
316 | * @return the new adapter. | ||
317 | * @see hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph.yakindumm.FinalState | ||
318 | * @generated | ||
319 | */ | ||
320 | public Adapter createFinalStateAdapter() { | ||
321 | return null; | ||
322 | } | ||
323 | |||
324 | /** | ||
271 | * Creates a new adapter for the default case. | 325 | * Creates a new adapter for the default case. |
272 | * <!-- begin-user-doc --> | 326 | * <!-- begin-user-doc --> |
273 | * This default implementation returns null. | 327 | * This default implementation returns null. |
diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph/ecore-gen/hu/bme/mit/inf/dslreasoner/domains/yakindu/sgraph/yakindumm/util/YakindummSwitch.java b/Domains/hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph/ecore-gen/hu/bme/mit/inf/dslreasoner/domains/yakindu/sgraph/yakindumm/util/YakindummSwitch.java index 269486fb..6e0c3567 100644 --- a/Domains/hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph/ecore-gen/hu/bme/mit/inf/dslreasoner/domains/yakindu/sgraph/yakindumm/util/YakindummSwitch.java +++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph/ecore-gen/hu/bme/mit/inf/dslreasoner/domains/yakindu/sgraph/yakindumm/util/YakindummSwitch.java | |||
@@ -136,6 +136,30 @@ public class YakindummSwitch<T> extends Switch<T> { | |||
136 | if (result == null) result = defaultCase(theEObject); | 136 | if (result == null) result = defaultCase(theEObject); |
137 | return result; | 137 | return result; |
138 | } | 138 | } |
139 | case YakindummPackage.CHOICE: { | ||
140 | Choice choice = (Choice)theEObject; | ||
141 | T result = caseChoice(choice); | ||
142 | if (result == null) result = casePseudostate(choice); | ||
143 | if (result == null) result = caseVertex(choice); | ||
144 | if (result == null) result = defaultCase(theEObject); | ||
145 | return result; | ||
146 | } | ||
147 | case YakindummPackage.EXIT: { | ||
148 | Exit exit = (Exit)theEObject; | ||
149 | T result = caseExit(exit); | ||
150 | if (result == null) result = casePseudostate(exit); | ||
151 | if (result == null) result = caseVertex(exit); | ||
152 | if (result == null) result = defaultCase(theEObject); | ||
153 | return result; | ||
154 | } | ||
155 | case YakindummPackage.FINAL_STATE: { | ||
156 | FinalState finalState = (FinalState)theEObject; | ||
157 | T result = caseFinalState(finalState); | ||
158 | if (result == null) result = caseRegularState(finalState); | ||
159 | if (result == null) result = caseVertex(finalState); | ||
160 | if (result == null) result = defaultCase(theEObject); | ||
161 | return result; | ||
162 | } | ||
139 | default: return defaultCase(theEObject); | 163 | default: return defaultCase(theEObject); |
140 | } | 164 | } |
141 | } | 165 | } |
@@ -291,6 +315,51 @@ public class YakindummSwitch<T> extends Switch<T> { | |||
291 | } | 315 | } |
292 | 316 | ||
293 | /** | 317 | /** |
318 | * Returns the result of interpreting the object as an instance of '<em>Choice</em>'. | ||
319 | * <!-- begin-user-doc --> | ||
320 | * This implementation returns null; | ||
321 | * returning a non-null result will terminate the switch. | ||
322 | * <!-- end-user-doc --> | ||
323 | * @param object the target of the switch. | ||
324 | * @return the result of interpreting the object as an instance of '<em>Choice</em>'. | ||
325 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) | ||
326 | * @generated | ||
327 | */ | ||
328 | public T caseChoice(Choice object) { | ||
329 | return null; | ||
330 | } | ||
331 | |||
332 | /** | ||
333 | * Returns the result of interpreting the object as an instance of '<em>Exit</em>'. | ||
334 | * <!-- begin-user-doc --> | ||
335 | * This implementation returns null; | ||
336 | * returning a non-null result will terminate the switch. | ||
337 | * <!-- end-user-doc --> | ||
338 | * @param object the target of the switch. | ||
339 | * @return the result of interpreting the object as an instance of '<em>Exit</em>'. | ||
340 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) | ||
341 | * @generated | ||
342 | */ | ||
343 | public T caseExit(Exit object) { | ||
344 | return null; | ||
345 | } | ||
346 | |||
347 | /** | ||
348 | * Returns the result of interpreting the object as an instance of '<em>Final State</em>'. | ||
349 | * <!-- begin-user-doc --> | ||
350 | * This implementation returns null; | ||
351 | * returning a non-null result will terminate the switch. | ||
352 | * <!-- end-user-doc --> | ||
353 | * @param object the target of the switch. | ||
354 | * @return the result of interpreting the object as an instance of '<em>Final State</em>'. | ||
355 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) | ||
356 | * @generated | ||
357 | */ | ||
358 | public T caseFinalState(FinalState object) { | ||
359 | return null; | ||
360 | } | ||
361 | |||
362 | /** | ||
294 | * Returns the result of interpreting the object as an instance of '<em>EObject</em>'. | 363 | * Returns the result of interpreting the object as an instance of '<em>EObject</em>'. |
295 | * <!-- begin-user-doc --> | 364 | * <!-- begin-user-doc --> |
296 | * This implementation returns null; | 365 | * This implementation returns null; |