Trying to simplify Satellite case study

1 files changed, 5 insertions, 20 deletions

diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/model/satellite.genmodel b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/model/satellite.genmodel
index f8b6d75b..2d538c06 100644
--- a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/model/satellite.genmodel
+++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/model/satellite.genmodel
@@ -11,21 +11,6 @@
   <foreignModel>satellite.ecore</foreignModel>
   <testsDirectory xsi:nil="true"/>
   <genPackages prefix="Satellite" disposableProviderFactory="true" ecorePackage="satellite.ecore#/">
-    <genEnums typeSafeEnumCompatible="false" ecoreEnum="satellite.ecore#//TransceiverBand">
-      <genEnumLiterals ecoreEnumLiteral="satellite.ecore#//TransceiverBand/UHF"/>
-      <genEnumLiterals ecoreEnumLiteral="satellite.ecore#//TransceiverBand/X"/>
-      <genEnumLiterals ecoreEnumLiteral="satellite.ecore#//TransceiverBand/Ka"/>
-    </genEnums>
-    <genEnums typeSafeEnumCompatible="false" ecoreEnum="satellite.ecore#//AntennaGain">
-      <genEnumLiterals ecoreEnumLiteral="satellite.ecore#//AntennaGain/LOW"/>
-      <genEnumLiterals ecoreEnumLiteral="satellite.ecore#//AntennaGain/MEDIUM"/>
-      <genEnumLiterals ecoreEnumLiteral="satellite.ecore#//AntennaGain/HIGH"/>
-    </genEnums>
-    <genEnums typeSafeEnumCompatible="false" ecoreEnum="satellite.ecore#//SpacecraftKind">
-      <genEnumLiterals ecoreEnumLiteral="satellite.ecore#//SpacecraftKind/CubeSat3U"/>
-      <genEnumLiterals ecoreEnumLiteral="satellite.ecore#//SpacecraftKind/CubeSat6U"/>
-      <genEnumLiterals ecoreEnumLiteral="satellite.ecore#//SpacecraftKind/SmallSat"/>
-    </genEnums>
     <genClasses image="false" ecoreClass="satellite.ecore#//ConstellationMission">
       <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference satellite.ecore#//ConstellationMission/groundStationNetwork"/>
       <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference satellite.ecore#//ConstellationMission/spacecraft"/>
@@ -40,12 +25,8 @@
     <genClasses ecoreClass="satellite.ecore#//GroundStationNetwork"/>
     <genClasses image="false" ecoreClass="satellite.ecore#//Spacecraft">
       <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference satellite.ecore#//Spacecraft/payload"/>
-      <genFeatures property="Readonly" createChild="false" ecoreFeature="ecore:EAttribute satellite.ecore#//Spacecraft/kind"/>
-    </genClasses>
-    <genClasses ecoreClass="satellite.ecore#//CommSubsystem">
-      <genFeatures createChild="false" ecoreFeature="ecore:EAttribute satellite.ecore#//CommSubsystem/band"/>
-      <genFeatures createChild="false" ecoreFeature="ecore:EAttribute satellite.ecore#//CommSubsystem/gain"/>
     </genClasses>
+    <genClasses ecoreClass="satellite.ecore#//CommSubsystem"/>
     <genClasses ecoreClass="satellite.ecore#//DirectedCommunicationLink">
       <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference satellite.ecore#//DirectedCommunicationLink/source"/>
       <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference satellite.ecore#//DirectedCommunicationLink/target"/>
@@ -55,5 +36,9 @@
     <genClasses ecoreClass="satellite.ecore#//CubeSat3U"/>
     <genClasses ecoreClass="satellite.ecore#//CubeSat6U"/>
     <genClasses ecoreClass="satellite.ecore#//SmallSat"/>
+    <genClasses image="false" ecoreClass="satellite.ecore#//CubeSat"/>
+    <genClasses ecoreClass="satellite.ecore#//UHFCommSubsystem"/>
+    <genClasses ecoreClass="satellite.ecore#//XCommSubsystem"/>
+    <genClasses ecoreClass="satellite.ecore#//KaCommSubsystem"/>
   </genPackages>
 </genmodel:GenModel>