Added missing types: exit state, final state and choice

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 {
          * @see #setSource(Vertex)

          * @see hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph.yakindumm.YakindummPackage#getTransition_Source()

          * @see hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph.yakindumm.Vertex#getOutgoingTransitions

-         * @model opposite="outgoingTransitions" required="true" transient="false" ordered="false"

+         * @model opposite="outgoingTransitions" transient="false" ordered="false"

          * @generated

          */

         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 {
         State createState();

 

         /**

+         * Returns a new object of class '<em>Choice</em>'.

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @return a new object of class '<em>Choice</em>'.

+         * @generated

+         */

+        Choice createChoice();

+

+        /**

+         * Returns a new object of class '<em>Exit</em>'.

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @return a new object of class '<em>Exit</em>'.

+         * @generated

+         */

+        Exit createExit();

+

+        /**

+         * Returns a new object of class '<em>Final State</em>'.

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @return a new object of class '<em>Final State</em>'.

+         * @generated

+         */

+        FinalState createFinalState();

+

+        /**

          * Returns the package supported by this factory.

          * <!-- begin-user-doc -->

          * <!-- 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 {
 

 

         /**

+         * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph.yakindumm.impl.ChoiceImpl <em>Choice</em>}' class.

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @see hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph.yakindumm.impl.ChoiceImpl

+         * @see hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph.yakindumm.impl.YakindummPackageImpl#getChoice()

+         * @generated

+         */

+        int CHOICE = 10;

+

+        /**

+         * The feature id for the '<em><b>Incoming Transitions</b></em>' reference list.

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @generated

+         * @ordered

+         */

+        int CHOICE__INCOMING_TRANSITIONS = PSEUDOSTATE__INCOMING_TRANSITIONS;

+

+        /**

+         * The feature id for the '<em><b>Outgoing Transitions</b></em>' containment reference list.

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @generated

+         * @ordered

+         */

+        int CHOICE__OUTGOING_TRANSITIONS = PSEUDOSTATE__OUTGOING_TRANSITIONS;

+

+        /**

+         * The number of structural features of the '<em>Choice</em>' class.

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @generated

+         * @ordered

+         */

+        int CHOICE_FEATURE_COUNT = PSEUDOSTATE_FEATURE_COUNT + 0;

+

+        /**

+         * The number of operations of the '<em>Choice</em>' class.

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @generated

+         * @ordered

+         */

+        int CHOICE_OPERATION_COUNT = PSEUDOSTATE_OPERATION_COUNT + 0;

+

+        /**

+         * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph.yakindumm.impl.ExitImpl <em>Exit</em>}' class.

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @see hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph.yakindumm.impl.ExitImpl

+         * @see hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph.yakindumm.impl.YakindummPackageImpl#getExit()

+         * @generated

+         */

+        int EXIT = 11;

+

+        /**

+         * The feature id for the '<em><b>Incoming Transitions</b></em>' reference list.

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @generated

+         * @ordered

+         */

+        int EXIT__INCOMING_TRANSITIONS = PSEUDOSTATE__INCOMING_TRANSITIONS;

+

+        /**

+         * The feature id for the '<em><b>Outgoing Transitions</b></em>' containment reference list.

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @generated

+         * @ordered

+         */

+        int EXIT__OUTGOING_TRANSITIONS = PSEUDOSTATE__OUTGOING_TRANSITIONS;

+

+        /**

+         * The number of structural features of the '<em>Exit</em>' class.

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @generated

+         * @ordered

+         */

+        int EXIT_FEATURE_COUNT = PSEUDOSTATE_FEATURE_COUNT + 0;

+

+        /**

+         * The number of operations of the '<em>Exit</em>' class.

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @generated

+         * @ordered

+         */

+        int EXIT_OPERATION_COUNT = PSEUDOSTATE_OPERATION_COUNT + 0;

+

+

+        /**

+         * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph.yakindumm.impl.FinalStateImpl <em>Final State</em>}' class.

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @see hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph.yakindumm.impl.FinalStateImpl

+         * @see hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph.yakindumm.impl.YakindummPackageImpl#getFinalState()

+         * @generated

+         */

+        int FINAL_STATE = 12;

+

+        /**

+         * The feature id for the '<em><b>Incoming Transitions</b></em>' reference list.

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @generated

+         * @ordered

+         */

+        int FINAL_STATE__INCOMING_TRANSITIONS = REGULAR_STATE__INCOMING_TRANSITIONS;

+

+        /**

+         * The feature id for the '<em><b>Outgoing Transitions</b></em>' containment reference list.

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @generated

+         * @ordered

+         */

+        int FINAL_STATE__OUTGOING_TRANSITIONS = REGULAR_STATE__OUTGOING_TRANSITIONS;

+

+        /**

+         * The number of structural features of the '<em>Final State</em>' class.

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @generated

+         * @ordered

+         */

+        int FINAL_STATE_FEATURE_COUNT = REGULAR_STATE_FEATURE_COUNT + 0;

+

+        /**

+         * The number of operations of the '<em>Final State</em>' class.

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @generated

+         * @ordered

+         */

+        int FINAL_STATE_OPERATION_COUNT = REGULAR_STATE_OPERATION_COUNT + 0;

+

+

+        /**

          * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph.yakindumm.Pseudostate <em>Pseudostate</em>}'.

          * <!-- begin-user-doc -->

          * <!-- end-user-doc -->

@@ -665,6 +805,36 @@ public interface YakindummPackage extends EPackage {
         EReference getCompositeElement_Regions();

 

         /**

+         * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph.yakindumm.Choice <em>Choice</em>}'.

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @return the meta object for class '<em>Choice</em>'.

+         * @see hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph.yakindumm.Choice

+         * @generated

+         */

+        EClass getChoice();

+

+        /**

+         * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph.yakindumm.Exit <em>Exit</em>}'.

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @return the meta object for class '<em>Exit</em>'.

+         * @see hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph.yakindumm.Exit

+         * @generated

+         */

+        EClass getExit();

+

+        /**

+         * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph.yakindumm.FinalState <em>Final State</em>}'.

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @return the meta object for class '<em>Final State</em>'.

+         * @see hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph.yakindumm.FinalState

+         * @generated

+         */

+        EClass getFinalState();

+

+        /**

          * Returns the factory that creates the instances of the model.

          * <!-- begin-user-doc -->

          * <!-- end-user-doc -->

@@ -835,6 +1005,36 @@ public interface YakindummPackage extends EPackage {
                  */

                 EReference COMPOSITE_ELEMENT__REGIONS = eINSTANCE.getCompositeElement_Regions();

 

+                /**

+                 * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph.yakindumm.impl.ChoiceImpl <em>Choice</em>}' class.

+                 * <!-- begin-user-doc -->

+                 * <!-- end-user-doc -->

+                 * @see hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph.yakindumm.impl.ChoiceImpl

+                 * @see hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph.yakindumm.impl.YakindummPackageImpl#getChoice()

+                 * @generated

+                 */

+                EClass CHOICE = eINSTANCE.getChoice();

+

+                /**

+                 * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph.yakindumm.impl.ExitImpl <em>Exit</em>}' class.

+                 * <!-- begin-user-doc -->

+                 * <!-- end-user-doc -->

+                 * @see hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph.yakindumm.impl.ExitImpl

+                 * @see hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph.yakindumm.impl.YakindummPackageImpl#getExit()

+                 * @generated

+                 */

+                EClass EXIT = eINSTANCE.getExit();

+

+                /**

+                 * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph.yakindumm.impl.FinalStateImpl <em>Final State</em>}' class.

+                 * <!-- begin-user-doc -->

+                 * <!-- end-user-doc -->

+                 * @see hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph.yakindumm.impl.FinalStateImpl

+                 * @see hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph.yakindumm.impl.YakindummPackageImpl#getFinalState()

+                 * @generated

+                 */

+                EClass FINAL_STATE = eINSTANCE.getFinalState();

+

         }

 

 } //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
                         case YakindummPackage.ENTRY: return createEntry();

                         case YakindummPackage.SYNCHRONIZATION: return createSynchronization();

                         case YakindummPackage.STATE: return createState();

