Trying to simplify Satellite case study

2 files changed, 178 insertions, 0 deletions

diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/satellite/util/SatelliteAdapterFactory.java b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/satellite/util/SatelliteAdapterFactory.java
index 1ecf7b19..84ddf263 100644
--- a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/satellite/util/SatelliteAdapterFactory.java
+++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/satellite/util/SatelliteAdapterFactory.java
@@ -127,6 +127,26 @@ public class SatelliteAdapterFactory extends AdapterFactoryImpl {
                 }
 
                 @Override
+                public Adapter caseCubeSat(CubeSat object) {
+                        return createCubeSatAdapter();
+                }
+
+                @Override
+                public Adapter caseUHFCommSubsystem(UHFCommSubsystem object) {
+                        return createUHFCommSubsystemAdapter();
+                }
+
+                @Override
+                public Adapter caseXCommSubsystem(XCommSubsystem object) {
+                        return createXCommSubsystemAdapter();
+                }
+
+                @Override
+                public Adapter caseKaCommSubsystem(KaCommSubsystem object) {
+                        return createKaCommSubsystemAdapter();
+                }
+
+                @Override
                 public Adapter defaultCase(EObject object) {
                         return createEObjectAdapter();
                 }
@@ -314,6 +334,62 @@ public class SatelliteAdapterFactory extends AdapterFactoryImpl {
         }
 
         /**
+         * Creates a new adapter for an object of class '{@link satellite.CubeSat <em>Cube Sat</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 satellite.CubeSat
+         * @generated
+         */
+        public Adapter createCubeSatAdapter() {
+                return null;
+        }
+
+        /**
+         * Creates a new adapter for an object of class '{@link satellite.UHFCommSubsystem <em>UHF Comm Subsystem</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 satellite.UHFCommSubsystem
+         * @generated
+         */
+        public Adapter createUHFCommSubsystemAdapter() {
+                return null;
+        }
+
+        /**
+         * Creates a new adapter for an object of class '{@link satellite.XCommSubsystem <em>XComm Subsystem</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 satellite.XCommSubsystem
+         * @generated
+         */
+        public Adapter createXCommSubsystemAdapter() {
+                return null;
+        }
+
+        /**
+         * Creates a new adapter for an object of class '{@link satellite.KaCommSubsystem <em>Ka Comm Subsystem</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 satellite.KaCommSubsystem
+         * @generated
+         */
+        public Adapter createKaCommSubsystemAdapter() {
+                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.satellite/ecore-gen/satellite/util/SatelliteSwitch.java b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/satellite/util/SatelliteSwitch.java
index 3eb78d75..6975d851 100644
--- a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/satellite/util/SatelliteSwitch.java
+++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/satellite/util/SatelliteSwitch.java
@@ -141,6 +141,8 @@ public class SatelliteSwitch<T> extends Switch<T> {
                         CubeSat3U cubeSat3U = (CubeSat3U) theEObject;
                         T result = caseCubeSat3U(cubeSat3U);
                         if (result == null)
+                                result = caseCubeSat(cubeSat3U);
+                        if (result == null)
                                 result = caseSpacecraft(cubeSat3U);
                         if (result == null)
                                 result = caseCommunicatingElement(cubeSat3U);
@@ -152,6 +154,8 @@ public class SatelliteSwitch<T> extends Switch<T> {
                         CubeSat6U cubeSat6U = (CubeSat6U) theEObject;
                         T result = caseCubeSat6U(cubeSat6U);
                         if (result == null)
+                                result = caseCubeSat(cubeSat6U);
+                        if (result == null)
                                 result = caseSpacecraft(cubeSat6U);
                         if (result == null)
                                 result = caseCommunicatingElement(cubeSat6U);
@@ -170,6 +174,44 @@ public class SatelliteSwitch<T> extends Switch<T> {
                                 result = defaultCase(theEObject);
                         return result;
                 }
+                case SatellitePackage.CUBE_SAT: {
+                        CubeSat cubeSat = (CubeSat) theEObject;
+                        T result = caseCubeSat(cubeSat);
+                        if (result == null)
+                                result = caseSpacecraft(cubeSat);
+                        if (result == null)
+                                result = caseCommunicatingElement(cubeSat);
+                        if (result == null)
+                                result = defaultCase(theEObject);
+                        return result;
+                }
+                case SatellitePackage.UHF_COMM_SUBSYSTEM: {
+                        UHFCommSubsystem uhfCommSubsystem = (UHFCommSubsystem) theEObject;
+                        T result = caseUHFCommSubsystem(uhfCommSubsystem);
+                        if (result == null)
+                                result = caseCommSubsystem(uhfCommSubsystem);
+                        if (result == null)
+                                result = defaultCase(theEObject);
+                        return result;
+                }
+                case SatellitePackage.XCOMM_SUBSYSTEM: {
+                        XCommSubsystem xCommSubsystem = (XCommSubsystem) theEObject;
+                        T result = caseXCommSubsystem(xCommSubsystem);
+                        if (result == null)
+                                result = caseCommSubsystem(xCommSubsystem);
+                        if (result == null)
+                                result = defaultCase(theEObject);
+                        return result;
+                }
+                case SatellitePackage.KA_COMM_SUBSYSTEM: {
+                        KaCommSubsystem kaCommSubsystem = (KaCommSubsystem) theEObject;
+                        T result = caseKaCommSubsystem(kaCommSubsystem);
+                        if (result == null)
+                                result = caseCommSubsystem(kaCommSubsystem);
+                        if (result == null)
+                                result = defaultCase(theEObject);
+                        return result;
+                }
                 default:
                         return defaultCase(theEObject);
                 }
@@ -356,6 +398,66 @@ public class SatelliteSwitch<T> extends Switch<T> {
         }
 
         /**
+         * Returns the result of interpreting the object as an instance of '<em>Cube Sat</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>Cube Sat</em>'.
+         * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
+         * @generated
+         */
+        public T caseCubeSat(CubeSat object) {
+                return null;
+        }
+
+        /**
+         * Returns the result of interpreting the object as an instance of '<em>UHF Comm Subsystem</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>UHF Comm Subsystem</em>'.
+         * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
+         * @generated
+         */
+        public T caseUHFCommSubsystem(UHFCommSubsystem object) {
+                return null;
+        }
+
+        /**
+         * Returns the result of interpreting the object as an instance of '<em>XComm Subsystem</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>XComm Subsystem</em>'.
+         * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
+         * @generated
+         */
+        public T caseXCommSubsystem(XCommSubsystem object) {
+                return null;
+        }
+
+        /**
+         * Returns the result of interpreting the object as an instance of '<em>Ka Comm Subsystem</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>Ka Comm Subsystem</em>'.
+         * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
+         * @generated
+         */
+        public T caseKaCommSubsystem(KaCommSubsystem object) {
+                return null;
+        }
+
+        /**
          * Returns the result of interpreting the object as an instance of '<em>EObject</em>'.
          * <!-- begin-user-doc -->
          * This implementation returns null;