1 files changed, 223 insertions, 0 deletions

diff --git a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/yakindumm/impl/YakindummFactoryImpl.java b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/yakindumm/impl/YakindummFactoryImpl.java
new file mode 100644
index 00000000..d4be344f
--- /dev/null
+++ b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/yakindumm/impl/YakindummFactoryImpl.java
@@ -0,0 +1,223 @@
+/**
+ */
+package ca.mcgill.ecse.dslreasoner.vampire.yakindumm.impl;
+
+import ca.mcgill.ecse.dslreasoner.vampire.yakindumm.*;
+
+import org.eclipse.emf.ecore.EClass;
+import org.eclipse.emf.ecore.EDataType;
+import org.eclipse.emf.ecore.EObject;
+import org.eclipse.emf.ecore.EPackage;
+
+import org.eclipse.emf.ecore.impl.EFactoryImpl;
+
+import org.eclipse.emf.ecore.plugin.EcorePlugin;
+
+/**
+ * <!-- begin-user-doc -->
+ * An implementation of the model <b>Factory</b>.
+ * <!-- end-user-doc -->
+ * @generated
+ */
+public class YakindummFactoryImpl extends EFactoryImpl implements YakindummFactory {
+        /**
+         * Creates the default factory implementation.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        public static YakindummFactory init() {
+                try {
+                        YakindummFactory theYakindummFactory = (YakindummFactory)EPackage.Registry.INSTANCE.getEFactory(YakindummPackage.eNS_URI);
+                        if (theYakindummFactory != null) {
+                                return theYakindummFactory;
+                        }
+                }
+                catch (Exception exception) {
+                        EcorePlugin.INSTANCE.log(exception);
+                }
+                return new YakindummFactoryImpl();
+        }
+
+        /**
+         * Creates an instance of the factory.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        public YakindummFactoryImpl() {
+                super();
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @Override
+        public EObject create(EClass eClass) {
+                switch (eClass.getClassifierID()) {
+                        case YakindummPackage.REGION: return createRegion();
+                        case YakindummPackage.TRANSITION: return createTransition();
+                        case YakindummPackage.STATECHART: return createStatechart();
+                        case YakindummPackage.ENTRY: return createEntry();
+                        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");
+                }
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @Override
+        public Object createFromString(EDataType eDataType, String initialValue) {
+                switch (eDataType.getClassifierID()) {
+                        case YakindummPackage.ENTRY_TYPE:
+                                return createEntryTypeFromString(eDataType, initialValue);
+                        default:
+                                throw new IllegalArgumentException("The datatype '" + eDataType.getName() + "' is not a valid classifier");
+                }
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @Override
+        public String convertToString(EDataType eDataType, Object instanceValue) {
+                switch (eDataType.getClassifierID()) {
+                        case YakindummPackage.ENTRY_TYPE:
+                                return convertEntryTypeToString(eDataType, instanceValue);
+                        default:
+                                throw new IllegalArgumentException("The datatype '" + eDataType.getName() + "' is not a valid classifier");
+                }
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        public Region createRegion() {
+                RegionImpl region = new RegionImpl();
+                return region;
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        public Transition createTransition() {
+                TransitionImpl transition = new TransitionImpl();
+                return transition;
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        public Statechart createStatechart() {
+                StatechartImpl statechart = new StatechartImpl();
+                return statechart;
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        public Entry createEntry() {
+                EntryImpl entry = new EntryImpl();
+                return entry;
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        public State createState() {
+                StateImpl state = new StateImpl();
+                return state;
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- 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 EntryType createEntryTypeFromString(EDataType eDataType, String initialValue) {
+                EntryType result = EntryType.get(initialValue);
+                if (result == null) throw new IllegalArgumentException("The value '" + initialValue + "' is not a valid enumerator of '" + eDataType.getName() + "'");
+                return result;
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        public String convertEntryTypeToString(EDataType eDataType, Object instanceValue) {
+                return instanceValue == null ? null : instanceValue.toString();
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        public YakindummPackage getYakindummPackage() {
+                return (YakindummPackage)getEPackage();
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @deprecated
+         * @generated
+         */
+        @Deprecated
+        public static YakindummPackage getPackage() {
+                return YakindummPackage.eINSTANCE;
+        }
+
+} //YakindummFactoryImpl