+                        case YakindummPackage.CHOICE: return createChoice();

+                        case YakindummPackage.EXIT: return createExit();

+                        case YakindummPackage.FINAL_STATE: return createFinalState();

                         default:

                                 throw new IllegalArgumentException("The class '" + eClass.getName() + "' is not a valid classifier");

                 }

@@ -132,6 +135,36 @@ public class YakindummFactoryImpl extends EFactoryImpl implements YakindummFacto
          * <!-- end-user-doc -->

          * @generated

          */

+        public Choice createChoice() {

+                ChoiceImpl choice = new ChoiceImpl();

+                return choice;

+        }

+

+        /**

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @generated

+         */

+        public Exit createExit() {

+                ExitImpl exit = new ExitImpl();

+                return exit;

+        }

+

+        /**

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @generated

+         */

+        public FinalState createFinalState() {

+                FinalStateImpl finalState = new FinalStateImpl();

+                return finalState;

+        }

+

+        /**

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @generated

+         */

         public YakindummPackage getYakindummPackage() {

                 return (YakindummPackage)getEPackage();

         }

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 @@
  */

 package hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph.yakindumm.impl;

 

+import hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph.yakindumm.Choice;

 import hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph.yakindumm.CompositeElement;

 import hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph.yakindumm.Entry;

