From b9aaa826e1e7504958b6e75f35e9dcd09086a13e Mon Sep 17 00:00:00 2001
From: Kristóf Marussy
Date: Sat, 4 May 2019 17:56:18 -0400
Subject: Metrics for satellite case study
---
.../domains/satellite/SatelliteFactory.java | 27 ---
.../domains/satellite/SatellitePackage.java | 265 ++++-----------------
.../dslreasoner/domains/satellite/Spacecraft.java | 30 +++
.../domains/satellite/SpacecraftKind.java | 241 +++++++++++++++++++
.../domains/satellite/impl/CubeSat3UImpl.java | 37 ---
.../domains/satellite/impl/CubeSat6UImpl.java | 37 ---
.../satellite/impl/SatelliteFactoryImpl.java | 65 ++---
.../satellite/impl/SatellitePackageImpl.java | 93 +++-----
.../domains/satellite/impl/SmallSatImpl.java | 37 ---
.../domains/satellite/impl/SpacecraftImpl.java | 71 ++++++
.../satellite/util/SatelliteAdapterFactory.java | 57 -----
.../domains/satellite/util/SatelliteSwitch.java | 78 ------
12 files changed, 446 insertions(+), 592 deletions(-)
create mode 100644 Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/SpacecraftKind.java
delete mode 100644 Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/impl/CubeSat3UImpl.java
delete mode 100644 Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/impl/CubeSat6UImpl.java
delete mode 100644 Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/impl/SmallSatImpl.java
(limited to 'Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/hu/bme/mit/inf/dslreasoner')
diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/SatelliteFactory.java b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/SatelliteFactory.java
index 3b77a668..958bbc08 100644
--- a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/SatelliteFactory.java
+++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/SatelliteFactory.java
@@ -39,33 +39,6 @@ public interface SatelliteFactory extends EFactory {
*/
GroundStationNetwork createGroundStationNetwork();
- /**
- * Returns a new object of class 'Cube Sat3 U'.
- *
- *
- * @return a new object of class 'Cube Sat3 U'.
- * @generated
- */
- CubeSat3U createCubeSat3U();
-
- /**
- * Returns a new object of class 'Cube Sat6 U'.
- *
- *
- * @return a new object of class 'Cube Sat6 U'.
- * @generated
- */
- CubeSat6U createCubeSat6U();
-
- /**
- * Returns a new object of class 'Small Sat'.
- *
- *
- * @return a new object of class 'Small Sat'.
- * @generated
- */
- SmallSat createSmallSat();
-
/**
* Returns a new object of class 'Comm Subsystem'.
*
diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/SatellitePackage.java b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/SatellitePackage.java
index 7c590f4f..61da12a0 100644
--- a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/SatellitePackage.java
+++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/SatellitePackage.java
@@ -288,187 +288,31 @@ public interface SatellitePackage extends EPackage {
int SPACECRAFT__PAYLOAD = COMMUNICATING_ELEMENT_FEATURE_COUNT + 0;
/**
- * The number of structural features of the 'Spacecraft' class.
- *
- *
- * @generated
- * @ordered
- */
- int SPACECRAFT_FEATURE_COUNT = COMMUNICATING_ELEMENT_FEATURE_COUNT + 1;
-
- /**
- * The number of operations of the 'Spacecraft' class.
- *
- *
- * @generated
- * @ordered
- */
- int SPACECRAFT_OPERATION_COUNT = COMMUNICATING_ELEMENT_OPERATION_COUNT + 0;
-
- /**
- * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.domains.satellite.impl.CubeSat3UImpl Cube Sat3 U}' class.
- *
- *
- * @see hu.bme.mit.inf.dslreasoner.domains.satellite.impl.CubeSat3UImpl
- * @see hu.bme.mit.inf.dslreasoner.domains.satellite.impl.SatellitePackageImpl#getCubeSat3U()
- * @generated
- */
- int CUBE_SAT3_U = 5;
-
- /**
- * The feature id for the 'Comm Subsystem' containment reference list.
- *
- *
- * @generated
- * @ordered
- */
- int CUBE_SAT3_U__COMM_SUBSYSTEM = SPACECRAFT__COMM_SUBSYSTEM;
-
- /**
- * The feature id for the 'Communication Link' containment reference.
- *
- *
- * @generated
- * @ordered
- */
- int CUBE_SAT3_U__COMMUNICATION_LINK = SPACECRAFT__COMMUNICATION_LINK;
-
- /**
- * The feature id for the 'Payload' containment reference.
- *
- *
- * @generated
- * @ordered
- */
- int CUBE_SAT3_U__PAYLOAD = SPACECRAFT__PAYLOAD;
-
- /**
- * The number of structural features of the 'Cube Sat3 U' class.
- *
- *
- * @generated
- * @ordered
- */
- int CUBE_SAT3_U_FEATURE_COUNT = SPACECRAFT_FEATURE_COUNT + 0;
-
- /**
- * The number of operations of the 'Cube Sat3 U' class.
- *
- *
- * @generated
- * @ordered
- */
- int CUBE_SAT3_U_OPERATION_COUNT = SPACECRAFT_OPERATION_COUNT + 0;
-
- /**
- * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.domains.satellite.impl.CubeSat6UImpl Cube Sat6 U}' class.
- *
- *
- * @see hu.bme.mit.inf.dslreasoner.domains.satellite.impl.CubeSat6UImpl
- * @see hu.bme.mit.inf.dslreasoner.domains.satellite.impl.SatellitePackageImpl#getCubeSat6U()
- * @generated
- */
- int CUBE_SAT6_U = 6;
-
- /**
- * The feature id for the 'Comm Subsystem' containment reference list.
- *
- *
- * @generated
- * @ordered
- */
- int CUBE_SAT6_U__COMM_SUBSYSTEM = SPACECRAFT__COMM_SUBSYSTEM;
-
- /**
- * The feature id for the 'Communication Link' containment reference.
- *
- *
- * @generated
- * @ordered
- */
- int CUBE_SAT6_U__COMMUNICATION_LINK = SPACECRAFT__COMMUNICATION_LINK;
-
- /**
- * The feature id for the 'Payload' containment reference.
- *
- *
- * @generated
- * @ordered
- */
- int CUBE_SAT6_U__PAYLOAD = SPACECRAFT__PAYLOAD;
-
- /**
- * The number of structural features of the 'Cube Sat6 U' class.
- *
- *
- * @generated
- * @ordered
- */
- int CUBE_SAT6_U_FEATURE_COUNT = SPACECRAFT_FEATURE_COUNT + 0;
-
- /**
- * The number of operations of the 'Cube Sat6 U' class.
- *
- *
- * @generated
- * @ordered
- */
- int CUBE_SAT6_U_OPERATION_COUNT = SPACECRAFT_OPERATION_COUNT + 0;
-
- /**
- * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.domains.satellite.impl.SmallSatImpl Small Sat}' class.
- *
- *
- * @see hu.bme.mit.inf.dslreasoner.domains.satellite.impl.SmallSatImpl
- * @see hu.bme.mit.inf.dslreasoner.domains.satellite.impl.SatellitePackageImpl#getSmallSat()
- * @generated
- */
- int SMALL_SAT = 7;
-
- /**
- * The feature id for the 'Comm Subsystem' containment reference list.
- *
- *
- * @generated
- * @ordered
- */
- int SMALL_SAT__COMM_SUBSYSTEM = SPACECRAFT__COMM_SUBSYSTEM;
-
- /**
- * The feature id for the 'Communication Link' containment reference.
+ * The feature id for the 'Kind' attribute.
*
*
* @generated
* @ordered
*/
- int SMALL_SAT__COMMUNICATION_LINK = SPACECRAFT__COMMUNICATION_LINK;
+ int SPACECRAFT__KIND = COMMUNICATING_ELEMENT_FEATURE_COUNT + 1;
/**
- * The feature id for the 'Payload' containment reference.
- *
- *
- * @generated
- * @ordered
- */
- int SMALL_SAT__PAYLOAD = SPACECRAFT__PAYLOAD;
-
- /**
- * The number of structural features of the 'Small Sat' class.
+ * The number of structural features of the 'Spacecraft' class.
*
*
* @generated
* @ordered
*/
- int SMALL_SAT_FEATURE_COUNT = SPACECRAFT_FEATURE_COUNT + 0;
+ int SPACECRAFT_FEATURE_COUNT = COMMUNICATING_ELEMENT_FEATURE_COUNT + 2;
/**
- * The number of operations of the 'Small Sat' class.
+ * The number of operations of the 'Spacecraft' class.
*
*
* @generated
* @ordered
*/
- int SMALL_SAT_OPERATION_COUNT = SPACECRAFT_OPERATION_COUNT + 0;
+ int SPACECRAFT_OPERATION_COUNT = COMMUNICATING_ELEMENT_OPERATION_COUNT + 0;
/**
* The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.domains.satellite.impl.CommSubsystemImpl Comm Subsystem}' class.
@@ -478,7 +322,7 @@ public interface SatellitePackage extends EPackage {
* @see hu.bme.mit.inf.dslreasoner.domains.satellite.impl.SatellitePackageImpl#getCommSubsystem()
* @generated
*/
- int COMM_SUBSYSTEM = 8;
+ int COMM_SUBSYSTEM = 5;
/**
* The feature id for the 'Band' attribute.
@@ -524,7 +368,7 @@ public interface SatellitePackage extends EPackage {
* @see hu.bme.mit.inf.dslreasoner.domains.satellite.impl.SatellitePackageImpl#getDirectedCommunicationLink()
* @generated
*/
- int DIRECTED_COMMUNICATION_LINK = 9;
+ int DIRECTED_COMMUNICATION_LINK = 6;
/**
* The feature id for the 'Source' reference.
@@ -570,7 +414,7 @@ public interface SatellitePackage extends EPackage {
* @see hu.bme.mit.inf.dslreasoner.domains.satellite.impl.SatellitePackageImpl#getPayload()
* @generated
*/
- int PAYLOAD = 10;
+ int PAYLOAD = 7;
/**
* The number of structural features of the 'Payload' class.
@@ -598,7 +442,7 @@ public interface SatellitePackage extends EPackage {
* @see hu.bme.mit.inf.dslreasoner.domains.satellite.impl.SatellitePackageImpl#getInterferometryPayload()
* @generated
*/
- int INTERFEROMETRY_PAYLOAD = 11;
+ int INTERFEROMETRY_PAYLOAD = 8;
/**
* The number of structural features of the 'Interferometry Payload' class.
@@ -626,7 +470,7 @@ public interface SatellitePackage extends EPackage {
* @see hu.bme.mit.inf.dslreasoner.domains.satellite.impl.SatellitePackageImpl#getTransceiverBand()
* @generated
*/
- int TRANSCEIVER_BAND = 12;
+ int TRANSCEIVER_BAND = 9;
/**
* The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.domains.satellite.AntennaGain Antenna Gain}' enum.
@@ -636,7 +480,17 @@ public interface SatellitePackage extends EPackage {
* @see hu.bme.mit.inf.dslreasoner.domains.satellite.impl.SatellitePackageImpl#getAntennaGain()
* @generated
*/
- int ANTENNA_GAIN = 13;
+ int ANTENNA_GAIN = 10;
+
+ /**
+ * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.domains.satellite.SpacecraftKind Spacecraft Kind}' enum.
+ *
+ *
+ * @see hu.bme.mit.inf.dslreasoner.domains.satellite.SpacecraftKind
+ * @see hu.bme.mit.inf.dslreasoner.domains.satellite.impl.SatellitePackageImpl#getSpacecraftKind()
+ * @generated
+ */
+ int SPACECRAFT_KIND = 11;
/**
* Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.domains.satellite.ConstellationMission Constellation Mission}'.
@@ -755,34 +609,15 @@ public interface SatellitePackage extends EPackage {
EReference getSpacecraft_Payload();
/**
- * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.domains.satellite.CubeSat3U Cube Sat3 U}'.
- *
- *
- * @return the meta object for class 'Cube Sat3 U'.
- * @see hu.bme.mit.inf.dslreasoner.domains.satellite.CubeSat3U
- * @generated
- */
- EClass getCubeSat3U();
-
- /**
- * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.domains.satellite.CubeSat6U Cube Sat6 U}'.
+ * Returns the meta object for the attribute '{@link hu.bme.mit.inf.dslreasoner.domains.satellite.Spacecraft#getKind Kind}'.
*
*
- * @return the meta object for class 'Cube Sat6 U'.
- * @see hu.bme.mit.inf.dslreasoner.domains.satellite.CubeSat6U
- * @generated
- */
- EClass getCubeSat6U();
-
- /**
- * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.domains.satellite.SmallSat Small Sat}'.
- *
- *
- * @return the meta object for class 'Small Sat'.
- * @see hu.bme.mit.inf.dslreasoner.domains.satellite.SmallSat
+ * @return the meta object for the attribute 'Kind'.
+ * @see hu.bme.mit.inf.dslreasoner.domains.satellite.Spacecraft#getKind()
+ * @see #getSpacecraft()
* @generated
*/
- EClass getSmallSat();
+ EAttribute getSpacecraft_Kind();
/**
* Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.domains.satellite.CommSubsystem Comm Subsystem}'.
@@ -888,6 +723,16 @@ public interface SatellitePackage extends EPackage {
*/
EEnum getAntennaGain();
+ /**
+ * Returns the meta object for enum '{@link hu.bme.mit.inf.dslreasoner.domains.satellite.SpacecraftKind Spacecraft Kind}'.
+ *
+ *
+ * @return the meta object for enum 'Spacecraft Kind'.
+ * @see hu.bme.mit.inf.dslreasoner.domains.satellite.SpacecraftKind
+ * @generated
+ */
+ EEnum getSpacecraftKind();
+
/**
* Returns the factory that creates the instances of the model.
*
@@ -1011,34 +856,12 @@ public interface SatellitePackage extends EPackage {
EReference SPACECRAFT__PAYLOAD = eINSTANCE.getSpacecraft_Payload();
/**
- * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.domains.satellite.impl.CubeSat3UImpl Cube Sat3 U}' class.
+ * The meta object literal for the 'Kind' attribute feature.
*
*
- * @see hu.bme.mit.inf.dslreasoner.domains.satellite.impl.CubeSat3UImpl
- * @see hu.bme.mit.inf.dslreasoner.domains.satellite.impl.SatellitePackageImpl#getCubeSat3U()
* @generated
*/
- EClass CUBE_SAT3_U = eINSTANCE.getCubeSat3U();
-
- /**
- * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.domains.satellite.impl.CubeSat6UImpl Cube Sat6 U}' class.
- *
- *
- * @see hu.bme.mit.inf.dslreasoner.domains.satellite.impl.CubeSat6UImpl
- * @see hu.bme.mit.inf.dslreasoner.domains.satellite.impl.SatellitePackageImpl#getCubeSat6U()
- * @generated
- */
- EClass CUBE_SAT6_U = eINSTANCE.getCubeSat6U();
-
- /**
- * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.domains.satellite.impl.SmallSatImpl Small Sat}' class.
- *
- *
- * @see hu.bme.mit.inf.dslreasoner.domains.satellite.impl.SmallSatImpl
- * @see hu.bme.mit.inf.dslreasoner.domains.satellite.impl.SatellitePackageImpl#getSmallSat()
- * @generated
- */
- EClass SMALL_SAT = eINSTANCE.getSmallSat();
+ EAttribute SPACECRAFT__KIND = eINSTANCE.getSpacecraft_Kind();
/**
* The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.domains.satellite.impl.CommSubsystemImpl Comm Subsystem}' class.
@@ -1132,6 +955,16 @@ public interface SatellitePackage extends EPackage {
*/
EEnum ANTENNA_GAIN = eINSTANCE.getAntennaGain();
+ /**
+ * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.domains.satellite.SpacecraftKind Spacecraft Kind}' enum.
+ *
+ *
+ * @see hu.bme.mit.inf.dslreasoner.domains.satellite.SpacecraftKind
+ * @see hu.bme.mit.inf.dslreasoner.domains.satellite.impl.SatellitePackageImpl#getSpacecraftKind()
+ * @generated
+ */
+ EEnum SPACECRAFT_KIND = eINSTANCE.getSpacecraftKind();
+
}
} //SatellitePackage
diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/Spacecraft.java b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/Spacecraft.java
index 2e5e5044..cc4b85a1 100644
--- a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/Spacecraft.java
+++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/Spacecraft.java
@@ -12,6 +12,7 @@ package hu.bme.mit.inf.dslreasoner.domains.satellite;
*
*
* - {@link hu.bme.mit.inf.dslreasoner.domains.satellite.Spacecraft#getPayload Payload}
+ * - {@link hu.bme.mit.inf.dslreasoner.domains.satellite.Spacecraft#getKind Kind}
*
*
* @see hu.bme.mit.inf.dslreasoner.domains.satellite.SatellitePackage#getSpacecraft()
@@ -45,4 +46,33 @@ public interface Spacecraft extends CommunicatingElement {
*/
void setPayload(Payload value);
+ /**
+ * Returns the value of the 'Kind' attribute.
+ * The literals are from the enumeration {@link hu.bme.mit.inf.dslreasoner.domains.satellite.SpacecraftKind}.
+ *
+ *
+ * If the meaning of the 'Kind' attribute isn't clear,
+ * there really should be more of a description here...
+ *
+ *
+ * @return the value of the 'Kind' attribute.
+ * @see hu.bme.mit.inf.dslreasoner.domains.satellite.SpacecraftKind
+ * @see #setKind(SpacecraftKind)
+ * @see hu.bme.mit.inf.dslreasoner.domains.satellite.SatellitePackage#getSpacecraft_Kind()
+ * @model required="true"
+ * @generated
+ */
+ SpacecraftKind getKind();
+
+ /**
+ * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.domains.satellite.Spacecraft#getKind Kind}' attribute.
+ *
+ *
+ * @param value the new value of the 'Kind' attribute.
+ * @see hu.bme.mit.inf.dslreasoner.domains.satellite.SpacecraftKind
+ * @see #getKind()
+ * @generated
+ */
+ void setKind(SpacecraftKind value);
+
} // Spacecraft
diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/SpacecraftKind.java b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/SpacecraftKind.java
new file mode 100644
index 00000000..8be6abc1
--- /dev/null
+++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/SpacecraftKind.java
@@ -0,0 +1,241 @@
+/**
+ */
+package hu.bme.mit.inf.dslreasoner.domains.satellite;
+
+import java.util.Arrays;
+import java.util.Collections;
+import java.util.List;
+
+import org.eclipse.emf.common.util.Enumerator;
+
+/**
+ *
+ * A representation of the literals of the enumeration 'Spacecraft Kind',
+ * and utility methods for working with them.
+ *
+ * @see hu.bme.mit.inf.dslreasoner.domains.satellite.SatellitePackage#getSpacecraftKind()
+ * @model
+ * @generated
+ */
+public enum SpacecraftKind implements Enumerator {
+ /**
+ * The 'Cube Sat3 U' literal object.
+ *
+ *
+ * @see #CUBE_SAT3_U_VALUE
+ * @generated
+ * @ordered
+ */
+ CUBE_SAT3_U(0, "CubeSat3U", "CubeSat3U"),
+
+ /**
+ * The 'Cube Sat6 U' literal object.
+ *
+ *
+ * @see #CUBE_SAT6_U_VALUE
+ * @generated
+ * @ordered
+ */
+ CUBE_SAT6_U(1, "CubeSat6U", "CubeSat6U"),
+ /**
+ * The 'Small Sat' literal object.
+ *
+ *
+ * @see #SMALL_SAT_VALUE
+ * @generated
+ * @ordered
+ */
+ SMALL_SAT(2, "SmallSat", "SmallSat");
+
+ /**
+ * The 'Cube Sat3 U' literal value.
+ *
+ *
+ * If the meaning of 'Cube Sat3 U' literal object isn't clear,
+ * there really should be more of a description here...
+ *
+ *
+ * @see #CUBE_SAT3_U
+ * @model name="CubeSat3U"
+ * @generated
+ * @ordered
+ */
+ public static final int CUBE_SAT3_U_VALUE = 0;
+
+ /**
+ * The 'Cube Sat6 U' literal value.
+ *
+ *
+ * If the meaning of 'Cube Sat6 U' literal object isn't clear,
+ * there really should be more of a description here...
+ *
+ *
+ * @see #CUBE_SAT6_U
+ * @model name="CubeSat6U"
+ * @generated
+ * @ordered
+ */
+ public static final int CUBE_SAT6_U_VALUE = 1;
+
+ /**
+ * The 'Small Sat' literal value.
+ *
+ *
+ * If the meaning of 'Small Sat' literal object isn't clear,
+ * there really should be more of a description here...
+ *
+ *
+ * @see #SMALL_SAT
+ * @model name="SmallSat"
+ * @generated
+ * @ordered
+ */
+ public static final int SMALL_SAT_VALUE = 2;
+
+ /**
+ * An array of all the 'Spacecraft Kind' enumerators.
+ *
+ *
+ * @generated
+ */
+ private static final SpacecraftKind[] VALUES_ARRAY = new SpacecraftKind[] { CUBE_SAT3_U, CUBE_SAT6_U, SMALL_SAT, };
+
+ /**
+ * A public read-only list of all the 'Spacecraft Kind' enumerators.
+ *
+ *
+ * @generated
+ */
+ public static final List VALUES = Collections.unmodifiableList(Arrays.asList(VALUES_ARRAY));
+
+ /**
+ * Returns the 'Spacecraft Kind' literal with the specified literal value.
+ *
+ *
+ * @param literal the literal.
+ * @return the matching enumerator or null
.
+ * @generated
+ */
+ public static SpacecraftKind get(String literal) {
+ for (int i = 0; i < VALUES_ARRAY.length; ++i) {
+ SpacecraftKind result = VALUES_ARRAY[i];
+ if (result.toString().equals(literal)) {
+ return result;
+ }
+ }
+ return null;
+ }
+
+ /**
+ * Returns the 'Spacecraft Kind' literal with the specified name.
+ *
+ *
+ * @param name the name.
+ * @return the matching enumerator or null
.
+ * @generated
+ */
+ public static SpacecraftKind getByName(String name) {
+ for (int i = 0; i < VALUES_ARRAY.length; ++i) {
+ SpacecraftKind result = VALUES_ARRAY[i];
+ if (result.getName().equals(name)) {
+ return result;
+ }
+ }
+ return null;
+ }
+
+ /**
+ * Returns the 'Spacecraft Kind' literal with the specified integer value.
+ *
+ *
+ * @param value the integer value.
+ * @return the matching enumerator or null
.
+ * @generated
+ */
+ public static SpacecraftKind get(int value) {
+ switch (value) {
+ case CUBE_SAT3_U_VALUE:
+ return CUBE_SAT3_U;
+ case CUBE_SAT6_U_VALUE:
+ return CUBE_SAT6_U;
+ case SMALL_SAT_VALUE:
+ return SMALL_SAT;
+ }
+ return null;
+ }
+
+ /**
+ *
+ *
+ * @generated
+ */
+ private final int value;
+
+ /**
+ *
+ *
+ * @generated
+ */
+ private final String name;
+
+ /**
+ *
+ *
+ * @generated
+ */
+ private final String literal;
+
+ /**
+ * Only this class can construct instances.
+ *
+ *
+ * @generated
+ */
+ private SpacecraftKind(int value, String name, String literal) {
+ this.value = value;
+ this.name = name;
+ this.literal = literal;
+ }
+
+ /**
+ *
+ *
+ * @generated
+ */
+ @Override
+ public int getValue() {
+ return value;
+ }
+
+ /**
+ *
+ *
+ * @generated
+ */
+ @Override
+ public String getName() {
+ return name;
+ }
+
+ /**
+ *
+ *
+ * @generated
+ */
+ @Override
+ public String getLiteral() {
+ return literal;
+ }
+
+ /**
+ * Returns the literal value of the enumerator, which is its string representation.
+ *
+ *
+ * @generated
+ */
+ @Override
+ public String toString() {
+ return literal;
+ }
+
+} //SpacecraftKind
diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/impl/CubeSat3UImpl.java b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/impl/CubeSat3UImpl.java
deleted file mode 100644
index 0057b3d4..00000000
--- a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/impl/CubeSat3UImpl.java
+++ /dev/null
@@ -1,37 +0,0 @@
-/**
- */
-package hu.bme.mit.inf.dslreasoner.domains.satellite.impl;
-
-import hu.bme.mit.inf.dslreasoner.domains.satellite.CubeSat3U;
-import hu.bme.mit.inf.dslreasoner.domains.satellite.SatellitePackage;
-
-import org.eclipse.emf.ecore.EClass;
-
-/**
- *
- * An implementation of the model object 'Cube Sat3 U'.
- *
- *
- * @generated
- */
-public class CubeSat3UImpl extends SpacecraftImpl implements CubeSat3U {
- /**
- *
- *
- * @generated
- */
- protected CubeSat3UImpl() {
- super();
- }
-
- /**
- *
- *
- * @generated
- */
- @Override
- protected EClass eStaticClass() {
- return SatellitePackage.Literals.CUBE_SAT3_U;
- }
-
-} //CubeSat3UImpl
diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/impl/CubeSat6UImpl.java b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/impl/CubeSat6UImpl.java
deleted file mode 100644
index 3f34c6ea..00000000
--- a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/impl/CubeSat6UImpl.java
+++ /dev/null
@@ -1,37 +0,0 @@
-/**
- */
-package hu.bme.mit.inf.dslreasoner.domains.satellite.impl;
-
-import hu.bme.mit.inf.dslreasoner.domains.satellite.CubeSat6U;
-import hu.bme.mit.inf.dslreasoner.domains.satellite.SatellitePackage;
-
-import org.eclipse.emf.ecore.EClass;
-
-/**
- *
- * An implementation of the model object 'Cube Sat6 U'.
- *
- *
- * @generated
- */
-public class CubeSat6UImpl extends SpacecraftImpl implements CubeSat6U {
- /**
- *
- *
- * @generated
- */
- protected CubeSat6UImpl() {
- super();
- }
-
- /**
- *
- *
- * @generated
- */
- @Override
- protected EClass eStaticClass() {
- return SatellitePackage.Literals.CUBE_SAT6_U;
- }
-
-} //CubeSat6UImpl
diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/impl/SatelliteFactoryImpl.java b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/impl/SatelliteFactoryImpl.java
index 5deb0c05..0cb07cfa 100644
--- a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/impl/SatelliteFactoryImpl.java
+++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/impl/SatelliteFactoryImpl.java
@@ -61,12 +61,6 @@ public class SatelliteFactoryImpl extends EFactoryImpl implements SatelliteFacto
return createInterferometryMission();
case SatellitePackage.GROUND_STATION_NETWORK:
return createGroundStationNetwork();
- case SatellitePackage.CUBE_SAT3_U:
- return createCubeSat3U();
- case SatellitePackage.CUBE_SAT6_U:
- return createCubeSat6U();
- case SatellitePackage.SMALL_SAT:
- return createSmallSat();
case SatellitePackage.COMM_SUBSYSTEM:
return createCommSubsystem();
case SatellitePackage.DIRECTED_COMMUNICATION_LINK:
@@ -90,6 +84,8 @@ public class SatelliteFactoryImpl extends EFactoryImpl implements SatelliteFacto
return createTransceiverBandFromString(eDataType, initialValue);
case SatellitePackage.ANTENNA_GAIN:
return createAntennaGainFromString(eDataType, initialValue);
+ case SatellitePackage.SPACECRAFT_KIND:
+ return createSpacecraftKindFromString(eDataType, initialValue);
default:
throw new IllegalArgumentException("The datatype '" + eDataType.getName() + "' is not a valid classifier");
}
@@ -107,6 +103,8 @@ public class SatelliteFactoryImpl extends EFactoryImpl implements SatelliteFacto
return convertTransceiverBandToString(eDataType, instanceValue);
case SatellitePackage.ANTENNA_GAIN:
return convertAntennaGainToString(eDataType, instanceValue);
+ case SatellitePackage.SPACECRAFT_KIND:
+ return convertSpacecraftKindToString(eDataType, instanceValue);
default:
throw new IllegalArgumentException("The datatype '" + eDataType.getName() + "' is not a valid classifier");
}
@@ -134,39 +132,6 @@ public class SatelliteFactoryImpl extends EFactoryImpl implements SatelliteFacto
return groundStationNetwork;
}
- /**
- *
- *
- * @generated
- */
- @Override
- public CubeSat3U createCubeSat3U() {
- CubeSat3UImpl cubeSat3U = new CubeSat3UImpl();
- return cubeSat3U;
- }
-
- /**
- *
- *
- * @generated
- */
- @Override
- public CubeSat6U createCubeSat6U() {
- CubeSat6UImpl cubeSat6U = new CubeSat6UImpl();
- return cubeSat6U;
- }
-
- /**
- *
- *
- * @generated
- */
- @Override
- public SmallSat createSmallSat() {
- SmallSatImpl smallSat = new SmallSatImpl();
- return smallSat;
- }
-
/**
*
*
@@ -244,6 +209,28 @@ public class SatelliteFactoryImpl extends EFactoryImpl implements SatelliteFacto
return instanceValue == null ? null : instanceValue.toString();
}
+ /**
+ *
+ *
+ * @generated
+ */
+ public SpacecraftKind createSpacecraftKindFromString(EDataType eDataType, String initialValue) {
+ SpacecraftKind result = SpacecraftKind.get(initialValue);
+ if (result == null)
+ throw new IllegalArgumentException(
+ "The value '" + initialValue + "' is not a valid enumerator of '" + eDataType.getName() + "'");
+ return result;
+ }
+
+ /**
+ *
+ *
+ * @generated
+ */
+ public String convertSpacecraftKindToString(EDataType eDataType, Object instanceValue) {
+ return instanceValue == null ? null : instanceValue.toString();
+ }
+
/**
*
*
diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/impl/SatellitePackageImpl.java b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/impl/SatellitePackageImpl.java
index 067eabd4..48ba32b8 100644
--- a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/impl/SatellitePackageImpl.java
+++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/impl/SatellitePackageImpl.java
@@ -6,8 +6,6 @@ import hu.bme.mit.inf.dslreasoner.domains.satellite.AntennaGain;
import hu.bme.mit.inf.dslreasoner.domains.satellite.CommSubsystem;
import hu.bme.mit.inf.dslreasoner.domains.satellite.CommunicatingElement;
import hu.bme.mit.inf.dslreasoner.domains.satellite.ConstellationMission;
-import hu.bme.mit.inf.dslreasoner.domains.satellite.CubeSat3U;
-import hu.bme.mit.inf.dslreasoner.domains.satellite.CubeSat6U;
import hu.bme.mit.inf.dslreasoner.domains.satellite.DirectedCommunicationLink;
import hu.bme.mit.inf.dslreasoner.domains.satellite.GroundStationNetwork;
import hu.bme.mit.inf.dslreasoner.domains.satellite.InterferometryMission;
@@ -15,8 +13,8 @@ import hu.bme.mit.inf.dslreasoner.domains.satellite.InterferometryPayload;
import hu.bme.mit.inf.dslreasoner.domains.satellite.Payload;
import hu.bme.mit.inf.dslreasoner.domains.satellite.SatelliteFactory;
import hu.bme.mit.inf.dslreasoner.domains.satellite.SatellitePackage;
-import hu.bme.mit.inf.dslreasoner.domains.satellite.SmallSat;
import hu.bme.mit.inf.dslreasoner.domains.satellite.Spacecraft;
+import hu.bme.mit.inf.dslreasoner.domains.satellite.SpacecraftKind;
import hu.bme.mit.inf.dslreasoner.domains.satellite.TransceiverBand;
import org.eclipse.emf.ecore.EAttribute;
@@ -69,27 +67,6 @@ public class SatellitePackageImpl extends EPackageImpl implements SatellitePacka
*/
private EClass spacecraftEClass = null;
- /**
- *
- *
- * @generated
- */
- private EClass cubeSat3UEClass = null;
-
- /**
- *
- *
- * @generated
- */
- private EClass cubeSat6UEClass = null;
-
- /**
- *
- *
- * @generated
- */
- private EClass smallSatEClass = null;
-
/**
*
*
@@ -132,6 +109,13 @@ public class SatellitePackageImpl extends EPackageImpl implements SatellitePacka
*/
private EEnum antennaGainEEnum = null;
+ /**
+ *
+ *
+ * @generated
+ */
+ private EEnum spacecraftKindEEnum = null;
+
/**
* Creates an instance of the model Package, registered with
* {@link org.eclipse.emf.ecore.EPackage.Registry EPackage.Registry} by the package
@@ -312,28 +296,8 @@ public class SatellitePackageImpl extends EPackageImpl implements SatellitePacka
* @generated
*/
@Override
- public EClass getCubeSat3U() {
- return cubeSat3UEClass;
- }
-
- /**
- *
- *
- * @generated
- */
- @Override
- public EClass getCubeSat6U() {
- return cubeSat6UEClass;
- }
-
- /**
- *
- *
- * @generated
- */
- @Override
- public EClass getSmallSat() {
- return smallSatEClass;
+ public EAttribute getSpacecraft_Kind() {
+ return (EAttribute) spacecraftEClass.getEStructuralFeatures().get(1);
}
/**
@@ -436,6 +400,16 @@ public class SatellitePackageImpl extends EPackageImpl implements SatellitePacka
return antennaGainEEnum;
}
+ /**
+ *
+ *
+ * @generated
+ */
+ @Override
+ public EEnum getSpacecraftKind() {
+ return spacecraftKindEEnum;
+ }
+
/**
*
*
@@ -481,12 +455,7 @@ public class SatellitePackageImpl extends EPackageImpl implements SatellitePacka
spacecraftEClass = createEClass(SPACECRAFT);
createEReference(spacecraftEClass, SPACECRAFT__PAYLOAD);
-
- cubeSat3UEClass = createEClass(CUBE_SAT3_U);
-
- cubeSat6UEClass = createEClass(CUBE_SAT6_U);
-
- smallSatEClass = createEClass(SMALL_SAT);
+ createEAttribute(spacecraftEClass, SPACECRAFT__KIND);
commSubsystemEClass = createEClass(COMM_SUBSYSTEM);
createEAttribute(commSubsystemEClass, COMM_SUBSYSTEM__BAND);
@@ -503,6 +472,7 @@ public class SatellitePackageImpl extends EPackageImpl implements SatellitePacka
// Create enums
transceiverBandEEnum = createEEnum(TRANSCEIVER_BAND);
antennaGainEEnum = createEEnum(ANTENNA_GAIN);
+ spacecraftKindEEnum = createEEnum(SPACECRAFT_KIND);
}
/**
@@ -537,9 +507,6 @@ public class SatellitePackageImpl extends EPackageImpl implements SatellitePacka
interferometryMissionEClass.getESuperTypes().add(this.getConstellationMission());
groundStationNetworkEClass.getESuperTypes().add(this.getCommunicatingElement());
spacecraftEClass.getESuperTypes().add(this.getCommunicatingElement());
- cubeSat3UEClass.getESuperTypes().add(this.getSpacecraft());
- cubeSat6UEClass.getESuperTypes().add(this.getSpacecraft());
- smallSatEClass.getESuperTypes().add(this.getSpacecraft());
interferometryPayloadEClass.getESuperTypes().add(this.getPayload());
// Initialize classes, features, and operations; add parameters
@@ -575,15 +542,8 @@ public class SatellitePackageImpl extends EPackageImpl implements SatellitePacka
initEReference(getSpacecraft_Payload(), this.getPayload(), null, "payload", null, 0, 1, Spacecraft.class,
!IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE,
IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
-
- initEClass(cubeSat3UEClass, CubeSat3U.class, "CubeSat3U", !IS_ABSTRACT, !IS_INTERFACE,
- IS_GENERATED_INSTANCE_CLASS);
-
- initEClass(cubeSat6UEClass, CubeSat6U.class, "CubeSat6U", !IS_ABSTRACT, !IS_INTERFACE,
- IS_GENERATED_INSTANCE_CLASS);
-
- initEClass(smallSatEClass, SmallSat.class, "SmallSat", !IS_ABSTRACT, !IS_INTERFACE,
- IS_GENERATED_INSTANCE_CLASS);
+ initEAttribute(getSpacecraft_Kind(), this.getSpacecraftKind(), "kind", null, 1, 1, Spacecraft.class,
+ !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
initEClass(commSubsystemEClass, CommSubsystem.class, "CommSubsystem", !IS_ABSTRACT, !IS_INTERFACE,
IS_GENERATED_INSTANCE_CLASS);
@@ -617,6 +577,11 @@ public class SatellitePackageImpl extends EPackageImpl implements SatellitePacka
addEEnumLiteral(antennaGainEEnum, AntennaGain.MEDIUM);
addEEnumLiteral(antennaGainEEnum, AntennaGain.HIGH);
+ initEEnum(spacecraftKindEEnum, SpacecraftKind.class, "SpacecraftKind");
+ addEEnumLiteral(spacecraftKindEEnum, SpacecraftKind.CUBE_SAT3_U);
+ addEEnumLiteral(spacecraftKindEEnum, SpacecraftKind.CUBE_SAT6_U);
+ addEEnumLiteral(spacecraftKindEEnum, SpacecraftKind.SMALL_SAT);
+
// Create resource
createResource(eNS_URI);
}
diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/impl/SmallSatImpl.java b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/impl/SmallSatImpl.java
deleted file mode 100644
index 522991ad..00000000
--- a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/impl/SmallSatImpl.java
+++ /dev/null
@@ -1,37 +0,0 @@
-/**
- */
-package hu.bme.mit.inf.dslreasoner.domains.satellite.impl;
-
-import hu.bme.mit.inf.dslreasoner.domains.satellite.SatellitePackage;
-import hu.bme.mit.inf.dslreasoner.domains.satellite.SmallSat;
-
-import org.eclipse.emf.ecore.EClass;
-
-/**
- *
- * An implementation of the model object 'Small Sat'.
- *
- *
- * @generated
- */
-public class SmallSatImpl extends SpacecraftImpl implements SmallSat {
- /**
- *
- *
- * @generated
- */
- protected SmallSatImpl() {
- super();
- }
-
- /**
- *
- *
- * @generated
- */
- @Override
- protected EClass eStaticClass() {
- return SatellitePackage.Literals.SMALL_SAT;
- }
-
-} //SmallSatImpl
diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/impl/SpacecraftImpl.java b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/impl/SpacecraftImpl.java
index caefd377..2135af2c 100644
--- a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/impl/SpacecraftImpl.java
+++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/impl/SpacecraftImpl.java
@@ -6,6 +6,7 @@ import hu.bme.mit.inf.dslreasoner.domains.satellite.Payload;
import hu.bme.mit.inf.dslreasoner.domains.satellite.SatellitePackage;
import hu.bme.mit.inf.dslreasoner.domains.satellite.Spacecraft;
+import hu.bme.mit.inf.dslreasoner.domains.satellite.SpacecraftKind;
import org.eclipse.emf.common.notify.Notification;
import org.eclipse.emf.common.notify.NotificationChain;
@@ -23,6 +24,7 @@ import org.eclipse.emf.ecore.impl.ENotificationImpl;
*
*
* - {@link hu.bme.mit.inf.dslreasoner.domains.satellite.impl.SpacecraftImpl#getPayload Payload}
+ * - {@link hu.bme.mit.inf.dslreasoner.domains.satellite.impl.SpacecraftImpl#getKind Kind}
*
*
* @generated
@@ -38,6 +40,25 @@ public abstract class SpacecraftImpl extends CommunicatingElementImpl implements
*/
protected Payload payload;
+ /**
+ * The default value of the '{@link #getKind() Kind}' attribute.
+ *
+ *
+ * @see #getKind()
+ * @generated
+ * @ordered
+ */
+ protected static final SpacecraftKind KIND_EDEFAULT = SpacecraftKind.CUBE_SAT3_U;
+ /**
+ * The cached value of the '{@link #getKind() Kind}' attribute.
+ *
+ *
+ * @see #getKind()
+ * @generated
+ * @ordered
+ */
+ protected SpacecraftKind kind = KIND_EDEFAULT;
+
/**
*
*
@@ -109,6 +130,29 @@ public abstract class SpacecraftImpl extends CommunicatingElementImpl implements
newPayload));
}
+ /**
+ *
+ *
+ * @generated
+ */
+ @Override
+ public SpacecraftKind getKind() {
+ return kind;
+ }
+
+ /**
+ *
+ *
+ * @generated
+ */
+ @Override
+ public void setKind(SpacecraftKind newKind) {
+ SpacecraftKind oldKind = kind;
+ kind = newKind == null ? KIND_EDEFAULT : newKind;
+ if (eNotificationRequired())
+ eNotify(new ENotificationImpl(this, Notification.SET, SatellitePackage.SPACECRAFT__KIND, oldKind, kind));
+ }
+
/**
*
*
@@ -133,6 +177,8 @@ public abstract class SpacecraftImpl extends CommunicatingElementImpl implements
switch (featureID) {
case SatellitePackage.SPACECRAFT__PAYLOAD:
return getPayload();
+ case SatellitePackage.SPACECRAFT__KIND:
+ return getKind();
}
return super.eGet(featureID, resolve, coreType);
}
@@ -148,6 +194,9 @@ public abstract class SpacecraftImpl extends CommunicatingElementImpl implements
case SatellitePackage.SPACECRAFT__PAYLOAD:
setPayload((Payload) newValue);
return;
+ case SatellitePackage.SPACECRAFT__KIND:
+ setKind((SpacecraftKind) newValue);
+ return;
}
super.eSet(featureID, newValue);
}
@@ -163,6 +212,9 @@ public abstract class SpacecraftImpl extends CommunicatingElementImpl implements
case SatellitePackage.SPACECRAFT__PAYLOAD:
setPayload((Payload) null);
return;
+ case SatellitePackage.SPACECRAFT__KIND:
+ setKind(KIND_EDEFAULT);
+ return;
}
super.eUnset(featureID);
}
@@ -177,8 +229,27 @@ public abstract class SpacecraftImpl extends CommunicatingElementImpl implements
switch (featureID) {
case SatellitePackage.SPACECRAFT__PAYLOAD:
return payload != null;
+ case SatellitePackage.SPACECRAFT__KIND:
+ return kind != KIND_EDEFAULT;
}
return super.eIsSet(featureID);
}
+ /**
+ *
+ *
+ * @generated
+ */
+ @Override
+ public String toString() {
+ if (eIsProxy())
+ return super.toString();
+
+ StringBuilder result = new StringBuilder(super.toString());
+ result.append(" (kind: ");
+ result.append(kind);
+ result.append(')');
+ return result.toString();
+ }
+
} //SpacecraftImpl
diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/util/SatelliteAdapterFactory.java b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/util/SatelliteAdapterFactory.java
index c2ba615b..639a40b7 100644
--- a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/util/SatelliteAdapterFactory.java
+++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/util/SatelliteAdapterFactory.java
@@ -91,21 +91,6 @@ public class SatelliteAdapterFactory extends AdapterFactoryImpl {
return createSpacecraftAdapter();
}
- @Override
- public Adapter caseCubeSat3U(CubeSat3U object) {
- return createCubeSat3UAdapter();
- }
-
- @Override
- public Adapter caseCubeSat6U(CubeSat6U object) {
- return createCubeSat6UAdapter();
- }
-
- @Override
- public Adapter caseSmallSat(SmallSat object) {
- return createSmallSatAdapter();
- }
-
@Override
public Adapter caseCommSubsystem(CommSubsystem object) {
return createCommSubsystemAdapter();
@@ -215,48 +200,6 @@ public class SatelliteAdapterFactory extends AdapterFactoryImpl {
return null;
}
- /**
- * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.domains.satellite.CubeSat3U Cube Sat3 U}'.
- *
- * 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.
- *
- * @return the new adapter.
- * @see hu.bme.mit.inf.dslreasoner.domains.satellite.CubeSat3U
- * @generated
- */
- public Adapter createCubeSat3UAdapter() {
- return null;
- }
-
- /**
- * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.domains.satellite.CubeSat6U Cube Sat6 U}'.
- *
- * 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.
- *
- * @return the new adapter.
- * @see hu.bme.mit.inf.dslreasoner.domains.satellite.CubeSat6U
- * @generated
- */
- public Adapter createCubeSat6UAdapter() {
- return null;
- }
-
- /**
- * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.domains.satellite.SmallSat Small Sat}'.
- *
- * 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.
- *
- * @return the new adapter.
- * @see hu.bme.mit.inf.dslreasoner.domains.satellite.SmallSat
- * @generated
- */
- public Adapter createSmallSatAdapter() {
- return null;
- }
-
/**
* Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.domains.satellite.CommSubsystem Comm Subsystem}'.
*
diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/util/SatelliteSwitch.java b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/util/SatelliteSwitch.java
index 65b24430..e78a1cd2 100644
--- a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/util/SatelliteSwitch.java
+++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/util/SatelliteSwitch.java
@@ -107,39 +107,6 @@ public class SatelliteSwitch extends Switch {
result = defaultCase(theEObject);
return result;
}
- case SatellitePackage.CUBE_SAT3_U: {
- CubeSat3U cubeSat3U = (CubeSat3U) theEObject;
- T result = caseCubeSat3U(cubeSat3U);
- if (result == null)
- result = caseSpacecraft(cubeSat3U);
- if (result == null)
- result = caseCommunicatingElement(cubeSat3U);
- if (result == null)
- result = defaultCase(theEObject);
- return result;
- }
- case SatellitePackage.CUBE_SAT6_U: {
- CubeSat6U cubeSat6U = (CubeSat6U) theEObject;
- T result = caseCubeSat6U(cubeSat6U);
- if (result == null)
- result = caseSpacecraft(cubeSat6U);
- if (result == null)
- result = caseCommunicatingElement(cubeSat6U);
- if (result == null)
- result = defaultCase(theEObject);
- return result;
- }
- case SatellitePackage.SMALL_SAT: {
- SmallSat smallSat = (SmallSat) theEObject;
- T result = caseSmallSat(smallSat);
- if (result == null)
- result = caseSpacecraft(smallSat);
- if (result == null)
- result = caseCommunicatingElement(smallSat);
- if (result == null)
- result = defaultCase(theEObject);
- return result;
- }
case SatellitePackage.COMM_SUBSYSTEM: {
CommSubsystem commSubsystem = (CommSubsystem) theEObject;
T result = caseCommSubsystem(commSubsystem);
@@ -250,51 +217,6 @@ public class SatelliteSwitch extends Switch {
return null;
}
- /**
- * Returns the result of interpreting the object as an instance of 'Cube Sat3 U'.
- *
- * This implementation returns null;
- * returning a non-null result will terminate the switch.
- *
- * @param object the target of the switch.
- * @return the result of interpreting the object as an instance of 'Cube Sat3 U'.
- * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
- * @generated
- */
- public T caseCubeSat3U(CubeSat3U object) {
- return null;
- }
-
- /**
- * Returns the result of interpreting the object as an instance of 'Cube Sat6 U'.
- *
- * This implementation returns null;
- * returning a non-null result will terminate the switch.
- *
- * @param object the target of the switch.
- * @return the result of interpreting the object as an instance of 'Cube Sat6 U'.
- * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
- * @generated
- */
- public T caseCubeSat6U(CubeSat6U object) {
- return null;
- }
-
- /**
- * Returns the result of interpreting the object as an instance of 'Small Sat'.
- *
- * This implementation returns null;
- * returning a non-null result will terminate the switch.
- *
- * @param object the target of the switch.
- * @return the result of interpreting the object as an instance of 'Small Sat'.
- * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
- * @generated
- */
- public T caseSmallSat(SmallSat object) {
- return null;
- }
-
/**
* Returns the result of interpreting the object as an instance of 'Comm Subsystem'.
*
--
cgit v1.2.3-70-g09d2