diff options
author | 2019-08-01 18:38:15 +0200 | |
---|---|---|
committer | 2019-08-01 18:38:15 +0200 | |
commit | 6eb760ee960cd3efe51ca6e4107153c09838a1da (patch) | |
tree | 2edd0e21be50265f65f0cfd2fd43f18a252aef02 /Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/mdeo-results/experiment-satellite.mopt-190525-195435-matching-henshin/batch-0/mutation-operators/satellite.ecore | |
parent | Dump required Xbase version down to 2.17 (diff) | |
download | VIATRA-Generator-6eb760ee960cd3efe51ca6e4107153c09838a1da.tar.gz VIATRA-Generator-6eb760ee960cd3efe51ca6e4107153c09838a1da.tar.zst VIATRA-Generator-6eb760ee960cd3efe51ca6e4107153c09838a1da.zip |
Clean up CPS and Satellite domains
Diffstat (limited to 'Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/mdeo-results/experiment-satellite.mopt-190525-195435-matching-henshin/batch-0/mutation-operators/satellite.ecore')
-rw-r--r-- | Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/mdeo-results/experiment-satellite.mopt-190525-195435-matching-henshin/batch-0/mutation-operators/satellite.ecore | 68 |
1 files changed, 0 insertions, 68 deletions
diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/mdeo-results/experiment-satellite.mopt-190525-195435-matching-henshin/batch-0/mutation-operators/satellite.ecore b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/mdeo-results/experiment-satellite.mopt-190525-195435-matching-henshin/batch-0/mutation-operators/satellite.ecore deleted file mode 100644 index a58dd30e..00000000 --- a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/mdeo-results/experiment-satellite.mopt-190525-195435-matching-henshin/batch-0/mutation-operators/satellite.ecore +++ /dev/null | |||
@@ -1,68 +0,0 @@ | |||
1 | <?xml version="1.0" encoding="UTF-8"?> | ||
2 | <ecore:EPackage 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" name="satellite" nsURI="http://www.example.org/satellite" nsPrefix="satellite"> | ||
4 | <eAnnotations source="http://www.eclipse.org/emf/2002/Ecore"> | ||
5 | <details key="settingDelegates" value="org.eclipse.viatra.query.querybasedfeature"/> | ||
6 | </eAnnotations> | ||
7 | <eClassifiers xsi:type="ecore:EClass" name="ConstellationMission" abstract="true"> | ||
8 | <eStructuralFeatures xsi:type="ecore:EReference" name="groundStationNetwork" lowerBound="1" | ||
9 | eType="ecore:EClass satellite.ecore#//GroundStationNetwork" containment="true" | ||
10 | resolveProxies="false"/> | ||
11 | <eStructuralFeatures xsi:type="ecore:EReference" name="spacecraft" lowerBound="2" | ||
12 | upperBound="50" eType="ecore:EClass satellite.ecore#//Spacecraft" containment="true" | ||
13 | resolveProxies="false"/> | ||
14 | </eClassifiers> | ||
15 | <eClassifiers xsi:type="ecore:EClass" name="InterferometryMission" eSuperTypes="satellite.ecore#//ConstellationMission"> | ||
16 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="observationTime" lowerBound="1" | ||
17 | eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EFloat" defaultValueLiteral="2.0"/> | ||
18 | </eClassifiers> | ||
19 | <eClassifiers xsi:type="ecore:EClass" name="CommunicatingElement" abstract="true"> | ||
20 | <eStructuralFeatures xsi:type="ecore:EReference" name="commSubsystem" lowerBound="1" | ||
21 | upperBound="2" eType="ecore:EClass satellite.ecore#//CommSubsystem" containment="true" | ||
22 | resolveProxies="false"/> | ||
23 | <eStructuralFeatures xsi:type="ecore:EReference" name="communicationLink" eType="ecore:EClass satellite.ecore#//DirectedCommunicationLink" | ||
24 | containment="true" resolveProxies="false"/> | ||
25 | </eClassifiers> | ||
26 | <eClassifiers xsi:type="ecore:EClass" name="GroundStationNetwork" eSuperTypes="satellite.ecore#//CommunicatingElement"/> | ||
27 | <eClassifiers xsi:type="ecore:EClass" name="Spacecraft" abstract="true" eSuperTypes="satellite.ecore#//CommunicatingElement"> | ||
28 | <eStructuralFeatures xsi:type="ecore:EReference" name="payload" eType="ecore:EClass satellite.ecore#//Payload" | ||
29 | containment="true" resolveProxies="false"/> | ||
30 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="kind" lowerBound="1" eType="ecore:EEnum satellite.ecore#//SpacecraftKind" | ||
31 | changeable="false" volatile="true" transient="true" derived="true"> | ||
32 | <eAnnotations source="org.eclipse.viatra.query.querybasedfeature"> | ||
33 | <details key="patternFQN" value="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.spacecraftOfKind"/> | ||
34 | </eAnnotations> | ||
35 | </eStructuralFeatures> | ||
36 | </eClassifiers> | ||
37 | <eClassifiers xsi:type="ecore:EClass" name="CommSubsystem"> | ||
38 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="band" lowerBound="1" eType="ecore:EEnum satellite.ecore#//TransceiverBand"/> | ||
39 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="gain" lowerBound="1" eType="ecore:EEnum satellite.ecore#//AntennaGain"/> | ||
40 | </eClassifiers> | ||
41 | <eClassifiers xsi:type="ecore:EClass" name="DirectedCommunicationLink"> | ||
42 | <eStructuralFeatures xsi:type="ecore:EReference" name="source" lowerBound="1" | ||
43 | eType="ecore:EClass satellite.ecore#//CommSubsystem"/> | ||
44 | <eStructuralFeatures xsi:type="ecore:EReference" name="target" lowerBound="1" | ||
45 | eType="ecore:EClass satellite.ecore#//CommSubsystem"/> | ||
46 | </eClassifiers> | ||
47 | <eClassifiers xsi:type="ecore:EClass" name="Payload" abstract="true"/> | ||
48 | <eClassifiers xsi:type="ecore:EClass" name="InterferometryPayload" eSuperTypes="satellite.ecore#//Payload"/> | ||
49 | <eClassifiers xsi:type="ecore:EClass" name="CubeSat3U" eSuperTypes="satellite.ecore#//CubeSat"/> | ||
50 | <eClassifiers xsi:type="ecore:EClass" name="CubeSat6U" eSuperTypes="satellite.ecore#//CubeSat"/> | ||
51 | <eClassifiers xsi:type="ecore:EClass" name="SmallSat" eSuperTypes="satellite.ecore#//Spacecraft"/> | ||
52 | <eClassifiers xsi:type="ecore:EClass" name="CubeSat" abstract="true" eSuperTypes="satellite.ecore#//Spacecraft"/> | ||
53 | <eClassifiers xsi:type="ecore:EEnum" name="TransceiverBand"> | ||
54 | <eLiterals name="UHF"/> | ||
55 | <eLiterals name="X" value="1"/> | ||
56 | <eLiterals name="Ka" value="2"/> | ||
57 | </eClassifiers> | ||
58 | <eClassifiers xsi:type="ecore:EEnum" name="AntennaGain"> | ||
59 | <eLiterals name="LOW"/> | ||
60 | <eLiterals name="MEDIUM" value="1"/> | ||
61 | <eLiterals name="HIGH" value="2"/> | ||
62 | </eClassifiers> | ||
63 | <eClassifiers xsi:type="ecore:EEnum" name="SpacecraftKind"> | ||
64 | <eLiterals name="CubeSat3U"/> | ||
65 | <eLiterals name="CubeSat6U" value="1"/> | ||
66 | <eLiterals name="SmallSat" value="2"/> | ||
67 | </eClassifiers> | ||
68 | </ecore:EPackage> | ||