+import hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph.yakindumm.Exit;

+import hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph.yakindumm.FinalState;

 import hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph.yakindumm.Pseudostate;

 import hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph.yakindumm.Region;

 import hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph.yakindumm.RegularState;

@@ -99,6 +102,27 @@ public class YakindummPackageImpl extends EPackageImpl implements YakindummPacka
         private EClass compositeElementEClass = null;

 

         /**

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @generated

+         */

+        private EClass choiceEClass = null;

+

+        /**

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @generated

+         */

+        private EClass exitEClass = null;

+

+        /**

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @generated

+         */

+        private EClass finalStateEClass = null;

+

+        /**

          * Creates an instance of the model <b>Package</b>, registered with

          * {@link org.eclipse.emf.ecore.EPackage.Registry EPackage.Registry} by the package

          * package URI value.

@@ -308,6 +332,33 @@ public class YakindummPackageImpl extends EPackageImpl implements YakindummPacka
          * <!-- end-user-doc -->

          * @generated

          */

+        public EClass getChoice() {

+                return choiceEClass;

+        }

+

+        /**

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @generated

+         */

+        public EClass getExit() {

+                return exitEClass;

+        }

+

+        /**

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @generated

+         */

+        public EClass getFinalState() {

+                return finalStateEClass;

+        }

+

+        /**

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @generated

+         */

         public YakindummFactory getYakindummFactory() {

                 return (YakindummFactory)getEFactoryInstance();

         }

@@ -356,6 +407,12 @@ public class YakindummPackageImpl extends EPackageImpl implements YakindummPacka
 

                 compositeElementEClass = createEClass(COMPOSITE_ELEMENT);

                 createEReference(compositeElementEClass, COMPOSITE_ELEMENT__REGIONS);

+

+                choiceEClass = createEClass(CHOICE);

+

+                exitEClass = createEClass(EXIT);

+

+                finalStateEClass = createEClass(FINAL_STATE);

         }

 

         /**

@@ -393,6 +450,9 @@ public class YakindummPackageImpl extends EPackageImpl implements YakindummPacka
                 stateEClass.getESuperTypes().add(this.getRegularState());

                 stateEClass.getESuperTypes().add(this.getCompositeElement());

                 regularStateEClass.getESuperTypes().add(this.getVertex());

+                choiceEClass.getESuperTypes().add(this.getPseudostate());

+                exitEClass.getESuperTypes().add(this.getPseudostate());

+                finalStateEClass.getESuperTypes().add(this.getRegularState());

 

                 // Initialize classes, features, and operations; add parameters

                 initEClass(pseudostateEClass, Pseudostate.class, "Pseudostate", IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);

@@ -406,7 +466,7 @@ public class YakindummPackageImpl extends EPackageImpl implements YakindummPacka
 

                 initEClass(transitionEClass, Transition.class, "Transition", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);

                 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);

-                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);

+                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);

 

                 initEClass(statechartEClass, Statechart.class, "Statechart", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);

 

@@ -421,6 +481,12 @@ public class YakindummPackageImpl extends EPackageImpl implements YakindummPacka
                 initEClass(compositeElementEClass, CompositeElement.class, "CompositeElement", IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);

                 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);

 

+                initEClass(choiceEClass, Choice.class, "Choice", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);

+

+                initEClass(exitEClass, Exit.class, "Exit", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);

+

+                initEClass(finalStateEClass, FinalState.class, "FinalState", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);

+

                 // Create resource

                 createResource(eNS_URI);

         }

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 {
                                 return createCompositeElementAdapter();

                         }

                         @Override

+                        public Adapter caseChoice(Choice object) {

+                                return createChoiceAdapter();

+                        }

+                        @Override

+                        public Adapter caseExit(Exit object) {

+                                return createExitAdapter();

+                        }

+                        @Override

+                        public Adapter caseFinalState(FinalState object) {

+                                return createFinalStateAdapter();

+                        }

+                        @Override

                         public Adapter defaultCase(EObject object) {

                                 return createEObjectAdapter();

                         }

@@ -268,6 +280,48 @@ public class YakindummAdapterFactory extends AdapterFactoryImpl {
         }

 

         /**

+         * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph.yakindumm.Choice <em>Choice</em>}'.

+         * <!-- begin-user-doc -->

+         * This default implementation returns null so that we can easily ignore cases;

+         * it's useful to ignore a case when inheritance will catch all the cases anyway.

+         * <!-- end-user-doc -->

+         * @return the new adapter.

+         * @see hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph.yakindumm.Choice

+         * @generated

+         */

