From 7adead25f3c8451a51a3f8fa1d45b0b8f93b3a69 Mon Sep 17 00:00:00 2001
From: Kristóf Marussy <marussy@mit.bme.hu>
Date: Sun, 10 May 2020 22:09:17 +0200
Subject: Add satellite case study

---
 .../model/satellite.genmodel                       | 39 ++++++++++++++++++++++
 1 file changed, 39 insertions(+)
 create mode 100644 Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/model/satellite.genmodel

(limited to 'Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/model/satellite.genmodel')

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
new file mode 100644
index 00000000..bc98abd6
--- /dev/null
+++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/model/satellite.genmodel
@@ -0,0 +1,39 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<genmodel:GenModel xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
+    xmlns:ecore="http://www.eclipse.org/emf/2002/Ecore" xmlns:genmodel="http://www.eclipse.org/emf/2002/GenModel"
+    modelDirectory="/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen"
+    creationIcons="false" editDirectory="/hu.bme.mit.inf.dslreasoner.domains.satellite.edit/src-gen"
+    editorDirectory="/hu.bme.mit.inf.dslreasoner.domains.satellite.editor/src-gen"
+    modelPluginID="hu.bme.mit.inf.dslreasoner.domains.satellite" modelName="Satellite"
+    rootExtendsClass="org.eclipse.emf.ecore.impl.MinimalEObjectImpl$Container" codeFormatting="true"
+    importerID="org.eclipse.emf.importer.ecore" complianceLevel="8.0" copyrightFields="false"
+    operationReflection="true" importOrganizing="true">
+  <foreignModel>satellite.ecore</foreignModel>
+  <testsDirectory xsi:nil="true"/>
+  <genPackages prefix="Satellite" disposableProviderFactory="true" ecorePackage="satellite.ecore#/">
+    <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"/>
+    </genClasses>
+    <genClasses ecoreClass="satellite.ecore#//InterferometryMission"/>
+    <genClasses image="false" ecoreClass="satellite.ecore#//CommunicatingElement">
+      <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference satellite.ecore#//CommunicatingElement/commSubsystem"/>
+    </genClasses>
+    <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"/>
+    </genClasses>
+    <genClasses ecoreClass="satellite.ecore#//CommSubsystem">
+      <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference satellite.ecore#//CommSubsystem/target"/>
+    </genClasses>
+    <genClasses image="false" ecoreClass="satellite.ecore#//Payload"/>
+    <genClasses ecoreClass="satellite.ecore#//InterferometryPayload"/>
+    <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>
-- 
cgit v1.2.3-70-g09d2