Clean up CPS and Satellite domains

4 files changed, 203 insertions, 10 deletions

diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/satellite/CommSubsystem.java b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/satellite/CommSubsystem.java
index 3b9d7ecf..90bca78c 100644
--- a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/satellite/CommSubsystem.java
+++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/satellite/CommSubsystem.java
@@ -2,6 +2,7 @@
  */
 package satellite;
 
+import org.eclipse.emf.common.util.EList;
 import org.eclipse.emf.ecore.EObject;
 
 /**
@@ -14,6 +15,7 @@ import org.eclipse.emf.ecore.EObject;
  * </p>
  * <ul>
  *   <li>{@link satellite.CommSubsystem#getTarget <em>Target</em>}</li>
+ *   <li>{@link satellite.CommSubsystem#getSource <em>Source</em>}</li>
  * </ul>
  *
  * @see satellite.SatellitePackage#getCommSubsystem()
@@ -24,12 +26,14 @@ public interface CommSubsystem extends EObject {
 
         /**
          * Returns the value of the '<em><b>Target</b></em>' reference.
+         * It is bidirectional and its opposite is '{@link satellite.CommSubsystem#getSource <em>Source</em>}'.
          * <!-- begin-user-doc -->
          * <!-- end-user-doc -->
          * @return the value of the '<em>Target</em>' reference.
          * @see #setTarget(CommSubsystem)
          * @see satellite.SatellitePackage#getCommSubsystem_Target()
-         * @model
+         * @see satellite.CommSubsystem#getSource
+         * @model opposite="source"
          * @generated
          */
         CommSubsystem getTarget();
@@ -44,4 +48,18 @@ public interface CommSubsystem extends EObject {
          */
         void setTarget(CommSubsystem value);
 
+        /**
+         * Returns the value of the '<em><b>Source</b></em>' reference list.
+         * The list contents are of type {@link satellite.CommSubsystem}.
+         * It is bidirectional and its opposite is '{@link satellite.CommSubsystem#getTarget <em>Target</em>}'.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @return the value of the '<em>Source</em>' reference list.
+         * @see satellite.SatellitePackage#getCommSubsystem_Source()
+         * @see satellite.CommSubsystem#getTarget
+         * @model opposite="target"
+         * @generated
+         */
+        EList<CommSubsystem> getSource();
+
 } // CommSubsystem
diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/satellite/SatellitePackage.java b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/satellite/SatellitePackage.java
index 64a60d6a..7be4ef84 100644
--- a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/satellite/SatellitePackage.java
+++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/satellite/SatellitePackage.java
@@ -297,13 +297,22 @@ public interface SatellitePackage extends EPackage {
         int COMM_SUBSYSTEM__TARGET = 0;
 
         /**
+         * The feature id for the '<em><b>Source</b></em>' reference list.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         * @ordered
+         */
+        int COMM_SUBSYSTEM__SOURCE = 1;
+
+        /**
          * The number of structural features of the '<em>Comm Subsystem</em>' class.
          * <!-- begin-user-doc -->
          * <!-- end-user-doc -->
          * @generated
          * @ordered
          */
-        int COMM_SUBSYSTEM_FEATURE_COUNT = 1;
+        int COMM_SUBSYSTEM_FEATURE_COUNT = 2;
 
         /**
          * The number of operations of the '<em>Comm Subsystem</em>' class.
@@ -574,6 +583,15 @@ public interface SatellitePackage extends EPackage {
         int UHF_COMM_SUBSYSTEM__TARGET = COMM_SUBSYSTEM__TARGET;
 
         /**
+         * The feature id for the '<em><b>Source</b></em>' reference list.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         * @ordered
+         */
+        int UHF_COMM_SUBSYSTEM__SOURCE = COMM_SUBSYSTEM__SOURCE;
+
+        /**
          * The number of structural features of the '<em>UHF Comm Subsystem</em>' class.
          * <!-- begin-user-doc -->
          * <!-- end-user-doc -->
@@ -611,6 +629,15 @@ public interface SatellitePackage extends EPackage {
         int XCOMM_SUBSYSTEM__TARGET = COMM_SUBSYSTEM__TARGET;
 
         /**
+         * The feature id for the '<em><b>Source</b></em>' reference list.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         * @ordered
+         */
+        int XCOMM_SUBSYSTEM__SOURCE = COMM_SUBSYSTEM__SOURCE;
+
+        /**
          * The number of structural features of the '<em>XComm Subsystem</em>' class.
          * <!-- begin-user-doc -->
          * <!-- end-user-doc -->
@@ -648,6 +675,15 @@ public interface SatellitePackage extends EPackage {
         int KA_COMM_SUBSYSTEM__TARGET = COMM_SUBSYSTEM__TARGET;
 
         /**
+         * The feature id for the '<em><b>Source</b></em>' reference list.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         * @ordered
+         */
+        int KA_COMM_SUBSYSTEM__SOURCE = COMM_SUBSYSTEM__SOURCE;
+
+        /**
          * The number of structural features of the '<em>Ka Comm Subsystem</em>' class.
          * <!-- begin-user-doc -->
          * <!-- end-user-doc -->
@@ -792,6 +828,17 @@ public interface SatellitePackage extends EPackage {
         EReference getCommSubsystem_Target();
 
         /**
+         * Returns the meta object for the reference list '{@link satellite.CommSubsystem#getSource <em>Source</em>}'.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @return the meta object for the reference list '<em>Source</em>'.
+         * @see satellite.CommSubsystem#getSource()
+         * @see #getCommSubsystem()
+         * @generated
+         */
+        EReference getCommSubsystem_Source();
+
+        /**
          * Returns the meta object for class '{@link satellite.Payload <em>Payload</em>}'.
          * <!-- begin-user-doc -->
          * <!-- end-user-doc -->
@@ -1014,6 +1061,14 @@ public interface SatellitePackage extends EPackage {
                 EReference COMM_SUBSYSTEM__TARGET = eINSTANCE.getCommSubsystem_Target();
 
                 /**
+                 * The meta object literal for the '<em><b>Source</b></em>' reference list feature.
+                 * <!-- begin-user-doc -->
+                 * <!-- end-user-doc -->
+                 * @generated
+                 */
+                EReference COMM_SUBSYSTEM__SOURCE = eINSTANCE.getCommSubsystem_Source();
+
+                /**
                  * The meta object literal for the '{@link satellite.impl.PayloadImpl <em>Payload</em>}' class.
                  * <!-- begin-user-doc -->
                  * <!-- end-user-doc -->
diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/satellite/impl/CommSubsystemImpl.java b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/satellite/impl/CommSubsystemImpl.java
index cdfbd6de..21e385a8 100644
--- a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/satellite/impl/CommSubsystemImpl.java
+++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/satellite/impl/CommSubsystemImpl.java
@@ -2,11 +2,16 @@
  */
 package satellite.impl;
 
+import java.util.Collection;
 import org.eclipse.emf.common.notify.Notification;
+import org.eclipse.emf.common.notify.NotificationChain;
+import org.eclipse.emf.common.util.EList;
 import org.eclipse.emf.ecore.EClass;
 import org.eclipse.emf.ecore.InternalEObject;
 import org.eclipse.emf.ecore.impl.ENotificationImpl;
 import org.eclipse.emf.ecore.impl.MinimalEObjectImpl;
+import org.eclipse.emf.ecore.util.EObjectWithInverseResolvingEList;
+import org.eclipse.emf.ecore.util.InternalEList;
 import satellite.CommSubsystem;
 import satellite.SatellitePackage;
 
@@ -19,6 +24,7 @@ import satellite.SatellitePackage;
  * </p>
  * <ul>
  *   <li>{@link satellite.impl.CommSubsystemImpl#getTarget <em>Target</em>}</li>
+ *   <li>{@link satellite.impl.CommSubsystemImpl#getSource <em>Source</em>}</li>
  * </ul>
  *
  * @generated
@@ -35,6 +41,16 @@ public abstract class CommSubsystemImpl extends MinimalEObjectImpl.Container imp
         protected CommSubsystem target;
 
         /**
+         * The cached value of the '{@link #getSource() <em>Source</em>}' reference list.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @see #getSource()
+         * @generated
+         * @ordered
+         */
+        protected EList<CommSubsystem> source;
+
+        /**
          * <!-- begin-user-doc -->
          * <!-- end-user-doc -->
          * @generated
@@ -86,13 +102,91 @@ public abstract class CommSubsystemImpl extends MinimalEObjectImpl.Container imp
          * <!-- end-user-doc -->
          * @generated
          */
-        @Override
-        public void setTarget(CommSubsystem newTarget) {
+        public NotificationChain basicSetTarget(CommSubsystem newTarget, NotificationChain msgs) {
                 CommSubsystem oldTarget = target;
                 target = newTarget;
-                if (eNotificationRequired())
-                        eNotify(new ENotificationImpl(this, Notification.SET, SatellitePackage.COMM_SUBSYSTEM__TARGET, oldTarget,
-                                        target));
+                if (eNotificationRequired()) {
+                        ENotificationImpl notification = new ENotificationImpl(this, Notification.SET,
+                                        SatellitePackage.COMM_SUBSYSTEM__TARGET, oldTarget, newTarget);
+                        if (msgs == null)
+                                msgs = notification;
+                        else
+                                msgs.add(notification);
+                }
+                return msgs;
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @Override
+        public void setTarget(CommSubsystem newTarget) {
+                if (newTarget != target) {
+                        NotificationChain msgs = null;
+                        if (target != null)
+                                msgs = ((InternalEObject) target).eInverseRemove(this, SatellitePackage.COMM_SUBSYSTEM__SOURCE,
+                                                CommSubsystem.class, msgs);
+                        if (newTarget != null)
+                                msgs = ((InternalEObject) newTarget).eInverseAdd(this, SatellitePackage.COMM_SUBSYSTEM__SOURCE,
+                                                CommSubsystem.class, msgs);
+                        msgs = basicSetTarget(newTarget, msgs);
+                        if (msgs != null)
+                                msgs.dispatch();
+                } else if (eNotificationRequired())
+                        eNotify(new ENotificationImpl(this, Notification.SET, SatellitePackage.COMM_SUBSYSTEM__TARGET, newTarget,
+                                        newTarget));
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @Override
+        public EList<CommSubsystem> getSource() {
+                if (source == null) {
+                        source = new EObjectWithInverseResolvingEList<CommSubsystem>(CommSubsystem.class, this,
+                                        SatellitePackage.COMM_SUBSYSTEM__SOURCE, SatellitePackage.COMM_SUBSYSTEM__TARGET);
+                }
+                return source;
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @SuppressWarnings("unchecked")
+        @Override
+        public NotificationChain eInverseAdd(InternalEObject otherEnd, int featureID, NotificationChain msgs) {
+                switch (featureID) {
+                case SatellitePackage.COMM_SUBSYSTEM__TARGET:
+                        if (target != null)
+                                msgs = ((InternalEObject) target).eInverseRemove(this, SatellitePackage.COMM_SUBSYSTEM__SOURCE,
+                                                CommSubsystem.class, msgs);
+                        return basicSetTarget((CommSubsystem) otherEnd, msgs);
+                case SatellitePackage.COMM_SUBSYSTEM__SOURCE:
+                        return ((InternalEList<InternalEObject>) (InternalEList<?>) getSource()).basicAdd(otherEnd, msgs);
+                }
+                return super.eInverseAdd(otherEnd, featureID, msgs);
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @Override
+        public NotificationChain eInverseRemove(InternalEObject otherEnd, int featureID, NotificationChain msgs) {
+                switch (featureID) {
+                case SatellitePackage.COMM_SUBSYSTEM__TARGET:
+                        return basicSetTarget(null, msgs);
+                case SatellitePackage.COMM_SUBSYSTEM__SOURCE:
+                        return ((InternalEList<?>) getSource()).basicRemove(otherEnd, msgs);
+                }
+                return super.eInverseRemove(otherEnd, featureID, msgs);
         }
 
         /**
@@ -107,6 +201,8 @@ public abstract class CommSubsystemImpl extends MinimalEObjectImpl.Container imp
                         if (resolve)
                                 return getTarget();
                         return basicGetTarget();
+                case SatellitePackage.COMM_SUBSYSTEM__SOURCE:
+                        return getSource();
                 }
                 return super.eGet(featureID, resolve, coreType);
         }
@@ -116,12 +212,17 @@ public abstract class CommSubsystemImpl extends MinimalEObjectImpl.Container imp
          * <!-- end-user-doc -->
          * @generated
          */
+        @SuppressWarnings("unchecked")
         @Override
         public void eSet(int featureID, Object newValue) {
                 switch (featureID) {
                 case SatellitePackage.COMM_SUBSYSTEM__TARGET:
                         setTarget((CommSubsystem) newValue);
                         return;
+                case SatellitePackage.COMM_SUBSYSTEM__SOURCE:
+                        getSource().clear();
+                        getSource().addAll((Collection<? extends CommSubsystem>) newValue);
+                        return;
                 }
                 super.eSet(featureID, newValue);
         }
@@ -137,6 +238,9 @@ public abstract class CommSubsystemImpl extends MinimalEObjectImpl.Container imp
                 case SatellitePackage.COMM_SUBSYSTEM__TARGET:
                         setTarget((CommSubsystem) null);
                         return;
+                case SatellitePackage.COMM_SUBSYSTEM__SOURCE:
+                        getSource().clear();
+                        return;
                 }
                 super.eUnset(featureID);
         }
@@ -151,6 +255,8 @@ public abstract class CommSubsystemImpl extends MinimalEObjectImpl.Container imp
                 switch (featureID) {
                 case SatellitePackage.COMM_SUBSYSTEM__TARGET:
                         return target != null;
+                case SatellitePackage.COMM_SUBSYSTEM__SOURCE:
+                        return source != null && !source.isEmpty();
                 }
                 return super.eIsSet(featureID);
         }
diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/satellite/impl/SatellitePackageImpl.java b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/satellite/impl/SatellitePackageImpl.java
index e3e20e0c..17212a96 100644
--- a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/satellite/impl/SatellitePackageImpl.java
+++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/satellite/impl/SatellitePackageImpl.java
@@ -328,6 +328,16 @@ public class SatellitePackageImpl extends EPackageImpl implements SatellitePacka
          * @generated
          */
         @Override
+        public EReference getCommSubsystem_Source() {
+                return (EReference) commSubsystemEClass.getEStructuralFeatures().get(1);
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @Override
         public EClass getPayload() {
                 return payloadEClass;
         }
@@ -459,6 +469,7 @@ public class SatellitePackageImpl extends EPackageImpl implements SatellitePacka
 
                 commSubsystemEClass = createEClass(COMM_SUBSYSTEM);
                 createEReference(commSubsystemEClass, COMM_SUBSYSTEM__TARGET);
+                createEReference(commSubsystemEClass, COMM_SUBSYSTEM__SOURCE);
 
                 payloadEClass = createEClass(PAYLOAD);
 
@@ -553,9 +564,12 @@ public class SatellitePackageImpl extends EPackageImpl implements SatellitePacka
 
                 initEClass(commSubsystemEClass, CommSubsystem.class, "CommSubsystem", IS_ABSTRACT, !IS_INTERFACE,
                                 IS_GENERATED_INSTANCE_CLASS);
-                initEReference(getCommSubsystem_Target(), this.getCommSubsystem(), null, "target", null, 0, 1,
-                                CommSubsystem.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE, IS_RESOLVE_PROXIES,
-                                !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
+                initEReference(getCommSubsystem_Target(), this.getCommSubsystem(), this.getCommSubsystem_Source(), "target",
+                                null, 0, 1, CommSubsystem.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE,
+                                IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
+                initEReference(getCommSubsystem_Source(), this.getCommSubsystem(), this.getCommSubsystem_Target(), "source",
+                                null, 0, -1, CommSubsystem.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE,
+                                IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
 
                 initEClass(payloadEClass, Payload.class, "Payload", IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);