+        public Adapter createChoiceAdapter() {

+                return null;

+        }

+

+        /**

+         * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph.yakindumm.Exit <em>Exit</em>}'.

+         * <!-- begin-user-doc -->

+         * This default implementation returns null so that we can easily ignore cases;

+         * it's useful to ignore a case when inheritance will catch all the cases anyway.

+         * <!-- end-user-doc -->

+         * @return the new adapter.

+         * @see hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph.yakindumm.Exit

+         * @generated

+         */

+        public Adapter createExitAdapter() {

+                return null;

+        }

+

+        /**

+         * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph.yakindumm.FinalState <em>Final State</em>}'.

+         * <!-- begin-user-doc -->

+         * This default implementation returns null so that we can easily ignore cases;

+         * it's useful to ignore a case when inheritance will catch all the cases anyway.

+         * <!-- end-user-doc -->

+         * @return the new adapter.

+         * @see hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph.yakindumm.FinalState

+         * @generated

+         */

+        public Adapter createFinalStateAdapter() {

+                return null;

+        }

+

+        /**

          * Creates a new adapter for the default case.

          * <!-- begin-user-doc -->

          * 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> {
                                 if (result == null) result = defaultCase(theEObject);

                                 return result;

                         }

+                        case YakindummPackage.CHOICE: {

+                                Choice choice = (Choice)theEObject;

+                                T result = caseChoice(choice);

+                                if (result == null) result = casePseudostate(choice);

+                                if (result == null) result = caseVertex(choice);

+                                if (result == null) result = defaultCase(theEObject);

+                                return result;

+                        }

+                        case YakindummPackage.EXIT: {

+                                Exit exit = (Exit)theEObject;

+                                T result = caseExit(exit);

+                                if (result == null) result = casePseudostate(exit);

+                                if (result == null) result = caseVertex(exit);

+                                if (result == null) result = defaultCase(theEObject);

+                                return result;

+                        }

+                        case YakindummPackage.FINAL_STATE: {

+                                FinalState finalState = (FinalState)theEObject;

+                                T result = caseFinalState(finalState);

+                                if (result == null) result = caseRegularState(finalState);

+                                if (result == null) result = caseVertex(finalState);

+                                if (result == null) result = defaultCase(theEObject);

+                                return result;

+                        }

                         default: return defaultCase(theEObject);

                 }

         }

@@ -291,6 +315,51 @@ public class YakindummSwitch<T> extends Switch<T> {
         }

 

         /**

+         * Returns the result of interpreting the object as an instance of '<em>Choice</em>'.

+         * <!-- begin-user-doc -->

+         * This implementation returns null;

+         * returning a non-null result will terminate the switch.

+         * <!-- end-user-doc -->

+         * @param object the target of the switch.

+         * @return the result of interpreting the object as an instance of '<em>Choice</em>'.

+         * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)

+         * @generated

+         */

+        public T caseChoice(Choice object) {

+                return null;

+        }

+

+        /**

+         * Returns the result of interpreting the object as an instance of '<em>Exit</em>'.

+         * <!-- begin-user-doc -->

+         * This implementation returns null;

+         * returning a non-null result will terminate the switch.

+         * <!-- end-user-doc -->

+         * @param object the target of the switch.

+         * @return the result of interpreting the object as an instance of '<em>Exit</em>'.

+         * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)

+         * @generated

+         */

+        public T caseExit(Exit object) {

+                return null;

+        }

+

+        /**

+         * Returns the result of interpreting the object as an instance of '<em>Final State</em>'.

+         * <!-- begin-user-doc -->

+         * This implementation returns null;

+         * returning a non-null result will terminate the switch.

+         * <!-- end-user-doc -->

+         * @param object the target of the switch.

+         * @return the result of interpreting the object as an instance of '<em>Final State</em>'.

+         * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)

+         * @generated

+         */

+        public T caseFinalState(FinalState object) {

+                return null;

+        }

+

+        /**

          * Returns the result of interpreting the object as an instance of '<em>EObject</em>'.

          * <!-- begin-user-doc -->

          * This implementation returns null;