Added missing types: exit state, final state and choice

2 files changed, 100 insertions, 1 deletions

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

         }