1 files changed, 657 insertions, 0 deletions

diff --git a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/yakindumm/util/YakinduAdapterFactory.java b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/yakindumm/util/YakinduAdapterFactory.java
new file mode 100644
index 00000000..fb33ef42
--- /dev/null
+++ b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/yakindumm/util/YakinduAdapterFactory.java
@@ -0,0 +1,657 @@
+<<<<<<< HEAD:Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/yakindumm/util/YakindummAdapterFactory.java
+/**
+ */
+package ca.mcgill.ecse.dslreasoner.vampire.yakindumm.util;
+
+import ca.mcgill.ecse.dslreasoner.vampire.yakindumm.*;
+
+import org.eclipse.emf.common.notify.Adapter;
+import org.eclipse.emf.common.notify.Notifier;
+
+import org.eclipse.emf.common.notify.impl.AdapterFactoryImpl;
+
+import org.eclipse.emf.ecore.EObject;
+
+/**
+ * <!-- begin-user-doc -->
+ * The <b>Adapter Factory</b> for the model.
+ * It provides an adapter <code>createXXX</code> method for each class of the model.
+ * <!-- end-user-doc -->
+ * @see ca.mcgill.ecse.dslreasoner.vampire.yakindumm.YakindummPackage
+ * @generated
+ */
+public class YakindummAdapterFactory extends AdapterFactoryImpl {
+        /**
+         * The cached model package.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        protected static YakindummPackage modelPackage;
+
+        /**
+         * Creates an instance of the adapter factory.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        public YakindummAdapterFactory() {
+                if (modelPackage == null) {
+                        modelPackage = YakindummPackage.eINSTANCE;
+                }
+        }
+
+        /**
+         * Returns whether this factory is applicable for the type of the object.
+         * <!-- begin-user-doc -->
+         * This implementation returns <code>true</code> if the object is either the model's package or is an instance object of the model.
+         * <!-- end-user-doc -->
+         * @return whether this factory is applicable for the type of the object.
+         * @generated
+         */
+        @Override
+        public boolean isFactoryForType(Object object) {
+                if (object == modelPackage) {
+                        return true;
+                }
+                if (object instanceof EObject) {
+                        return ((EObject)object).eClass().getEPackage() == modelPackage;
+                }
+                return false;
+        }
+
+        /**
+         * The switch that delegates to the <code>createXXX</code> methods.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        protected YakindummSwitch<Adapter> modelSwitch =
+                new YakindummSwitch<Adapter>() {
+                        @Override
+                        public Adapter casePseudostate(Pseudostate object) {
+                                return createPseudostateAdapter();
+                        }
+                        @Override
+                        public Adapter caseVertex(Vertex object) {
+                                return createVertexAdapter();
+                        }
+                        @Override
+                        public Adapter caseRegion(Region object) {
+                                return createRegionAdapter();
+                        }
+                        @Override
+                        public Adapter caseTransition(Transition object) {
+                                return createTransitionAdapter();
+                        }
+                        @Override
+                        public Adapter caseStatechart(Statechart object) {
+                                return createStatechartAdapter();
+                        }
+                        @Override
+                        public Adapter caseEntry(Entry object) {
+                                return createEntryAdapter();
+                        }
+                        @Override
+                        public Adapter caseState(State object) {
+                                return createStateAdapter();
+                        }
+                        @Override
+                        public Adapter caseRegularState(RegularState object) {
+                                return createRegularStateAdapter();
+                        }
+                        @Override
+                        public Adapter caseCompositeElement(CompositeElement object) {
+                                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();
+                        }
+                };
+
+        /**
+         * Creates an adapter for the <code>target</code>.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @param target the object to adapt.
+         * @return the adapter for the <code>target</code>.
+         * @generated
+         */
+        @Override
+        public Adapter createAdapter(Notifier target) {
+                return modelSwitch.doSwitch((EObject)target);
+        }
+
+
+        /**
+         * Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.vampire.yakindumm.Pseudostate <em>Pseudostate</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 ca.mcgill.ecse.dslreasoner.vampire.yakindumm.Pseudostate
+         * @generated
+         */
+        public Adapter createPseudostateAdapter() {
+                return null;
+        }
+
+        /**
+         * Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.vampire.yakindumm.Vertex <em>Vertex</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 ca.mcgill.ecse.dslreasoner.vampire.yakindumm.Vertex
+         * @generated
+         */
+        public Adapter createVertexAdapter() {
+                return null;
+        }
+
+        /**
+         * Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.vampire.yakindumm.Region <em>Region</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 ca.mcgill.ecse.dslreasoner.vampire.yakindumm.Region
+         * @generated
+         */
+        public Adapter createRegionAdapter() {
+                return null;
+        }
+
+        /**
+         * Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.vampire.yakindumm.Transition <em>Transition</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 ca.mcgill.ecse.dslreasoner.vampire.yakindumm.Transition
+         * @generated
+         */
+        public Adapter createTransitionAdapter() {
+                return null;
+        }
+
+        /**
+         * Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.vampire.yakindumm.Statechart <em>Statechart</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 ca.mcgill.ecse.dslreasoner.vampire.yakindumm.Statechart
+         * @generated
+         */
+        public Adapter createStatechartAdapter() {
+                return null;
+        }
+
+        /**
+         * Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.vampire.yakindumm.Entry <em>Entry</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 ca.mcgill.ecse.dslreasoner.vampire.yakindumm.Entry
+         * @generated
+         */
+        public Adapter createEntryAdapter() {
+                return null;
+        }
+
+        /**
+         * Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.vampire.yakindumm.State <em>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 ca.mcgill.ecse.dslreasoner.vampire.yakindumm.State
+         * @generated
+         */
+        public Adapter createStateAdapter() {
+                return null;
+        }
+
+        /**
+         * Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.vampire.yakindumm.RegularState <em>Regular 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 ca.mcgill.ecse.dslreasoner.vampire.yakindumm.RegularState
+         * @generated
+         */
+        public Adapter createRegularStateAdapter() {
+                return null;
+        }
+
+        /**
+         * Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.vampire.yakindumm.CompositeElement <em>Composite Element</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 ca.mcgill.ecse.dslreasoner.vampire.yakindumm.CompositeElement
+         * @generated
+         */
+        public Adapter createCompositeElementAdapter() {
+                return null;
+        }
+
+        /**
+         * Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.vampire.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 ca.mcgill.ecse.dslreasoner.vampire.yakindumm.Choice
+         * @generated
+         */
+        public Adapter createChoiceAdapter() {
+                return null;
+        }
+
+        /**
+         * Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.vampire.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 ca.mcgill.ecse.dslreasoner.vampire.yakindumm.Exit
+         * @generated
+         */
+        public Adapter createExitAdapter() {
+                return null;
+        }
+
+        /**
+         * Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.vampire.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 ca.mcgill.ecse.dslreasoner.vampire.yakindumm.FinalState
+         * @generated
+         */
+        public Adapter createFinalStateAdapter() {
+                return null;
+        }
+
+        /**
+         * Creates a new adapter for the default case.
+         * <!-- begin-user-doc -->
+         * This default implementation returns null.
+         * <!-- end-user-doc -->
+         * @return the new adapter.
+         * @generated
+         */
+        public Adapter createEObjectAdapter() {
+                return null;
+        }
+
+} //YakindummAdapterFactory
+=======
+/**
+ */
+package ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.util;
+
+import ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.*;
+
+import org.eclipse.emf.common.notify.Adapter;
+import org.eclipse.emf.common.notify.Notifier;
+
+import org.eclipse.emf.common.notify.impl.AdapterFactoryImpl;
+
+import org.eclipse.emf.ecore.EObject;
+
+/**
+ * <!-- begin-user-doc -->
+ * The <b>Adapter Factory</b> for the model.
+ * It provides an adapter <code>createXXX</code> method for each class of the model.
+ * <!-- end-user-doc -->
+ * @see ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.YakinduPackage
+ * @generated
+ */
+public class YakinduAdapterFactory extends AdapterFactoryImpl {
+        /**
+         * The cached model package.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        protected static YakinduPackage modelPackage;
+
+        /**
+         * Creates an instance of the adapter factory.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        public YakinduAdapterFactory() {
+                if (modelPackage == null) {
+                        modelPackage = YakinduPackage.eINSTANCE;
+                }
+        }
+
+        /**
+         * Returns whether this factory is applicable for the type of the object.
+         * <!-- begin-user-doc -->
+         * This implementation returns <code>true</code> if the object is either the model's package or is an instance object of the model.
+         * <!-- end-user-doc -->
+         * @return whether this factory is applicable for the type of the object.
+         * @generated
+         */
+        @Override
+        public boolean isFactoryForType(Object object) {
+                if (object == modelPackage) {
+                        return true;
+                }
+                if (object instanceof EObject) {
+                        return ((EObject)object).eClass().getEPackage() == modelPackage;
+                }
+                return false;
+        }
+
+        /**
+         * The switch that delegates to the <code>createXXX</code> methods.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        protected YakinduSwitch<Adapter> modelSwitch =
+                new YakinduSwitch<Adapter>() {
+                        @Override
+                        public Adapter casePseudostate(Pseudostate object) {
+                                return createPseudostateAdapter();
+                        }
+                        @Override
+                        public Adapter caseVertex(Vertex object) {
+                                return createVertexAdapter();
+                        }
+                        @Override
+                        public Adapter caseRegion(Region object) {
+                                return createRegionAdapter();
+                        }
+                        @Override
+                        public Adapter caseTransition(Transition object) {
+                                return createTransitionAdapter();
+                        }
+                        @Override
+                        public Adapter caseStatechart(Statechart object) {
+                                return createStatechartAdapter();
+                        }
+                        @Override
+                        public Adapter caseEntry(Entry object) {
+                                return createEntryAdapter();
+                        }
+                        @Override
+                        public Adapter caseSynchronization(Synchronization object) {
+                                return createSynchronizationAdapter();
+                        }
+                        @Override
+                        public Adapter caseState(State object) {
+                                return createStateAdapter();
+                        }
+                        @Override
+                        public Adapter caseRegularState(RegularState object) {
+                                return createRegularStateAdapter();
+                        }
+                        @Override
+                        public Adapter caseCompositeElement(CompositeElement object) {
+                                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();
+                        }
+                };
+
+        /**
+         * Creates an adapter for the <code>target</code>.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @param target the object to adapt.
+         * @return the adapter for the <code>target</code>.
+         * @generated
+         */
+        @Override
+        public Adapter createAdapter(Notifier target) {
+                return modelSwitch.doSwitch((EObject)target);
+        }
+
+
+        /**
+         * Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.Pseudostate <em>Pseudostate</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 ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.Pseudostate
+         * @generated
+         */
+        public Adapter createPseudostateAdapter() {
+                return null;
+        }
+
+        /**
+         * Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.Vertex <em>Vertex</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 ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.Vertex
+         * @generated
+         */
+        public Adapter createVertexAdapter() {
+                return null;
+        }
+
+        /**
+         * Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.Region <em>Region</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 ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.Region
+         * @generated
+         */
+        public Adapter createRegionAdapter() {
+                return null;
+        }
+
+        /**
+         * Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.Transition <em>Transition</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 ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.Transition
+         * @generated
+         */
+        public Adapter createTransitionAdapter() {
+                return null;
+        }
+
+        /**
+         * Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.Statechart <em>Statechart</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 ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.Statechart
+         * @generated
+         */
+        public Adapter createStatechartAdapter() {
+                return null;
+        }
+
+        /**
+         * Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.Entry <em>Entry</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 ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.Entry
+         * @generated
+         */
+        public Adapter createEntryAdapter() {
+                return null;
+        }
+
+        /**
+         * Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.Synchronization <em>Synchronization</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 ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.Synchronization
+         * @generated
+         */
+        public Adapter createSynchronizationAdapter() {
+                return null;
+        }
+
+        /**
+         * Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.State <em>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 ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.State
+         * @generated
+         */
+        public Adapter createStateAdapter() {
+                return null;
+        }
+
+        /**
+         * Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.RegularState <em>Regular 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 ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.RegularState
+         * @generated
+         */
+        public Adapter createRegularStateAdapter() {
+                return null;
+        }
+
+        /**
+         * Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.CompositeElement <em>Composite Element</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 ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.CompositeElement
+         * @generated
+         */
+        public Adapter createCompositeElementAdapter() {
+                return null;
+        }
+
+        /**
+         * Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.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 ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.Choice
+         * @generated
+         */
+        public Adapter createChoiceAdapter() {
+                return null;
+        }
+
+        /**
+         * Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.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 ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.Exit
+         * @generated
+         */
+        public Adapter createExitAdapter() {
+                return null;
+        }
+
+        /**
+         * Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.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 ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.FinalState
+         * @generated
+         */
+        public Adapter createFinalStateAdapter() {
+                return null;
+        }
+
+        /**
+         * Creates a new adapter for the default case.
+         * <!-- begin-user-doc -->
+         * This default implementation returns null.
+         * <!-- end-user-doc -->
+         * @return the new adapter.
+         * @generated
+         */
+        public Adapter createEObjectAdapter() {
+                return null;
+        }
+
+} //YakinduAdapterFactory
+>>>>>>> f1f2a1fa... Pre-realisticBranchCreation Commit:Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/yakindumm/util/YakinduAdapterFactory.java