diff options
author | 2020-05-11 02:22:52 +0200 | |
---|---|---|
committer | 2020-05-11 02:22:52 +0200 | |
commit | 24f172f86601ae255dbfee265155ddc433338914 (patch) | |
tree | 123fbc0872701b7fd9f8f50cee32cf0f28db9eaf /Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/model/satellite.genmodel | |
parent | separated must and current UP rules to support non-prop neg finds (diff) | |
download | VIATRA-Generator-24f172f86601ae255dbfee265155ddc433338914.tar.gz VIATRA-Generator-24f172f86601ae255dbfee265155ddc433338914.tar.zst VIATRA-Generator-24f172f86601ae255dbfee265155ddc433338914.zip |
Satelite case study update for Models-Attribute paper
Diffstat (limited to 'Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/model/satellite.genmodel')
-rw-r--r-- | Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/model/satellite.genmodel | 80 |
1 files changed, 41 insertions, 39 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 bc98abd6..4d04fed0 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 | |||
@@ -1,39 +1,41 @@ | |||
1 | <?xml version="1.0" encoding="UTF-8"?> | 1 | <?xml version="1.0" encoding="UTF-8"?> |
2 | <genmodel:GenModel xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" | 2 | <genmodel:GenModel xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" |
3 | xmlns:ecore="http://www.eclipse.org/emf/2002/Ecore" xmlns:genmodel="http://www.eclipse.org/emf/2002/GenModel" | 3 | xmlns:ecore="http://www.eclipse.org/emf/2002/Ecore" xmlns:genmodel="http://www.eclipse.org/emf/2002/GenModel" |
4 | modelDirectory="/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen" | 4 | modelDirectory="/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen" |
5 | creationIcons="false" editDirectory="/hu.bme.mit.inf.dslreasoner.domains.satellite.edit/src-gen" | 5 | creationIcons="false" editDirectory="/hu.bme.mit.inf.dslreasoner.domains.satellite.edit/src-gen" |
6 | editorDirectory="/hu.bme.mit.inf.dslreasoner.domains.satellite.editor/src-gen" | 6 | editorDirectory="/hu.bme.mit.inf.dslreasoner.domains.satellite.editor/src-gen" |
7 | modelPluginID="hu.bme.mit.inf.dslreasoner.domains.satellite" modelName="Satellite" | 7 | modelPluginID="hu.bme.mit.inf.dslreasoner.domains.satellite" modelName="Satellite" |
8 | rootExtendsClass="org.eclipse.emf.ecore.impl.MinimalEObjectImpl$Container" codeFormatting="true" | 8 | rootExtendsClass="org.eclipse.emf.ecore.impl.MinimalEObjectImpl$Container" codeFormatting="true" |
9 | importerID="org.eclipse.emf.importer.ecore" complianceLevel="8.0" copyrightFields="false" | 9 | importerID="org.eclipse.emf.importer.ecore" complianceLevel="8.0" copyrightFields="false" |
10 | operationReflection="true" importOrganizing="true"> | 10 | operationReflection="true" importOrganizing="true"> |
11 | <foreignModel>satellite.ecore</foreignModel> | 11 | <foreignModel>satellite.ecore</foreignModel> |
12 | <testsDirectory xsi:nil="true"/> | 12 | <testsDirectory xsi:nil="true"/> |
13 | <genPackages prefix="Satellite" disposableProviderFactory="true" ecorePackage="satellite.ecore#/"> | 13 | <genPackages prefix="Satellite" disposableProviderFactory="true" ecorePackage="satellite.ecore#/"> |
14 | <genClasses image="false" ecoreClass="satellite.ecore#//ConstellationMission"> | 14 | <genClasses image="false" ecoreClass="satellite.ecore#//ConstellationMission"> |
15 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference satellite.ecore#//ConstellationMission/groundStationNetwork"/> | 15 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference satellite.ecore#//ConstellationMission/groundStationNetwork"/> |
16 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference satellite.ecore#//ConstellationMission/spacecraft"/> | 16 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference satellite.ecore#//ConstellationMission/spacecraft"/> |
17 | </genClasses> | 17 | </genClasses> |
18 | <genClasses ecoreClass="satellite.ecore#//InterferometryMission"/> | 18 | <genClasses ecoreClass="satellite.ecore#//InterferometryMission"/> |
19 | <genClasses image="false" ecoreClass="satellite.ecore#//CommunicatingElement"> | 19 | <genClasses image="false" ecoreClass="satellite.ecore#//CommunicatingElement"> |
20 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference satellite.ecore#//CommunicatingElement/commSubsystem"/> | 20 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference satellite.ecore#//CommunicatingElement/commSubsystem"/> |
21 | </genClasses> | 21 | </genClasses> |
22 | <genClasses ecoreClass="satellite.ecore#//GroundStationNetwork"/> | 22 | <genClasses ecoreClass="satellite.ecore#//GroundStationNetwork"/> |
23 | <genClasses image="false" ecoreClass="satellite.ecore#//Spacecraft"> | 23 | <genClasses image="false" ecoreClass="satellite.ecore#//Spacecraft"> |
24 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference satellite.ecore#//Spacecraft/payload"/> | 24 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference satellite.ecore#//Spacecraft/payload"/> |
25 | </genClasses> | 25 | </genClasses> |
26 | <genClasses ecoreClass="satellite.ecore#//CommSubsystem"> | 26 | <genClasses ecoreClass="satellite.ecore#//CommSubsystem"> |
27 | <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference satellite.ecore#//CommSubsystem/target"/> | 27 | <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference satellite.ecore#//CommSubsystem/target"/> |
28 | </genClasses> | 28 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute satellite.ecore#//CommSubsystem/frequency"/> |
29 | <genClasses image="false" ecoreClass="satellite.ecore#//Payload"/> | 29 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute satellite.ecore#//CommSubsystem/pathLength"/> |
30 | <genClasses ecoreClass="satellite.ecore#//InterferometryPayload"/> | 30 | </genClasses> |
31 | <genClasses ecoreClass="satellite.ecore#//CubeSat3U"/> | 31 | <genClasses image="false" ecoreClass="satellite.ecore#//Payload"/> |
32 | <genClasses ecoreClass="satellite.ecore#//CubeSat6U"/> | 32 | <genClasses ecoreClass="satellite.ecore#//InterferometryPayload"/> |
33 | <genClasses ecoreClass="satellite.ecore#//SmallSat"/> | 33 | <genClasses ecoreClass="satellite.ecore#//CubeSat3U"/> |
34 | <genClasses image="false" ecoreClass="satellite.ecore#//CubeSat"/> | 34 | <genClasses ecoreClass="satellite.ecore#//CubeSat6U"/> |
35 | <genClasses ecoreClass="satellite.ecore#//UHFCommSubsystem"/> | 35 | <genClasses ecoreClass="satellite.ecore#//SmallSat"/> |
36 | <genClasses ecoreClass="satellite.ecore#//XCommSubsystem"/> | 36 | <genClasses image="false" ecoreClass="satellite.ecore#//CubeSat"/> |
37 | <genClasses ecoreClass="satellite.ecore#//KaCommSubsystem"/> | 37 | <genClasses ecoreClass="satellite.ecore#//UHFCommSubsystem"/> |
38 | </genPackages> | 38 | <genClasses ecoreClass="satellite.ecore#//XCommSubsystem"/> |
39 | </genmodel:GenModel> | 39 | <genClasses ecoreClass="satellite.ecore#//KaCommSubsystem"/> |
40 | </genPackages> | ||
41 | </genmodel:GenModel> | ||