diff options
author | Kristóf Marussy <marussy@mit.bme.hu> | 2020-05-10 22:09:17 +0200 |
---|---|---|
committer | Kristóf Marussy <marussy@mit.bme.hu> | 2020-05-10 22:09:17 +0200 |
commit | 7adead25f3c8451a51a3f8fa1d45b0b8f93b3a69 (patch) | |
tree | 0b9b4ac2c58bf0535b27a447cae36335d5b9f503 /Domains/hu.bme.mit.inf.dslreasoner.domains.satellite | |
parent | Synthetic tokens for solver language (diff) | |
download | VIATRA-Generator-7adead25f3c8451a51a3f8fa1d45b0b8f93b3a69.tar.gz VIATRA-Generator-7adead25f3c8451a51a3f8fa1d45b0b8f93b3a69.tar.zst VIATRA-Generator-7adead25f3c8451a51a3f8fa1d45b0b8f93b3a69.zip |
Add satellite case study
Diffstat (limited to 'Domains/hu.bme.mit.inf.dslreasoner.domains.satellite')
52 files changed, 5582 insertions, 0 deletions
diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/.classpath b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/.classpath new file mode 100644 index 00000000..6781ea8f --- /dev/null +++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/.classpath | |||
@@ -0,0 +1,14 @@ | |||
1 | <?xml version="1.0" encoding="UTF-8"?> | ||
2 | <classpath> | ||
3 | <classpathentry kind="src" path="ecore-gen"/> | ||
4 | <classpathentry kind="src" path="src"/> | ||
5 | <classpathentry kind="src" path="xtend-gen"/> | ||
6 | <classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-1.8"> | ||
7 | <attributes> | ||
8 | <attribute name="module" value="true"/> | ||
9 | </attributes> | ||
10 | </classpathentry> | ||
11 | <classpathentry kind="con" path="org.eclipse.pde.core.requiredPlugins"/> | ||
12 | <classpathentry kind="src" path="src-gen"/> | ||
13 | <classpathentry kind="output" path="bin"/> | ||
14 | </classpath> | ||
diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/.gitignore b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/.gitignore new file mode 100644 index 00000000..7c70320a --- /dev/null +++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/.gitignore | |||
@@ -0,0 +1,5 @@ | |||
1 | /bin/ | ||
2 | /mdeo-results/ | ||
3 | /outputs/ | ||
4 | /src-gen/ | ||
5 | /xtend-gen/ | ||
diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/.project b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/.project new file mode 100644 index 00000000..16db5fc5 --- /dev/null +++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/.project | |||
@@ -0,0 +1,40 @@ | |||
1 | <?xml version="1.0" encoding="UTF-8"?> | ||
2 | <projectDescription> | ||
3 | <name>hu.bme.mit.inf.dslreasoner.domains.satellite</name> | ||
4 | <comment></comment> | ||
5 | <projects> | ||
6 | </projects> | ||
7 | <buildSpec> | ||
8 | <buildCommand> | ||
9 | <name>org.eclipse.viatra.query.tooling.ui.projectbuilder</name> | ||
10 | <arguments> | ||
11 | </arguments> | ||
12 | </buildCommand> | ||
13 | <buildCommand> | ||
14 | <name>org.eclipse.xtext.ui.shared.xtextBuilder</name> | ||
15 | <arguments> | ||
16 | </arguments> | ||
17 | </buildCommand> | ||
18 | <buildCommand> | ||
19 | <name>org.eclipse.jdt.core.javabuilder</name> | ||
20 | <arguments> | ||
21 | </arguments> | ||
22 | </buildCommand> | ||
23 | <buildCommand> | ||
24 | <name>org.eclipse.pde.ManifestBuilder</name> | ||
25 | <arguments> | ||
26 | </arguments> | ||
27 | </buildCommand> | ||
28 | <buildCommand> | ||
29 | <name>org.eclipse.pde.SchemaBuilder</name> | ||
30 | <arguments> | ||
31 | </arguments> | ||
32 | </buildCommand> | ||
33 | </buildSpec> | ||
34 | <natures> | ||
35 | <nature>org.eclipse.jdt.core.javanature</nature> | ||
36 | <nature>org.eclipse.pde.PluginNature</nature> | ||
37 | <nature>org.eclipse.viatra.query.projectnature</nature> | ||
38 | <nature>org.eclipse.xtext.ui.shared.xtextNature</nature> | ||
39 | </natures> | ||
40 | </projectDescription> | ||
diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/META-INF/MANIFEST.MF b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/META-INF/MANIFEST.MF new file mode 100644 index 00000000..966fc660 --- /dev/null +++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/META-INF/MANIFEST.MF | |||
@@ -0,0 +1,30 @@ | |||
1 | Manifest-Version: 1.0 | ||
2 | Bundle-ManifestVersion: 2 | ||
3 | Bundle-Name: %pluginName | ||
4 | Bundle-SymbolicName: hu.bme.mit.inf.dslreasoner.domains.satellite;singleton:=true | ||
5 | Bundle-Version: 0.1.0.qualifier | ||
6 | Bundle-ClassPath: . | ||
7 | Bundle-Vendor: %providerName | ||
8 | Bundle-Localization: plugin | ||
9 | Export-Package: hu.bme.mit.inf.dslreasoner.domains.satellite.queries, | ||
10 | hu.bme.mit.inf.dslreasoner.domains.satellite.queries.internal, | ||
11 | satellite, | ||
12 | satellite.impl, | ||
13 | satellite.util | ||
14 | Require-Bundle: org.eclipse.viatra.addon.querybasedfeatures.runtime, | ||
15 | org.eclipse.viatra.query.runtime, | ||
16 | org.eclipse.viatra.query.runtime.rete, | ||
17 | org.eclipse.viatra.query.runtime.localsearch, | ||
18 | org.eclipse.xtext.xbase.lib, | ||
19 | org.eclipse.emf.ecore;visibility:=reexport, | ||
20 | org.eclipse.core.runtime, | ||
21 | hu.bme.mit.inf.dslreasoner.application, | ||
22 | org.eclipse.viatra.dse, | ||
23 | org.eclipse.viatra.dse.genetic, | ||
24 | hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner;bundle-version="1.0.0", | ||
25 | org.eclipse.emf.ecore.xmi;bundle-version="2.15.0", | ||
26 | org.eclipse.viatra.query.runtime.rete;bundle-version="2.0.0" | ||
27 | Import-Package: org.apache.log4j | ||
28 | Automatic-Module-Name: hu.bme.mit.inf.dslreasoner.domains.satellite | ||
29 | Bundle-ActivationPolicy: lazy | ||
30 | Bundle-RequiredExecutionEnvironment: JavaSE-1.8 | ||
diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/build.properties b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/build.properties new file mode 100644 index 00000000..368af38e --- /dev/null +++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/build.properties | |||
@@ -0,0 +1,11 @@ | |||
1 | bin.includes = .,\ | ||
2 | model/,\ | ||
3 | META-INF/,\ | ||
4 | plugin.xml,\ | ||
5 | plugin.properties | ||
6 | jars.compile.order = . | ||
7 | source.. = ecore-gen/,\ | ||
8 | src-gen/,\ | ||
9 | src/,\ | ||
10 | xtend-gen/ | ||
11 | output.. = bin/ | ||
diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/configs/generation.vsconfig b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/configs/generation.vsconfig new file mode 100644 index 00000000..2fb246c9 --- /dev/null +++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/configs/generation.vsconfig | |||
@@ -0,0 +1,25 @@ | |||
1 | import epackage "model/satellite.ecore" | ||
2 | import viatra "src/hu/bme/mit/inf/dslreasoner/domains/satellite/queries/SatelliteQueries.vql" | ||
3 | |||
4 | generate { | ||
5 | metamodel = { package satellite } | ||
6 | constraints = { package hu.bme.mit.inf.dslreasoner.domains.satellite.queries } | ||
7 | partial-model = { "inputs/SatelliteInstance.xmi"} | ||
8 | solver = ViatraSolver | ||
9 | scope = { | ||
10 | #node += 32..64 | ||
11 | } | ||
12 | |||
13 | config = { | ||
14 | runtime = 10000, | ||
15 | log-level = normal | ||
16 | } | ||
17 | |||
18 | number = 1 | ||
19 | runs = 5 | ||
20 | |||
21 | debug = "outputs/debug" | ||
22 | log = "outputs/log.txt" | ||
23 | output = "outputs/models" | ||
24 | statistics = "outputs/statistics.csv" | ||
25 | } | ||
diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/satellite/AntennaGain.java b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/satellite/AntennaGain.java new file mode 100644 index 00000000..c4cdfbf6 --- /dev/null +++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/satellite/AntennaGain.java | |||
@@ -0,0 +1,230 @@ | |||
1 | /** | ||
2 | */ | ||
3 | package satellite; | ||
4 | |||
5 | import java.util.Arrays; | ||
6 | import java.util.Collections; | ||
7 | import java.util.List; | ||
8 | |||
9 | import org.eclipse.emf.common.util.Enumerator; | ||
10 | |||
11 | /** | ||
12 | * <!-- begin-user-doc --> | ||
13 | * A representation of the literals of the enumeration '<em><b>Antenna Gain</b></em>', | ||
14 | * and utility methods for working with them. | ||
15 | * <!-- end-user-doc --> | ||
16 | * @see satellite.SatellitePackage#getAntennaGain() | ||
17 | * @model | ||
18 | * @generated | ||
19 | */ | ||
20 | public enum AntennaGain implements Enumerator { | ||
21 | /** | ||
22 | * The '<em><b>LOW</b></em>' literal object. | ||
23 | * <!-- begin-user-doc --> | ||
24 | * <!-- end-user-doc --> | ||
25 | * @see #LOW_VALUE | ||
26 | * @generated | ||
27 | * @ordered | ||
28 | */ | ||
29 | LOW(0, "LOW", "LOW"), | ||
30 | |||
31 | /** | ||
32 | * The '<em><b>MEDIUM</b></em>' literal object. | ||
33 | * <!-- begin-user-doc --> | ||
34 | * <!-- end-user-doc --> | ||
35 | * @see #MEDIUM_VALUE | ||
36 | * @generated | ||
37 | * @ordered | ||
38 | */ | ||
39 | MEDIUM(1, "MEDIUM", "MEDIUM"), | ||
40 | |||
41 | /** | ||
42 | * The '<em><b>HIGH</b></em>' literal object. | ||
43 | * <!-- begin-user-doc --> | ||
44 | * <!-- end-user-doc --> | ||
45 | * @see #HIGH_VALUE | ||
46 | * @generated | ||
47 | * @ordered | ||
48 | */ | ||
49 | HIGH(2, "HIGH", "HIGH"); | ||
50 | |||
51 | /** | ||
52 | * The '<em><b>LOW</b></em>' literal value. | ||
53 | * <!-- begin-user-doc --> | ||
54 | * <!-- end-user-doc --> | ||
55 | * @see #LOW | ||
56 | * @model | ||
57 | * @generated | ||
58 | * @ordered | ||
59 | */ | ||
60 | public static final int LOW_VALUE = 0; | ||
61 | |||
62 | /** | ||
63 | * The '<em><b>MEDIUM</b></em>' literal value. | ||
64 | * <!-- begin-user-doc --> | ||
65 | * <!-- end-user-doc --> | ||
66 | * @see #MEDIUM | ||
67 | * @model | ||
68 | * @generated | ||
69 | * @ordered | ||
70 | */ | ||
71 | public static final int MEDIUM_VALUE = 1; | ||
72 | |||
73 | /** | ||
74 | * The '<em><b>HIGH</b></em>' literal value. | ||
75 | * <!-- begin-user-doc --> | ||
76 | * <!-- end-user-doc --> | ||
77 | * @see #HIGH | ||
78 | * @model | ||
79 | * @generated | ||
80 | * @ordered | ||
81 | */ | ||
82 | public static final int HIGH_VALUE = 2; | ||
83 | |||
84 | /** | ||
85 | * An array of all the '<em><b>Antenna Gain</b></em>' enumerators. | ||
86 | * <!-- begin-user-doc --> | ||
87 | * <!-- end-user-doc --> | ||
88 | * @generated | ||
89 | */ | ||
90 | private static final AntennaGain[] VALUES_ARRAY = new AntennaGain[] { LOW, MEDIUM, HIGH, }; | ||
91 | |||
92 | /** | ||
93 | * A public read-only list of all the '<em><b>Antenna Gain</b></em>' enumerators. | ||
94 | * <!-- begin-user-doc --> | ||
95 | * <!-- end-user-doc --> | ||
96 | * @generated | ||
97 | */ | ||
98 | public static final List<AntennaGain> VALUES = Collections.unmodifiableList(Arrays.asList(VALUES_ARRAY)); | ||
99 | |||
100 | /** | ||
101 | * Returns the '<em><b>Antenna Gain</b></em>' literal with the specified literal value. | ||
102 | * <!-- begin-user-doc --> | ||
103 | * <!-- end-user-doc --> | ||
104 | * @param literal the literal. | ||
105 | * @return the matching enumerator or <code>null</code>. | ||
106 | * @generated | ||
107 | */ | ||
108 | public static AntennaGain get(String literal) { | ||
109 | for (int i = 0; i < VALUES_ARRAY.length; ++i) { | ||
110 | AntennaGain result = VALUES_ARRAY[i]; | ||
111 | if (result.toString().equals(literal)) { | ||
112 | return result; | ||
113 | } | ||
114 | } | ||
115 | return null; | ||
116 | } | ||
117 | |||
118 | /** | ||
119 | * Returns the '<em><b>Antenna Gain</b></em>' literal with the specified name. | ||
120 | * <!-- begin-user-doc --> | ||
121 | * <!-- end-user-doc --> | ||
122 | * @param name the name. | ||
123 | * @return the matching enumerator or <code>null</code>. | ||
124 | * @generated | ||
125 | */ | ||
126 | public static AntennaGain getByName(String name) { | ||
127 | for (int i = 0; i < VALUES_ARRAY.length; ++i) { | ||
128 | AntennaGain result = VALUES_ARRAY[i]; | ||
129 | if (result.getName().equals(name)) { | ||
130 | return result; | ||
131 | } | ||
132 | } | ||
133 | return null; | ||
134 | } | ||
135 | |||
136 | /** | ||
137 | * Returns the '<em><b>Antenna Gain</b></em>' literal with the specified integer value. | ||
138 | * <!-- begin-user-doc --> | ||
139 | * <!-- end-user-doc --> | ||
140 | * @param value the integer value. | ||
141 | * @return the matching enumerator or <code>null</code>. | ||
142 | * @generated | ||
143 | */ | ||
144 | public static AntennaGain get(int value) { | ||
145 | switch (value) { | ||
146 | case LOW_VALUE: | ||
147 | return LOW; | ||
148 | case MEDIUM_VALUE: | ||
149 | return MEDIUM; | ||
150 | case HIGH_VALUE: | ||
151 | return HIGH; | ||
152 | } | ||
153 | return null; | ||
154 | } | ||
155 | |||
156 | /** | ||
157 | * <!-- begin-user-doc --> | ||
158 | * <!-- end-user-doc --> | ||
159 | * @generated | ||
160 | */ | ||
161 | private final int value; | ||
162 | |||
163 | /** | ||
164 | * <!-- begin-user-doc --> | ||
165 | * <!-- end-user-doc --> | ||
166 | * @generated | ||
167 | */ | ||
168 | private final String name; | ||
169 | |||
170 | /** | ||
171 | * <!-- begin-user-doc --> | ||
172 | * <!-- end-user-doc --> | ||
173 | * @generated | ||
174 | */ | ||
175 | private final String literal; | ||
176 | |||
177 | /** | ||
178 | * Only this class can construct instances. | ||
179 | * <!-- begin-user-doc --> | ||
180 | * <!-- end-user-doc --> | ||
181 | * @generated | ||
182 | */ | ||
183 | private AntennaGain(int value, String name, String literal) { | ||
184 | this.value = value; | ||
185 | this.name = name; | ||
186 | this.literal = literal; | ||
187 | } | ||
188 | |||
189 | /** | ||
190 | * <!-- begin-user-doc --> | ||
191 | * <!-- end-user-doc --> | ||
192 | * @generated | ||
193 | */ | ||
194 | @Override | ||
195 | public int getValue() { | ||
196 | return value; | ||
197 | } | ||
198 | |||
199 | /** | ||
200 | * <!-- begin-user-doc --> | ||
201 | * <!-- end-user-doc --> | ||
202 | * @generated | ||
203 | */ | ||
204 | @Override | ||
205 | public String getName() { | ||
206 | return name; | ||
207 | } | ||
208 | |||
209 | /** | ||
210 | * <!-- begin-user-doc --> | ||
211 | * <!-- end-user-doc --> | ||
212 | * @generated | ||
213 | */ | ||
214 | @Override | ||
215 | public String getLiteral() { | ||
216 | return literal; | ||
217 | } | ||
218 | |||
219 | /** | ||
220 | * Returns the literal value of the enumerator, which is its string representation. | ||
221 | * <!-- begin-user-doc --> | ||
222 | * <!-- end-user-doc --> | ||
223 | * @generated | ||
224 | */ | ||
225 | @Override | ||
226 | public String toString() { | ||
227 | return literal; | ||
228 | } | ||
229 | |||
230 | } //AntennaGain | ||
diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/satellite/CommSubsystem.java b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/satellite/CommSubsystem.java new file mode 100644 index 00000000..3b9d7ecf --- /dev/null +++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/satellite/CommSubsystem.java | |||
@@ -0,0 +1,47 @@ | |||
1 | /** | ||
2 | */ | ||
3 | package satellite; | ||
4 | |||
5 | import org.eclipse.emf.ecore.EObject; | ||
6 | |||
7 | /** | ||
8 | * <!-- begin-user-doc --> | ||
9 | * A representation of the model object '<em><b>Comm Subsystem</b></em>'. | ||
10 | * <!-- end-user-doc --> | ||
11 | * | ||
12 | * <p> | ||
13 | * The following features are supported: | ||
14 | * </p> | ||
15 | * <ul> | ||
16 | * <li>{@link satellite.CommSubsystem#getTarget <em>Target</em>}</li> | ||
17 | * </ul> | ||
18 | * | ||
19 | * @see satellite.SatellitePackage#getCommSubsystem() | ||
20 | * @model abstract="true" | ||
21 | * @generated | ||
22 | */ | ||
23 | public interface CommSubsystem extends EObject { | ||
24 | |||
25 | /** | ||
26 | * Returns the value of the '<em><b>Target</b></em>' reference. | ||
27 | * <!-- begin-user-doc --> | ||
28 | * <!-- end-user-doc --> | ||
29 | * @return the value of the '<em>Target</em>' reference. | ||
30 | * @see #setTarget(CommSubsystem) | ||
31 | * @see satellite.SatellitePackage#getCommSubsystem_Target() | ||
32 | * @model | ||
33 | * @generated | ||
34 | */ | ||
35 | CommSubsystem getTarget(); | ||
36 | |||
37 | /** | ||
38 | * Sets the value of the '{@link satellite.CommSubsystem#getTarget <em>Target</em>}' reference. | ||
39 | * <!-- begin-user-doc --> | ||
40 | * <!-- end-user-doc --> | ||
41 | * @param value the new value of the '<em>Target</em>' reference. | ||
42 | * @see #getTarget() | ||
43 | * @generated | ||
44 | */ | ||
45 | void setTarget(CommSubsystem value); | ||
46 | |||
47 | } // CommSubsystem | ||
diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/satellite/CommunicatingElement.java b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/satellite/CommunicatingElement.java new file mode 100644 index 00000000..e8c3bc41 --- /dev/null +++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/satellite/CommunicatingElement.java | |||
@@ -0,0 +1,38 @@ | |||
1 | /** | ||
2 | */ | ||
3 | package satellite; | ||
4 | |||
5 | import org.eclipse.emf.common.util.EList; | ||
6 | |||
7 | import org.eclipse.emf.ecore.EObject; | ||
8 | |||
9 | /** | ||
10 | * <!-- begin-user-doc --> | ||
11 | * A representation of the model object '<em><b>Communicating Element</b></em>'. | ||
12 | * <!-- end-user-doc --> | ||
13 | * | ||
14 | * <p> | ||
15 | * The following features are supported: | ||
16 | * </p> | ||
17 | * <ul> | ||
18 | * <li>{@link satellite.CommunicatingElement#getCommSubsystem <em>Comm Subsystem</em>}</li> | ||
19 | * </ul> | ||
20 | * | ||
21 | * @see satellite.SatellitePackage#getCommunicatingElement() | ||
22 | * @model abstract="true" | ||
23 | * @generated | ||
24 | */ | ||
25 | public interface CommunicatingElement extends EObject { | ||
26 | /** | ||
27 | * Returns the value of the '<em><b>Comm Subsystem</b></em>' containment reference list. | ||
28 | * The list contents are of type {@link satellite.CommSubsystem}. | ||
29 | * <!-- begin-user-doc --> | ||
30 | * <!-- end-user-doc --> | ||
31 | * @return the value of the '<em>Comm Subsystem</em>' containment reference list. | ||
32 | * @see satellite.SatellitePackage#getCommunicatingElement_CommSubsystem() | ||
33 | * @model containment="true" required="true" upper="2" | ||
34 | * @generated | ||
35 | */ | ||
36 | EList<CommSubsystem> getCommSubsystem(); | ||
37 | |||
38 | } // CommunicatingElement | ||
diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/satellite/ConstellationMission.java b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/satellite/ConstellationMission.java new file mode 100644 index 00000000..8ff69955 --- /dev/null +++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/satellite/ConstellationMission.java | |||
@@ -0,0 +1,61 @@ | |||
1 | /** | ||
2 | */ | ||
3 | package satellite; | ||
4 | |||
5 | import org.eclipse.emf.common.util.EList; | ||
6 | |||
7 | import org.eclipse.emf.ecore.EObject; | ||
8 | |||
9 | /** | ||
10 | * <!-- begin-user-doc --> | ||
11 | * A representation of the model object '<em><b>Constellation Mission</b></em>'. | ||
12 | * <!-- end-user-doc --> | ||
13 | * | ||
14 | * <p> | ||
15 | * The following features are supported: | ||
16 | * </p> | ||
17 | * <ul> | ||
18 | * <li>{@link satellite.ConstellationMission#getGroundStationNetwork <em>Ground Station Network</em>}</li> | ||
19 | * <li>{@link satellite.ConstellationMission#getSpacecraft <em>Spacecraft</em>}</li> | ||
20 | * </ul> | ||
21 | * | ||
22 | * @see satellite.SatellitePackage#getConstellationMission() | ||
23 | * @model abstract="true" | ||
24 | * @generated | ||
25 | */ | ||
26 | public interface ConstellationMission extends EObject { | ||
27 | /** | ||
28 | * Returns the value of the '<em><b>Ground Station Network</b></em>' containment reference. | ||
29 | * <!-- begin-user-doc --> | ||
30 | * <!-- end-user-doc --> | ||
31 | * @return the value of the '<em>Ground Station Network</em>' containment reference. | ||
32 | * @see #setGroundStationNetwork(GroundStationNetwork) | ||
33 | * @see satellite.SatellitePackage#getConstellationMission_GroundStationNetwork() | ||
34 | * @model containment="true" required="true" | ||
35 | * @generated | ||
36 | */ | ||
37 | GroundStationNetwork getGroundStationNetwork(); | ||
38 | |||
39 | /** | ||
40 | * Sets the value of the '{@link satellite.ConstellationMission#getGroundStationNetwork <em>Ground Station Network</em>}' containment reference. | ||
41 | * <!-- begin-user-doc --> | ||
42 | * <!-- end-user-doc --> | ||
43 | * @param value the new value of the '<em>Ground Station Network</em>' containment reference. | ||
44 | * @see #getGroundStationNetwork() | ||
45 | * @generated | ||
46 | */ | ||
47 | void setGroundStationNetwork(GroundStationNetwork value); | ||
48 | |||
49 | /** | ||
50 | * Returns the value of the '<em><b>Spacecraft</b></em>' containment reference list. | ||
51 | * The list contents are of type {@link satellite.Spacecraft}. | ||
52 | * <!-- begin-user-doc --> | ||
53 | * <!-- end-user-doc --> | ||
54 | * @return the value of the '<em>Spacecraft</em>' containment reference list. | ||
55 | * @see satellite.SatellitePackage#getConstellationMission_Spacecraft() | ||
56 | * @model containment="true" lower="2" | ||
57 | * @generated | ||
58 | */ | ||
59 | EList<Spacecraft> getSpacecraft(); | ||
60 | |||
61 | } // ConstellationMission | ||
diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/satellite/CubeSat.java b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/satellite/CubeSat.java new file mode 100644 index 00000000..a38926d4 --- /dev/null +++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/satellite/CubeSat.java | |||
@@ -0,0 +1,16 @@ | |||
1 | /** | ||
2 | */ | ||
3 | package satellite; | ||
4 | |||
5 | /** | ||
6 | * <!-- begin-user-doc --> | ||
7 | * A representation of the model object '<em><b>Cube Sat</b></em>'. | ||
8 | * <!-- end-user-doc --> | ||
9 | * | ||
10 | * | ||
11 | * @see satellite.SatellitePackage#getCubeSat() | ||
12 | * @model abstract="true" | ||
13 | * @generated | ||
14 | */ | ||
15 | public interface CubeSat extends Spacecraft { | ||
16 | } // CubeSat | ||
diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/satellite/CubeSat3U.java b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/satellite/CubeSat3U.java new file mode 100644 index 00000000..c68bf52c --- /dev/null +++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/satellite/CubeSat3U.java | |||
@@ -0,0 +1,16 @@ | |||
1 | /** | ||
2 | */ | ||
3 | package satellite; | ||
4 | |||
5 | /** | ||
6 | * <!-- begin-user-doc --> | ||
7 | * A representation of the model object '<em><b>Cube Sat3 U</b></em>'. | ||
8 | * <!-- end-user-doc --> | ||
9 | * | ||
10 | * | ||
11 | * @see satellite.SatellitePackage#getCubeSat3U() | ||
12 | * @model | ||
13 | * @generated | ||
14 | */ | ||
15 | public interface CubeSat3U extends CubeSat { | ||
16 | } // CubeSat3U | ||
diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/satellite/CubeSat6U.java b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/satellite/CubeSat6U.java new file mode 100644 index 00000000..5ade601a --- /dev/null +++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/satellite/CubeSat6U.java | |||
@@ -0,0 +1,16 @@ | |||
1 | /** | ||
2 | */ | ||
3 | package satellite; | ||
4 | |||
5 | /** | ||
6 | * <!-- begin-user-doc --> | ||
7 | * A representation of the model object '<em><b>Cube Sat6 U</b></em>'. | ||
8 | * <!-- end-user-doc --> | ||
9 | * | ||
10 | * | ||
11 | * @see satellite.SatellitePackage#getCubeSat6U() | ||
12 | * @model | ||
13 | * @generated | ||
14 | */ | ||
15 | public interface CubeSat6U extends CubeSat { | ||
16 | } // CubeSat6U | ||
diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/satellite/GroundStationNetwork.java b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/satellite/GroundStationNetwork.java new file mode 100644 index 00000000..8df20913 --- /dev/null +++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/satellite/GroundStationNetwork.java | |||
@@ -0,0 +1,16 @@ | |||
1 | /** | ||
2 | */ | ||
3 | package satellite; | ||
4 | |||
5 | /** | ||
6 | * <!-- begin-user-doc --> | ||
7 | * A representation of the model object '<em><b>Ground Station Network</b></em>'. | ||
8 | * <!-- end-user-doc --> | ||
9 | * | ||
10 | * | ||
11 | * @see satellite.SatellitePackage#getGroundStationNetwork() | ||
12 | * @model | ||
13 | * @generated | ||
14 | */ | ||
15 | public interface GroundStationNetwork extends CommunicatingElement { | ||
16 | } // GroundStationNetwork | ||
diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/satellite/InterferometryMission.java b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/satellite/InterferometryMission.java new file mode 100644 index 00000000..4e28df38 --- /dev/null +++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/satellite/InterferometryMission.java | |||
@@ -0,0 +1,17 @@ | |||
1 | /** | ||
2 | */ | ||
3 | package satellite; | ||
4 | |||
5 | /** | ||
6 | * <!-- begin-user-doc --> | ||
7 | * A representation of the model object '<em><b>Interferometry Mission</b></em>'. | ||
8 | * <!-- end-user-doc --> | ||
9 | * | ||
10 | * | ||
11 | * @see satellite.SatellitePackage#getInterferometryMission() | ||
12 | * @model | ||
13 | * @generated | ||
14 | */ | ||
15 | public interface InterferometryMission extends ConstellationMission { | ||
16 | |||
17 | } // InterferometryMission | ||
diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/satellite/InterferometryPayload.java b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/satellite/InterferometryPayload.java new file mode 100644 index 00000000..67156bdb --- /dev/null +++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/satellite/InterferometryPayload.java | |||
@@ -0,0 +1,16 @@ | |||
1 | /** | ||
2 | */ | ||
3 | package satellite; | ||
4 | |||
5 | /** | ||
6 | * <!-- begin-user-doc --> | ||
7 | * A representation of the model object '<em><b>Interferometry Payload</b></em>'. | ||
8 | * <!-- end-user-doc --> | ||
9 | * | ||
10 | * | ||
11 | * @see satellite.SatellitePackage#getInterferometryPayload() | ||
12 | * @model | ||
13 | * @generated | ||
14 | */ | ||
15 | public interface InterferometryPayload extends Payload { | ||
16 | } // InterferometryPayload | ||
diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/satellite/KaCommSubsystem.java b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/satellite/KaCommSubsystem.java new file mode 100644 index 00000000..458831cf --- /dev/null +++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/satellite/KaCommSubsystem.java | |||
@@ -0,0 +1,16 @@ | |||
1 | /** | ||
2 | */ | ||
3 | package satellite; | ||
4 | |||
5 | /** | ||
6 | * <!-- begin-user-doc --> | ||
7 | * A representation of the model object '<em><b>Ka Comm Subsystem</b></em>'. | ||
8 | * <!-- end-user-doc --> | ||
9 | * | ||
10 | * | ||
11 | * @see satellite.SatellitePackage#getKaCommSubsystem() | ||
12 | * @model | ||
13 | * @generated | ||
14 | */ | ||
15 | public interface KaCommSubsystem extends CommSubsystem { | ||
16 | } // KaCommSubsystem | ||
diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/satellite/Payload.java b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/satellite/Payload.java new file mode 100644 index 00000000..3222fd3b --- /dev/null +++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/satellite/Payload.java | |||
@@ -0,0 +1,18 @@ | |||
1 | /** | ||
2 | */ | ||
3 | package satellite; | ||
4 | |||
5 | import org.eclipse.emf.ecore.EObject; | ||
6 | |||
7 | /** | ||
8 | * <!-- begin-user-doc --> | ||
9 | * A representation of the model object '<em><b>Payload</b></em>'. | ||
10 | * <!-- end-user-doc --> | ||
11 | * | ||
12 | * | ||
13 | * @see satellite.SatellitePackage#getPayload() | ||
14 | * @model abstract="true" | ||
15 | * @generated | ||
16 | */ | ||
17 | public interface Payload extends EObject { | ||
18 | } // Payload | ||
diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/satellite/SatelliteFactory.java b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/satellite/SatelliteFactory.java new file mode 100644 index 00000000..c906bde6 --- /dev/null +++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/satellite/SatelliteFactory.java | |||
@@ -0,0 +1,114 @@ | |||
1 | /** | ||
2 | */ | ||
3 | package satellite; | ||
4 | |||
5 | import org.eclipse.emf.ecore.EFactory; | ||
6 | |||
7 | /** | ||
8 | * <!-- begin-user-doc --> | ||
9 | * The <b>Factory</b> for the model. | ||
10 | * It provides a create method for each non-abstract class of the model. | ||
11 | * <!-- end-user-doc --> | ||
12 | * @see satellite.SatellitePackage | ||
13 | * @generated | ||
14 | */ | ||
15 | public interface SatelliteFactory extends EFactory { | ||
16 | /** | ||
17 | * The singleton instance of the factory. | ||
18 | * <!-- begin-user-doc --> | ||
19 | * <!-- end-user-doc --> | ||
20 | * @generated | ||
21 | */ | ||
22 | SatelliteFactory eINSTANCE = satellite.impl.SatelliteFactoryImpl.init(); | ||
23 | |||
24 | /** | ||
25 | * Returns a new object of class '<em>Interferometry Mission</em>'. | ||
26 | * <!-- begin-user-doc --> | ||
27 | * <!-- end-user-doc --> | ||
28 | * @return a new object of class '<em>Interferometry Mission</em>'. | ||
29 | * @generated | ||
30 | */ | ||
31 | InterferometryMission createInterferometryMission(); | ||
32 | |||
33 | /** | ||
34 | * Returns a new object of class '<em>Ground Station Network</em>'. | ||
35 | * <!-- begin-user-doc --> | ||
36 | * <!-- end-user-doc --> | ||
37 | * @return a new object of class '<em>Ground Station Network</em>'. | ||
38 | * @generated | ||
39 | */ | ||
40 | GroundStationNetwork createGroundStationNetwork(); | ||
41 | |||
42 | /** | ||
43 | * Returns a new object of class '<em>Interferometry Payload</em>'. | ||
44 | * <!-- begin-user-doc --> | ||
45 | * <!-- end-user-doc --> | ||
46 | * @return a new object of class '<em>Interferometry Payload</em>'. | ||
47 | * @generated | ||
48 | */ | ||
49 | InterferometryPayload createInterferometryPayload(); | ||
50 | |||
51 | /** | ||
52 | * Returns a new object of class '<em>Cube Sat3 U</em>'. | ||
53 | * <!-- begin-user-doc --> | ||
54 | * <!-- end-user-doc --> | ||
55 | * @return a new object of class '<em>Cube Sat3 U</em>'. | ||
56 | * @generated | ||
57 | */ | ||
58 | CubeSat3U createCubeSat3U(); | ||
59 | |||
60 | /** | ||
61 | * Returns a new object of class '<em>Cube Sat6 U</em>'. | ||
62 | * <!-- begin-user-doc --> | ||
63 | * <!-- end-user-doc --> | ||
64 | * @return a new object of class '<em>Cube Sat6 U</em>'. | ||
65 | * @generated | ||
66 | */ | ||
67 | CubeSat6U createCubeSat6U(); | ||
68 | |||
69 | /** | ||
70 | * Returns a new object of class '<em>Small Sat</em>'. | ||
71 | * <!-- begin-user-doc --> | ||
72 | * <!-- end-user-doc --> | ||
73 | * @return a new object of class '<em>Small Sat</em>'. | ||
74 | * @generated | ||
75 | */ | ||
76 | SmallSat createSmallSat(); | ||
77 | |||
78 | /** | ||
79 | * Returns a new object of class '<em>UHF Comm Subsystem</em>'. | ||
80 | * <!-- begin-user-doc --> | ||
81 | * <!-- end-user-doc --> | ||
82 | * @return a new object of class '<em>UHF Comm Subsystem</em>'. | ||
83 | * @generated | ||
84 | */ | ||
85 | UHFCommSubsystem createUHFCommSubsystem(); | ||
86 | |||
87 | /** | ||
88 | * Returns a new object of class '<em>XComm Subsystem</em>'. | ||
89 | * <!-- begin-user-doc --> | ||
90 | * <!-- end-user-doc --> | ||
91 | * @return a new object of class '<em>XComm Subsystem</em>'. | ||
92 | * @generated | ||
93 | */ | ||
94 | XCommSubsystem createXCommSubsystem(); | ||
95 | |||
96 | /** | ||
97 | * Returns a new object of class '<em>Ka Comm Subsystem</em>'. | ||
98 | * <!-- begin-user-doc --> | ||
99 | * <!-- end-user-doc --> | ||
100 | * @return a new object of class '<em>Ka Comm Subsystem</em>'. | ||
101 | * @generated | ||
102 | */ | ||
103 | KaCommSubsystem createKaCommSubsystem(); | ||
104 | |||
105 | /** | ||
106 | * Returns the package supported by this factory. | ||
107 | * <!-- begin-user-doc --> | ||
108 | * <!-- end-user-doc --> | ||
109 | * @return the package supported by this factory. | ||
110 | * @generated | ||
111 | */ | ||
112 | SatellitePackage getSatellitePackage(); | ||
113 | |||
114 | } //SatelliteFactory | ||
diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/satellite/SatellitePackage.java b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/satellite/SatellitePackage.java new file mode 100644 index 00000000..9ca99311 --- /dev/null +++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/satellite/SatellitePackage.java | |||
@@ -0,0 +1,1079 @@ | |||
1 | /** | ||
2 | */ | ||
3 | package satellite; | ||
4 | |||
5 | import org.eclipse.emf.ecore.EClass; | ||
6 | import org.eclipse.emf.ecore.EPackage; | ||
7 | import org.eclipse.emf.ecore.EReference; | ||
8 | |||
9 | /** | ||
10 | * <!-- begin-user-doc --> | ||
11 | * The <b>Package</b> for the model. | ||
12 | * It contains accessors for the meta objects to represent | ||
13 | * <ul> | ||
14 | * <li>each class,</li> | ||
15 | * <li>each feature of each class,</li> | ||
16 | * <li>each operation of each class,</li> | ||
17 | * <li>each enum,</li> | ||
18 | * <li>and each data type</li> | ||
19 | * </ul> | ||
20 | * <!-- end-user-doc --> | ||
21 | * @see satellite.SatelliteFactory | ||
22 | * @model kind="package" | ||
23 | * @generated | ||
24 | */ | ||
25 | public interface SatellitePackage extends EPackage { | ||
26 | /** | ||
27 | * The package name. | ||
28 | * <!-- begin-user-doc --> | ||
29 | * <!-- end-user-doc --> | ||
30 | * @generated | ||
31 | */ | ||
32 | String eNAME = "satellite"; | ||
33 | |||
34 | /** | ||
35 | * The package namespace URI. | ||
36 | * <!-- begin-user-doc --> | ||
37 | * <!-- end-user-doc --> | ||
38 | * @generated | ||
39 | */ | ||
40 | String eNS_URI = "http://www.example.org/satellite"; | ||
41 | |||
42 | /** | ||
43 | * The package namespace name. | ||
44 | * <!-- begin-user-doc --> | ||
45 | * <!-- end-user-doc --> | ||
46 | * @generated | ||
47 | */ | ||
48 | String eNS_PREFIX = "satellite"; | ||
49 | |||
50 | /** | ||
51 | * The singleton instance of the package. | ||
52 | * <!-- begin-user-doc --> | ||
53 | * <!-- end-user-doc --> | ||
54 | * @generated | ||
55 | */ | ||
56 | SatellitePackage eINSTANCE = satellite.impl.SatellitePackageImpl.init(); | ||
57 | |||
58 | /** | ||
59 | * The meta object id for the '{@link satellite.impl.ConstellationMissionImpl <em>Constellation Mission</em>}' class. | ||
60 | * <!-- begin-user-doc --> | ||
61 | * <!-- end-user-doc --> | ||
62 | * @see satellite.impl.ConstellationMissionImpl | ||
63 | * @see satellite.impl.SatellitePackageImpl#getConstellationMission() | ||
64 | * @generated | ||
65 | */ | ||
66 | int CONSTELLATION_MISSION = 0; | ||
67 | |||
68 | /** | ||
69 | * The feature id for the '<em><b>Ground Station Network</b></em>' containment reference. | ||
70 | * <!-- begin-user-doc --> | ||
71 | * <!-- end-user-doc --> | ||
72 | * @generated | ||
73 | * @ordered | ||
74 | */ | ||
75 | int CONSTELLATION_MISSION__GROUND_STATION_NETWORK = 0; | ||
76 | |||
77 | /** | ||
78 | * The feature id for the '<em><b>Spacecraft</b></em>' containment reference list. | ||
79 | * <!-- begin-user-doc --> | ||
80 | * <!-- end-user-doc --> | ||
81 | * @generated | ||
82 | * @ordered | ||
83 | */ | ||
84 | int CONSTELLATION_MISSION__SPACECRAFT = 1; | ||
85 | |||
86 | /** | ||
87 | * The number of structural features of the '<em>Constellation Mission</em>' class. | ||
88 | * <!-- begin-user-doc --> | ||
89 | * <!-- end-user-doc --> | ||
90 | * @generated | ||
91 | * @ordered | ||
92 | */ | ||
93 | int CONSTELLATION_MISSION_FEATURE_COUNT = 2; | ||
94 | |||
95 | /** | ||
96 | * The number of operations of the '<em>Constellation Mission</em>' class. | ||
97 | * <!-- begin-user-doc --> | ||
98 | * <!-- end-user-doc --> | ||
99 | * @generated | ||
100 | * @ordered | ||
101 | */ | ||
102 | int CONSTELLATION_MISSION_OPERATION_COUNT = 0; | ||
103 | |||
104 | /** | ||
105 | * The meta object id for the '{@link satellite.impl.InterferometryMissionImpl <em>Interferometry Mission</em>}' class. | ||
106 | * <!-- begin-user-doc --> | ||
107 | * <!-- end-user-doc --> | ||
108 | * @see satellite.impl.InterferometryMissionImpl | ||
109 | * @see satellite.impl.SatellitePackageImpl#getInterferometryMission() | ||
110 | * @generated | ||
111 | */ | ||
112 | int INTERFEROMETRY_MISSION = 1; | ||
113 | |||
114 | /** | ||
115 | * The feature id for the '<em><b>Ground Station Network</b></em>' containment reference. | ||
116 | * <!-- begin-user-doc --> | ||
117 | * <!-- end-user-doc --> | ||
118 | * @generated | ||
119 | * @ordered | ||
120 | */ | ||
121 | int INTERFEROMETRY_MISSION__GROUND_STATION_NETWORK = CONSTELLATION_MISSION__GROUND_STATION_NETWORK; | ||
122 | |||
123 | /** | ||
124 | * The feature id for the '<em><b>Spacecraft</b></em>' containment reference list. | ||
125 | * <!-- begin-user-doc --> | ||
126 | * <!-- end-user-doc --> | ||
127 | * @generated | ||
128 | * @ordered | ||
129 | */ | ||
130 | int INTERFEROMETRY_MISSION__SPACECRAFT = CONSTELLATION_MISSION__SPACECRAFT; | ||
131 | |||
132 | /** | ||
133 | * The number of structural features of the '<em>Interferometry Mission</em>' class. | ||
134 | * <!-- begin-user-doc --> | ||
135 | * <!-- end-user-doc --> | ||
136 | * @generated | ||
137 | * @ordered | ||
138 | */ | ||
139 | int INTERFEROMETRY_MISSION_FEATURE_COUNT = CONSTELLATION_MISSION_FEATURE_COUNT + 0; | ||
140 | |||
141 | /** | ||
142 | * The number of operations of the '<em>Interferometry Mission</em>' class. | ||
143 | * <!-- begin-user-doc --> | ||
144 | * <!-- end-user-doc --> | ||
145 | * @generated | ||
146 | * @ordered | ||
147 | */ | ||
148 | int INTERFEROMETRY_MISSION_OPERATION_COUNT = CONSTELLATION_MISSION_OPERATION_COUNT + 0; | ||
149 | |||
150 | /** | ||
151 | * The meta object id for the '{@link satellite.impl.CommunicatingElementImpl <em>Communicating Element</em>}' class. | ||
152 | * <!-- begin-user-doc --> | ||
153 | * <!-- end-user-doc --> | ||
154 | * @see satellite.impl.CommunicatingElementImpl | ||
155 | * @see satellite.impl.SatellitePackageImpl#getCommunicatingElement() | ||
156 | * @generated | ||
157 | */ | ||
158 | int COMMUNICATING_ELEMENT = 2; | ||
159 | |||
160 | /** | ||
161 | * The feature id for the '<em><b>Comm Subsystem</b></em>' containment reference list. | ||
162 | * <!-- begin-user-doc --> | ||
163 | * <!-- end-user-doc --> | ||
164 | * @generated | ||
165 | * @ordered | ||
166 | */ | ||
167 | int COMMUNICATING_ELEMENT__COMM_SUBSYSTEM = 0; | ||
168 | |||
169 | /** | ||
170 | * The number of structural features of the '<em>Communicating Element</em>' class. | ||
171 | * <!-- begin-user-doc --> | ||
172 | * <!-- end-user-doc --> | ||
173 | * @generated | ||
174 | * @ordered | ||
175 | */ | ||
176 | int COMMUNICATING_ELEMENT_FEATURE_COUNT = 1; | ||
177 | |||
178 | /** | ||
179 | * The number of operations of the '<em>Communicating Element</em>' class. | ||
180 | * <!-- begin-user-doc --> | ||
181 | * <!-- end-user-doc --> | ||
182 | * @generated | ||
183 | * @ordered | ||
184 | */ | ||
185 | int COMMUNICATING_ELEMENT_OPERATION_COUNT = 0; | ||
186 | |||
187 | /** | ||
188 | * The meta object id for the '{@link satellite.impl.GroundStationNetworkImpl <em>Ground Station Network</em>}' class. | ||
189 | * <!-- begin-user-doc --> | ||
190 | * <!-- end-user-doc --> | ||
191 | * @see satellite.impl.GroundStationNetworkImpl | ||
192 | * @see satellite.impl.SatellitePackageImpl#getGroundStationNetwork() | ||
193 | * @generated | ||
194 | */ | ||
195 | int GROUND_STATION_NETWORK = 3; | ||
196 | |||
197 | /** | ||
198 | * The feature id for the '<em><b>Comm Subsystem</b></em>' containment reference list. | ||
199 | * <!-- begin-user-doc --> | ||
200 | * <!-- end-user-doc --> | ||
201 | * @generated | ||
202 | * @ordered | ||
203 | */ | ||
204 | int GROUND_STATION_NETWORK__COMM_SUBSYSTEM = COMMUNICATING_ELEMENT__COMM_SUBSYSTEM; | ||
205 | |||
206 | /** | ||
207 | * The number of structural features of the '<em>Ground Station Network</em>' class. | ||
208 | * <!-- begin-user-doc --> | ||
209 | * <!-- end-user-doc --> | ||
210 | * @generated | ||
211 | * @ordered | ||
212 | */ | ||
213 | int GROUND_STATION_NETWORK_FEATURE_COUNT = COMMUNICATING_ELEMENT_FEATURE_COUNT + 0; | ||
214 | |||
215 | /** | ||
216 | * The number of operations of the '<em>Ground Station Network</em>' class. | ||
217 | * <!-- begin-user-doc --> | ||
218 | * <!-- end-user-doc --> | ||
219 | * @generated | ||
220 | * @ordered | ||
221 | */ | ||
222 | int GROUND_STATION_NETWORK_OPERATION_COUNT = COMMUNICATING_ELEMENT_OPERATION_COUNT + 0; | ||
223 | |||
224 | /** | ||
225 | * The meta object id for the '{@link satellite.impl.SpacecraftImpl <em>Spacecraft</em>}' class. | ||
226 | * <!-- begin-user-doc --> | ||
227 | * <!-- end-user-doc --> | ||
228 | * @see satellite.impl.SpacecraftImpl | ||
229 | * @see satellite.impl.SatellitePackageImpl#getSpacecraft() | ||
230 | * @generated | ||
231 | */ | ||
232 | int SPACECRAFT = 4; | ||
233 | |||
234 | /** | ||
235 | * The feature id for the '<em><b>Comm Subsystem</b></em>' containment reference list. | ||
236 | * <!-- begin-user-doc --> | ||
237 | * <!-- end-user-doc --> | ||
238 | * @generated | ||
239 | * @ordered | ||
240 | */ | ||
241 | int SPACECRAFT__COMM_SUBSYSTEM = COMMUNICATING_ELEMENT__COMM_SUBSYSTEM; | ||
242 | |||
243 | /** | ||
244 | * The feature id for the '<em><b>Payload</b></em>' containment reference. | ||
245 | * <!-- begin-user-doc --> | ||
246 | * <!-- end-user-doc --> | ||
247 | * @generated | ||
248 | * @ordered | ||
249 | */ | ||
250 | int SPACECRAFT__PAYLOAD = COMMUNICATING_ELEMENT_FEATURE_COUNT + 0; | ||
251 | |||
252 | /** | ||
253 | * The number of structural features of the '<em>Spacecraft</em>' class. | ||
254 | * <!-- begin-user-doc --> | ||
255 | * <!-- end-user-doc --> | ||
256 | * @generated | ||
257 | * @ordered | ||
258 | */ | ||
259 | int SPACECRAFT_FEATURE_COUNT = COMMUNICATING_ELEMENT_FEATURE_COUNT + 1; | ||
260 | |||
261 | /** | ||
262 | * The number of operations of the '<em>Spacecraft</em>' class. | ||
263 | * <!-- begin-user-doc --> | ||
264 | * <!-- end-user-doc --> | ||
265 | * @generated | ||
266 | * @ordered | ||
267 | */ | ||
268 | int SPACECRAFT_OPERATION_COUNT = COMMUNICATING_ELEMENT_OPERATION_COUNT + 0; | ||
269 | |||
270 | /** | ||
271 | * The meta object id for the '{@link satellite.impl.CommSubsystemImpl <em>Comm Subsystem</em>}' class. | ||
272 | * <!-- begin-user-doc --> | ||
273 | * <!-- end-user-doc --> | ||
274 | * @see satellite.impl.CommSubsystemImpl | ||
275 | * @see satellite.impl.SatellitePackageImpl#getCommSubsystem() | ||
276 | * @generated | ||
277 | */ | ||
278 | int COMM_SUBSYSTEM = 5; | ||
279 | |||
280 | /** | ||
281 | * The feature id for the '<em><b>Target</b></em>' reference. | ||
282 | * <!-- begin-user-doc --> | ||
283 | * <!-- end-user-doc --> | ||
284 | * @generated | ||
285 | * @ordered | ||
286 | */ | ||
287 | int COMM_SUBSYSTEM__TARGET = 0; | ||
288 | |||
289 | /** | ||
290 | * The number of structural features of the '<em>Comm Subsystem</em>' class. | ||
291 | * <!-- begin-user-doc --> | ||
292 | * <!-- end-user-doc --> | ||
293 | * @generated | ||
294 | * @ordered | ||
295 | */ | ||
296 | int COMM_SUBSYSTEM_FEATURE_COUNT = 1; | ||
297 | |||
298 | /** | ||
299 | * The number of operations of the '<em>Comm Subsystem</em>' class. | ||
300 | * <!-- begin-user-doc --> | ||
301 | * <!-- end-user-doc --> | ||
302 | * @generated | ||
303 | * @ordered | ||
304 | */ | ||
305 | int COMM_SUBSYSTEM_OPERATION_COUNT = 0; | ||
306 | |||
307 | /** | ||
308 | * The meta object id for the '{@link satellite.impl.PayloadImpl <em>Payload</em>}' class. | ||
309 | * <!-- begin-user-doc --> | ||
310 | * <!-- end-user-doc --> | ||
311 | * @see satellite.impl.PayloadImpl | ||
312 | * @see satellite.impl.SatellitePackageImpl#getPayload() | ||
313 | * @generated | ||
314 | */ | ||
315 | int PAYLOAD = 6; | ||
316 | |||
317 | /** | ||
318 | * The number of structural features of the '<em>Payload</em>' class. | ||
319 | * <!-- begin-user-doc --> | ||
320 | * <!-- end-user-doc --> | ||
321 | * @generated | ||
322 | * @ordered | ||
323 | */ | ||
324 | int PAYLOAD_FEATURE_COUNT = 0; | ||
325 | |||
326 | /** | ||
327 | * The number of operations of the '<em>Payload</em>' class. | ||
328 | * <!-- begin-user-doc --> | ||
329 | * <!-- end-user-doc --> | ||
330 | * @generated | ||
331 | * @ordered | ||
332 | */ | ||
333 | int PAYLOAD_OPERATION_COUNT = 0; | ||
334 | |||
335 | /** | ||
336 | * The meta object id for the '{@link satellite.impl.InterferometryPayloadImpl <em>Interferometry Payload</em>}' class. | ||
337 | * <!-- begin-user-doc --> | ||
338 | * <!-- end-user-doc --> | ||
339 | * @see satellite.impl.InterferometryPayloadImpl | ||
340 | * @see satellite.impl.SatellitePackageImpl#getInterferometryPayload() | ||
341 | * @generated | ||
342 | */ | ||
343 | int INTERFEROMETRY_PAYLOAD = 7; | ||
344 | |||
345 | /** | ||
346 | * The number of structural features of the '<em>Interferometry Payload</em>' class. | ||
347 | * <!-- begin-user-doc --> | ||
348 | * <!-- end-user-doc --> | ||
349 | * @generated | ||
350 | * @ordered | ||
351 | */ | ||
352 | int INTERFEROMETRY_PAYLOAD_FEATURE_COUNT = PAYLOAD_FEATURE_COUNT + 0; | ||
353 | |||
354 | /** | ||
355 | * The number of operations of the '<em>Interferometry Payload</em>' class. | ||
356 | * <!-- begin-user-doc --> | ||
357 | * <!-- end-user-doc --> | ||
358 | * @generated | ||
359 | * @ordered | ||
360 | */ | ||
361 | int INTERFEROMETRY_PAYLOAD_OPERATION_COUNT = PAYLOAD_OPERATION_COUNT + 0; | ||
362 | |||
363 | /** | ||
364 | * The meta object id for the '{@link satellite.impl.CubeSatImpl <em>Cube Sat</em>}' class. | ||
365 | * <!-- begin-user-doc --> | ||
366 | * <!-- end-user-doc --> | ||
367 | * @see satellite.impl.CubeSatImpl | ||
368 | * @see satellite.impl.SatellitePackageImpl#getCubeSat() | ||
369 | * @generated | ||
370 | */ | ||
371 | int CUBE_SAT = 11; | ||
372 | |||
373 | /** | ||
374 | * The feature id for the '<em><b>Comm Subsystem</b></em>' containment reference list. | ||
375 | * <!-- begin-user-doc --> | ||
376 | * <!-- end-user-doc --> | ||
377 | * @generated | ||
378 | * @ordered | ||
379 | */ | ||
380 | int CUBE_SAT__COMM_SUBSYSTEM = SPACECRAFT__COMM_SUBSYSTEM; | ||
381 | |||
382 | /** | ||
383 | * The feature id for the '<em><b>Payload</b></em>' containment reference. | ||
384 | * <!-- begin-user-doc --> | ||
385 | * <!-- end-user-doc --> | ||
386 | * @generated | ||
387 | * @ordered | ||
388 | */ | ||
389 | int CUBE_SAT__PAYLOAD = SPACECRAFT__PAYLOAD; | ||
390 | |||
391 | /** | ||
392 | * The number of structural features of the '<em>Cube Sat</em>' class. | ||
393 | * <!-- begin-user-doc --> | ||
394 | * <!-- end-user-doc --> | ||
395 | * @generated | ||
396 | * @ordered | ||
397 | */ | ||
398 | int CUBE_SAT_FEATURE_COUNT = SPACECRAFT_FEATURE_COUNT + 0; | ||
399 | |||
400 | /** | ||
401 | * The number of operations of the '<em>Cube Sat</em>' class. | ||
402 | * <!-- begin-user-doc --> | ||
403 | * <!-- end-user-doc --> | ||
404 | * @generated | ||
405 | * @ordered | ||
406 | */ | ||
407 | int CUBE_SAT_OPERATION_COUNT = SPACECRAFT_OPERATION_COUNT + 0; | ||
408 | |||
409 | /** | ||
410 | * The meta object id for the '{@link satellite.impl.CubeSat3UImpl <em>Cube Sat3 U</em>}' class. | ||
411 | * <!-- begin-user-doc --> | ||
412 | * <!-- end-user-doc --> | ||
413 | * @see satellite.impl.CubeSat3UImpl | ||
414 | * @see satellite.impl.SatellitePackageImpl#getCubeSat3U() | ||
415 | * @generated | ||
416 | */ | ||
417 | int CUBE_SAT3_U = 8; | ||
418 | |||
419 | /** | ||
420 | * The feature id for the '<em><b>Comm Subsystem</b></em>' containment reference list. | ||
421 | * <!-- begin-user-doc --> | ||
422 | * <!-- end-user-doc --> | ||
423 | * @generated | ||
424 | * @ordered | ||
425 | */ | ||
426 | int CUBE_SAT3_U__COMM_SUBSYSTEM = CUBE_SAT__COMM_SUBSYSTEM; | ||
427 | |||
428 | /** | ||
429 | * The feature id for the '<em><b>Payload</b></em>' containment reference. | ||
430 | * <!-- begin-user-doc --> | ||
431 | * <!-- end-user-doc --> | ||
432 | * @generated | ||
433 | * @ordered | ||
434 | */ | ||
435 | int CUBE_SAT3_U__PAYLOAD = CUBE_SAT__PAYLOAD; | ||
436 | |||
437 | /** | ||
438 | * The number of structural features of the '<em>Cube Sat3 U</em>' class. | ||
439 | * <!-- begin-user-doc --> | ||
440 | * <!-- end-user-doc --> | ||
441 | * @generated | ||
442 | * @ordered | ||
443 | */ | ||
444 | int CUBE_SAT3_U_FEATURE_COUNT = CUBE_SAT_FEATURE_COUNT + 0; | ||
445 | |||
446 | /** | ||
447 | * The number of operations of the '<em>Cube Sat3 U</em>' class. | ||
448 | * <!-- begin-user-doc --> | ||
449 | * <!-- end-user-doc --> | ||
450 | * @generated | ||
451 | * @ordered | ||
452 | */ | ||
453 | int CUBE_SAT3_U_OPERATION_COUNT = CUBE_SAT_OPERATION_COUNT + 0; | ||
454 | |||
455 | /** | ||
456 | * The meta object id for the '{@link satellite.impl.CubeSat6UImpl <em>Cube Sat6 U</em>}' class. | ||
457 | * <!-- begin-user-doc --> | ||
458 | * <!-- end-user-doc --> | ||
459 | * @see satellite.impl.CubeSat6UImpl | ||
460 | * @see satellite.impl.SatellitePackageImpl#getCubeSat6U() | ||
461 | * @generated | ||
462 | */ | ||
463 | int CUBE_SAT6_U = 9; | ||
464 | |||
465 | /** | ||
466 | * The feature id for the '<em><b>Comm Subsystem</b></em>' containment reference list. | ||
467 | * <!-- begin-user-doc --> | ||
468 | * <!-- end-user-doc --> | ||
469 | * @generated | ||
470 | * @ordered | ||
471 | */ | ||
472 | int CUBE_SAT6_U__COMM_SUBSYSTEM = CUBE_SAT__COMM_SUBSYSTEM; | ||
473 | |||
474 | /** | ||
475 | * The feature id for the '<em><b>Payload</b></em>' containment reference. | ||
476 | * <!-- begin-user-doc --> | ||
477 | * <!-- end-user-doc --> | ||
478 | * @generated | ||
479 | * @ordered | ||
480 | */ | ||
481 | int CUBE_SAT6_U__PAYLOAD = CUBE_SAT__PAYLOAD; | ||
482 | |||
483 | /** | ||
484 | * The number of structural features of the '<em>Cube Sat6 U</em>' class. | ||
485 | * <!-- begin-user-doc --> | ||
486 | * <!-- end-user-doc --> | ||
487 | * @generated | ||
488 | * @ordered | ||
489 | */ | ||
490 | int CUBE_SAT6_U_FEATURE_COUNT = CUBE_SAT_FEATURE_COUNT + 0; | ||
491 | |||
492 | /** | ||
493 | * The number of operations of the '<em>Cube Sat6 U</em>' class. | ||
494 | * <!-- begin-user-doc --> | ||
495 | * <!-- end-user-doc --> | ||
496 | * @generated | ||
497 | * @ordered | ||
498 | */ | ||
499 | int CUBE_SAT6_U_OPERATION_COUNT = CUBE_SAT_OPERATION_COUNT + 0; | ||
500 | |||
501 | /** | ||
502 | * The meta object id for the '{@link satellite.impl.SmallSatImpl <em>Small Sat</em>}' class. | ||
503 | * <!-- begin-user-doc --> | ||
504 | * <!-- end-user-doc --> | ||
505 | * @see satellite.impl.SmallSatImpl | ||
506 | * @see satellite.impl.SatellitePackageImpl#getSmallSat() | ||
507 | * @generated | ||
508 | */ | ||
509 | int SMALL_SAT = 10; | ||
510 | |||
511 | /** | ||
512 | * The feature id for the '<em><b>Comm Subsystem</b></em>' containment reference list. | ||
513 | * <!-- begin-user-doc --> | ||
514 | * <!-- end-user-doc --> | ||
515 | * @generated | ||
516 | * @ordered | ||
517 | */ | ||
518 | int SMALL_SAT__COMM_SUBSYSTEM = SPACECRAFT__COMM_SUBSYSTEM; | ||
519 | |||
520 | /** | ||
521 | * The feature id for the '<em><b>Payload</b></em>' containment reference. | ||
522 | * <!-- begin-user-doc --> | ||
523 | * <!-- end-user-doc --> | ||
524 | * @generated | ||
525 | * @ordered | ||
526 | */ | ||
527 | int SMALL_SAT__PAYLOAD = SPACECRAFT__PAYLOAD; | ||
528 | |||
529 | /** | ||
530 | * The number of structural features of the '<em>Small Sat</em>' class. | ||
531 | * <!-- begin-user-doc --> | ||
532 | * <!-- end-user-doc --> | ||
533 | * @generated | ||
534 | * @ordered | ||
535 | */ | ||
536 | int SMALL_SAT_FEATURE_COUNT = SPACECRAFT_FEATURE_COUNT + 0; | ||
537 | |||
538 | /** | ||
539 | * The number of operations of the '<em>Small Sat</em>' class. | ||
540 | * <!-- begin-user-doc --> | ||
541 | * <!-- end-user-doc --> | ||
542 | * @generated | ||
543 | * @ordered | ||
544 | */ | ||
545 | int SMALL_SAT_OPERATION_COUNT = SPACECRAFT_OPERATION_COUNT + 0; | ||
546 | |||
547 | /** | ||
548 | * The meta object id for the '{@link satellite.impl.UHFCommSubsystemImpl <em>UHF Comm Subsystem</em>}' class. | ||
549 | * <!-- begin-user-doc --> | ||
550 | * <!-- end-user-doc --> | ||
551 | * @see satellite.impl.UHFCommSubsystemImpl | ||
552 | * @see satellite.impl.SatellitePackageImpl#getUHFCommSubsystem() | ||
553 | * @generated | ||
554 | */ | ||
555 | int UHF_COMM_SUBSYSTEM = 12; | ||
556 | |||
557 | /** | ||
558 | * The feature id for the '<em><b>Target</b></em>' reference. | ||
559 | * <!-- begin-user-doc --> | ||
560 | * <!-- end-user-doc --> | ||
561 | * @generated | ||
562 | * @ordered | ||
563 | */ | ||
564 | int UHF_COMM_SUBSYSTEM__TARGET = COMM_SUBSYSTEM__TARGET; | ||
565 | |||
566 | /** | ||
567 | * The number of structural features of the '<em>UHF Comm Subsystem</em>' class. | ||
568 | * <!-- begin-user-doc --> | ||
569 | * <!-- end-user-doc --> | ||
570 | * @generated | ||
571 | * @ordered | ||
572 | */ | ||
573 | int UHF_COMM_SUBSYSTEM_FEATURE_COUNT = COMM_SUBSYSTEM_FEATURE_COUNT + 0; | ||
574 | |||
575 | /** | ||
576 | * The number of operations of the '<em>UHF Comm Subsystem</em>' class. | ||
577 | * <!-- begin-user-doc --> | ||
578 | * <!-- end-user-doc --> | ||
579 | * @generated | ||
580 | * @ordered | ||
581 | */ | ||
582 | int UHF_COMM_SUBSYSTEM_OPERATION_COUNT = COMM_SUBSYSTEM_OPERATION_COUNT + 0; | ||
583 | |||
584 | /** | ||
585 | * The meta object id for the '{@link satellite.impl.XCommSubsystemImpl <em>XComm Subsystem</em>}' class. | ||
586 | * <!-- begin-user-doc --> | ||
587 | * <!-- end-user-doc --> | ||
588 | * @see satellite.impl.XCommSubsystemImpl | ||
589 | * @see satellite.impl.SatellitePackageImpl#getXCommSubsystem() | ||
590 | * @generated | ||
591 | */ | ||
592 | int XCOMM_SUBSYSTEM = 13; | ||
593 | |||
594 | /** | ||
595 | * The feature id for the '<em><b>Target</b></em>' reference. | ||
596 | * <!-- begin-user-doc --> | ||
597 | * <!-- end-user-doc --> | ||
598 | * @generated | ||
599 | * @ordered | ||
600 | */ | ||
601 | int XCOMM_SUBSYSTEM__TARGET = COMM_SUBSYSTEM__TARGET; | ||
602 | |||
603 | /** | ||
604 | * The number of structural features of the '<em>XComm Subsystem</em>' class. | ||
605 | * <!-- begin-user-doc --> | ||
606 | * <!-- end-user-doc --> | ||
607 | * @generated | ||
608 | * @ordered | ||
609 | */ | ||
610 | int XCOMM_SUBSYSTEM_FEATURE_COUNT = COMM_SUBSYSTEM_FEATURE_COUNT + 0; | ||
611 | |||
612 | /** | ||
613 | * The number of operations of the '<em>XComm Subsystem</em>' class. | ||
614 | * <!-- begin-user-doc --> | ||
615 | * <!-- end-user-doc --> | ||
616 | * @generated | ||
617 | * @ordered | ||
618 | */ | ||
619 | int XCOMM_SUBSYSTEM_OPERATION_COUNT = COMM_SUBSYSTEM_OPERATION_COUNT + 0; | ||
620 | |||
621 | /** | ||
622 | * The meta object id for the '{@link satellite.impl.KaCommSubsystemImpl <em>Ka Comm Subsystem</em>}' class. | ||
623 | * <!-- begin-user-doc --> | ||
624 | * <!-- end-user-doc --> | ||
625 | * @see satellite.impl.KaCommSubsystemImpl | ||
626 | * @see satellite.impl.SatellitePackageImpl#getKaCommSubsystem() | ||
627 | * @generated | ||
628 | */ | ||
629 | int KA_COMM_SUBSYSTEM = 14; | ||
630 | |||
631 | /** | ||
632 | * The feature id for the '<em><b>Target</b></em>' reference. | ||
633 | * <!-- begin-user-doc --> | ||
634 | * <!-- end-user-doc --> | ||
635 | * @generated | ||
636 | * @ordered | ||
637 | */ | ||
638 | int KA_COMM_SUBSYSTEM__TARGET = COMM_SUBSYSTEM__TARGET; | ||
639 | |||
640 | /** | ||
641 | * The number of structural features of the '<em>Ka Comm Subsystem</em>' class. | ||
642 | * <!-- begin-user-doc --> | ||
643 | * <!-- end-user-doc --> | ||
644 | * @generated | ||
645 | * @ordered | ||
646 | */ | ||
647 | int KA_COMM_SUBSYSTEM_FEATURE_COUNT = COMM_SUBSYSTEM_FEATURE_COUNT + 0; | ||
648 | |||
649 | /** | ||
650 | * The number of operations of the '<em>Ka Comm Subsystem</em>' class. | ||
651 | * <!-- begin-user-doc --> | ||
652 | * <!-- end-user-doc --> | ||
653 | * @generated | ||
654 | * @ordered | ||
655 | */ | ||
656 | int KA_COMM_SUBSYSTEM_OPERATION_COUNT = COMM_SUBSYSTEM_OPERATION_COUNT + 0; | ||
657 | |||
658 | /** | ||
659 | * Returns the meta object for class '{@link satellite.ConstellationMission <em>Constellation Mission</em>}'. | ||
660 | * <!-- begin-user-doc --> | ||
661 | * <!-- end-user-doc --> | ||
662 | * @return the meta object for class '<em>Constellation Mission</em>'. | ||
663 | * @see satellite.ConstellationMission | ||
664 | * @generated | ||
665 | */ | ||
666 | EClass getConstellationMission(); | ||
667 | |||
668 | /** | ||
669 | * Returns the meta object for the containment reference '{@link satellite.ConstellationMission#getGroundStationNetwork <em>Ground Station Network</em>}'. | ||
670 | * <!-- begin-user-doc --> | ||
671 | * <!-- end-user-doc --> | ||
672 | * @return the meta object for the containment reference '<em>Ground Station Network</em>'. | ||
673 | * @see satellite.ConstellationMission#getGroundStationNetwork() | ||
674 | * @see #getConstellationMission() | ||
675 | * @generated | ||
676 | */ | ||
677 | EReference getConstellationMission_GroundStationNetwork(); | ||
678 | |||
679 | /** | ||
680 | * Returns the meta object for the containment reference list '{@link satellite.ConstellationMission#getSpacecraft <em>Spacecraft</em>}'. | ||
681 | * <!-- begin-user-doc --> | ||
682 | * <!-- end-user-doc --> | ||
683 | * @return the meta object for the containment reference list '<em>Spacecraft</em>'. | ||
684 | * @see satellite.ConstellationMission#getSpacecraft() | ||
685 | * @see #getConstellationMission() | ||
686 | * @generated | ||
687 | */ | ||
688 | EReference getConstellationMission_Spacecraft(); | ||
689 | |||
690 | /** | ||
691 | * Returns the meta object for class '{@link satellite.InterferometryMission <em>Interferometry Mission</em>}'. | ||
692 | * <!-- begin-user-doc --> | ||
693 | * <!-- end-user-doc --> | ||
694 | * @return the meta object for class '<em>Interferometry Mission</em>'. | ||
695 | * @see satellite.InterferometryMission | ||
696 | * @generated | ||
697 | */ | ||
698 | EClass getInterferometryMission(); | ||
699 | |||
700 | /** | ||
701 | * Returns the meta object for class '{@link satellite.CommunicatingElement <em>Communicating Element</em>}'. | ||
702 | * <!-- begin-user-doc --> | ||
703 | * <!-- end-user-doc --> | ||
704 | * @return the meta object for class '<em>Communicating Element</em>'. | ||
705 | * @see satellite.CommunicatingElement | ||
706 | * @generated | ||
707 | */ | ||
708 | EClass getCommunicatingElement(); | ||
709 | |||
710 | /** | ||
711 | * Returns the meta object for the containment reference list '{@link satellite.CommunicatingElement#getCommSubsystem <em>Comm Subsystem</em>}'. | ||
712 | * <!-- begin-user-doc --> | ||
713 | * <!-- end-user-doc --> | ||
714 | * @return the meta object for the containment reference list '<em>Comm Subsystem</em>'. | ||
715 | * @see satellite.CommunicatingElement#getCommSubsystem() | ||
716 | * @see #getCommunicatingElement() | ||
717 | * @generated | ||
718 | */ | ||
719 | EReference getCommunicatingElement_CommSubsystem(); | ||
720 | |||
721 | /** | ||
722 | * Returns the meta object for class '{@link satellite.GroundStationNetwork <em>Ground Station Network</em>}'. | ||
723 | * <!-- begin-user-doc --> | ||
724 | * <!-- end-user-doc --> | ||
725 | * @return the meta object for class '<em>Ground Station Network</em>'. | ||
726 | * @see satellite.GroundStationNetwork | ||
727 | * @generated | ||
728 | */ | ||
729 | EClass getGroundStationNetwork(); | ||
730 | |||
731 | /** | ||
732 | * Returns the meta object for class '{@link satellite.Spacecraft <em>Spacecraft</em>}'. | ||
733 | * <!-- begin-user-doc --> | ||
734 | * <!-- end-user-doc --> | ||
735 | * @return the meta object for class '<em>Spacecraft</em>'. | ||
736 | * @see satellite.Spacecraft | ||
737 | * @generated | ||
738 | */ | ||
739 | EClass getSpacecraft(); | ||
740 | |||
741 | /** | ||
742 | * Returns the meta object for the containment reference '{@link satellite.Spacecraft#getPayload <em>Payload</em>}'. | ||
743 | * <!-- begin-user-doc --> | ||
744 | * <!-- end-user-doc --> | ||
745 | * @return the meta object for the containment reference '<em>Payload</em>'. | ||
746 | * @see satellite.Spacecraft#getPayload() | ||
747 | * @see #getSpacecraft() | ||
748 | * @generated | ||
749 | */ | ||
750 | EReference getSpacecraft_Payload(); | ||
751 | |||
752 | /** | ||
753 | * Returns the meta object for class '{@link satellite.CommSubsystem <em>Comm Subsystem</em>}'. | ||
754 | * <!-- begin-user-doc --> | ||
755 | * <!-- end-user-doc --> | ||
756 | * @return the meta object for class '<em>Comm Subsystem</em>'. | ||
757 | * @see satellite.CommSubsystem | ||
758 | * @generated | ||
759 | */ | ||
760 | EClass getCommSubsystem(); | ||
761 | |||
762 | /** | ||
763 | * Returns the meta object for the reference '{@link satellite.CommSubsystem#getTarget <em>Target</em>}'. | ||
764 | * <!-- begin-user-doc --> | ||
765 | * <!-- end-user-doc --> | ||
766 | * @return the meta object for the reference '<em>Target</em>'. | ||
767 | * @see satellite.CommSubsystem#getTarget() | ||
768 | * @see #getCommSubsystem() | ||
769 | * @generated | ||
770 | */ | ||
771 | EReference getCommSubsystem_Target(); | ||
772 | |||
773 | /** | ||
774 | * Returns the meta object for class '{@link satellite.Payload <em>Payload</em>}'. | ||
775 | * <!-- begin-user-doc --> | ||
776 | * <!-- end-user-doc --> | ||
777 | * @return the meta object for class '<em>Payload</em>'. | ||
778 | * @see satellite.Payload | ||
779 | * @generated | ||
780 | */ | ||
781 | EClass getPayload(); | ||
782 | |||
783 | /** | ||
784 | * Returns the meta object for class '{@link satellite.InterferometryPayload <em>Interferometry Payload</em>}'. | ||
785 | * <!-- begin-user-doc --> | ||
786 | * <!-- end-user-doc --> | ||
787 | * @return the meta object for class '<em>Interferometry Payload</em>'. | ||
788 | * @see satellite.InterferometryPayload | ||
789 | * @generated | ||
790 | */ | ||
791 | EClass getInterferometryPayload(); | ||
792 | |||
793 | /** | ||
794 | * Returns the meta object for class '{@link satellite.CubeSat3U <em>Cube Sat3 U</em>}'. | ||
795 | * <!-- begin-user-doc --> | ||
796 | * <!-- end-user-doc --> | ||
797 | * @return the meta object for class '<em>Cube Sat3 U</em>'. | ||
798 | * @see satellite.CubeSat3U | ||
799 | * @generated | ||
800 | */ | ||
801 | EClass getCubeSat3U(); | ||
802 | |||
803 | /** | ||
804 | * Returns the meta object for class '{@link satellite.CubeSat6U <em>Cube Sat6 U</em>}'. | ||
805 | * <!-- begin-user-doc --> | ||
806 | * <!-- end-user-doc --> | ||
807 | * @return the meta object for class '<em>Cube Sat6 U</em>'. | ||
808 | * @see satellite.CubeSat6U | ||
809 | * @generated | ||
810 | */ | ||
811 | EClass getCubeSat6U(); | ||
812 | |||
813 | /** | ||
814 | * Returns the meta object for class '{@link satellite.SmallSat <em>Small Sat</em>}'. | ||
815 | * <!-- begin-user-doc --> | ||
816 | * <!-- end-user-doc --> | ||
817 | * @return the meta object for class '<em>Small Sat</em>'. | ||
818 | * @see satellite.SmallSat | ||
819 | * @generated | ||
820 | */ | ||
821 | EClass getSmallSat(); | ||
822 | |||
823 | /** | ||
824 | * Returns the meta object for class '{@link satellite.CubeSat <em>Cube Sat</em>}'. | ||
825 | * <!-- begin-user-doc --> | ||
826 | * <!-- end-user-doc --> | ||
827 | * @return the meta object for class '<em>Cube Sat</em>'. | ||
828 | * @see satellite.CubeSat | ||
829 | * @generated | ||
830 | */ | ||
831 | EClass getCubeSat(); | ||
832 | |||
833 | /** | ||
834 | * Returns the meta object for class '{@link satellite.UHFCommSubsystem <em>UHF Comm Subsystem</em>}'. | ||
835 | * <!-- begin-user-doc --> | ||
836 | * <!-- end-user-doc --> | ||
837 | * @return the meta object for class '<em>UHF Comm Subsystem</em>'. | ||
838 | * @see satellite.UHFCommSubsystem | ||
839 | * @generated | ||
840 | */ | ||
841 | EClass getUHFCommSubsystem(); | ||
842 | |||
843 | /** | ||
844 | * Returns the meta object for class '{@link satellite.XCommSubsystem <em>XComm Subsystem</em>}'. | ||
845 | * <!-- begin-user-doc --> | ||
846 | * <!-- end-user-doc --> | ||
847 | * @return the meta object for class '<em>XComm Subsystem</em>'. | ||
848 | * @see satellite.XCommSubsystem | ||
849 | * @generated | ||
850 | */ | ||
851 | EClass getXCommSubsystem(); | ||
852 | |||
853 | /** | ||
854 | * Returns the meta object for class '{@link satellite.KaCommSubsystem <em>Ka Comm Subsystem</em>}'. | ||
855 | * <!-- begin-user-doc --> | ||
856 | * <!-- end-user-doc --> | ||
857 | * @return the meta object for class '<em>Ka Comm Subsystem</em>'. | ||
858 | * @see satellite.KaCommSubsystem | ||
859 | * @generated | ||
860 | */ | ||
861 | EClass getKaCommSubsystem(); | ||
862 | |||
863 | /** | ||
864 | * Returns the factory that creates the instances of the model. | ||
865 | * <!-- begin-user-doc --> | ||
866 | * <!-- end-user-doc --> | ||
867 | * @return the factory that creates the instances of the model. | ||
868 | * @generated | ||
869 | */ | ||
870 | SatelliteFactory getSatelliteFactory(); | ||
871 | |||
872 | /** | ||
873 | * <!-- begin-user-doc --> | ||
874 | * Defines literals for the meta objects that represent | ||
875 | * <ul> | ||
876 | * <li>each class,</li> | ||
877 | * <li>each feature of each class,</li> | ||
878 | * <li>each operation of each class,</li> | ||
879 | * <li>each enum,</li> | ||
880 | * <li>and each data type</li> | ||
881 | * </ul> | ||
882 | * <!-- end-user-doc --> | ||
883 | * @generated | ||
884 | */ | ||
885 | interface Literals { | ||
886 | /** | ||
887 | * The meta object literal for the '{@link satellite.impl.ConstellationMissionImpl <em>Constellation Mission</em>}' class. | ||
888 | * <!-- begin-user-doc --> | ||
889 | * <!-- end-user-doc --> | ||
890 | * @see satellite.impl.ConstellationMissionImpl | ||
891 | * @see satellite.impl.SatellitePackageImpl#getConstellationMission() | ||
892 | * @generated | ||
893 | */ | ||
894 | EClass CONSTELLATION_MISSION = eINSTANCE.getConstellationMission(); | ||
895 | |||
896 | /** | ||
897 | * The meta object literal for the '<em><b>Ground Station Network</b></em>' containment reference feature. | ||
898 | * <!-- begin-user-doc --> | ||
899 | * <!-- end-user-doc --> | ||
900 | * @generated | ||
901 | */ | ||
902 | EReference CONSTELLATION_MISSION__GROUND_STATION_NETWORK = eINSTANCE | ||
903 | .getConstellationMission_GroundStationNetwork(); | ||
904 | |||
905 | /** | ||
906 | * The meta object literal for the '<em><b>Spacecraft</b></em>' containment reference list feature. | ||
907 | * <!-- begin-user-doc --> | ||
908 | * <!-- end-user-doc --> | ||
909 | * @generated | ||
910 | */ | ||
911 | EReference CONSTELLATION_MISSION__SPACECRAFT = eINSTANCE.getConstellationMission_Spacecraft(); | ||
912 | |||
913 | /** | ||
914 | * The meta object literal for the '{@link satellite.impl.InterferometryMissionImpl <em>Interferometry Mission</em>}' class. | ||
915 | * <!-- begin-user-doc --> | ||
916 | * <!-- end-user-doc --> | ||
917 | * @see satellite.impl.InterferometryMissionImpl | ||
918 | * @see satellite.impl.SatellitePackageImpl#getInterferometryMission() | ||
919 | * @generated | ||
920 | */ | ||
921 | EClass INTERFEROMETRY_MISSION = eINSTANCE.getInterferometryMission(); | ||
922 | |||
923 | /** | ||
924 | * The meta object literal for the '{@link satellite.impl.CommunicatingElementImpl <em>Communicating Element</em>}' class. | ||
925 | * <!-- begin-user-doc --> | ||
926 | * <!-- end-user-doc --> | ||
927 | * @see satellite.impl.CommunicatingElementImpl | ||
928 | * @see satellite.impl.SatellitePackageImpl#getCommunicatingElement() | ||
929 | * @generated | ||
930 | */ | ||
931 | EClass COMMUNICATING_ELEMENT = eINSTANCE.getCommunicatingElement(); | ||
932 | |||
933 | /** | ||
934 | * The meta object literal for the '<em><b>Comm Subsystem</b></em>' containment reference list feature. | ||
935 | * <!-- begin-user-doc --> | ||
936 | * <!-- end-user-doc --> | ||
937 | * @generated | ||
938 | */ | ||
939 | EReference COMMUNICATING_ELEMENT__COMM_SUBSYSTEM = eINSTANCE.getCommunicatingElement_CommSubsystem(); | ||
940 | |||
941 | /** | ||
942 | * The meta object literal for the '{@link satellite.impl.GroundStationNetworkImpl <em>Ground Station Network</em>}' class. | ||
943 | * <!-- begin-user-doc --> | ||
944 | * <!-- end-user-doc --> | ||
945 | * @see satellite.impl.GroundStationNetworkImpl | ||
946 | * @see satellite.impl.SatellitePackageImpl#getGroundStationNetwork() | ||
947 | * @generated | ||
948 | */ | ||
949 | EClass GROUND_STATION_NETWORK = eINSTANCE.getGroundStationNetwork(); | ||
950 | |||
951 | /** | ||
952 | * The meta object literal for the '{@link satellite.impl.SpacecraftImpl <em>Spacecraft</em>}' class. | ||
953 | * <!-- begin-user-doc --> | ||
954 | * <!-- end-user-doc --> | ||
955 | * @see satellite.impl.SpacecraftImpl | ||
956 | * @see satellite.impl.SatellitePackageImpl#getSpacecraft() | ||
957 | * @generated | ||
958 | */ | ||
959 | EClass SPACECRAFT = eINSTANCE.getSpacecraft(); | ||
960 | |||
961 | /** | ||
962 | * The meta object literal for the '<em><b>Payload</b></em>' containment reference feature. | ||
963 | * <!-- begin-user-doc --> | ||
964 | * <!-- end-user-doc --> | ||
965 | * @generated | ||
966 | */ | ||
967 | EReference SPACECRAFT__PAYLOAD = eINSTANCE.getSpacecraft_Payload(); | ||
968 | |||
969 | /** | ||
970 | * The meta object literal for the '{@link satellite.impl.CommSubsystemImpl <em>Comm Subsystem</em>}' class. | ||
971 | * <!-- begin-user-doc --> | ||
972 | * <!-- end-user-doc --> | ||
973 | * @see satellite.impl.CommSubsystemImpl | ||
974 | * @see satellite.impl.SatellitePackageImpl#getCommSubsystem() | ||
975 | * @generated | ||
976 | */ | ||
977 | EClass COMM_SUBSYSTEM = eINSTANCE.getCommSubsystem(); | ||
978 | |||
979 | /** | ||
980 | * The meta object literal for the '<em><b>Target</b></em>' reference feature. | ||
981 | * <!-- begin-user-doc --> | ||
982 | * <!-- end-user-doc --> | ||
983 | * @generated | ||
984 | */ | ||
985 | EReference COMM_SUBSYSTEM__TARGET = eINSTANCE.getCommSubsystem_Target(); | ||
986 | |||
987 | /** | ||
988 | * The meta object literal for the '{@link satellite.impl.PayloadImpl <em>Payload</em>}' class. | ||
989 | * <!-- begin-user-doc --> | ||
990 | * <!-- end-user-doc --> | ||
991 | * @see satellite.impl.PayloadImpl | ||
992 | * @see satellite.impl.SatellitePackageImpl#getPayload() | ||
993 | * @generated | ||
994 | */ | ||
995 | EClass PAYLOAD = eINSTANCE.getPayload(); | ||
996 | |||
997 | /** | ||
998 | * The meta object literal for the '{@link satellite.impl.InterferometryPayloadImpl <em>Interferometry Payload</em>}' class. | ||
999 | * <!-- begin-user-doc --> | ||
1000 | * <!-- end-user-doc --> | ||
1001 | * @see satellite.impl.InterferometryPayloadImpl | ||
1002 | * @see satellite.impl.SatellitePackageImpl#getInterferometryPayload() | ||
1003 | * @generated | ||
1004 | */ | ||
1005 | EClass INTERFEROMETRY_PAYLOAD = eINSTANCE.getInterferometryPayload(); | ||
1006 | |||
1007 | /** | ||
1008 | * The meta object literal for the '{@link satellite.impl.CubeSat3UImpl <em>Cube Sat3 U</em>}' class. | ||
1009 | * <!-- begin-user-doc --> | ||
1010 | * <!-- end-user-doc --> | ||
1011 | * @see satellite.impl.CubeSat3UImpl | ||
1012 | * @see satellite.impl.SatellitePackageImpl#getCubeSat3U() | ||
1013 | * @generated | ||
1014 | */ | ||
1015 | EClass CUBE_SAT3_U = eINSTANCE.getCubeSat3U(); | ||
1016 | |||
1017 | /** | ||
1018 | * The meta object literal for the '{@link satellite.impl.CubeSat6UImpl <em>Cube Sat6 U</em>}' class. | ||
1019 | * <!-- begin-user-doc --> | ||
1020 | * <!-- end-user-doc --> | ||
1021 | * @see satellite.impl.CubeSat6UImpl | ||
1022 | * @see satellite.impl.SatellitePackageImpl#getCubeSat6U() | ||
1023 | * @generated | ||
1024 | */ | ||
1025 | EClass CUBE_SAT6_U = eINSTANCE.getCubeSat6U(); | ||
1026 | |||
1027 | /** | ||
1028 | * The meta object literal for the '{@link satellite.impl.SmallSatImpl <em>Small Sat</em>}' class. | ||
1029 | * <!-- begin-user-doc --> | ||
1030 | * <!-- end-user-doc --> | ||
1031 | * @see satellite.impl.SmallSatImpl | ||
1032 | * @see satellite.impl.SatellitePackageImpl#getSmallSat() | ||
1033 | * @generated | ||
1034 | */ | ||
1035 | EClass SMALL_SAT = eINSTANCE.getSmallSat(); | ||
1036 | |||
1037 | /** | ||
1038 | * The meta object literal for the '{@link satellite.impl.CubeSatImpl <em>Cube Sat</em>}' class. | ||
1039 | * <!-- begin-user-doc --> | ||
1040 | * <!-- end-user-doc --> | ||
1041 | * @see satellite.impl.CubeSatImpl | ||
1042 | * @see satellite.impl.SatellitePackageImpl#getCubeSat() | ||
1043 | * @generated | ||
1044 | */ | ||
1045 | EClass CUBE_SAT = eINSTANCE.getCubeSat(); | ||
1046 | |||
1047 | /** | ||
1048 | * The meta object literal for the '{@link satellite.impl.UHFCommSubsystemImpl <em>UHF Comm Subsystem</em>}' class. | ||
1049 | * <!-- begin-user-doc --> | ||
1050 | * <!-- end-user-doc --> | ||
1051 | * @see satellite.impl.UHFCommSubsystemImpl | ||
1052 | * @see satellite.impl.SatellitePackageImpl#getUHFCommSubsystem() | ||
1053 | * @generated | ||
1054 | */ | ||
1055 | EClass UHF_COMM_SUBSYSTEM = eINSTANCE.getUHFCommSubsystem(); | ||
1056 | |||
1057 | /** | ||
1058 | * The meta object literal for the '{@link satellite.impl.XCommSubsystemImpl <em>XComm Subsystem</em>}' class. | ||
1059 | * <!-- begin-user-doc --> | ||
1060 | * <!-- end-user-doc --> | ||
1061 | * @see satellite.impl.XCommSubsystemImpl | ||
1062 | * @see satellite.impl.SatellitePackageImpl#getXCommSubsystem() | ||
1063 | * @generated | ||
1064 | */ | ||
1065 | EClass XCOMM_SUBSYSTEM = eINSTANCE.getXCommSubsystem(); | ||
1066 | |||
1067 | /** | ||
1068 | * The meta object literal for the '{@link satellite.impl.KaCommSubsystemImpl <em>Ka Comm Subsystem</em>}' class. | ||
1069 | * <!-- begin-user-doc --> | ||
1070 | * <!-- end-user-doc --> | ||
1071 | * @see satellite.impl.KaCommSubsystemImpl | ||
1072 | * @see satellite.impl.SatellitePackageImpl#getKaCommSubsystem() | ||
1073 | * @generated | ||
1074 | */ | ||
1075 | EClass KA_COMM_SUBSYSTEM = eINSTANCE.getKaCommSubsystem(); | ||
1076 | |||
1077 | } | ||
1078 | |||
1079 | } //SatellitePackage | ||
diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/satellite/SmallSat.java b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/satellite/SmallSat.java new file mode 100644 index 00000000..230958f6 --- /dev/null +++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/satellite/SmallSat.java | |||
@@ -0,0 +1,16 @@ | |||
1 | /** | ||
2 | */ | ||
3 | package satellite; | ||
4 | |||
5 | /** | ||
6 | * <!-- begin-user-doc --> | ||
7 | * A representation of the model object '<em><b>Small Sat</b></em>'. | ||
8 | * <!-- end-user-doc --> | ||
9 | * | ||
10 | * | ||
11 | * @see satellite.SatellitePackage#getSmallSat() | ||
12 | * @model | ||
13 | * @generated | ||
14 | */ | ||
15 | public interface SmallSat extends Spacecraft { | ||
16 | } // SmallSat | ||
diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/satellite/Spacecraft.java b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/satellite/Spacecraft.java new file mode 100644 index 00000000..b0a2754e --- /dev/null +++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/satellite/Spacecraft.java | |||
@@ -0,0 +1,44 @@ | |||
1 | /** | ||
2 | */ | ||
3 | package satellite; | ||
4 | |||
5 | /** | ||
6 | * <!-- begin-user-doc --> | ||
7 | * A representation of the model object '<em><b>Spacecraft</b></em>'. | ||
8 | * <!-- end-user-doc --> | ||
9 | * | ||
10 | * <p> | ||
11 | * The following features are supported: | ||
12 | * </p> | ||
13 | * <ul> | ||
14 | * <li>{@link satellite.Spacecraft#getPayload <em>Payload</em>}</li> | ||
15 | * </ul> | ||
16 | * | ||
17 | * @see satellite.SatellitePackage#getSpacecraft() | ||
18 | * @model abstract="true" | ||
19 | * @generated | ||
20 | */ | ||
21 | public interface Spacecraft extends CommunicatingElement { | ||
22 | /** | ||
23 | * Returns the value of the '<em><b>Payload</b></em>' containment reference. | ||
24 | * <!-- begin-user-doc --> | ||
25 | * <!-- end-user-doc --> | ||
26 | * @return the value of the '<em>Payload</em>' containment reference. | ||
27 | * @see #setPayload(Payload) | ||
28 | * @see satellite.SatellitePackage#getSpacecraft_Payload() | ||
29 | * @model containment="true" | ||
30 | * @generated | ||
31 | */ | ||
32 | Payload getPayload(); | ||
33 | |||
34 | /** | ||
35 | * Sets the value of the '{@link satellite.Spacecraft#getPayload <em>Payload</em>}' containment reference. | ||
36 | * <!-- begin-user-doc --> | ||
37 | * <!-- end-user-doc --> | ||
38 | * @param value the new value of the '<em>Payload</em>' containment reference. | ||
39 | * @see #getPayload() | ||
40 | * @generated | ||
41 | */ | ||
42 | void setPayload(Payload value); | ||
43 | |||
44 | } // Spacecraft | ||
diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/satellite/SpacecraftKind.java b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/satellite/SpacecraftKind.java new file mode 100644 index 00000000..76232414 --- /dev/null +++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/satellite/SpacecraftKind.java | |||
@@ -0,0 +1,230 @@ | |||
1 | /** | ||
2 | */ | ||
3 | package satellite; | ||
4 | |||
5 | import java.util.Arrays; | ||
6 | import java.util.Collections; | ||
7 | import java.util.List; | ||
8 | |||
9 | import org.eclipse.emf.common.util.Enumerator; | ||
10 | |||
11 | /** | ||
12 | * <!-- begin-user-doc --> | ||
13 | * A representation of the literals of the enumeration '<em><b>Spacecraft Kind</b></em>', | ||
14 | * and utility methods for working with them. | ||
15 | * <!-- end-user-doc --> | ||
16 | * @see satellite.SatellitePackage#getSpacecraftKind() | ||
17 | * @model | ||
18 | * @generated | ||
19 | */ | ||
20 | public enum SpacecraftKind implements Enumerator { | ||
21 | /** | ||
22 | * The '<em><b>Cube Sat3 U</b></em>' literal object. | ||
23 | * <!-- begin-user-doc --> | ||
24 | * <!-- end-user-doc --> | ||
25 | * @see #CUBE_SAT3_U_VALUE | ||
26 | * @generated | ||
27 | * @ordered | ||
28 | */ | ||
29 | CUBE_SAT3_U(0, "CubeSat3U", "CubeSat3U"), | ||
30 | |||
31 | /** | ||
32 | * The '<em><b>Cube Sat6 U</b></em>' literal object. | ||
33 | * <!-- begin-user-doc --> | ||
34 | * <!-- end-user-doc --> | ||
35 | * @see #CUBE_SAT6_U_VALUE | ||
36 | * @generated | ||
37 | * @ordered | ||
38 | */ | ||
39 | CUBE_SAT6_U(1, "CubeSat6U", "CubeSat6U"), | ||
40 | |||
41 | /** | ||
42 | * The '<em><b>Small Sat</b></em>' literal object. | ||
43 | * <!-- begin-user-doc --> | ||
44 | * <!-- end-user-doc --> | ||
45 | * @see #SMALL_SAT_VALUE | ||
46 | * @generated | ||
47 | * @ordered | ||
48 | */ | ||
49 | SMALL_SAT(2, "SmallSat", "SmallSat"); | ||
50 | |||
51 | /** | ||
52 | * The '<em><b>Cube Sat3 U</b></em>' literal value. | ||
53 | * <!-- begin-user-doc --> | ||
54 | * <!-- end-user-doc --> | ||
55 | * @see #CUBE_SAT3_U | ||
56 | * @model name="CubeSat3U" | ||
57 | * @generated | ||
58 | * @ordered | ||
59 | */ | ||
60 | public static final int CUBE_SAT3_U_VALUE = 0; | ||
61 | |||
62 | /** | ||
63 | * The '<em><b>Cube Sat6 U</b></em>' literal value. | ||
64 | * <!-- begin-user-doc --> | ||
65 | * <!-- end-user-doc --> | ||
66 | * @see #CUBE_SAT6_U | ||
67 | * @model name="CubeSat6U" | ||
68 | * @generated | ||
69 | * @ordered | ||
70 | */ | ||
71 | public static final int CUBE_SAT6_U_VALUE = 1; | ||
72 | |||
73 | /** | ||
74 | * The '<em><b>Small Sat</b></em>' literal value. | ||
75 | * <!-- begin-user-doc --> | ||
76 | * <!-- end-user-doc --> | ||
77 | * @see #SMALL_SAT | ||
78 | * @model name="SmallSat" | ||
79 | * @generated | ||
80 | * @ordered | ||
81 | */ | ||
82 | public static final int SMALL_SAT_VALUE = 2; | ||
83 | |||
84 | /** | ||
85 | * An array of all the '<em><b>Spacecraft Kind</b></em>' enumerators. | ||
86 | * <!-- begin-user-doc --> | ||
87 | * <!-- end-user-doc --> | ||
88 | * @generated | ||
89 | */ | ||
90 | private static final SpacecraftKind[] VALUES_ARRAY = new SpacecraftKind[] { CUBE_SAT3_U, CUBE_SAT6_U, SMALL_SAT, }; | ||
91 | |||
92 | /** | ||
93 | * A public read-only list of all the '<em><b>Spacecraft Kind</b></em>' enumerators. | ||
94 | * <!-- begin-user-doc --> | ||
95 | * <!-- end-user-doc --> | ||
96 | * @generated | ||
97 | */ | ||
98 | public static final List<SpacecraftKind> VALUES = Collections.unmodifiableList(Arrays.asList(VALUES_ARRAY)); | ||
99 | |||
100 | /** | ||
101 | * Returns the '<em><b>Spacecraft Kind</b></em>' literal with the specified literal value. | ||
102 | * <!-- begin-user-doc --> | ||
103 | * <!-- end-user-doc --> | ||
104 | * @param literal the literal. | ||
105 | * @return the matching enumerator or <code>null</code>. | ||
106 | * @generated | ||
107 | */ | ||
108 | public static SpacecraftKind get(String literal) { | ||
109 | for (int i = 0; i < VALUES_ARRAY.length; ++i) { | ||
110 | SpacecraftKind result = VALUES_ARRAY[i]; | ||
111 | if (result.toString().equals(literal)) { | ||
112 | return result; | ||
113 | } | ||
114 | } | ||
115 | return null; | ||
116 | } | ||
117 | |||
118 | /** | ||
119 | * Returns the '<em><b>Spacecraft Kind</b></em>' literal with the specified name. | ||
120 | * <!-- begin-user-doc --> | ||
121 | * <!-- end-user-doc --> | ||
122 | * @param name the name. | ||
123 | * @return the matching enumerator or <code>null</code>. | ||
124 | * @generated | ||
125 | */ | ||
126 | public static SpacecraftKind getByName(String name) { | ||
127 | for (int i = 0; i < VALUES_ARRAY.length; ++i) { | ||
128 | SpacecraftKind result = VALUES_ARRAY[i]; | ||
129 | if (result.getName().equals(name)) { | ||
130 | return result; | ||
131 | } | ||
132 | } | ||
133 | return null; | ||
134 | } | ||
135 | |||
136 | /** | ||
137 | * Returns the '<em><b>Spacecraft Kind</b></em>' literal with the specified integer value. | ||
138 | * <!-- begin-user-doc --> | ||
139 | * <!-- end-user-doc --> | ||
140 | * @param value the integer value. | ||
141 | * @return the matching enumerator or <code>null</code>. | ||
142 | * @generated | ||
143 | */ | ||
144 | public static SpacecraftKind get(int value) { | ||
145 | switch (value) { | ||
146 | case CUBE_SAT3_U_VALUE: | ||
147 | return CUBE_SAT3_U; | ||
148 | case CUBE_SAT6_U_VALUE: | ||
149 | return CUBE_SAT6_U; | ||
150 | case SMALL_SAT_VALUE: | ||
151 | return SMALL_SAT; | ||
152 | } | ||
153 | return null; | ||
154 | } | ||
155 | |||
156 | /** | ||
157 | * <!-- begin-user-doc --> | ||
158 | * <!-- end-user-doc --> | ||
159 | * @generated | ||
160 | */ | ||
161 | private final int value; | ||
162 | |||
163 | /** | ||
164 | * <!-- begin-user-doc --> | ||
165 | * <!-- end-user-doc --> | ||
166 | * @generated | ||
167 | */ | ||
168 | private final String name; | ||
169 | |||
170 | /** | ||
171 | * <!-- begin-user-doc --> | ||
172 | * <!-- end-user-doc --> | ||
173 | * @generated | ||
174 | */ | ||
175 | private final String literal; | ||
176 | |||
177 | /** | ||
178 | * Only this class can construct instances. | ||
179 | * <!-- begin-user-doc --> | ||
180 | * <!-- end-user-doc --> | ||
181 | * @generated | ||
182 | */ | ||
183 | private SpacecraftKind(int value, String name, String literal) { | ||
184 | this.value = value; | ||
185 | this.name = name; | ||
186 | this.literal = literal; | ||
187 | } | ||
188 | |||
189 | /** | ||
190 | * <!-- begin-user-doc --> | ||
191 | * <!-- end-user-doc --> | ||
192 | * @generated | ||
193 | */ | ||
194 | @Override | ||
195 | public int getValue() { | ||
196 | return value; | ||
197 | } | ||
198 | |||
199 | /** | ||
200 | * <!-- begin-user-doc --> | ||
201 | * <!-- end-user-doc --> | ||
202 | * @generated | ||
203 | */ | ||
204 | @Override | ||
205 | public String getName() { | ||
206 | return name; | ||
207 | } | ||
208 | |||
209 | /** | ||
210 | * <!-- begin-user-doc --> | ||
211 | * <!-- end-user-doc --> | ||
212 | * @generated | ||
213 | */ | ||
214 | @Override | ||
215 | public String getLiteral() { | ||
216 | return literal; | ||
217 | } | ||
218 | |||
219 | /** | ||
220 | * Returns the literal value of the enumerator, which is its string representation. | ||
221 | * <!-- begin-user-doc --> | ||
222 | * <!-- end-user-doc --> | ||
223 | * @generated | ||
224 | */ | ||
225 | @Override | ||
226 | public String toString() { | ||
227 | return literal; | ||
228 | } | ||
229 | |||
230 | } //SpacecraftKind | ||
diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/satellite/TransceiverBand.java b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/satellite/TransceiverBand.java new file mode 100644 index 00000000..9d8d5697 --- /dev/null +++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/satellite/TransceiverBand.java | |||
@@ -0,0 +1,230 @@ | |||
1 | /** | ||
2 | */ | ||
3 | package satellite; | ||
4 | |||
5 | import java.util.Arrays; | ||
6 | import java.util.Collections; | ||
7 | import java.util.List; | ||
8 | |||
9 | import org.eclipse.emf.common.util.Enumerator; | ||
10 | |||
11 | /** | ||
12 | * <!-- begin-user-doc --> | ||
13 | * A representation of the literals of the enumeration '<em><b>Transceiver Band</b></em>', | ||
14 | * and utility methods for working with them. | ||
15 | * <!-- end-user-doc --> | ||
16 | * @see satellite.SatellitePackage#getTransceiverBand() | ||
17 | * @model | ||
18 | * @generated | ||
19 | */ | ||
20 | public enum TransceiverBand implements Enumerator { | ||
21 | /** | ||
22 | * The '<em><b>UHF</b></em>' literal object. | ||
23 | * <!-- begin-user-doc --> | ||
24 | * <!-- end-user-doc --> | ||
25 | * @see #UHF_VALUE | ||
26 | * @generated | ||
27 | * @ordered | ||
28 | */ | ||
29 | UHF(0, "UHF", "UHF"), | ||
30 | |||
31 | /** | ||
32 | * The '<em><b>X</b></em>' literal object. | ||
33 | * <!-- begin-user-doc --> | ||
34 | * <!-- end-user-doc --> | ||
35 | * @see #X_VALUE | ||
36 | * @generated | ||
37 | * @ordered | ||
38 | */ | ||
39 | X(1, "X", "X"), | ||
40 | |||
41 | /** | ||
42 | * The '<em><b>Ka</b></em>' literal object. | ||
43 | * <!-- begin-user-doc --> | ||
44 | * <!-- end-user-doc --> | ||
45 | * @see #KA_VALUE | ||
46 | * @generated | ||
47 | * @ordered | ||
48 | */ | ||
49 | KA(2, "Ka", "Ka"); | ||
50 | |||
51 | /** | ||
52 | * The '<em><b>UHF</b></em>' literal value. | ||
53 | * <!-- begin-user-doc --> | ||
54 | * <!-- end-user-doc --> | ||
55 | * @see #UHF | ||
56 | * @model | ||
57 | * @generated | ||
58 | * @ordered | ||
59 | */ | ||
60 | public static final int UHF_VALUE = 0; | ||
61 | |||
62 | /** | ||
63 | * The '<em><b>X</b></em>' literal value. | ||
64 | * <!-- begin-user-doc --> | ||
65 | * <!-- end-user-doc --> | ||
66 | * @see #X | ||
67 | * @model | ||
68 | * @generated | ||
69 | * @ordered | ||
70 | */ | ||
71 | public static final int X_VALUE = 1; | ||
72 | |||
73 | /** | ||
74 | * The '<em><b>Ka</b></em>' literal value. | ||
75 | * <!-- begin-user-doc --> | ||
76 | * <!-- end-user-doc --> | ||
77 | * @see #KA | ||
78 | * @model name="Ka" | ||
79 | * @generated | ||
80 | * @ordered | ||
81 | */ | ||
82 | public static final int KA_VALUE = 2; | ||
83 | |||
84 | /** | ||
85 | * An array of all the '<em><b>Transceiver Band</b></em>' enumerators. | ||
86 | * <!-- begin-user-doc --> | ||
87 | * <!-- end-user-doc --> | ||
88 | * @generated | ||
89 | */ | ||
90 | private static final TransceiverBand[] VALUES_ARRAY = new TransceiverBand[] { UHF, X, KA, }; | ||
91 | |||
92 | /** | ||
93 | * A public read-only list of all the '<em><b>Transceiver Band</b></em>' enumerators. | ||
94 | * <!-- begin-user-doc --> | ||
95 | * <!-- end-user-doc --> | ||
96 | * @generated | ||
97 | */ | ||
98 | public static final List<TransceiverBand> VALUES = Collections.unmodifiableList(Arrays.asList(VALUES_ARRAY)); | ||
99 | |||
100 | /** | ||
101 | * Returns the '<em><b>Transceiver Band</b></em>' literal with the specified literal value. | ||
102 | * <!-- begin-user-doc --> | ||
103 | * <!-- end-user-doc --> | ||
104 | * @param literal the literal. | ||
105 | * @return the matching enumerator or <code>null</code>. | ||
106 | * @generated | ||
107 | */ | ||
108 | public static TransceiverBand get(String literal) { | ||
109 | for (int i = 0; i < VALUES_ARRAY.length; ++i) { | ||
110 | TransceiverBand result = VALUES_ARRAY[i]; | ||
111 | if (result.toString().equals(literal)) { | ||
112 | return result; | ||
113 | } | ||
114 | } | ||
115 | return null; | ||
116 | } | ||
117 | |||
118 | /** | ||
119 | * Returns the '<em><b>Transceiver Band</b></em>' literal with the specified name. | ||
120 | * <!-- begin-user-doc --> | ||
121 | * <!-- end-user-doc --> | ||
122 | * @param name the name. | ||
123 | * @return the matching enumerator or <code>null</code>. | ||
124 | * @generated | ||
125 | */ | ||
126 | public static TransceiverBand getByName(String name) { | ||
127 | for (int i = 0; i < VALUES_ARRAY.length; ++i) { | ||
128 | TransceiverBand result = VALUES_ARRAY[i]; | ||
129 | if (result.getName().equals(name)) { | ||
130 | return result; | ||
131 | } | ||
132 | } | ||
133 | return null; | ||
134 | } | ||
135 | |||
136 | /** | ||
137 | * Returns the '<em><b>Transceiver Band</b></em>' literal with the specified integer value. | ||
138 | * <!-- begin-user-doc --> | ||
139 | * <!-- end-user-doc --> | ||
140 | * @param value the integer value. | ||
141 | * @return the matching enumerator or <code>null</code>. | ||
142 | * @generated | ||
143 | */ | ||
144 | public static TransceiverBand get(int value) { | ||
145 | switch (value) { | ||
146 | case UHF_VALUE: | ||
147 | return UHF; | ||
148 | case X_VALUE: | ||
149 | return X; | ||
150 | case KA_VALUE: | ||
151 | return KA; | ||
152 | } | ||
153 | return null; | ||
154 | } | ||
155 | |||
156 | /** | ||
157 | * <!-- begin-user-doc --> | ||
158 | * <!-- end-user-doc --> | ||
159 | * @generated | ||
160 | */ | ||
161 | private final int value; | ||
162 | |||
163 | /** | ||
164 | * <!-- begin-user-doc --> | ||
165 | * <!-- end-user-doc --> | ||
166 | * @generated | ||
167 | */ | ||
168 | private final String name; | ||
169 | |||
170 | /** | ||
171 | * <!-- begin-user-doc --> | ||
172 | * <!-- end-user-doc --> | ||
173 | * @generated | ||
174 | */ | ||
175 | private final String literal; | ||
176 | |||
177 | /** | ||
178 | * Only this class can construct instances. | ||
179 | * <!-- begin-user-doc --> | ||
180 | * <!-- end-user-doc --> | ||
181 | * @generated | ||
182 | */ | ||
183 | private TransceiverBand(int value, String name, String literal) { | ||
184 | this.value = value; | ||
185 | this.name = name; | ||
186 | this.literal = literal; | ||
187 | } | ||
188 | |||
189 | /** | ||
190 | * <!-- begin-user-doc --> | ||
191 | * <!-- end-user-doc --> | ||
192 | * @generated | ||
193 | */ | ||
194 | @Override | ||
195 | public int getValue() { | ||
196 | return value; | ||
197 | } | ||
198 | |||
199 | /** | ||
200 | * <!-- begin-user-doc --> | ||
201 | * <!-- end-user-doc --> | ||
202 | * @generated | ||
203 | */ | ||
204 | @Override | ||
205 | public String getName() { | ||
206 | return name; | ||
207 | } | ||
208 | |||
209 | /** | ||
210 | * <!-- begin-user-doc --> | ||
211 | * <!-- end-user-doc --> | ||
212 | * @generated | ||
213 | */ | ||
214 | @Override | ||
215 | public String getLiteral() { | ||
216 | return literal; | ||
217 | } | ||
218 | |||
219 | /** | ||
220 | * Returns the literal value of the enumerator, which is its string representation. | ||
221 | * <!-- begin-user-doc --> | ||
222 | * <!-- end-user-doc --> | ||
223 | * @generated | ||
224 | */ | ||
225 | @Override | ||
226 | public String toString() { | ||
227 | return literal; | ||
228 | } | ||
229 | |||
230 | } //TransceiverBand | ||
diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/satellite/UHFCommSubsystem.java b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/satellite/UHFCommSubsystem.java new file mode 100644 index 00000000..5b36d6c7 --- /dev/null +++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/satellite/UHFCommSubsystem.java | |||
@@ -0,0 +1,16 @@ | |||
1 | /** | ||
2 | */ | ||
3 | package satellite; | ||
4 | |||
5 | /** | ||
6 | * <!-- begin-user-doc --> | ||
7 | * A representation of the model object '<em><b>UHF Comm Subsystem</b></em>'. | ||
8 | * <!-- end-user-doc --> | ||
9 | * | ||
10 | * | ||
11 | * @see satellite.SatellitePackage#getUHFCommSubsystem() | ||
12 | * @model | ||
13 | * @generated | ||
14 | */ | ||
15 | public interface UHFCommSubsystem extends CommSubsystem { | ||
16 | } // UHFCommSubsystem | ||
diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/satellite/XCommSubsystem.java b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/satellite/XCommSubsystem.java new file mode 100644 index 00000000..c2b0ecd5 --- /dev/null +++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/satellite/XCommSubsystem.java | |||
@@ -0,0 +1,16 @@ | |||
1 | /** | ||
2 | */ | ||
3 | package satellite; | ||
4 | |||
5 | /** | ||
6 | * <!-- begin-user-doc --> | ||
7 | * A representation of the model object '<em><b>XComm Subsystem</b></em>'. | ||
8 | * <!-- end-user-doc --> | ||
9 | * | ||
10 | * | ||
11 | * @see satellite.SatellitePackage#getXCommSubsystem() | ||
12 | * @model | ||
13 | * @generated | ||
14 | */ | ||
15 | public interface XCommSubsystem extends CommSubsystem { | ||
16 | } // XCommSubsystem | ||
diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/satellite/impl/CommSubsystemImpl.java b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/satellite/impl/CommSubsystemImpl.java new file mode 100644 index 00000000..d39abd4d --- /dev/null +++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/satellite/impl/CommSubsystemImpl.java | |||
@@ -0,0 +1,159 @@ | |||
1 | /** | ||
2 | */ | ||
3 | package satellite.impl; | ||
4 | |||
5 | import org.eclipse.emf.common.notify.Notification; | ||
6 | import org.eclipse.emf.ecore.EClass; | ||
7 | import org.eclipse.emf.ecore.InternalEObject; | ||
8 | import org.eclipse.emf.ecore.impl.ENotificationImpl; | ||
9 | import org.eclipse.emf.ecore.impl.MinimalEObjectImpl; | ||
10 | import satellite.CommSubsystem; | ||
11 | import satellite.SatellitePackage; | ||
12 | |||
13 | /** | ||
14 | * <!-- begin-user-doc --> | ||
15 | * An implementation of the model object '<em><b>Comm Subsystem</b></em>'. | ||
16 | * <!-- end-user-doc --> | ||
17 | * <p> | ||
18 | * The following features are implemented: | ||
19 | * </p> | ||
20 | * <ul> | ||
21 | * <li>{@link satellite.impl.CommSubsystemImpl#getTarget <em>Target</em>}</li> | ||
22 | * </ul> | ||
23 | * | ||
24 | * @generated | ||
25 | */ | ||
26 | public abstract class CommSubsystemImpl extends MinimalEObjectImpl.Container implements CommSubsystem { | ||
27 | /** | ||
28 | * The cached value of the '{@link #getTarget() <em>Target</em>}' reference. | ||
29 | * <!-- begin-user-doc --> | ||
30 | * <!-- end-user-doc --> | ||
31 | * @see #getTarget() | ||
32 | * @generated | ||
33 | * @ordered | ||
34 | */ | ||
35 | protected CommSubsystem target; | ||
36 | |||
37 | /** | ||
38 | * <!-- begin-user-doc --> | ||
39 | * <!-- end-user-doc --> | ||
40 | * @generated | ||
41 | */ | ||
42 | protected CommSubsystemImpl() { | ||
43 | super(); | ||
44 | } | ||
45 | |||
46 | /** | ||
47 | * <!-- begin-user-doc --> | ||
48 | * <!-- end-user-doc --> | ||
49 | * @generated | ||
50 | */ | ||
51 | @Override | ||
52 | protected EClass eStaticClass() { | ||
53 | return SatellitePackage.Literals.COMM_SUBSYSTEM; | ||
54 | } | ||
55 | |||
56 | /** | ||
57 | * <!-- begin-user-doc --> | ||
58 | * <!-- end-user-doc --> | ||
59 | * @generated | ||
60 | */ | ||
61 | @Override | ||
62 | public CommSubsystem getTarget() { | ||
63 | if (target != null && target.eIsProxy()) { | ||
64 | InternalEObject oldTarget = (InternalEObject) target; | ||
65 | target = (CommSubsystem) eResolveProxy(oldTarget); | ||
66 | if (target != oldTarget) { | ||
67 | if (eNotificationRequired()) | ||
68 | eNotify(new ENotificationImpl(this, Notification.RESOLVE, SatellitePackage.COMM_SUBSYSTEM__TARGET, | ||
69 | oldTarget, target)); | ||
70 | } | ||
71 | } | ||
72 | return target; | ||
73 | } | ||
74 | |||
75 | /** | ||
76 | * <!-- begin-user-doc --> | ||
77 | * <!-- end-user-doc --> | ||
78 | * @generated | ||
79 | */ | ||
80 | public CommSubsystem basicGetTarget() { | ||
81 | return target; | ||
82 | } | ||
83 | |||
84 | /** | ||
85 | * <!-- begin-user-doc --> | ||
86 | * <!-- end-user-doc --> | ||
87 | * @generated | ||
88 | */ | ||
89 | @Override | ||
90 | public void setTarget(CommSubsystem newTarget) { | ||
91 | CommSubsystem oldTarget = target; | ||
92 | target = newTarget; | ||
93 | if (eNotificationRequired()) | ||
94 | eNotify(new ENotificationImpl(this, Notification.SET, SatellitePackage.COMM_SUBSYSTEM__TARGET, oldTarget, | ||
95 | target)); | ||
96 | } | ||
97 | |||
98 | /** | ||
99 | * <!-- begin-user-doc --> | ||
100 | * <!-- end-user-doc --> | ||
101 | * @generated | ||
102 | */ | ||
103 | @Override | ||
104 | public Object eGet(int featureID, boolean resolve, boolean coreType) { | ||
105 | switch (featureID) { | ||
106 | case SatellitePackage.COMM_SUBSYSTEM__TARGET: | ||
107 | if (resolve) | ||
108 | return getTarget(); | ||
109 | return basicGetTarget(); | ||
110 | } | ||
111 | return super.eGet(featureID, resolve, coreType); | ||
112 | } | ||
113 | |||
114 | /** | ||
115 | * <!-- begin-user-doc --> | ||
116 | * <!-- end-user-doc --> | ||
117 | * @generated | ||
118 | */ | ||
119 | @SuppressWarnings("unchecked") | ||
120 | @Override | ||
121 | public void eSet(int featureID, Object newValue) { | ||
122 | switch (featureID) { | ||
123 | case SatellitePackage.COMM_SUBSYSTEM__TARGET: | ||
124 | setTarget((CommSubsystem) newValue); | ||
125 | return; | ||
126 | } | ||
127 | super.eSet(featureID, newValue); | ||
128 | } | ||
129 | |||
130 | /** | ||
131 | * <!-- begin-user-doc --> | ||
132 | * <!-- end-user-doc --> | ||
133 | * @generated | ||
134 | */ | ||
135 | @Override | ||
136 | public void eUnset(int featureID) { | ||
137 | switch (featureID) { | ||
138 | case SatellitePackage.COMM_SUBSYSTEM__TARGET: | ||
139 | setTarget((CommSubsystem) null); | ||
140 | return; | ||
141 | } | ||
142 | super.eUnset(featureID); | ||
143 | } | ||
144 | |||
145 | /** | ||
146 | * <!-- begin-user-doc --> | ||
147 | * <!-- end-user-doc --> | ||
148 | * @generated | ||
149 | */ | ||
150 | @Override | ||
151 | public boolean eIsSet(int featureID) { | ||
152 | switch (featureID) { | ||
153 | case SatellitePackage.COMM_SUBSYSTEM__TARGET: | ||
154 | return target != null; | ||
155 | } | ||
156 | return super.eIsSet(featureID); | ||
157 | } | ||
158 | |||
159 | } //CommSubsystemImpl | ||
diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/satellite/impl/CommunicatingElementImpl.java b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/satellite/impl/CommunicatingElementImpl.java new file mode 100644 index 00000000..d44547d3 --- /dev/null +++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/satellite/impl/CommunicatingElementImpl.java | |||
@@ -0,0 +1,152 @@ | |||
1 | /** | ||
2 | */ | ||
3 | package satellite.impl; | ||
4 | |||
5 | import java.util.Collection; | ||
6 | import org.eclipse.emf.common.notify.NotificationChain; | ||
7 | |||
8 | import org.eclipse.emf.common.util.EList; | ||
9 | |||
10 | import org.eclipse.emf.ecore.EClass; | ||
11 | import org.eclipse.emf.ecore.InternalEObject; | ||
12 | import org.eclipse.emf.ecore.impl.MinimalEObjectImpl; | ||
13 | |||
14 | import org.eclipse.emf.ecore.util.EObjectContainmentEList; | ||
15 | import org.eclipse.emf.ecore.util.InternalEList; | ||
16 | |||
17 | import satellite.CommSubsystem; | ||
18 | import satellite.CommunicatingElement; | ||
19 | import satellite.SatellitePackage; | ||
20 | |||
21 | /** | ||
22 | * <!-- begin-user-doc --> | ||
23 | * An implementation of the model object '<em><b>Communicating Element</b></em>'. | ||
24 | * <!-- end-user-doc --> | ||
25 | * <p> | ||
26 | * The following features are implemented: | ||
27 | * </p> | ||
28 | * <ul> | ||
29 | * <li>{@link satellite.impl.CommunicatingElementImpl#getCommSubsystem <em>Comm Subsystem</em>}</li> | ||
30 | * </ul> | ||
31 | * | ||
32 | * @generated | ||
33 | */ | ||
34 | public abstract class CommunicatingElementImpl extends MinimalEObjectImpl.Container implements CommunicatingElement { | ||
35 | /** | ||
36 | * The cached value of the '{@link #getCommSubsystem() <em>Comm Subsystem</em>}' containment reference list. | ||
37 | * <!-- begin-user-doc --> | ||
38 | * <!-- end-user-doc --> | ||
39 | * @see #getCommSubsystem() | ||
40 | * @generated | ||
41 | * @ordered | ||
42 | */ | ||
43 | protected EList<CommSubsystem> commSubsystem; | ||
44 | |||
45 | /** | ||
46 | * <!-- begin-user-doc --> | ||
47 | * <!-- end-user-doc --> | ||
48 | * @generated | ||
49 | */ | ||
50 | protected CommunicatingElementImpl() { | ||
51 | super(); | ||
52 | } | ||
53 | |||
54 | /** | ||
55 | * <!-- begin-user-doc --> | ||
56 | * <!-- end-user-doc --> | ||
57 | * @generated | ||
58 | */ | ||
59 | @Override | ||
60 | protected EClass eStaticClass() { | ||
61 | return SatellitePackage.Literals.COMMUNICATING_ELEMENT; | ||
62 | } | ||
63 | |||
64 | /** | ||
65 | * <!-- begin-user-doc --> | ||
66 | * <!-- end-user-doc --> | ||
67 | * @generated | ||
68 | */ | ||
69 | @Override | ||
70 | public EList<CommSubsystem> getCommSubsystem() { | ||
71 | if (commSubsystem == null) { | ||
72 | commSubsystem = new EObjectContainmentEList<CommSubsystem>(CommSubsystem.class, this, | ||
73 | SatellitePackage.COMMUNICATING_ELEMENT__COMM_SUBSYSTEM); | ||
74 | } | ||
75 | return commSubsystem; | ||
76 | } | ||
77 | |||
78 | /** | ||
79 | * <!-- begin-user-doc --> | ||
80 | * <!-- end-user-doc --> | ||
81 | * @generated | ||
82 | */ | ||
83 | @Override | ||
84 | public NotificationChain eInverseRemove(InternalEObject otherEnd, int featureID, NotificationChain msgs) { | ||
85 | switch (featureID) { | ||
86 | case SatellitePackage.COMMUNICATING_ELEMENT__COMM_SUBSYSTEM: | ||
87 | return ((InternalEList<?>) getCommSubsystem()).basicRemove(otherEnd, msgs); | ||
88 | } | ||
89 | return super.eInverseRemove(otherEnd, featureID, msgs); | ||
90 | } | ||
91 | |||
92 | /** | ||
93 | * <!-- begin-user-doc --> | ||
94 | * <!-- end-user-doc --> | ||
95 | * @generated | ||
96 | */ | ||
97 | @Override | ||
98 | public Object eGet(int featureID, boolean resolve, boolean coreType) { | ||
99 | switch (featureID) { | ||
100 | case SatellitePackage.COMMUNICATING_ELEMENT__COMM_SUBSYSTEM: | ||
101 | return getCommSubsystem(); | ||
102 | } | ||
103 | return super.eGet(featureID, resolve, coreType); | ||
104 | } | ||
105 | |||
106 | /** | ||
107 | * <!-- begin-user-doc --> | ||
108 | * <!-- end-user-doc --> | ||
109 | * @generated | ||
110 | */ | ||
111 | @SuppressWarnings("unchecked") | ||
112 | @Override | ||
113 | public void eSet(int featureID, Object newValue) { | ||
114 | switch (featureID) { | ||
115 | case SatellitePackage.COMMUNICATING_ELEMENT__COMM_SUBSYSTEM: | ||
116 | getCommSubsystem().clear(); | ||
117 | getCommSubsystem().addAll((Collection<? extends CommSubsystem>) newValue); | ||
118 | return; | ||
119 | } | ||
120 | super.eSet(featureID, newValue); | ||
121 | } | ||
122 | |||
123 | /** | ||
124 | * <!-- begin-user-doc --> | ||
125 | * <!-- end-user-doc --> | ||
126 | * @generated | ||
127 | */ | ||
128 | @Override | ||
129 | public void eUnset(int featureID) { | ||
130 | switch (featureID) { | ||
131 | case SatellitePackage.COMMUNICATING_ELEMENT__COMM_SUBSYSTEM: | ||
132 | getCommSubsystem().clear(); | ||
133 | return; | ||
134 | } | ||
135 | super.eUnset(featureID); | ||
136 | } | ||
137 | |||
138 | /** | ||
139 | * <!-- begin-user-doc --> | ||
140 | * <!-- end-user-doc --> | ||
141 | * @generated | ||
142 | */ | ||
143 | @Override | ||
144 | public boolean eIsSet(int featureID) { | ||
145 | switch (featureID) { | ||
146 | case SatellitePackage.COMMUNICATING_ELEMENT__COMM_SUBSYSTEM: | ||
147 | return commSubsystem != null && !commSubsystem.isEmpty(); | ||
148 | } | ||
149 | return super.eIsSet(featureID); | ||
150 | } | ||
151 | |||
152 | } //CommunicatingElementImpl | ||
diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/satellite/impl/ConstellationMissionImpl.java b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/satellite/impl/ConstellationMissionImpl.java new file mode 100644 index 00000000..7635d7cd --- /dev/null +++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/satellite/impl/ConstellationMissionImpl.java | |||
@@ -0,0 +1,237 @@ | |||
1 | /** | ||
2 | */ | ||
3 | package satellite.impl; | ||
4 | |||
5 | import java.util.Collection; | ||
6 | |||
7 | import org.eclipse.emf.common.notify.Notification; | ||
8 | import org.eclipse.emf.common.notify.NotificationChain; | ||
9 | |||
10 | import org.eclipse.emf.common.util.EList; | ||
11 | |||
12 | import org.eclipse.emf.ecore.EClass; | ||
13 | import org.eclipse.emf.ecore.InternalEObject; | ||
14 | |||
15 | import org.eclipse.emf.ecore.impl.ENotificationImpl; | ||
16 | import org.eclipse.emf.ecore.impl.MinimalEObjectImpl; | ||
17 | |||
18 | import org.eclipse.emf.ecore.util.EObjectContainmentEList; | ||
19 | import org.eclipse.emf.ecore.util.InternalEList; | ||
20 | |||
21 | import satellite.ConstellationMission; | ||
22 | import satellite.GroundStationNetwork; | ||
23 | import satellite.SatellitePackage; | ||
24 | import satellite.Spacecraft; | ||
25 | |||
26 | /** | ||
27 | * <!-- begin-user-doc --> | ||
28 | * An implementation of the model object '<em><b>Constellation Mission</b></em>'. | ||
29 | * <!-- end-user-doc --> | ||
30 | * <p> | ||
31 | * The following features are implemented: | ||
32 | * </p> | ||
33 | * <ul> | ||
34 | * <li>{@link satellite.impl.ConstellationMissionImpl#getGroundStationNetwork <em>Ground Station Network</em>}</li> | ||
35 | * <li>{@link satellite.impl.ConstellationMissionImpl#getSpacecraft <em>Spacecraft</em>}</li> | ||
36 | * </ul> | ||
37 | * | ||
38 | * @generated | ||
39 | */ | ||
40 | public abstract class ConstellationMissionImpl extends MinimalEObjectImpl.Container implements ConstellationMission { | ||
41 | /** | ||
42 | * The cached value of the '{@link #getGroundStationNetwork() <em>Ground Station Network</em>}' containment reference. | ||
43 | * <!-- begin-user-doc --> | ||
44 | * <!-- end-user-doc --> | ||
45 | * @see #getGroundStationNetwork() | ||
46 | * @generated | ||
47 | * @ordered | ||
48 | */ | ||
49 | protected GroundStationNetwork groundStationNetwork; | ||
50 | |||
51 | /** | ||
52 | * The cached value of the '{@link #getSpacecraft() <em>Spacecraft</em>}' containment reference list. | ||
53 | * <!-- begin-user-doc --> | ||
54 | * <!-- end-user-doc --> | ||
55 | * @see #getSpacecraft() | ||
56 | * @generated | ||
57 | * @ordered | ||
58 | */ | ||
59 | protected EList<Spacecraft> spacecraft; | ||
60 | |||
61 | /** | ||
62 | * <!-- begin-user-doc --> | ||
63 | * <!-- end-user-doc --> | ||
64 | * @generated | ||
65 | */ | ||
66 | protected ConstellationMissionImpl() { | ||
67 | super(); | ||
68 | } | ||
69 | |||
70 | /** | ||
71 | * <!-- begin-user-doc --> | ||
72 | * <!-- end-user-doc --> | ||
73 | * @generated | ||
74 | */ | ||
75 | @Override | ||
76 | protected EClass eStaticClass() { | ||
77 | return SatellitePackage.Literals.CONSTELLATION_MISSION; | ||
78 | } | ||
79 | |||
80 | /** | ||
81 | * <!-- begin-user-doc --> | ||
82 | * <!-- end-user-doc --> | ||
83 | * @generated | ||
84 | */ | ||
85 | @Override | ||
86 | public GroundStationNetwork getGroundStationNetwork() { | ||
87 | return groundStationNetwork; | ||
88 | } | ||
89 | |||
90 | /** | ||
91 | * <!-- begin-user-doc --> | ||
92 | * <!-- end-user-doc --> | ||
93 | * @generated | ||
94 | */ | ||
95 | public NotificationChain basicSetGroundStationNetwork(GroundStationNetwork newGroundStationNetwork, | ||
96 | NotificationChain msgs) { | ||
97 | GroundStationNetwork oldGroundStationNetwork = groundStationNetwork; | ||
98 | groundStationNetwork = newGroundStationNetwork; | ||
99 | if (eNotificationRequired()) { | ||
100 | ENotificationImpl notification = new ENotificationImpl(this, Notification.SET, | ||
101 | SatellitePackage.CONSTELLATION_MISSION__GROUND_STATION_NETWORK, oldGroundStationNetwork, | ||
102 | newGroundStationNetwork); | ||
103 | if (msgs == null) | ||
104 | msgs = notification; | ||
105 | else | ||
106 | msgs.add(notification); | ||
107 | } | ||
108 | return msgs; | ||
109 | } | ||
110 | |||
111 | /** | ||
112 | * <!-- begin-user-doc --> | ||
113 | * <!-- end-user-doc --> | ||
114 | * @generated | ||
115 | */ | ||
116 | @Override | ||
117 | public void setGroundStationNetwork(GroundStationNetwork newGroundStationNetwork) { | ||
118 | if (newGroundStationNetwork != groundStationNetwork) { | ||
119 | NotificationChain msgs = null; | ||
120 | if (groundStationNetwork != null) | ||
121 | msgs = ((InternalEObject) groundStationNetwork).eInverseRemove(this, | ||
122 | EOPPOSITE_FEATURE_BASE - SatellitePackage.CONSTELLATION_MISSION__GROUND_STATION_NETWORK, null, | ||
123 | msgs); | ||
124 | if (newGroundStationNetwork != null) | ||
125 | msgs = ((InternalEObject) newGroundStationNetwork).eInverseAdd(this, | ||
126 | EOPPOSITE_FEATURE_BASE - SatellitePackage.CONSTELLATION_MISSION__GROUND_STATION_NETWORK, null, | ||
127 | msgs); | ||
128 | msgs = basicSetGroundStationNetwork(newGroundStationNetwork, msgs); | ||
129 | if (msgs != null) | ||
130 | msgs.dispatch(); | ||
131 | } else if (eNotificationRequired()) | ||
132 | eNotify(new ENotificationImpl(this, Notification.SET, | ||
133 | SatellitePackage.CONSTELLATION_MISSION__GROUND_STATION_NETWORK, newGroundStationNetwork, | ||
134 | newGroundStationNetwork)); | ||
135 | } | ||
136 | |||
137 | /** | ||
138 | * <!-- begin-user-doc --> | ||
139 | * <!-- end-user-doc --> | ||
140 | * @generated | ||
141 | */ | ||
142 | @Override | ||
143 | public EList<Spacecraft> getSpacecraft() { | ||
144 | if (spacecraft == null) { | ||
145 | spacecraft = new EObjectContainmentEList<Spacecraft>(Spacecraft.class, this, | ||
146 | SatellitePackage.CONSTELLATION_MISSION__SPACECRAFT); | ||
147 | } | ||
148 | return spacecraft; | ||
149 | } | ||
150 | |||
151 | /** | ||
152 | * <!-- begin-user-doc --> | ||
153 | * <!-- end-user-doc --> | ||
154 | * @generated | ||
155 | */ | ||
156 | @Override | ||
157 | public NotificationChain eInverseRemove(InternalEObject otherEnd, int featureID, NotificationChain msgs) { | ||
158 | switch (featureID) { | ||
159 | case SatellitePackage.CONSTELLATION_MISSION__GROUND_STATION_NETWORK: | ||
160 | return basicSetGroundStationNetwork(null, msgs); | ||
161 | case SatellitePackage.CONSTELLATION_MISSION__SPACECRAFT: | ||
162 | return ((InternalEList<?>) getSpacecraft()).basicRemove(otherEnd, msgs); | ||
163 | } | ||
164 | return super.eInverseRemove(otherEnd, featureID, msgs); | ||
165 | } | ||
166 | |||
167 | /** | ||
168 | * <!-- begin-user-doc --> | ||
169 | * <!-- end-user-doc --> | ||
170 | * @generated | ||
171 | */ | ||
172 | @Override | ||
173 | public Object eGet(int featureID, boolean resolve, boolean coreType) { | ||
174 | switch (featureID) { | ||
175 | case SatellitePackage.CONSTELLATION_MISSION__GROUND_STATION_NETWORK: | ||
176 | return getGroundStationNetwork(); | ||
177 | case SatellitePackage.CONSTELLATION_MISSION__SPACECRAFT: | ||
178 | return getSpacecraft(); | ||
179 | } | ||
180 | return super.eGet(featureID, resolve, coreType); | ||
181 | } | ||
182 | |||
183 | /** | ||
184 | * <!-- begin-user-doc --> | ||
185 | * <!-- end-user-doc --> | ||
186 | * @generated | ||
187 | */ | ||
188 | @SuppressWarnings("unchecked") | ||
189 | @Override | ||
190 | public void eSet(int featureID, Object newValue) { | ||
191 | switch (featureID) { | ||
192 | case SatellitePackage.CONSTELLATION_MISSION__GROUND_STATION_NETWORK: | ||
193 | setGroundStationNetwork((GroundStationNetwork) newValue); | ||
194 | return; | ||
195 | case SatellitePackage.CONSTELLATION_MISSION__SPACECRAFT: | ||
196 | getSpacecraft().clear(); | ||
197 | getSpacecraft().addAll((Collection<? extends Spacecraft>) newValue); | ||
198 | return; | ||
199 | } | ||
200 | super.eSet(featureID, newValue); | ||
201 | } | ||
202 | |||
203 | /** | ||
204 | * <!-- begin-user-doc --> | ||
205 | * <!-- end-user-doc --> | ||
206 | * @generated | ||
207 | */ | ||
208 | @Override | ||
209 | public void eUnset(int featureID) { | ||
210 | switch (featureID) { | ||
211 | case SatellitePackage.CONSTELLATION_MISSION__GROUND_STATION_NETWORK: | ||
212 | setGroundStationNetwork((GroundStationNetwork) null); | ||
213 | return; | ||
214 | case SatellitePackage.CONSTELLATION_MISSION__SPACECRAFT: | ||
215 | getSpacecraft().clear(); | ||
216 | return; | ||
217 | } | ||
218 | super.eUnset(featureID); | ||
219 | } | ||
220 | |||
221 | /** | ||
222 | * <!-- begin-user-doc --> | ||
223 | * <!-- end-user-doc --> | ||
224 | * @generated | ||
225 | */ | ||
226 | @Override | ||
227 | public boolean eIsSet(int featureID) { | ||
228 | switch (featureID) { | ||
229 | case SatellitePackage.CONSTELLATION_MISSION__GROUND_STATION_NETWORK: | ||
230 | return groundStationNetwork != null; | ||
231 | case SatellitePackage.CONSTELLATION_MISSION__SPACECRAFT: | ||
232 | return spacecraft != null && !spacecraft.isEmpty(); | ||
233 | } | ||
234 | return super.eIsSet(featureID); | ||
235 | } | ||
236 | |||
237 | } //ConstellationMissionImpl | ||
diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/satellite/impl/CubeSat3UImpl.java b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/satellite/impl/CubeSat3UImpl.java new file mode 100644 index 00000000..350a9bcc --- /dev/null +++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/satellite/impl/CubeSat3UImpl.java | |||
@@ -0,0 +1,37 @@ | |||
1 | /** | ||
2 | */ | ||
3 | package satellite.impl; | ||
4 | |||
5 | import org.eclipse.emf.ecore.EClass; | ||
6 | |||
7 | import satellite.CubeSat3U; | ||
8 | import satellite.SatellitePackage; | ||
9 | |||
10 | /** | ||
11 | * <!-- begin-user-doc --> | ||
12 | * An implementation of the model object '<em><b>Cube Sat3 U</b></em>'. | ||
13 | * <!-- end-user-doc --> | ||
14 | * | ||
15 | * @generated | ||
16 | */ | ||
17 | public class CubeSat3UImpl extends CubeSatImpl implements CubeSat3U { | ||
18 | /** | ||
19 | * <!-- begin-user-doc --> | ||
20 | * <!-- end-user-doc --> | ||
21 | * @generated | ||
22 | */ | ||
23 | protected CubeSat3UImpl() { | ||
24 | super(); | ||
25 | } | ||
26 | |||
27 | /** | ||
28 | * <!-- begin-user-doc --> | ||
29 | * <!-- end-user-doc --> | ||
30 | * @generated | ||
31 | */ | ||
32 | @Override | ||
33 | protected EClass eStaticClass() { | ||
34 | return SatellitePackage.Literals.CUBE_SAT3_U; | ||
35 | } | ||
36 | |||
37 | } //CubeSat3UImpl | ||
diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/satellite/impl/CubeSat6UImpl.java b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/satellite/impl/CubeSat6UImpl.java new file mode 100644 index 00000000..3b9c5988 --- /dev/null +++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/satellite/impl/CubeSat6UImpl.java | |||
@@ -0,0 +1,37 @@ | |||
1 | /** | ||
2 | */ | ||
3 | package satellite.impl; | ||
4 | |||
5 | import org.eclipse.emf.ecore.EClass; | ||
6 | |||
7 | import satellite.CubeSat6U; | ||
8 | import satellite.SatellitePackage; | ||
9 | |||
10 | /** | ||
11 | * <!-- begin-user-doc --> | ||
12 | * An implementation of the model object '<em><b>Cube Sat6 U</b></em>'. | ||
13 | * <!-- end-user-doc --> | ||
14 | * | ||
15 | * @generated | ||
16 | */ | ||
17 | public class CubeSat6UImpl extends CubeSatImpl implements CubeSat6U { | ||
18 | /** | ||
19 | * <!-- begin-user-doc --> | ||
20 | * <!-- end-user-doc --> | ||
21 | * @generated | ||
22 | */ | ||
23 | protected CubeSat6UImpl() { | ||
24 | super(); | ||
25 | } | ||
26 | |||
27 | /** | ||
28 | * <!-- begin-user-doc --> | ||
29 | * <!-- end-user-doc --> | ||
30 | * @generated | ||
31 | */ | ||
32 | @Override | ||
33 | protected EClass eStaticClass() { | ||
34 | return SatellitePackage.Literals.CUBE_SAT6_U; | ||
35 | } | ||
36 | |||
37 | } //CubeSat6UImpl | ||
diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/satellite/impl/CubeSatImpl.java b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/satellite/impl/CubeSatImpl.java new file mode 100644 index 00000000..660bd062 --- /dev/null +++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/satellite/impl/CubeSatImpl.java | |||
@@ -0,0 +1,37 @@ | |||
1 | /** | ||
2 | */ | ||
3 | package satellite.impl; | ||
4 | |||
5 | import org.eclipse.emf.ecore.EClass; | ||
6 | |||
7 | import satellite.CubeSat; | ||
8 | import satellite.SatellitePackage; | ||
9 | |||
10 | /** | ||
11 | * <!-- begin-user-doc --> | ||
12 | * An implementation of the model object '<em><b>Cube Sat</b></em>'. | ||
13 | * <!-- end-user-doc --> | ||
14 | * | ||
15 | * @generated | ||
16 | */ | ||
17 | public abstract class CubeSatImpl extends SpacecraftImpl implements CubeSat { | ||
18 | /** | ||
19 | * <!-- begin-user-doc --> | ||
20 | * <!-- end-user-doc --> | ||
21 | * @generated | ||
22 | */ | ||
23 | protected CubeSatImpl() { | ||
24 | super(); | ||
25 | } | ||
26 | |||
27 | /** | ||
28 | * <!-- begin-user-doc --> | ||
29 | * <!-- end-user-doc --> | ||
30 | * @generated | ||
31 | */ | ||
32 | @Override | ||
33 | protected EClass eStaticClass() { | ||
34 | return SatellitePackage.Literals.CUBE_SAT; | ||
35 | } | ||
36 | |||
37 | } //CubeSatImpl | ||
diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/satellite/impl/GroundStationNetworkImpl.java b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/satellite/impl/GroundStationNetworkImpl.java new file mode 100644 index 00000000..244b9568 --- /dev/null +++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/satellite/impl/GroundStationNetworkImpl.java | |||
@@ -0,0 +1,37 @@ | |||
1 | /** | ||
2 | */ | ||
3 | package satellite.impl; | ||
4 | |||
5 | import org.eclipse.emf.ecore.EClass; | ||
6 | |||
7 | import satellite.GroundStationNetwork; | ||
8 | import satellite.SatellitePackage; | ||
9 | |||
10 | /** | ||
11 | * <!-- begin-user-doc --> | ||
12 | * An implementation of the model object '<em><b>Ground Station Network</b></em>'. | ||
13 | * <!-- end-user-doc --> | ||
14 | * | ||
15 | * @generated | ||
16 | */ | ||
17 | public class GroundStationNetworkImpl extends CommunicatingElementImpl implements GroundStationNetwork { | ||
18 | /** | ||
19 | * <!-- begin-user-doc --> | ||
20 | * <!-- end-user-doc --> | ||
21 | * @generated | ||
22 | */ | ||
23 | protected GroundStationNetworkImpl() { | ||
24 | super(); | ||
25 | } | ||
26 | |||
27 | /** | ||
28 | * <!-- begin-user-doc --> | ||
29 | * <!-- end-user-doc --> | ||
30 | * @generated | ||
31 | */ | ||
32 | @Override | ||
33 | protected EClass eStaticClass() { | ||
34 | return SatellitePackage.Literals.GROUND_STATION_NETWORK; | ||
35 | } | ||
36 | |||
37 | } //GroundStationNetworkImpl | ||
diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/satellite/impl/InterferometryMissionImpl.java b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/satellite/impl/InterferometryMissionImpl.java new file mode 100644 index 00000000..450f8a9a --- /dev/null +++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/satellite/impl/InterferometryMissionImpl.java | |||
@@ -0,0 +1,36 @@ | |||
1 | /** | ||
2 | */ | ||
3 | package satellite.impl; | ||
4 | |||
5 | import org.eclipse.emf.ecore.EClass; | ||
6 | import satellite.InterferometryMission; | ||
7 | import satellite.SatellitePackage; | ||
8 | |||
9 | /** | ||
10 | * <!-- begin-user-doc --> | ||
11 | * An implementation of the model object '<em><b>Interferometry Mission</b></em>'. | ||
12 | * <!-- end-user-doc --> | ||
13 | * | ||
14 | * @generated | ||
15 | */ | ||
16 | public class InterferometryMissionImpl extends ConstellationMissionImpl implements InterferometryMission { | ||
17 | /** | ||
18 | * <!-- begin-user-doc --> | ||
19 | * <!-- end-user-doc --> | ||
20 | * @generated | ||
21 | */ | ||
22 | protected InterferometryMissionImpl() { | ||
23 | super(); | ||
24 | } | ||
25 | |||
26 | /** | ||
27 | * <!-- begin-user-doc --> | ||
28 | * <!-- end-user-doc --> | ||
29 | * @generated | ||
30 | */ | ||
31 | @Override | ||
32 | protected EClass eStaticClass() { | ||
33 | return SatellitePackage.Literals.INTERFEROMETRY_MISSION; | ||
34 | } | ||
35 | |||
36 | } //InterferometryMissionImpl | ||
diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/satellite/impl/InterferometryPayloadImpl.java b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/satellite/impl/InterferometryPayloadImpl.java new file mode 100644 index 00000000..c8f9e816 --- /dev/null +++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/satellite/impl/InterferometryPayloadImpl.java | |||
@@ -0,0 +1,37 @@ | |||
1 | /** | ||
2 | */ | ||
3 | package satellite.impl; | ||
4 | |||
5 | import org.eclipse.emf.ecore.EClass; | ||
6 | |||
7 | import satellite.InterferometryPayload; | ||
8 | import satellite.SatellitePackage; | ||
9 | |||
10 | /** | ||
11 | * <!-- begin-user-doc --> | ||
12 | * An implementation of the model object '<em><b>Interferometry Payload</b></em>'. | ||
13 | * <!-- end-user-doc --> | ||
14 | * | ||
15 | * @generated | ||
16 | */ | ||
17 | public class InterferometryPayloadImpl extends PayloadImpl implements InterferometryPayload { | ||
18 | /** | ||
19 | * <!-- begin-user-doc --> | ||
20 | * <!-- end-user-doc --> | ||
21 | * @generated | ||
22 | */ | ||
23 | protected InterferometryPayloadImpl() { | ||
24 | super(); | ||
25 | } | ||
26 | |||
27 | /** | ||
28 | * <!-- begin-user-doc --> | ||
29 | * <!-- end-user-doc --> | ||
30 | * @generated | ||
31 | */ | ||
32 | @Override | ||
33 | protected EClass eStaticClass() { | ||
34 | return SatellitePackage.Literals.INTERFEROMETRY_PAYLOAD; | ||
35 | } | ||
36 | |||
37 | } //InterferometryPayloadImpl | ||
diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/satellite/impl/KaCommSubsystemImpl.java b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/satellite/impl/KaCommSubsystemImpl.java new file mode 100644 index 00000000..3f4fc432 --- /dev/null +++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/satellite/impl/KaCommSubsystemImpl.java | |||
@@ -0,0 +1,37 @@ | |||
1 | /** | ||
2 | */ | ||
3 | package satellite.impl; | ||
4 | |||
5 | import org.eclipse.emf.ecore.EClass; | ||
6 | |||
7 | import satellite.KaCommSubsystem; | ||
8 | import satellite.SatellitePackage; | ||
9 | |||
10 | /** | ||
11 | * <!-- begin-user-doc --> | ||
12 | * An implementation of the model object '<em><b>Ka Comm Subsystem</b></em>'. | ||
13 | * <!-- end-user-doc --> | ||
14 | * | ||
15 | * @generated | ||
16 | */ | ||
17 | public class KaCommSubsystemImpl extends CommSubsystemImpl implements KaCommSubsystem { | ||
18 | /** | ||
19 | * <!-- begin-user-doc --> | ||
20 | * <!-- end-user-doc --> | ||
21 | * @generated | ||
22 | */ | ||
23 | protected KaCommSubsystemImpl() { | ||
24 | super(); | ||
25 | } | ||
26 | |||
27 | /** | ||
28 | * <!-- begin-user-doc --> | ||
29 | * <!-- end-user-doc --> | ||
30 | * @generated | ||
31 | */ | ||
32 | @Override | ||
33 | protected EClass eStaticClass() { | ||
34 | return SatellitePackage.Literals.KA_COMM_SUBSYSTEM; | ||
35 | } | ||
36 | |||
37 | } //KaCommSubsystemImpl | ||
diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/satellite/impl/PayloadImpl.java b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/satellite/impl/PayloadImpl.java new file mode 100644 index 00000000..6ee96353 --- /dev/null +++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/satellite/impl/PayloadImpl.java | |||
@@ -0,0 +1,39 @@ | |||
1 | /** | ||
2 | */ | ||
3 | package satellite.impl; | ||
4 | |||
5 | import org.eclipse.emf.ecore.EClass; | ||
6 | |||
7 | import org.eclipse.emf.ecore.impl.MinimalEObjectImpl; | ||
8 | |||
9 | import satellite.Payload; | ||
10 | import satellite.SatellitePackage; | ||
11 | |||
12 | /** | ||
13 | * <!-- begin-user-doc --> | ||
14 | * An implementation of the model object '<em><b>Payload</b></em>'. | ||
15 | * <!-- end-user-doc --> | ||
16 | * | ||
17 | * @generated | ||
18 | */ | ||
19 | public abstract class PayloadImpl extends MinimalEObjectImpl.Container implements Payload { | ||
20 | /** | ||
21 | * <!-- begin-user-doc --> | ||
22 | * <!-- end-user-doc --> | ||
23 | * @generated | ||
24 | */ | ||
25 | protected PayloadImpl() { | ||
26 | super(); | ||
27 | } | ||
28 | |||
29 | /** | ||
30 | * <!-- begin-user-doc --> | ||
31 | * <!-- end-user-doc --> | ||
32 | * @generated | ||
33 | */ | ||
34 | @Override | ||
35 | protected EClass eStaticClass() { | ||
36 | return SatellitePackage.Literals.PAYLOAD; | ||
37 | } | ||
38 | |||
39 | } //PayloadImpl | ||
diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/satellite/impl/SatelliteFactoryImpl.java b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/satellite/impl/SatelliteFactoryImpl.java new file mode 100644 index 00000000..71e16abf --- /dev/null +++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/satellite/impl/SatelliteFactoryImpl.java | |||
@@ -0,0 +1,202 @@ | |||
1 | /** | ||
2 | */ | ||
3 | package satellite.impl; | ||
4 | |||
5 | import org.eclipse.emf.ecore.EClass; | ||
6 | import org.eclipse.emf.ecore.EObject; | ||
7 | import org.eclipse.emf.ecore.EPackage; | ||
8 | |||
9 | import org.eclipse.emf.ecore.impl.EFactoryImpl; | ||
10 | |||
11 | import org.eclipse.emf.ecore.plugin.EcorePlugin; | ||
12 | |||
13 | import satellite.*; | ||
14 | |||
15 | /** | ||
16 | * <!-- begin-user-doc --> | ||
17 | * An implementation of the model <b>Factory</b>. | ||
18 | * <!-- end-user-doc --> | ||
19 | * @generated | ||
20 | */ | ||
21 | public class SatelliteFactoryImpl extends EFactoryImpl implements SatelliteFactory { | ||
22 | /** | ||
23 | * Creates the default factory implementation. | ||
24 | * <!-- begin-user-doc --> | ||
25 | * <!-- end-user-doc --> | ||
26 | * @generated | ||
27 | */ | ||
28 | public static SatelliteFactory init() { | ||
29 | try { | ||
30 | SatelliteFactory theSatelliteFactory = (SatelliteFactory) EPackage.Registry.INSTANCE | ||
31 | .getEFactory(SatellitePackage.eNS_URI); | ||
32 | if (theSatelliteFactory != null) { | ||
33 | return theSatelliteFactory; | ||
34 | } | ||
35 | } catch (Exception exception) { | ||
36 | EcorePlugin.INSTANCE.log(exception); | ||
37 | } | ||
38 | return new SatelliteFactoryImpl(); | ||
39 | } | ||
40 | |||
41 | /** | ||
42 | * Creates an instance of the factory. | ||
43 | * <!-- begin-user-doc --> | ||
44 | * <!-- end-user-doc --> | ||
45 | * @generated | ||
46 | */ | ||
47 | public SatelliteFactoryImpl() { | ||
48 | super(); | ||
49 | } | ||
50 | |||
51 | /** | ||
52 | * <!-- begin-user-doc --> | ||
53 | * <!-- end-user-doc --> | ||
54 | * @generated | ||
55 | */ | ||
56 | @Override | ||
57 | public EObject create(EClass eClass) { | ||
58 | switch (eClass.getClassifierID()) { | ||
59 | case SatellitePackage.INTERFEROMETRY_MISSION: | ||
60 | return createInterferometryMission(); | ||
61 | case SatellitePackage.GROUND_STATION_NETWORK: | ||
62 | return createGroundStationNetwork(); | ||
63 | case SatellitePackage.INTERFEROMETRY_PAYLOAD: | ||
64 | return createInterferometryPayload(); | ||
65 | case SatellitePackage.CUBE_SAT3_U: | ||
66 | return createCubeSat3U(); | ||
67 | case SatellitePackage.CUBE_SAT6_U: | ||
68 | return createCubeSat6U(); | ||
69 | case SatellitePackage.SMALL_SAT: | ||
70 | return createSmallSat(); | ||
71 | case SatellitePackage.UHF_COMM_SUBSYSTEM: | ||
72 | return createUHFCommSubsystem(); | ||
73 | case SatellitePackage.XCOMM_SUBSYSTEM: | ||
74 | return createXCommSubsystem(); | ||
75 | case SatellitePackage.KA_COMM_SUBSYSTEM: | ||
76 | return createKaCommSubsystem(); | ||
77 | default: | ||
78 | throw new IllegalArgumentException("The class '" + eClass.getName() + "' is not a valid classifier"); | ||
79 | } | ||
80 | } | ||
81 | |||
82 | /** | ||
83 | * <!-- begin-user-doc --> | ||
84 | * <!-- end-user-doc --> | ||
85 | * @generated | ||
86 | */ | ||
87 | @Override | ||
88 | public InterferometryMission createInterferometryMission() { | ||
89 | InterferometryMissionImpl interferometryMission = new InterferometryMissionImpl(); | ||
90 | return interferometryMission; | ||
91 | } | ||
92 | |||
93 | /** | ||
94 | * <!-- begin-user-doc --> | ||
95 | * <!-- end-user-doc --> | ||
96 | * @generated | ||
97 | */ | ||
98 | @Override | ||
99 | public GroundStationNetwork createGroundStationNetwork() { | ||
100 | GroundStationNetworkImpl groundStationNetwork = new GroundStationNetworkImpl(); | ||
101 | return groundStationNetwork; | ||
102 | } | ||
103 | |||
104 | /** | ||
105 | * <!-- begin-user-doc --> | ||
106 | * <!-- end-user-doc --> | ||
107 | * @generated | ||
108 | */ | ||
109 | @Override | ||
110 | public InterferometryPayload createInterferometryPayload() { | ||
111 | InterferometryPayloadImpl interferometryPayload = new InterferometryPayloadImpl(); | ||
112 | return interferometryPayload; | ||
113 | } | ||
114 | |||
115 | /** | ||
116 | * <!-- begin-user-doc --> | ||
117 | * <!-- end-user-doc --> | ||
118 | * @generated | ||
119 | */ | ||
120 | @Override | ||
121 | public CubeSat3U createCubeSat3U() { | ||
122 | CubeSat3UImpl cubeSat3U = new CubeSat3UImpl(); | ||
123 | return cubeSat3U; | ||
124 | } | ||
125 | |||
126 | /** | ||
127 | * <!-- begin-user-doc --> | ||
128 | * <!-- end-user-doc --> | ||
129 | * @generated | ||
130 | */ | ||
131 | @Override | ||
132 | public CubeSat6U createCubeSat6U() { | ||
133 | CubeSat6UImpl cubeSat6U = new CubeSat6UImpl(); | ||
134 | return cubeSat6U; | ||
135 | } | ||
136 | |||
137 | /** | ||
138 | * <!-- begin-user-doc --> | ||
139 | * <!-- end-user-doc --> | ||
140 | * @generated | ||
141 | */ | ||
142 | @Override | ||
143 | public SmallSat createSmallSat() { | ||
144 | SmallSatImpl smallSat = new SmallSatImpl(); | ||
145 | return smallSat; | ||
146 | } | ||
147 | |||
148 | /** | ||
149 | * <!-- begin-user-doc --> | ||
150 | * <!-- end-user-doc --> | ||
151 | * @generated | ||
152 | */ | ||
153 | @Override | ||
154 | public UHFCommSubsystem createUHFCommSubsystem() { | ||
155 | UHFCommSubsystemImpl uhfCommSubsystem = new UHFCommSubsystemImpl(); | ||
156 | return uhfCommSubsystem; | ||
157 | } | ||
158 | |||
159 | /** | ||
160 | * <!-- begin-user-doc --> | ||
161 | * <!-- end-user-doc --> | ||
162 | * @generated | ||
163 | */ | ||
164 | @Override | ||
165 | public XCommSubsystem createXCommSubsystem() { | ||
166 | XCommSubsystemImpl xCommSubsystem = new XCommSubsystemImpl(); | ||
167 | return xCommSubsystem; | ||
168 | } | ||
169 | |||
170 | /** | ||
171 | * <!-- begin-user-doc --> | ||
172 | * <!-- end-user-doc --> | ||
173 | * @generated | ||
174 | */ | ||
175 | @Override | ||
176 | public KaCommSubsystem createKaCommSubsystem() { | ||
177 | KaCommSubsystemImpl kaCommSubsystem = new KaCommSubsystemImpl(); | ||
178 | return kaCommSubsystem; | ||
179 | } | ||
180 | |||
181 | /** | ||
182 | * <!-- begin-user-doc --> | ||
183 | * <!-- end-user-doc --> | ||
184 | * @generated | ||
185 | */ | ||
186 | @Override | ||
187 | public SatellitePackage getSatellitePackage() { | ||
188 | return (SatellitePackage) getEPackage(); | ||
189 | } | ||
190 | |||
191 | /** | ||
192 | * <!-- begin-user-doc --> | ||
193 | * <!-- end-user-doc --> | ||
194 | * @deprecated | ||
195 | * @generated | ||
196 | */ | ||
197 | @Deprecated | ||
198 | public static SatellitePackage getPackage() { | ||
199 | return SatellitePackage.eINSTANCE; | ||
200 | } | ||
201 | |||
202 | } //SatelliteFactoryImpl | ||
diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/satellite/impl/SatellitePackageImpl.java b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/satellite/impl/SatellitePackageImpl.java new file mode 100644 index 00000000..f6dc1e30 --- /dev/null +++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/satellite/impl/SatellitePackageImpl.java | |||
@@ -0,0 +1,574 @@ | |||
1 | /** | ||
2 | */ | ||
3 | package satellite.impl; | ||
4 | |||
5 | import org.eclipse.emf.ecore.EClass; | ||
6 | import org.eclipse.emf.ecore.EPackage; | ||
7 | import org.eclipse.emf.ecore.EReference; | ||
8 | |||
9 | import org.eclipse.emf.ecore.impl.EPackageImpl; | ||
10 | import satellite.CommSubsystem; | ||
11 | import satellite.CommunicatingElement; | ||
12 | import satellite.ConstellationMission; | ||
13 | import satellite.CubeSat; | ||
14 | import satellite.CubeSat3U; | ||
15 | import satellite.CubeSat6U; | ||
16 | import satellite.GroundStationNetwork; | ||
17 | import satellite.InterferometryMission; | ||
18 | import satellite.InterferometryPayload; | ||
19 | import satellite.KaCommSubsystem; | ||
20 | import satellite.Payload; | ||
21 | import satellite.SatelliteFactory; | ||
22 | import satellite.SatellitePackage; | ||
23 | import satellite.SmallSat; | ||
24 | import satellite.Spacecraft; | ||
25 | import satellite.UHFCommSubsystem; | ||
26 | import satellite.XCommSubsystem; | ||
27 | |||
28 | /** | ||
29 | * <!-- begin-user-doc --> | ||
30 | * An implementation of the model <b>Package</b>. | ||
31 | * <!-- end-user-doc --> | ||
32 | * @generated | ||
33 | */ | ||
34 | public class SatellitePackageImpl extends EPackageImpl implements SatellitePackage { | ||
35 | /** | ||
36 | * <!-- begin-user-doc --> | ||
37 | * <!-- end-user-doc --> | ||
38 | * @generated | ||
39 | */ | ||
40 | private EClass constellationMissionEClass = null; | ||
41 | |||
42 | /** | ||
43 | * <!-- begin-user-doc --> | ||
44 | * <!-- end-user-doc --> | ||
45 | * @generated | ||
46 | */ | ||
47 | private EClass interferometryMissionEClass = null; | ||
48 | |||
49 | /** | ||
50 | * <!-- begin-user-doc --> | ||
51 | * <!-- end-user-doc --> | ||
52 | * @generated | ||
53 | */ | ||
54 | private EClass communicatingElementEClass = null; | ||
55 | |||
56 | /** | ||
57 | * <!-- begin-user-doc --> | ||
58 | * <!-- end-user-doc --> | ||
59 | * @generated | ||
60 | */ | ||
61 | private EClass groundStationNetworkEClass = null; | ||
62 | |||
63 | /** | ||
64 | * <!-- begin-user-doc --> | ||
65 | * <!-- end-user-doc --> | ||
66 | * @generated | ||
67 | */ | ||
68 | private EClass spacecraftEClass = null; | ||
69 | |||
70 | /** | ||
71 | * <!-- begin-user-doc --> | ||
72 | * <!-- end-user-doc --> | ||
73 | * @generated | ||
74 | */ | ||
75 | private EClass commSubsystemEClass = null; | ||
76 | |||
77 | /** | ||
78 | * <!-- begin-user-doc --> | ||
79 | * <!-- end-user-doc --> | ||
80 | * @generated | ||
81 | */ | ||
82 | private EClass payloadEClass = null; | ||
83 | |||
84 | /** | ||
85 | * <!-- begin-user-doc --> | ||
86 | * <!-- end-user-doc --> | ||
87 | * @generated | ||
88 | */ | ||
89 | private EClass interferometryPayloadEClass = null; | ||
90 | |||
91 | /** | ||
92 | * <!-- begin-user-doc --> | ||
93 | * <!-- end-user-doc --> | ||
94 | * @generated | ||
95 | */ | ||
96 | private EClass cubeSat3UEClass = null; | ||
97 | |||
98 | /** | ||
99 | * <!-- begin-user-doc --> | ||
100 | * <!-- end-user-doc --> | ||
101 | * @generated | ||
102 | */ | ||
103 | private EClass cubeSat6UEClass = null; | ||
104 | |||
105 | /** | ||
106 | * <!-- begin-user-doc --> | ||
107 | * <!-- end-user-doc --> | ||
108 | * @generated | ||
109 | */ | ||
110 | private EClass smallSatEClass = null; | ||
111 | |||
112 | /** | ||
113 | * <!-- begin-user-doc --> | ||
114 | * <!-- end-user-doc --> | ||
115 | * @generated | ||
116 | */ | ||
117 | private EClass cubeSatEClass = null; | ||
118 | |||
119 | /** | ||
120 | * <!-- begin-user-doc --> | ||
121 | * <!-- end-user-doc --> | ||
122 | * @generated | ||
123 | */ | ||
124 | private EClass uhfCommSubsystemEClass = null; | ||
125 | |||
126 | /** | ||
127 | * <!-- begin-user-doc --> | ||
128 | * <!-- end-user-doc --> | ||
129 | * @generated | ||
130 | */ | ||
131 | private EClass xCommSubsystemEClass = null; | ||
132 | |||
133 | /** | ||
134 | * <!-- begin-user-doc --> | ||
135 | * <!-- end-user-doc --> | ||
136 | * @generated | ||
137 | */ | ||
138 | private EClass kaCommSubsystemEClass = null; | ||
139 | |||
140 | /** | ||
141 | * Creates an instance of the model <b>Package</b>, registered with | ||
142 | * {@link org.eclipse.emf.ecore.EPackage.Registry EPackage.Registry} by the package | ||
143 | * package URI value. | ||
144 | * <p>Note: the correct way to create the package is via the static | ||
145 | * factory method {@link #init init()}, which also performs | ||
146 | * initialization of the package, or returns the registered package, | ||
147 | * if one already exists. | ||
148 | * <!-- begin-user-doc --> | ||
149 | * <!-- end-user-doc --> | ||
150 | * @see org.eclipse.emf.ecore.EPackage.Registry | ||
151 | * @see satellite.SatellitePackage#eNS_URI | ||
152 | * @see #init() | ||
153 | * @generated | ||
154 | */ | ||
155 | private SatellitePackageImpl() { | ||
156 | super(eNS_URI, SatelliteFactory.eINSTANCE); | ||
157 | } | ||
158 | |||
159 | /** | ||
160 | * <!-- begin-user-doc --> | ||
161 | * <!-- end-user-doc --> | ||
162 | * @generated | ||
163 | */ | ||
164 | private static boolean isInited = false; | ||
165 | |||
166 | /** | ||
167 | * Creates, registers, and initializes the <b>Package</b> for this model, and for any others upon which it depends. | ||
168 | * | ||
169 | * <p>This method is used to initialize {@link SatellitePackage#eINSTANCE} when that field is accessed. | ||
170 | * Clients should not invoke it directly. Instead, they should simply access that field to obtain the package. | ||
171 | * <!-- begin-user-doc --> | ||
172 | * <!-- end-user-doc --> | ||
173 | * @see #eNS_URI | ||
174 | * @see #createPackageContents() | ||
175 | * @see #initializePackageContents() | ||
176 | * @generated | ||
177 | */ | ||
178 | public static SatellitePackage init() { | ||
179 | if (isInited) | ||
180 | return (SatellitePackage) EPackage.Registry.INSTANCE.getEPackage(SatellitePackage.eNS_URI); | ||
181 | |||
182 | // Obtain or create and register package | ||
183 | Object registeredSatellitePackage = EPackage.Registry.INSTANCE.get(eNS_URI); | ||
184 | SatellitePackageImpl theSatellitePackage = registeredSatellitePackage instanceof SatellitePackageImpl | ||
185 | ? (SatellitePackageImpl) registeredSatellitePackage | ||
186 | : new SatellitePackageImpl(); | ||
187 | |||
188 | isInited = true; | ||
189 | |||
190 | // Create package meta-data objects | ||
191 | theSatellitePackage.createPackageContents(); | ||
192 | |||
193 | // Initialize created meta-data | ||
194 | theSatellitePackage.initializePackageContents(); | ||
195 | |||
196 | // Mark meta-data to indicate it can't be changed | ||
197 | theSatellitePackage.freeze(); | ||
198 | |||
199 | // Update the registry and return the package | ||
200 | EPackage.Registry.INSTANCE.put(SatellitePackage.eNS_URI, theSatellitePackage); | ||
201 | return theSatellitePackage; | ||
202 | } | ||
203 | |||
204 | /** | ||
205 | * <!-- begin-user-doc --> | ||
206 | * <!-- end-user-doc --> | ||
207 | * @generated | ||
208 | */ | ||
209 | @Override | ||
210 | public EClass getConstellationMission() { | ||
211 | return constellationMissionEClass; | ||
212 | } | ||
213 | |||
214 | /** | ||
215 | * <!-- begin-user-doc --> | ||
216 | * <!-- end-user-doc --> | ||
217 | * @generated | ||
218 | */ | ||
219 | @Override | ||
220 | public EReference getConstellationMission_GroundStationNetwork() { | ||
221 | return (EReference) constellationMissionEClass.getEStructuralFeatures().get(0); | ||
222 | } | ||
223 | |||
224 | /** | ||
225 | * <!-- begin-user-doc --> | ||
226 | * <!-- end-user-doc --> | ||
227 | * @generated | ||
228 | */ | ||
229 | @Override | ||
230 | public EReference getConstellationMission_Spacecraft() { | ||
231 | return (EReference) constellationMissionEClass.getEStructuralFeatures().get(1); | ||
232 | } | ||
233 | |||
234 | /** | ||
235 | * <!-- begin-user-doc --> | ||
236 | * <!-- end-user-doc --> | ||
237 | * @generated | ||
238 | */ | ||
239 | @Override | ||
240 | public EClass getInterferometryMission() { | ||
241 | return interferometryMissionEClass; | ||
242 | } | ||
243 | |||
244 | /** | ||
245 | * <!-- begin-user-doc --> | ||
246 | * <!-- end-user-doc --> | ||
247 | * @generated | ||
248 | */ | ||
249 | @Override | ||
250 | public EClass getCommunicatingElement() { | ||
251 | return communicatingElementEClass; | ||
252 | } | ||
253 | |||
254 | /** | ||
255 | * <!-- begin-user-doc --> | ||
256 | * <!-- end-user-doc --> | ||
257 | * @generated | ||
258 | */ | ||
259 | @Override | ||
260 | public EReference getCommunicatingElement_CommSubsystem() { | ||
261 | return (EReference) communicatingElementEClass.getEStructuralFeatures().get(0); | ||
262 | } | ||
263 | |||
264 | /** | ||
265 | * <!-- begin-user-doc --> | ||
266 | * <!-- end-user-doc --> | ||
267 | * @generated | ||
268 | */ | ||
269 | @Override | ||
270 | public EClass getGroundStationNetwork() { | ||
271 | return groundStationNetworkEClass; | ||
272 | } | ||
273 | |||
274 | /** | ||
275 | * <!-- begin-user-doc --> | ||
276 | * <!-- end-user-doc --> | ||
277 | * @generated | ||
278 | */ | ||
279 | @Override | ||
280 | public EClass getSpacecraft() { | ||
281 | return spacecraftEClass; | ||
282 | } | ||
283 | |||
284 | /** | ||
285 | * <!-- begin-user-doc --> | ||
286 | * <!-- end-user-doc --> | ||
287 | * @generated | ||
288 | */ | ||
289 | @Override | ||
290 | public EReference getSpacecraft_Payload() { | ||
291 | return (EReference) spacecraftEClass.getEStructuralFeatures().get(0); | ||
292 | } | ||
293 | |||
294 | /** | ||
295 | * <!-- begin-user-doc --> | ||
296 | * <!-- end-user-doc --> | ||
297 | * @generated | ||
298 | */ | ||
299 | @Override | ||
300 | public EClass getCommSubsystem() { | ||
301 | return commSubsystemEClass; | ||
302 | } | ||
303 | |||
304 | /** | ||
305 | * <!-- begin-user-doc --> | ||
306 | * <!-- end-user-doc --> | ||
307 | * @generated | ||
308 | */ | ||
309 | @Override | ||
310 | public EReference getCommSubsystem_Target() { | ||
311 | return (EReference) commSubsystemEClass.getEStructuralFeatures().get(0); | ||
312 | } | ||
313 | |||
314 | /** | ||
315 | * <!-- begin-user-doc --> | ||
316 | * <!-- end-user-doc --> | ||
317 | * @generated | ||
318 | */ | ||
319 | @Override | ||
320 | public EClass getPayload() { | ||
321 | return payloadEClass; | ||
322 | } | ||
323 | |||
324 | /** | ||
325 | * <!-- begin-user-doc --> | ||
326 | * <!-- end-user-doc --> | ||
327 | * @generated | ||
328 | */ | ||
329 | @Override | ||
330 | public EClass getInterferometryPayload() { | ||
331 | return interferometryPayloadEClass; | ||
332 | } | ||
333 | |||
334 | /** | ||
335 | * <!-- begin-user-doc --> | ||
336 | * <!-- end-user-doc --> | ||
337 | * @generated | ||
338 | */ | ||
339 | @Override | ||
340 | public EClass getCubeSat3U() { | ||
341 | return cubeSat3UEClass; | ||
342 | } | ||
343 | |||
344 | /** | ||
345 | * <!-- begin-user-doc --> | ||
346 | * <!-- end-user-doc --> | ||
347 | * @generated | ||
348 | */ | ||
349 | @Override | ||
350 | public EClass getCubeSat6U() { | ||
351 | return cubeSat6UEClass; | ||
352 | } | ||
353 | |||
354 | /** | ||
355 | * <!-- begin-user-doc --> | ||
356 | * <!-- end-user-doc --> | ||
357 | * @generated | ||
358 | */ | ||
359 | @Override | ||
360 | public EClass getSmallSat() { | ||
361 | return smallSatEClass; | ||
362 | } | ||
363 | |||
364 | /** | ||
365 | * <!-- begin-user-doc --> | ||
366 | * <!-- end-user-doc --> | ||
367 | * @generated | ||
368 | */ | ||
369 | @Override | ||
370 | public EClass getCubeSat() { | ||
371 | return cubeSatEClass; | ||
372 | } | ||
373 | |||
374 | /** | ||
375 | * <!-- begin-user-doc --> | ||
376 | * <!-- end-user-doc --> | ||
377 | * @generated | ||
378 | */ | ||
379 | @Override | ||
380 | public EClass getUHFCommSubsystem() { | ||
381 | return uhfCommSubsystemEClass; | ||
382 | } | ||
383 | |||
384 | /** | ||
385 | * <!-- begin-user-doc --> | ||
386 | * <!-- end-user-doc --> | ||
387 | * @generated | ||
388 | */ | ||
389 | @Override | ||
390 | public EClass getXCommSubsystem() { | ||
391 | return xCommSubsystemEClass; | ||
392 | } | ||
393 | |||
394 | /** | ||
395 | * <!-- begin-user-doc --> | ||
396 | * <!-- end-user-doc --> | ||
397 | * @generated | ||
398 | */ | ||
399 | @Override | ||
400 | public EClass getKaCommSubsystem() { | ||
401 | return kaCommSubsystemEClass; | ||
402 | } | ||
403 | |||
404 | /** | ||
405 | * <!-- begin-user-doc --> | ||
406 | * <!-- end-user-doc --> | ||
407 | * @generated | ||
408 | */ | ||
409 | @Override | ||
410 | public SatelliteFactory getSatelliteFactory() { | ||
411 | return (SatelliteFactory) getEFactoryInstance(); | ||
412 | } | ||
413 | |||
414 | /** | ||
415 | * <!-- begin-user-doc --> | ||
416 | * <!-- end-user-doc --> | ||
417 | * @generated | ||
418 | */ | ||
419 | private boolean isCreated = false; | ||
420 | |||
421 | /** | ||
422 | * Creates the meta-model objects for the package. This method is | ||
423 | * guarded to have no affect on any invocation but its first. | ||
424 | * <!-- begin-user-doc --> | ||
425 | * <!-- end-user-doc --> | ||
426 | * @generated | ||
427 | */ | ||
428 | public void createPackageContents() { | ||
429 | if (isCreated) | ||
430 | return; | ||
431 | isCreated = true; | ||
432 | |||
433 | // Create classes and their features | ||
434 | constellationMissionEClass = createEClass(CONSTELLATION_MISSION); | ||
435 | createEReference(constellationMissionEClass, CONSTELLATION_MISSION__GROUND_STATION_NETWORK); | ||
436 | createEReference(constellationMissionEClass, CONSTELLATION_MISSION__SPACECRAFT); | ||
437 | |||
438 | interferometryMissionEClass = createEClass(INTERFEROMETRY_MISSION); | ||
439 | |||
440 | communicatingElementEClass = createEClass(COMMUNICATING_ELEMENT); | ||
441 | createEReference(communicatingElementEClass, COMMUNICATING_ELEMENT__COMM_SUBSYSTEM); | ||
442 | |||
443 | groundStationNetworkEClass = createEClass(GROUND_STATION_NETWORK); | ||
444 | |||
445 | spacecraftEClass = createEClass(SPACECRAFT); | ||
446 | createEReference(spacecraftEClass, SPACECRAFT__PAYLOAD); | ||
447 | |||
448 | commSubsystemEClass = createEClass(COMM_SUBSYSTEM); | ||
449 | createEReference(commSubsystemEClass, COMM_SUBSYSTEM__TARGET); | ||
450 | |||
451 | payloadEClass = createEClass(PAYLOAD); | ||
452 | |||
453 | interferometryPayloadEClass = createEClass(INTERFEROMETRY_PAYLOAD); | ||
454 | |||
455 | cubeSat3UEClass = createEClass(CUBE_SAT3_U); | ||
456 | |||
457 | cubeSat6UEClass = createEClass(CUBE_SAT6_U); | ||
458 | |||
459 | smallSatEClass = createEClass(SMALL_SAT); | ||
460 | |||
461 | cubeSatEClass = createEClass(CUBE_SAT); | ||
462 | |||
463 | uhfCommSubsystemEClass = createEClass(UHF_COMM_SUBSYSTEM); | ||
464 | |||
465 | xCommSubsystemEClass = createEClass(XCOMM_SUBSYSTEM); | ||
466 | |||
467 | kaCommSubsystemEClass = createEClass(KA_COMM_SUBSYSTEM); | ||
468 | } | ||
469 | |||
470 | /** | ||
471 | * <!-- begin-user-doc --> | ||
472 | * <!-- end-user-doc --> | ||
473 | * @generated | ||
474 | */ | ||
475 | private boolean isInitialized = false; | ||
476 | |||
477 | /** | ||
478 | * Complete the initialization of the package and its meta-model. This | ||
479 | * method is guarded to have no affect on any invocation but its first. | ||
480 | * <!-- begin-user-doc --> | ||
481 | * <!-- end-user-doc --> | ||
482 | * @generated | ||
483 | */ | ||
484 | public void initializePackageContents() { | ||
485 | if (isInitialized) | ||
486 | return; | ||
487 | isInitialized = true; | ||
488 | |||
489 | // Initialize package | ||
490 | setName(eNAME); | ||
491 | setNsPrefix(eNS_PREFIX); | ||
492 | setNsURI(eNS_URI); | ||
493 | |||
494 | // Create type parameters | ||
495 | |||
496 | // Set bounds for type parameters | ||
497 | |||
498 | // Add supertypes to classes | ||
499 | interferometryMissionEClass.getESuperTypes().add(this.getConstellationMission()); | ||
500 | groundStationNetworkEClass.getESuperTypes().add(this.getCommunicatingElement()); | ||
501 | spacecraftEClass.getESuperTypes().add(this.getCommunicatingElement()); | ||
502 | interferometryPayloadEClass.getESuperTypes().add(this.getPayload()); | ||
503 | cubeSat3UEClass.getESuperTypes().add(this.getCubeSat()); | ||
504 | cubeSat6UEClass.getESuperTypes().add(this.getCubeSat()); | ||
505 | smallSatEClass.getESuperTypes().add(this.getSpacecraft()); | ||
506 | cubeSatEClass.getESuperTypes().add(this.getSpacecraft()); | ||
507 | uhfCommSubsystemEClass.getESuperTypes().add(this.getCommSubsystem()); | ||
508 | xCommSubsystemEClass.getESuperTypes().add(this.getCommSubsystem()); | ||
509 | kaCommSubsystemEClass.getESuperTypes().add(this.getCommSubsystem()); | ||
510 | |||
511 | // Initialize classes, features, and operations; add parameters | ||
512 | initEClass(constellationMissionEClass, ConstellationMission.class, "ConstellationMission", IS_ABSTRACT, | ||
513 | !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
514 | initEReference(getConstellationMission_GroundStationNetwork(), this.getGroundStationNetwork(), null, | ||
515 | "groundStationNetwork", null, 1, 1, ConstellationMission.class, !IS_TRANSIENT, !IS_VOLATILE, | ||
516 | IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
517 | initEReference(getConstellationMission_Spacecraft(), this.getSpacecraft(), null, "spacecraft", null, 2, -1, | ||
518 | ConstellationMission.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, | ||
519 | !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
520 | |||
521 | initEClass(interferometryMissionEClass, InterferometryMission.class, "InterferometryMission", !IS_ABSTRACT, | ||
522 | !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
523 | |||
524 | initEClass(communicatingElementEClass, CommunicatingElement.class, "CommunicatingElement", IS_ABSTRACT, | ||
525 | !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
526 | initEReference(getCommunicatingElement_CommSubsystem(), this.getCommSubsystem(), null, "commSubsystem", null, 1, | ||
527 | 2, CommunicatingElement.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, | ||
528 | !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
529 | |||
530 | initEClass(groundStationNetworkEClass, GroundStationNetwork.class, "GroundStationNetwork", !IS_ABSTRACT, | ||
531 | !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
532 | |||
533 | initEClass(spacecraftEClass, Spacecraft.class, "Spacecraft", IS_ABSTRACT, !IS_INTERFACE, | ||
534 | IS_GENERATED_INSTANCE_CLASS); | ||
535 | initEReference(getSpacecraft_Payload(), this.getPayload(), null, "payload", null, 0, 1, Spacecraft.class, | ||
536 | !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, | ||
537 | IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
538 | |||
539 | initEClass(commSubsystemEClass, CommSubsystem.class, "CommSubsystem", IS_ABSTRACT, !IS_INTERFACE, | ||
540 | IS_GENERATED_INSTANCE_CLASS); | ||
541 | initEReference(getCommSubsystem_Target(), this.getCommSubsystem(), null, "target", null, 0, 1, | ||
542 | CommSubsystem.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE, IS_RESOLVE_PROXIES, | ||
543 | !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
544 | |||
545 | initEClass(payloadEClass, Payload.class, "Payload", IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
546 | |||
547 | initEClass(interferometryPayloadEClass, InterferometryPayload.class, "InterferometryPayload", !IS_ABSTRACT, | ||
548 | !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
549 | |||
550 | initEClass(cubeSat3UEClass, CubeSat3U.class, "CubeSat3U", !IS_ABSTRACT, !IS_INTERFACE, | ||
551 | IS_GENERATED_INSTANCE_CLASS); | ||
552 | |||
553 | initEClass(cubeSat6UEClass, CubeSat6U.class, "CubeSat6U", !IS_ABSTRACT, !IS_INTERFACE, | ||
554 | IS_GENERATED_INSTANCE_CLASS); | ||
555 | |||
556 | initEClass(smallSatEClass, SmallSat.class, "SmallSat", !IS_ABSTRACT, !IS_INTERFACE, | ||
557 | IS_GENERATED_INSTANCE_CLASS); | ||
558 | |||
559 | initEClass(cubeSatEClass, CubeSat.class, "CubeSat", IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
560 | |||
561 | initEClass(uhfCommSubsystemEClass, UHFCommSubsystem.class, "UHFCommSubsystem", !IS_ABSTRACT, !IS_INTERFACE, | ||
562 | IS_GENERATED_INSTANCE_CLASS); | ||
563 | |||
564 | initEClass(xCommSubsystemEClass, XCommSubsystem.class, "XCommSubsystem", !IS_ABSTRACT, !IS_INTERFACE, | ||
565 | IS_GENERATED_INSTANCE_CLASS); | ||
566 | |||
567 | initEClass(kaCommSubsystemEClass, KaCommSubsystem.class, "KaCommSubsystem", !IS_ABSTRACT, !IS_INTERFACE, | ||
568 | IS_GENERATED_INSTANCE_CLASS); | ||
569 | |||
570 | // Create resource | ||
571 | createResource(eNS_URI); | ||
572 | } | ||
573 | |||
574 | } //SatellitePackageImpl | ||
diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/satellite/impl/SmallSatImpl.java b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/satellite/impl/SmallSatImpl.java new file mode 100644 index 00000000..1785dbf3 --- /dev/null +++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/satellite/impl/SmallSatImpl.java | |||
@@ -0,0 +1,37 @@ | |||
1 | /** | ||
2 | */ | ||
3 | package satellite.impl; | ||
4 | |||
5 | import org.eclipse.emf.ecore.EClass; | ||
6 | |||
7 | import satellite.SatellitePackage; | ||
8 | import satellite.SmallSat; | ||
9 | |||
10 | /** | ||
11 | * <!-- begin-user-doc --> | ||
12 | * An implementation of the model object '<em><b>Small Sat</b></em>'. | ||
13 | * <!-- end-user-doc --> | ||
14 | * | ||
15 | * @generated | ||
16 | */ | ||
17 | public class SmallSatImpl extends SpacecraftImpl implements SmallSat { | ||
18 | /** | ||
19 | * <!-- begin-user-doc --> | ||
20 | * <!-- end-user-doc --> | ||
21 | * @generated | ||
22 | */ | ||
23 | protected SmallSatImpl() { | ||
24 | super(); | ||
25 | } | ||
26 | |||
27 | /** | ||
28 | * <!-- begin-user-doc --> | ||
29 | * <!-- end-user-doc --> | ||
30 | * @generated | ||
31 | */ | ||
32 | @Override | ||
33 | protected EClass eStaticClass() { | ||
34 | return SatellitePackage.Literals.SMALL_SAT; | ||
35 | } | ||
36 | |||
37 | } //SmallSatImpl | ||
diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/satellite/impl/SpacecraftImpl.java b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/satellite/impl/SpacecraftImpl.java new file mode 100644 index 00000000..58f5d069 --- /dev/null +++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/satellite/impl/SpacecraftImpl.java | |||
@@ -0,0 +1,184 @@ | |||
1 | /** | ||
2 | */ | ||
3 | package satellite.impl; | ||
4 | |||
5 | import org.eclipse.emf.common.notify.Notification; | ||
6 | import org.eclipse.emf.common.notify.NotificationChain; | ||
7 | |||
8 | import org.eclipse.emf.ecore.EClass; | ||
9 | import org.eclipse.emf.ecore.InternalEObject; | ||
10 | |||
11 | import org.eclipse.emf.ecore.impl.ENotificationImpl; | ||
12 | |||
13 | import satellite.Payload; | ||
14 | import satellite.SatellitePackage; | ||
15 | import satellite.Spacecraft; | ||
16 | |||
17 | /** | ||
18 | * <!-- begin-user-doc --> | ||
19 | * An implementation of the model object '<em><b>Spacecraft</b></em>'. | ||
20 | * <!-- end-user-doc --> | ||
21 | * <p> | ||
22 | * The following features are implemented: | ||
23 | * </p> | ||
24 | * <ul> | ||
25 | * <li>{@link satellite.impl.SpacecraftImpl#getPayload <em>Payload</em>}</li> | ||
26 | * </ul> | ||
27 | * | ||
28 | * @generated | ||
29 | */ | ||
30 | public abstract class SpacecraftImpl extends CommunicatingElementImpl implements Spacecraft { | ||
31 | /** | ||
32 | * The cached value of the '{@link #getPayload() <em>Payload</em>}' containment reference. | ||
33 | * <!-- begin-user-doc --> | ||
34 | * <!-- end-user-doc --> | ||
35 | * @see #getPayload() | ||
36 | * @generated | ||
37 | * @ordered | ||
38 | */ | ||
39 | protected Payload payload; | ||
40 | |||
41 | /** | ||
42 | * <!-- begin-user-doc --> | ||
43 | * <!-- end-user-doc --> | ||
44 | * @generated | ||
45 | */ | ||
46 | protected SpacecraftImpl() { | ||
47 | super(); | ||
48 | } | ||
49 | |||
50 | /** | ||
51 | * <!-- begin-user-doc --> | ||
52 | * <!-- end-user-doc --> | ||
53 | * @generated | ||
54 | */ | ||
55 | @Override | ||
56 | protected EClass eStaticClass() { | ||
57 | return SatellitePackage.Literals.SPACECRAFT; | ||
58 | } | ||
59 | |||
60 | /** | ||
61 | * <!-- begin-user-doc --> | ||
62 | * <!-- end-user-doc --> | ||
63 | * @generated | ||
64 | */ | ||
65 | @Override | ||
66 | public Payload getPayload() { | ||
67 | return payload; | ||
68 | } | ||
69 | |||
70 | /** | ||
71 | * <!-- begin-user-doc --> | ||
72 | * <!-- end-user-doc --> | ||
73 | * @generated | ||
74 | */ | ||
75 | public NotificationChain basicSetPayload(Payload newPayload, NotificationChain msgs) { | ||
76 | Payload oldPayload = payload; | ||
77 | payload = newPayload; | ||
78 | if (eNotificationRequired()) { | ||
79 | ENotificationImpl notification = new ENotificationImpl(this, Notification.SET, | ||
80 | SatellitePackage.SPACECRAFT__PAYLOAD, oldPayload, newPayload); | ||
81 | if (msgs == null) | ||
82 | msgs = notification; | ||
83 | else | ||
84 | msgs.add(notification); | ||
85 | } | ||
86 | return msgs; | ||
87 | } | ||
88 | |||
89 | /** | ||
90 | * <!-- begin-user-doc --> | ||
91 | * <!-- end-user-doc --> | ||
92 | * @generated | ||
93 | */ | ||
94 | @Override | ||
95 | public void setPayload(Payload newPayload) { | ||
96 | if (newPayload != payload) { | ||
97 | NotificationChain msgs = null; | ||
98 | if (payload != null) | ||
99 | msgs = ((InternalEObject) payload).eInverseRemove(this, | ||
100 | EOPPOSITE_FEATURE_BASE - SatellitePackage.SPACECRAFT__PAYLOAD, null, msgs); | ||
101 | if (newPayload != null) | ||
102 | msgs = ((InternalEObject) newPayload).eInverseAdd(this, | ||
103 | EOPPOSITE_FEATURE_BASE - SatellitePackage.SPACECRAFT__PAYLOAD, null, msgs); | ||
104 | msgs = basicSetPayload(newPayload, msgs); | ||
105 | if (msgs != null) | ||
106 | msgs.dispatch(); | ||
107 | } else if (eNotificationRequired()) | ||
108 | eNotify(new ENotificationImpl(this, Notification.SET, SatellitePackage.SPACECRAFT__PAYLOAD, newPayload, | ||
109 | newPayload)); | ||
110 | } | ||
111 | |||
112 | /** | ||
113 | * <!-- begin-user-doc --> | ||
114 | * <!-- end-user-doc --> | ||
115 | * @generated | ||
116 | */ | ||
117 | @Override | ||
118 | public NotificationChain eInverseRemove(InternalEObject otherEnd, int featureID, NotificationChain msgs) { | ||
119 | switch (featureID) { | ||
120 | case SatellitePackage.SPACECRAFT__PAYLOAD: | ||
121 | return basicSetPayload(null, msgs); | ||
122 | } | ||
123 | return super.eInverseRemove(otherEnd, featureID, msgs); | ||
124 | } | ||
125 | |||
126 | /** | ||
127 | * <!-- begin-user-doc --> | ||
128 | * <!-- end-user-doc --> | ||
129 | * @generated | ||
130 | */ | ||
131 | @Override | ||
132 | public Object eGet(int featureID, boolean resolve, boolean coreType) { | ||
133 | switch (featureID) { | ||
134 | case SatellitePackage.SPACECRAFT__PAYLOAD: | ||
135 | return getPayload(); | ||
136 | } | ||
137 | return super.eGet(featureID, resolve, coreType); | ||
138 | } | ||
139 | |||
140 | /** | ||
141 | * <!-- begin-user-doc --> | ||
142 | * <!-- end-user-doc --> | ||
143 | * @generated | ||
144 | */ | ||
145 | @Override | ||
146 | public void eSet(int featureID, Object newValue) { | ||
147 | switch (featureID) { | ||
148 | case SatellitePackage.SPACECRAFT__PAYLOAD: | ||
149 | setPayload((Payload) newValue); | ||
150 | return; | ||
151 | } | ||
152 | super.eSet(featureID, newValue); | ||
153 | } | ||
154 | |||
155 | /** | ||
156 | * <!-- begin-user-doc --> | ||
157 | * <!-- end-user-doc --> | ||
158 | * @generated | ||
159 | */ | ||
160 | @Override | ||
161 | public void eUnset(int featureID) { | ||
162 | switch (featureID) { | ||
163 | case SatellitePackage.SPACECRAFT__PAYLOAD: | ||
164 | setPayload((Payload) null); | ||
165 | return; | ||
166 | } | ||
167 | super.eUnset(featureID); | ||
168 | } | ||
169 | |||
170 | /** | ||
171 | * <!-- begin-user-doc --> | ||
172 | * <!-- end-user-doc --> | ||
173 | * @generated | ||
174 | */ | ||
175 | @Override | ||
176 | public boolean eIsSet(int featureID) { | ||
177 | switch (featureID) { | ||
178 | case SatellitePackage.SPACECRAFT__PAYLOAD: | ||
179 | return payload != null; | ||
180 | } | ||
181 | return super.eIsSet(featureID); | ||
182 | } | ||
183 | |||
184 | } //SpacecraftImpl | ||
diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/satellite/impl/UHFCommSubsystemImpl.java b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/satellite/impl/UHFCommSubsystemImpl.java new file mode 100644 index 00000000..df21b9e1 --- /dev/null +++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/satellite/impl/UHFCommSubsystemImpl.java | |||
@@ -0,0 +1,37 @@ | |||
1 | /** | ||
2 | */ | ||
3 | package satellite.impl; | ||
4 | |||
5 | import org.eclipse.emf.ecore.EClass; | ||
6 | |||
7 | import satellite.SatellitePackage; | ||
8 | import satellite.UHFCommSubsystem; | ||
9 | |||
10 | /** | ||
11 | * <!-- begin-user-doc --> | ||
12 | * An implementation of the model object '<em><b>UHF Comm Subsystem</b></em>'. | ||
13 | * <!-- end-user-doc --> | ||
14 | * | ||
15 | * @generated | ||
16 | */ | ||
17 | public class UHFCommSubsystemImpl extends CommSubsystemImpl implements UHFCommSubsystem { | ||
18 | /** | ||
19 | * <!-- begin-user-doc --> | ||
20 | * <!-- end-user-doc --> | ||
21 | * @generated | ||
22 | */ | ||
23 | protected UHFCommSubsystemImpl() { | ||
24 | super(); | ||
25 | } | ||
26 | |||
27 | /** | ||
28 | * <!-- begin-user-doc --> | ||
29 | * <!-- end-user-doc --> | ||
30 | * @generated | ||
31 | */ | ||
32 | @Override | ||
33 | protected EClass eStaticClass() { | ||
34 | return SatellitePackage.Literals.UHF_COMM_SUBSYSTEM; | ||
35 | } | ||
36 | |||
37 | } //UHFCommSubsystemImpl | ||
diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/satellite/impl/XCommSubsystemImpl.java b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/satellite/impl/XCommSubsystemImpl.java new file mode 100644 index 00000000..c686a50e --- /dev/null +++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/satellite/impl/XCommSubsystemImpl.java | |||
@@ -0,0 +1,37 @@ | |||
1 | /** | ||
2 | */ | ||
3 | package satellite.impl; | ||
4 | |||
5 | import org.eclipse.emf.ecore.EClass; | ||
6 | |||
7 | import satellite.SatellitePackage; | ||
8 | import satellite.XCommSubsystem; | ||
9 | |||
10 | /** | ||
11 | * <!-- begin-user-doc --> | ||
12 | * An implementation of the model object '<em><b>XComm Subsystem</b></em>'. | ||
13 | * <!-- end-user-doc --> | ||
14 | * | ||
15 | * @generated | ||
16 | */ | ||
17 | public class XCommSubsystemImpl extends CommSubsystemImpl implements XCommSubsystem { | ||
18 | /** | ||
19 | * <!-- begin-user-doc --> | ||
20 | * <!-- end-user-doc --> | ||
21 | * @generated | ||
22 | */ | ||
23 | protected XCommSubsystemImpl() { | ||
24 | super(); | ||
25 | } | ||
26 | |||
27 | /** | ||
28 | * <!-- begin-user-doc --> | ||
29 | * <!-- end-user-doc --> | ||
30 | * @generated | ||
31 | */ | ||
32 | @Override | ||
33 | protected EClass eStaticClass() { | ||
34 | return SatellitePackage.Literals.XCOMM_SUBSYSTEM; | ||
35 | } | ||
36 | |||
37 | } //XCommSubsystemImpl | ||
diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/satellite/util/SatelliteAdapterFactory.java b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/satellite/util/SatelliteAdapterFactory.java new file mode 100644 index 00000000..175f474f --- /dev/null +++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/satellite/util/SatelliteAdapterFactory.java | |||
@@ -0,0 +1,385 @@ | |||
1 | /** | ||
2 | */ | ||
3 | package satellite.util; | ||
4 | |||
5 | import org.eclipse.emf.common.notify.Adapter; | ||
6 | import org.eclipse.emf.common.notify.Notifier; | ||
7 | |||
8 | import org.eclipse.emf.common.notify.impl.AdapterFactoryImpl; | ||
9 | |||
10 | import org.eclipse.emf.ecore.EObject; | ||
11 | |||
12 | import satellite.*; | ||
13 | |||
14 | /** | ||
15 | * <!-- begin-user-doc --> | ||
16 | * The <b>Adapter Factory</b> for the model. | ||
17 | * It provides an adapter <code>createXXX</code> method for each class of the model. | ||
18 | * <!-- end-user-doc --> | ||
19 | * @see satellite.SatellitePackage | ||
20 | * @generated | ||
21 | */ | ||
22 | public class SatelliteAdapterFactory extends AdapterFactoryImpl { | ||
23 | /** | ||
24 | * The cached model package. | ||
25 | * <!-- begin-user-doc --> | ||
26 | * <!-- end-user-doc --> | ||
27 | * @generated | ||
28 | */ | ||
29 | protected static SatellitePackage modelPackage; | ||
30 | |||
31 | /** | ||
32 | * Creates an instance of the adapter factory. | ||
33 | * <!-- begin-user-doc --> | ||
34 | * <!-- end-user-doc --> | ||
35 | * @generated | ||
36 | */ | ||
37 | public SatelliteAdapterFactory() { | ||
38 | if (modelPackage == null) { | ||
39 | modelPackage = SatellitePackage.eINSTANCE; | ||
40 | } | ||
41 | } | ||
42 | |||
43 | /** | ||
44 | * Returns whether this factory is applicable for the type of the object. | ||
45 | * <!-- begin-user-doc --> | ||
46 | * This implementation returns <code>true</code> if the object is either the model's package or is an instance object of the model. | ||
47 | * <!-- end-user-doc --> | ||
48 | * @return whether this factory is applicable for the type of the object. | ||
49 | * @generated | ||
50 | */ | ||
51 | @Override | ||
52 | public boolean isFactoryForType(Object object) { | ||
53 | if (object == modelPackage) { | ||
54 | return true; | ||
55 | } | ||
56 | if (object instanceof EObject) { | ||
57 | return ((EObject) object).eClass().getEPackage() == modelPackage; | ||
58 | } | ||
59 | return false; | ||
60 | } | ||
61 | |||
62 | /** | ||
63 | * The switch that delegates to the <code>createXXX</code> methods. | ||
64 | * <!-- begin-user-doc --> | ||
65 | * <!-- end-user-doc --> | ||
66 | * @generated | ||
67 | */ | ||
68 | protected SatelliteSwitch<Adapter> modelSwitch = new SatelliteSwitch<Adapter>() { | ||
69 | @Override | ||
70 | public Adapter caseConstellationMission(ConstellationMission object) { | ||
71 | return createConstellationMissionAdapter(); | ||
72 | } | ||
73 | |||
74 | @Override | ||
75 | public Adapter caseInterferometryMission(InterferometryMission object) { | ||
76 | return createInterferometryMissionAdapter(); | ||
77 | } | ||
78 | |||
79 | @Override | ||
80 | public Adapter caseCommunicatingElement(CommunicatingElement object) { | ||
81 | return createCommunicatingElementAdapter(); | ||
82 | } | ||
83 | |||
84 | @Override | ||
85 | public Adapter caseGroundStationNetwork(GroundStationNetwork object) { | ||
86 | return createGroundStationNetworkAdapter(); | ||
87 | } | ||
88 | |||
89 | @Override | ||
90 | public Adapter caseSpacecraft(Spacecraft object) { | ||
91 | return createSpacecraftAdapter(); | ||
92 | } | ||
93 | |||
94 | @Override | ||
95 | public Adapter caseCommSubsystem(CommSubsystem object) { | ||
96 | return createCommSubsystemAdapter(); | ||
97 | } | ||
98 | |||
99 | @Override | ||
100 | public Adapter casePayload(Payload object) { | ||
101 | return createPayloadAdapter(); | ||
102 | } | ||
103 | |||
104 | @Override | ||
105 | public Adapter caseInterferometryPayload(InterferometryPayload object) { | ||
106 | return createInterferometryPayloadAdapter(); | ||
107 | } | ||
108 | |||
109 | @Override | ||
110 | public Adapter caseCubeSat3U(CubeSat3U object) { | ||
111 | return createCubeSat3UAdapter(); | ||
112 | } | ||
113 | |||
114 | @Override | ||
115 | public Adapter caseCubeSat6U(CubeSat6U object) { | ||
116 | return createCubeSat6UAdapter(); | ||
117 | } | ||
118 | |||
119 | @Override | ||
120 | public Adapter caseSmallSat(SmallSat object) { | ||
121 | return createSmallSatAdapter(); | ||
122 | } | ||
123 | |||
124 | @Override | ||
125 | public Adapter caseCubeSat(CubeSat object) { | ||
126 | return createCubeSatAdapter(); | ||
127 | } | ||
128 | |||
129 | @Override | ||
130 | public Adapter caseUHFCommSubsystem(UHFCommSubsystem object) { | ||
131 | return createUHFCommSubsystemAdapter(); | ||
132 | } | ||
133 | |||
134 | @Override | ||
135 | public Adapter caseXCommSubsystem(XCommSubsystem object) { | ||
136 | return createXCommSubsystemAdapter(); | ||
137 | } | ||
138 | |||
139 | @Override | ||
140 | public Adapter caseKaCommSubsystem(KaCommSubsystem object) { | ||
141 | return createKaCommSubsystemAdapter(); | ||
142 | } | ||
143 | |||
144 | @Override | ||
145 | public Adapter defaultCase(EObject object) { | ||
146 | return createEObjectAdapter(); | ||
147 | } | ||
148 | }; | ||
149 | |||
150 | /** | ||
151 | * Creates an adapter for the <code>target</code>. | ||
152 | * <!-- begin-user-doc --> | ||
153 | * <!-- end-user-doc --> | ||
154 | * @param target the object to adapt. | ||
155 | * @return the adapter for the <code>target</code>. | ||
156 | * @generated | ||
157 | */ | ||
158 | @Override | ||
159 | public Adapter createAdapter(Notifier target) { | ||
160 | return modelSwitch.doSwitch((EObject) target); | ||
161 | } | ||
162 | |||
163 | /** | ||
164 | * Creates a new adapter for an object of class '{@link satellite.ConstellationMission <em>Constellation Mission</em>}'. | ||
165 | * <!-- begin-user-doc --> | ||
166 | * This default implementation returns null so that we can easily ignore cases; | ||
167 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | ||
168 | * <!-- end-user-doc --> | ||
169 | * @return the new adapter. | ||
170 | * @see satellite.ConstellationMission | ||
171 | * @generated | ||
172 | */ | ||
173 | public Adapter createConstellationMissionAdapter() { | ||
174 | return null; | ||
175 | } | ||
176 | |||
177 | /** | ||
178 | * Creates a new adapter for an object of class '{@link satellite.InterferometryMission <em>Interferometry Mission</em>}'. | ||
179 | * <!-- begin-user-doc --> | ||
180 | * This default implementation returns null so that we can easily ignore cases; | ||
181 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | ||
182 | * <!-- end-user-doc --> | ||
183 | * @return the new adapter. | ||
184 | * @see satellite.InterferometryMission | ||
185 | * @generated | ||
186 | */ | ||
187 | public Adapter createInterferometryMissionAdapter() { | ||
188 | return null; | ||
189 | } | ||
190 | |||
191 | /** | ||
192 | * Creates a new adapter for an object of class '{@link satellite.CommunicatingElement <em>Communicating Element</em>}'. | ||
193 | * <!-- begin-user-doc --> | ||
194 | * This default implementation returns null so that we can easily ignore cases; | ||
195 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | ||
196 | * <!-- end-user-doc --> | ||
197 | * @return the new adapter. | ||
198 | * @see satellite.CommunicatingElement | ||
199 | * @generated | ||
200 | */ | ||
201 | public Adapter createCommunicatingElementAdapter() { | ||
202 | return null; | ||
203 | } | ||
204 | |||
205 | /** | ||
206 | * Creates a new adapter for an object of class '{@link satellite.GroundStationNetwork <em>Ground Station Network</em>}'. | ||
207 | * <!-- begin-user-doc --> | ||
208 | * This default implementation returns null so that we can easily ignore cases; | ||
209 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | ||
210 | * <!-- end-user-doc --> | ||
211 | * @return the new adapter. | ||
212 | * @see satellite.GroundStationNetwork | ||
213 | * @generated | ||
214 | */ | ||
215 | public Adapter createGroundStationNetworkAdapter() { | ||
216 | return null; | ||
217 | } | ||
218 | |||
219 | /** | ||
220 | * Creates a new adapter for an object of class '{@link satellite.Spacecraft <em>Spacecraft</em>}'. | ||
221 | * <!-- begin-user-doc --> | ||
222 | * This default implementation returns null so that we can easily ignore cases; | ||
223 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | ||
224 | * <!-- end-user-doc --> | ||
225 | * @return the new adapter. | ||
226 | * @see satellite.Spacecraft | ||
227 | * @generated | ||
228 | */ | ||
229 | public Adapter createSpacecraftAdapter() { | ||
230 | return null; | ||
231 | } | ||
232 | |||
233 | /** | ||
234 | * Creates a new adapter for an object of class '{@link satellite.CommSubsystem <em>Comm Subsystem</em>}'. | ||
235 | * <!-- begin-user-doc --> | ||
236 | * This default implementation returns null so that we can easily ignore cases; | ||
237 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | ||
238 | * <!-- end-user-doc --> | ||
239 | * @return the new adapter. | ||
240 | * @see satellite.CommSubsystem | ||
241 | * @generated | ||
242 | */ | ||
243 | public Adapter createCommSubsystemAdapter() { | ||
244 | return null; | ||
245 | } | ||
246 | |||
247 | /** | ||
248 | * Creates a new adapter for an object of class '{@link satellite.Payload <em>Payload</em>}'. | ||
249 | * <!-- begin-user-doc --> | ||
250 | * This default implementation returns null so that we can easily ignore cases; | ||
251 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | ||
252 | * <!-- end-user-doc --> | ||
253 | * @return the new adapter. | ||
254 | * @see satellite.Payload | ||
255 | * @generated | ||
256 | */ | ||
257 | public Adapter createPayloadAdapter() { | ||
258 | return null; | ||
259 | } | ||
260 | |||
261 | /** | ||
262 | * Creates a new adapter for an object of class '{@link satellite.InterferometryPayload <em>Interferometry Payload</em>}'. | ||
263 | * <!-- begin-user-doc --> | ||
264 | * This default implementation returns null so that we can easily ignore cases; | ||
265 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | ||
266 | * <!-- end-user-doc --> | ||
267 | * @return the new adapter. | ||
268 | * @see satellite.InterferometryPayload | ||
269 | * @generated | ||
270 | */ | ||
271 | public Adapter createInterferometryPayloadAdapter() { | ||
272 | return null; | ||
273 | } | ||
274 | |||
275 | /** | ||
276 | * Creates a new adapter for an object of class '{@link satellite.CubeSat3U <em>Cube Sat3 U</em>}'. | ||
277 | * <!-- begin-user-doc --> | ||
278 | * This default implementation returns null so that we can easily ignore cases; | ||
279 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | ||
280 | * <!-- end-user-doc --> | ||
281 | * @return the new adapter. | ||
282 | * @see satellite.CubeSat3U | ||
283 | * @generated | ||
284 | */ | ||
285 | public Adapter createCubeSat3UAdapter() { | ||
286 | return null; | ||
287 | } | ||
288 | |||
289 | /** | ||
290 | * Creates a new adapter for an object of class '{@link satellite.CubeSat6U <em>Cube Sat6 U</em>}'. | ||
291 | * <!-- begin-user-doc --> | ||
292 | * This default implementation returns null so that we can easily ignore cases; | ||
293 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | ||
294 | * <!-- end-user-doc --> | ||
295 | * @return the new adapter. | ||
296 | * @see satellite.CubeSat6U | ||
297 | * @generated | ||
298 | */ | ||
299 | public Adapter createCubeSat6UAdapter() { | ||
300 | return null; | ||
301 | } | ||
302 | |||
303 | /** | ||
304 | * Creates a new adapter for an object of class '{@link satellite.SmallSat <em>Small Sat</em>}'. | ||
305 | * <!-- begin-user-doc --> | ||
306 | * This default implementation returns null so that we can easily ignore cases; | ||
307 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | ||
308 | * <!-- end-user-doc --> | ||
309 | * @return the new adapter. | ||
310 | * @see satellite.SmallSat | ||
311 | * @generated | ||
312 | */ | ||
313 | public Adapter createSmallSatAdapter() { | ||
314 | return null; | ||
315 | } | ||
316 | |||
317 | /** | ||
318 | * Creates a new adapter for an object of class '{@link satellite.CubeSat <em>Cube Sat</em>}'. | ||
319 | * <!-- begin-user-doc --> | ||
320 | * This default implementation returns null so that we can easily ignore cases; | ||
321 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | ||
322 | * <!-- end-user-doc --> | ||
323 | * @return the new adapter. | ||
324 | * @see satellite.CubeSat | ||
325 | * @generated | ||
326 | */ | ||
327 | public Adapter createCubeSatAdapter() { | ||
328 | return null; | ||
329 | } | ||
330 | |||
331 | /** | ||
332 | * Creates a new adapter for an object of class '{@link satellite.UHFCommSubsystem <em>UHF Comm Subsystem</em>}'. | ||
333 | * <!-- begin-user-doc --> | ||
334 | * This default implementation returns null so that we can easily ignore cases; | ||
335 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | ||
336 | * <!-- end-user-doc --> | ||
337 | * @return the new adapter. | ||
338 | * @see satellite.UHFCommSubsystem | ||
339 | * @generated | ||
340 | */ | ||
341 | public Adapter createUHFCommSubsystemAdapter() { | ||
342 | return null; | ||
343 | } | ||
344 | |||
345 | /** | ||
346 | * Creates a new adapter for an object of class '{@link satellite.XCommSubsystem <em>XComm Subsystem</em>}'. | ||
347 | * <!-- begin-user-doc --> | ||
348 | * This default implementation returns null so that we can easily ignore cases; | ||
349 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | ||
350 | * <!-- end-user-doc --> | ||
351 | * @return the new adapter. | ||
352 | * @see satellite.XCommSubsystem | ||
353 | * @generated | ||
354 | */ | ||
355 | public Adapter createXCommSubsystemAdapter() { | ||
356 | return null; | ||
357 | } | ||
358 | |||
359 | /** | ||
360 | * Creates a new adapter for an object of class '{@link satellite.KaCommSubsystem <em>Ka Comm Subsystem</em>}'. | ||
361 | * <!-- begin-user-doc --> | ||
362 | * This default implementation returns null so that we can easily ignore cases; | ||
363 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | ||
364 | * <!-- end-user-doc --> | ||
365 | * @return the new adapter. | ||
366 | * @see satellite.KaCommSubsystem | ||
367 | * @generated | ||
368 | */ | ||
369 | public Adapter createKaCommSubsystemAdapter() { | ||
370 | return null; | ||
371 | } | ||
372 | |||
373 | /** | ||
374 | * Creates a new adapter for the default case. | ||
375 | * <!-- begin-user-doc --> | ||
376 | * This default implementation returns null. | ||
377 | * <!-- end-user-doc --> | ||
378 | * @return the new adapter. | ||
379 | * @generated | ||
380 | */ | ||
381 | public Adapter createEObjectAdapter() { | ||
382 | return null; | ||
383 | } | ||
384 | |||
385 | } //SatelliteAdapterFactory | ||
diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/satellite/util/SatelliteSwitch.java b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/satellite/util/SatelliteSwitch.java new file mode 100644 index 00000000..541d8494 --- /dev/null +++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/satellite/util/SatelliteSwitch.java | |||
@@ -0,0 +1,454 @@ | |||
1 | /** | ||
2 | */ | ||
3 | package satellite.util; | ||
4 | |||
5 | import org.eclipse.emf.ecore.EObject; | ||
6 | import org.eclipse.emf.ecore.EPackage; | ||
7 | |||
8 | import org.eclipse.emf.ecore.util.Switch; | ||
9 | |||
10 | import satellite.*; | ||
11 | |||
12 | /** | ||
13 | * <!-- begin-user-doc --> | ||
14 | * The <b>Switch</b> for the model's inheritance hierarchy. | ||
15 | * It supports the call {@link #doSwitch(EObject) doSwitch(object)} | ||
16 | * to invoke the <code>caseXXX</code> method for each class of the model, | ||
17 | * starting with the actual class of the object | ||
18 | * and proceeding up the inheritance hierarchy | ||
19 | * until a non-null result is returned, | ||
20 | * which is the result of the switch. | ||
21 | * <!-- end-user-doc --> | ||
22 | * @see satellite.SatellitePackage | ||
23 | * @generated | ||
24 | */ | ||
25 | public class SatelliteSwitch<T> extends Switch<T> { | ||
26 | /** | ||
27 | * The cached model package | ||
28 | * <!-- begin-user-doc --> | ||
29 | * <!-- end-user-doc --> | ||
30 | * @generated | ||
31 | */ | ||
32 | protected static SatellitePackage modelPackage; | ||
33 | |||
34 | /** | ||
35 | * Creates an instance of the switch. | ||
36 | * <!-- begin-user-doc --> | ||
37 | * <!-- end-user-doc --> | ||
38 | * @generated | ||
39 | */ | ||
40 | public SatelliteSwitch() { | ||
41 | if (modelPackage == null) { | ||
42 | modelPackage = SatellitePackage.eINSTANCE; | ||
43 | } | ||
44 | } | ||
45 | |||
46 | /** | ||
47 | * Checks whether this is a switch for the given package. | ||
48 | * <!-- begin-user-doc --> | ||
49 | * <!-- end-user-doc --> | ||
50 | * @param ePackage the package in question. | ||
51 | * @return whether this is a switch for the given package. | ||
52 | * @generated | ||
53 | */ | ||
54 | @Override | ||
55 | protected boolean isSwitchFor(EPackage ePackage) { | ||
56 | return ePackage == modelPackage; | ||
57 | } | ||
58 | |||
59 | /** | ||
60 | * Calls <code>caseXXX</code> for each class of the model until one returns a non null result; it yields that result. | ||
61 | * <!-- begin-user-doc --> | ||
62 | * <!-- end-user-doc --> | ||
63 | * @return the first non-null result returned by a <code>caseXXX</code> call. | ||
64 | * @generated | ||
65 | */ | ||
66 | @Override | ||
67 | protected T doSwitch(int classifierID, EObject theEObject) { | ||
68 | switch (classifierID) { | ||
69 | case SatellitePackage.CONSTELLATION_MISSION: { | ||
70 | ConstellationMission constellationMission = (ConstellationMission) theEObject; | ||
71 | T result = caseConstellationMission(constellationMission); | ||
72 | if (result == null) | ||
73 | result = defaultCase(theEObject); | ||
74 | return result; | ||
75 | } | ||
76 | case SatellitePackage.INTERFEROMETRY_MISSION: { | ||
77 | InterferometryMission interferometryMission = (InterferometryMission) theEObject; | ||
78 | T result = caseInterferometryMission(interferometryMission); | ||
79 | if (result == null) | ||
80 | result = caseConstellationMission(interferometryMission); | ||
81 | if (result == null) | ||
82 | result = defaultCase(theEObject); | ||
83 | return result; | ||
84 | } | ||
85 | case SatellitePackage.COMMUNICATING_ELEMENT: { | ||
86 | CommunicatingElement communicatingElement = (CommunicatingElement) theEObject; | ||
87 | T result = caseCommunicatingElement(communicatingElement); | ||
88 | if (result == null) | ||
89 | result = defaultCase(theEObject); | ||
90 | return result; | ||
91 | } | ||
92 | case SatellitePackage.GROUND_STATION_NETWORK: { | ||
93 | GroundStationNetwork groundStationNetwork = (GroundStationNetwork) theEObject; | ||
94 | T result = caseGroundStationNetwork(groundStationNetwork); | ||
95 | if (result == null) | ||
96 | result = caseCommunicatingElement(groundStationNetwork); | ||
97 | if (result == null) | ||
98 | result = defaultCase(theEObject); | ||
99 | return result; | ||
100 | } | ||
101 | case SatellitePackage.SPACECRAFT: { | ||
102 | Spacecraft spacecraft = (Spacecraft) theEObject; | ||
103 | T result = caseSpacecraft(spacecraft); | ||
104 | if (result == null) | ||
105 | result = caseCommunicatingElement(spacecraft); | ||
106 | if (result == null) | ||
107 | result = defaultCase(theEObject); | ||
108 | return result; | ||
109 | } | ||
110 | case SatellitePackage.COMM_SUBSYSTEM: { | ||
111 | CommSubsystem commSubsystem = (CommSubsystem) theEObject; | ||
112 | T result = caseCommSubsystem(commSubsystem); | ||
113 | if (result == null) | ||
114 | result = defaultCase(theEObject); | ||
115 | return result; | ||
116 | } | ||
117 | case SatellitePackage.PAYLOAD: { | ||
118 | Payload payload = (Payload) theEObject; | ||
119 | T result = casePayload(payload); | ||
120 | if (result == null) | ||
121 | result = defaultCase(theEObject); | ||
122 | return result; | ||
123 | } | ||
124 | case SatellitePackage.INTERFEROMETRY_PAYLOAD: { | ||
125 | InterferometryPayload interferometryPayload = (InterferometryPayload) theEObject; | ||
126 | T result = caseInterferometryPayload(interferometryPayload); | ||
127 | if (result == null) | ||
128 | result = casePayload(interferometryPayload); | ||
129 | if (result == null) | ||
130 | result = defaultCase(theEObject); | ||
131 | return result; | ||
132 | } | ||
133 | case SatellitePackage.CUBE_SAT3_U: { | ||
134 | CubeSat3U cubeSat3U = (CubeSat3U) theEObject; | ||
135 | T result = caseCubeSat3U(cubeSat3U); | ||
136 | if (result == null) | ||
137 | result = caseCubeSat(cubeSat3U); | ||
138 | if (result == null) | ||
139 | result = caseSpacecraft(cubeSat3U); | ||
140 | if (result == null) | ||
141 | result = caseCommunicatingElement(cubeSat3U); | ||
142 | if (result == null) | ||
143 | result = defaultCase(theEObject); | ||
144 | return result; | ||
145 | } | ||
146 | case SatellitePackage.CUBE_SAT6_U: { | ||
147 | CubeSat6U cubeSat6U = (CubeSat6U) theEObject; | ||
148 | T result = caseCubeSat6U(cubeSat6U); | ||
149 | if (result == null) | ||
150 | result = caseCubeSat(cubeSat6U); | ||
151 | if (result == null) | ||
152 | result = caseSpacecraft(cubeSat6U); | ||
153 | if (result == null) | ||
154 | result = caseCommunicatingElement(cubeSat6U); | ||
155 | if (result == null) | ||
156 | result = defaultCase(theEObject); | ||
157 | return result; | ||
158 | } | ||
159 | case SatellitePackage.SMALL_SAT: { | ||
160 | SmallSat smallSat = (SmallSat) theEObject; | ||
161 | T result = caseSmallSat(smallSat); | ||
162 | if (result == null) | ||
163 | result = caseSpacecraft(smallSat); | ||
164 | if (result == null) | ||
165 | result = caseCommunicatingElement(smallSat); | ||
166 | if (result == null) | ||
167 | result = defaultCase(theEObject); | ||
168 | return result; | ||
169 | } | ||
170 | case SatellitePackage.CUBE_SAT: { | ||
171 | CubeSat cubeSat = (CubeSat) theEObject; | ||
172 | T result = caseCubeSat(cubeSat); | ||
173 | if (result == null) | ||
174 | result = caseSpacecraft(cubeSat); | ||
175 | if (result == null) | ||
176 | result = caseCommunicatingElement(cubeSat); | ||
177 | if (result == null) | ||
178 | result = defaultCase(theEObject); | ||
179 | return result; | ||
180 | } | ||
181 | case SatellitePackage.UHF_COMM_SUBSYSTEM: { | ||
182 | UHFCommSubsystem uhfCommSubsystem = (UHFCommSubsystem) theEObject; | ||
183 | T result = caseUHFCommSubsystem(uhfCommSubsystem); | ||
184 | if (result == null) | ||
185 | result = caseCommSubsystem(uhfCommSubsystem); | ||
186 | if (result == null) | ||
187 | result = defaultCase(theEObject); | ||
188 | return result; | ||
189 | } | ||
190 | case SatellitePackage.XCOMM_SUBSYSTEM: { | ||
191 | XCommSubsystem xCommSubsystem = (XCommSubsystem) theEObject; | ||
192 | T result = caseXCommSubsystem(xCommSubsystem); | ||
193 | if (result == null) | ||
194 | result = caseCommSubsystem(xCommSubsystem); | ||
195 | if (result == null) | ||
196 | result = defaultCase(theEObject); | ||
197 | return result; | ||
198 | } | ||
199 | case SatellitePackage.KA_COMM_SUBSYSTEM: { | ||
200 | KaCommSubsystem kaCommSubsystem = (KaCommSubsystem) theEObject; | ||
201 | T result = caseKaCommSubsystem(kaCommSubsystem); | ||
202 | if (result == null) | ||
203 | result = caseCommSubsystem(kaCommSubsystem); | ||
204 | if (result == null) | ||
205 | result = defaultCase(theEObject); | ||
206 | return result; | ||
207 | } | ||
208 | default: | ||
209 | return defaultCase(theEObject); | ||
210 | } | ||
211 | } | ||
212 | |||
213 | /** | ||
214 | * Returns the result of interpreting the object as an instance of '<em>Constellation Mission</em>'. | ||
215 | * <!-- begin-user-doc --> | ||
216 | * This implementation returns null; | ||
217 | * returning a non-null result will terminate the switch. | ||
218 | * <!-- end-user-doc --> | ||
219 | * @param object the target of the switch. | ||
220 | * @return the result of interpreting the object as an instance of '<em>Constellation Mission</em>'. | ||
221 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) | ||
222 | * @generated | ||
223 | */ | ||
224 | public T caseConstellationMission(ConstellationMission object) { | ||
225 | return null; | ||
226 | } | ||
227 | |||
228 | /** | ||
229 | * Returns the result of interpreting the object as an instance of '<em>Interferometry Mission</em>'. | ||
230 | * <!-- begin-user-doc --> | ||
231 | * This implementation returns null; | ||
232 | * returning a non-null result will terminate the switch. | ||
233 | * <!-- end-user-doc --> | ||
234 | * @param object the target of the switch. | ||
235 | * @return the result of interpreting the object as an instance of '<em>Interferometry Mission</em>'. | ||
236 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) | ||
237 | * @generated | ||
238 | */ | ||
239 | public T caseInterferometryMission(InterferometryMission object) { | ||
240 | return null; | ||
241 | } | ||
242 | |||
243 | /** | ||
244 | * Returns the result of interpreting the object as an instance of '<em>Communicating Element</em>'. | ||
245 | * <!-- begin-user-doc --> | ||
246 | * This implementation returns null; | ||
247 | * returning a non-null result will terminate the switch. | ||
248 | * <!-- end-user-doc --> | ||
249 | * @param object the target of the switch. | ||
250 | * @return the result of interpreting the object as an instance of '<em>Communicating Element</em>'. | ||
251 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) | ||
252 | * @generated | ||
253 | */ | ||
254 | public T caseCommunicatingElement(CommunicatingElement object) { | ||
255 | return null; | ||
256 | } | ||
257 | |||
258 | /** | ||
259 | * Returns the result of interpreting the object as an instance of '<em>Ground Station Network</em>'. | ||
260 | * <!-- begin-user-doc --> | ||
261 | * This implementation returns null; | ||
262 | * returning a non-null result will terminate the switch. | ||
263 | * <!-- end-user-doc --> | ||
264 | * @param object the target of the switch. | ||
265 | * @return the result of interpreting the object as an instance of '<em>Ground Station Network</em>'. | ||
266 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) | ||
267 | * @generated | ||
268 | */ | ||
269 | public T caseGroundStationNetwork(GroundStationNetwork object) { | ||
270 | return null; | ||
271 | } | ||
272 | |||
273 | /** | ||
274 | * Returns the result of interpreting the object as an instance of '<em>Spacecraft</em>'. | ||
275 | * <!-- begin-user-doc --> | ||
276 | * This implementation returns null; | ||
277 | * returning a non-null result will terminate the switch. | ||
278 | * <!-- end-user-doc --> | ||
279 | * @param object the target of the switch. | ||
280 | * @return the result of interpreting the object as an instance of '<em>Spacecraft</em>'. | ||
281 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) | ||
282 | * @generated | ||
283 | */ | ||
284 | public T caseSpacecraft(Spacecraft object) { | ||
285 | return null; | ||
286 | } | ||
287 | |||
288 | /** | ||
289 | * Returns the result of interpreting the object as an instance of '<em>Comm Subsystem</em>'. | ||
290 | * <!-- begin-user-doc --> | ||
291 | * This implementation returns null; | ||
292 | * returning a non-null result will terminate the switch. | ||
293 | * <!-- end-user-doc --> | ||
294 | * @param object the target of the switch. | ||
295 | * @return the result of interpreting the object as an instance of '<em>Comm Subsystem</em>'. | ||
296 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) | ||
297 | * @generated | ||
298 | */ | ||
299 | public T caseCommSubsystem(CommSubsystem object) { | ||
300 | return null; | ||
301 | } | ||
302 | |||
303 | /** | ||
304 | * Returns the result of interpreting the object as an instance of '<em>Payload</em>'. | ||
305 | * <!-- begin-user-doc --> | ||
306 | * This implementation returns null; | ||
307 | * returning a non-null result will terminate the switch. | ||
308 | * <!-- end-user-doc --> | ||
309 | * @param object the target of the switch. | ||
310 | * @return the result of interpreting the object as an instance of '<em>Payload</em>'. | ||
311 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) | ||
312 | * @generated | ||
313 | */ | ||
314 | public T casePayload(Payload object) { | ||
315 | return null; | ||
316 | } | ||
317 | |||
318 | /** | ||
319 | * Returns the result of interpreting the object as an instance of '<em>Interferometry Payload</em>'. | ||
320 | * <!-- begin-user-doc --> | ||
321 | * This implementation returns null; | ||
322 | * returning a non-null result will terminate the switch. | ||
323 | * <!-- end-user-doc --> | ||
324 | * @param object the target of the switch. | ||
325 | * @return the result of interpreting the object as an instance of '<em>Interferometry Payload</em>'. | ||
326 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) | ||
327 | * @generated | ||
328 | */ | ||
329 | public T caseInterferometryPayload(InterferometryPayload object) { | ||
330 | return null; | ||
331 | } | ||
332 | |||
333 | /** | ||
334 | * Returns the result of interpreting the object as an instance of '<em>Cube Sat3 U</em>'. | ||
335 | * <!-- begin-user-doc --> | ||
336 | * This implementation returns null; | ||
337 | * returning a non-null result will terminate the switch. | ||
338 | * <!-- end-user-doc --> | ||
339 | * @param object the target of the switch. | ||
340 | * @return the result of interpreting the object as an instance of '<em>Cube Sat3 U</em>'. | ||
341 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) | ||
342 | * @generated | ||
343 | */ | ||
344 | public T caseCubeSat3U(CubeSat3U object) { | ||
345 | return null; | ||
346 | } | ||
347 | |||
348 | /** | ||
349 | * Returns the result of interpreting the object as an instance of '<em>Cube Sat6 U</em>'. | ||
350 | * <!-- begin-user-doc --> | ||
351 | * This implementation returns null; | ||
352 | * returning a non-null result will terminate the switch. | ||
353 | * <!-- end-user-doc --> | ||
354 | * @param object the target of the switch. | ||
355 | * @return the result of interpreting the object as an instance of '<em>Cube Sat6 U</em>'. | ||
356 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) | ||
357 | * @generated | ||
358 | */ | ||
359 | public T caseCubeSat6U(CubeSat6U object) { | ||
360 | return null; | ||
361 | } | ||
362 | |||
363 | /** | ||
364 | * Returns the result of interpreting the object as an instance of '<em>Small Sat</em>'. | ||
365 | * <!-- begin-user-doc --> | ||
366 | * This implementation returns null; | ||
367 | * returning a non-null result will terminate the switch. | ||
368 | * <!-- end-user-doc --> | ||
369 | * @param object the target of the switch. | ||
370 | * @return the result of interpreting the object as an instance of '<em>Small Sat</em>'. | ||
371 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) | ||
372 | * @generated | ||
373 | */ | ||
374 | public T caseSmallSat(SmallSat object) { | ||
375 | return null; | ||
376 | } | ||
377 | |||
378 | /** | ||
379 | * Returns the result of interpreting the object as an instance of '<em>Cube Sat</em>'. | ||
380 | * <!-- begin-user-doc --> | ||
381 | * This implementation returns null; | ||
382 | * returning a non-null result will terminate the switch. | ||
383 | * <!-- end-user-doc --> | ||
384 | * @param object the target of the switch. | ||
385 | * @return the result of interpreting the object as an instance of '<em>Cube Sat</em>'. | ||
386 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) | ||
387 | * @generated | ||
388 | */ | ||
389 | public T caseCubeSat(CubeSat object) { | ||
390 | return null; | ||
391 | } | ||
392 | |||
393 | /** | ||
394 | * Returns the result of interpreting the object as an instance of '<em>UHF Comm Subsystem</em>'. | ||
395 | * <!-- begin-user-doc --> | ||
396 | * This implementation returns null; | ||
397 | * returning a non-null result will terminate the switch. | ||
398 | * <!-- end-user-doc --> | ||
399 | * @param object the target of the switch. | ||
400 | * @return the result of interpreting the object as an instance of '<em>UHF Comm Subsystem</em>'. | ||
401 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) | ||
402 | * @generated | ||
403 | */ | ||
404 | public T caseUHFCommSubsystem(UHFCommSubsystem object) { | ||
405 | return null; | ||
406 | } | ||
407 | |||
408 | /** | ||
409 | * Returns the result of interpreting the object as an instance of '<em>XComm Subsystem</em>'. | ||
410 | * <!-- begin-user-doc --> | ||
411 | * This implementation returns null; | ||
412 | * returning a non-null result will terminate the switch. | ||
413 | * <!-- end-user-doc --> | ||
414 | * @param object the target of the switch. | ||
415 | * @return the result of interpreting the object as an instance of '<em>XComm Subsystem</em>'. | ||
416 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) | ||
417 | * @generated | ||
418 | */ | ||
419 | public T caseXCommSubsystem(XCommSubsystem object) { | ||
420 | return null; | ||
421 | } | ||
422 | |||
423 | /** | ||
424 | * Returns the result of interpreting the object as an instance of '<em>Ka Comm Subsystem</em>'. | ||
425 | * <!-- begin-user-doc --> | ||
426 | * This implementation returns null; | ||
427 | * returning a non-null result will terminate the switch. | ||
428 | * <!-- end-user-doc --> | ||
429 | * @param object the target of the switch. | ||
430 | * @return the result of interpreting the object as an instance of '<em>Ka Comm Subsystem</em>'. | ||
431 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) | ||
432 | * @generated | ||
433 | */ | ||
434 | public T caseKaCommSubsystem(KaCommSubsystem object) { | ||
435 | return null; | ||
436 | } | ||
437 | |||
438 | /** | ||
439 | * Returns the result of interpreting the object as an instance of '<em>EObject</em>'. | ||
440 | * <!-- begin-user-doc --> | ||
441 | * This implementation returns null; | ||
442 | * returning a non-null result will terminate the switch, but this is the last case anyway. | ||
443 | * <!-- end-user-doc --> | ||
444 | * @param object the target of the switch. | ||
445 | * @return the result of interpreting the object as an instance of '<em>EObject</em>'. | ||
446 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) | ||
447 | * @generated | ||
448 | */ | ||
449 | @Override | ||
450 | public T defaultCase(EObject object) { | ||
451 | return null; | ||
452 | } | ||
453 | |||
454 | } //SatelliteSwitch | ||
diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/inputs/SatelliteInstance.xmi b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/inputs/SatelliteInstance.xmi new file mode 100644 index 00000000..3d07a199 --- /dev/null +++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/inputs/SatelliteInstance.xmi | |||
@@ -0,0 +1,7 @@ | |||
1 | <?xml version="1.0" encoding="UTF-8"?> | ||
2 | <satellite:InterferometryMission | ||
3 | xmi:version="2.0" | ||
4 | xmlns:xmi="http://www.omg.org/XMI" | ||
5 | xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" | ||
6 | xmlns:satellite="http://www.example.org/satellite" | ||
7 | xsi:schemaLocation="http://www.example.org/satellite ../model/satellite.ecore"/> | ||
diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/model/satellite.ecore b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/model/satellite.ecore new file mode 100644 index 00000000..9f17d43c --- /dev/null +++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/model/satellite.ecore | |||
@@ -0,0 +1,32 @@ | |||
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 | <eClassifiers xsi:type="ecore:EClass" name="ConstellationMission" abstract="true"> | ||
5 | <eStructuralFeatures xsi:type="ecore:EReference" name="groundStationNetwork" lowerBound="1" | ||
6 | eType="#//GroundStationNetwork" containment="true"/> | ||
7 | <eStructuralFeatures xsi:type="ecore:EReference" name="spacecraft" lowerBound="2" | ||
8 | upperBound="-1" eType="#//Spacecraft" containment="true"/> | ||
9 | </eClassifiers> | ||
10 | <eClassifiers xsi:type="ecore:EClass" name="InterferometryMission" eSuperTypes="#//ConstellationMission"/> | ||
11 | <eClassifiers xsi:type="ecore:EClass" name="CommunicatingElement" abstract="true"> | ||
12 | <eStructuralFeatures xsi:type="ecore:EReference" name="commSubsystem" lowerBound="1" | ||
13 | upperBound="2" eType="#//CommSubsystem" containment="true"/> | ||
14 | </eClassifiers> | ||
15 | <eClassifiers xsi:type="ecore:EClass" name="GroundStationNetwork" eSuperTypes="#//CommunicatingElement"/> | ||
16 | <eClassifiers xsi:type="ecore:EClass" name="Spacecraft" abstract="true" eSuperTypes="#//CommunicatingElement"> | ||
17 | <eStructuralFeatures xsi:type="ecore:EReference" name="payload" eType="#//Payload" | ||
18 | containment="true"/> | ||
19 | </eClassifiers> | ||
20 | <eClassifiers xsi:type="ecore:EClass" name="CommSubsystem" abstract="true"> | ||
21 | <eStructuralFeatures xsi:type="ecore:EReference" name="target" eType="#//CommSubsystem"/> | ||
22 | </eClassifiers> | ||
23 | <eClassifiers xsi:type="ecore:EClass" name="Payload" abstract="true"/> | ||
24 | <eClassifiers xsi:type="ecore:EClass" name="InterferometryPayload" eSuperTypes="#//Payload"/> | ||
25 | <eClassifiers xsi:type="ecore:EClass" name="CubeSat3U" eSuperTypes="#//CubeSat"/> | ||
26 | <eClassifiers xsi:type="ecore:EClass" name="CubeSat6U" eSuperTypes="#//CubeSat"/> | ||
27 | <eClassifiers xsi:type="ecore:EClass" name="SmallSat" eSuperTypes="#//Spacecraft"/> | ||
28 | <eClassifiers xsi:type="ecore:EClass" name="CubeSat" abstract="true" eSuperTypes="#//Spacecraft"/> | ||
29 | <eClassifiers xsi:type="ecore:EClass" name="UHFCommSubsystem" eSuperTypes="#//CommSubsystem"/> | ||
30 | <eClassifiers xsi:type="ecore:EClass" name="XCommSubsystem" eSuperTypes="#//CommSubsystem"/> | ||
31 | <eClassifiers xsi:type="ecore:EClass" name="KaCommSubsystem" eSuperTypes="#//CommSubsystem"/> | ||
32 | </ecore:EPackage> | ||
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 @@ | |||
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" | ||
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" | ||
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" | ||
7 | modelPluginID="hu.bme.mit.inf.dslreasoner.domains.satellite" modelName="Satellite" | ||
8 | rootExtendsClass="org.eclipse.emf.ecore.impl.MinimalEObjectImpl$Container" codeFormatting="true" | ||
9 | importerID="org.eclipse.emf.importer.ecore" complianceLevel="8.0" copyrightFields="false" | ||
10 | operationReflection="true" importOrganizing="true"> | ||
11 | <foreignModel>satellite.ecore</foreignModel> | ||
12 | <testsDirectory xsi:nil="true"/> | ||
13 | <genPackages prefix="Satellite" disposableProviderFactory="true" ecorePackage="satellite.ecore#/"> | ||
14 | <genClasses image="false" ecoreClass="satellite.ecore#//ConstellationMission"> | ||
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"/> | ||
17 | </genClasses> | ||
18 | <genClasses ecoreClass="satellite.ecore#//InterferometryMission"/> | ||
19 | <genClasses image="false" ecoreClass="satellite.ecore#//CommunicatingElement"> | ||
20 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference satellite.ecore#//CommunicatingElement/commSubsystem"/> | ||
21 | </genClasses> | ||
22 | <genClasses ecoreClass="satellite.ecore#//GroundStationNetwork"/> | ||
23 | <genClasses image="false" ecoreClass="satellite.ecore#//Spacecraft"> | ||
24 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference satellite.ecore#//Spacecraft/payload"/> | ||
25 | </genClasses> | ||
26 | <genClasses ecoreClass="satellite.ecore#//CommSubsystem"> | ||
27 | <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference satellite.ecore#//CommSubsystem/target"/> | ||
28 | </genClasses> | ||
29 | <genClasses image="false" ecoreClass="satellite.ecore#//Payload"/> | ||
30 | <genClasses ecoreClass="satellite.ecore#//InterferometryPayload"/> | ||
31 | <genClasses ecoreClass="satellite.ecore#//CubeSat3U"/> | ||
32 | <genClasses ecoreClass="satellite.ecore#//CubeSat6U"/> | ||
33 | <genClasses ecoreClass="satellite.ecore#//SmallSat"/> | ||
34 | <genClasses image="false" ecoreClass="satellite.ecore#//CubeSat"/> | ||
35 | <genClasses ecoreClass="satellite.ecore#//UHFCommSubsystem"/> | ||
36 | <genClasses ecoreClass="satellite.ecore#//XCommSubsystem"/> | ||
37 | <genClasses ecoreClass="satellite.ecore#//KaCommSubsystem"/> | ||
38 | </genPackages> | ||
39 | </genmodel:GenModel> | ||
diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/plugin.properties b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/plugin.properties new file mode 100644 index 00000000..7463353c --- /dev/null +++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/plugin.properties | |||
@@ -0,0 +1,4 @@ | |||
1 | # | ||
2 | |||
3 | pluginName = hu.bme.mit.inf.dslreasoner.domains.satellite | ||
4 | providerName = www.example.org | ||
diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/plugin.xml b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/plugin.xml new file mode 100644 index 00000000..fe1af62e --- /dev/null +++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/plugin.xml | |||
@@ -0,0 +1,26 @@ | |||
1 | <?xml version="1.0" encoding="UTF-8"?><?eclipse version="3.0"?><!-- | ||
2 | --><plugin> | ||
3 | <extension point="org.eclipse.emf.ecore.generated_package"> | ||
4 | <!-- @generated satellite --> | ||
5 | <package | ||
6 | uri="http://www.example.org/satellite" | ||
7 | class="satellite.SatellitePackage" | ||
8 | genModel="model/satellite.genmodel"/> | ||
9 | </extension> | ||
10 | <extension id="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.SatelliteQueries" point="org.eclipse.viatra.query.runtime.queryspecification"> | ||
11 | <group group="org.eclipse.viatra.query.runtime.extensibility.SingletonExtensionFactory:hu.bme.mit.inf.dslreasoner.domains.satellite.queries.SatelliteQueries" id="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.SatelliteQueries"> | ||
12 | <query-specification fqn="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.communicationLinkDoesNotStartAtContainingElement"/> | ||
13 | <query-specification fqn="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.transmittingGroundStationNetwork"/> | ||
14 | <query-specification fqn="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.roundStationNetworkUHF"/> | ||
15 | <query-specification fqn="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.notEnoughInterferometryPayloads"/> | ||
16 | <query-specification fqn="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.noLinkToGroundStation"/> | ||
17 | <query-specification fqn="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.unsat_linkToGroundStation"/> | ||
18 | <query-specification fqn="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.noPotentialLinkToGroundStation"/> | ||
19 | <query-specification fqn="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.communicationLoop"/> | ||
20 | <query-specification fqn="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.incompatibleSourceAndTargetBand"/> | ||
21 | <query-specification fqn="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.threeUCubeSatWithNonUhfCrossLink"/> | ||
22 | <query-specification fqn="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.cubeSatWithKaAntenna"/> | ||
23 | <query-specification fqn="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.smallSat"/> | ||
24 | </group> | ||
25 | </extension> | ||
26 | </plugin> | ||
diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/src/hu/bme/mit/inf/dslreasoner/domains/satellite/queries/SatelliteQueries.vql b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/src/hu/bme/mit/inf/dslreasoner/domains/satellite/queries/SatelliteQueries.vql new file mode 100644 index 00000000..ba12bbda --- /dev/null +++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/src/hu/bme/mit/inf/dslreasoner/domains/satellite/queries/SatelliteQueries.vql | |||
@@ -0,0 +1,325 @@ | |||
1 | package hu.bme.mit.inf.dslreasoner.domains.satellite.queries | ||
2 | |||
3 | import "http://www.example.org/satellite" | ||
4 | |||
5 | @Constraint(severity = "error", key = {Element}, | ||
6 | message = "A communicating element may not have two transmitting communication subsystems.") | ||
7 | pattern communicationLinkDoesNotStartAtContainingElement(Element : CommunicatingElement) { | ||
8 | find transmittingCommSubsystem(Element, Comm1); | ||
9 | find transmittingCommSubsystem(Element, Comm2); | ||
10 | Comm1 != Comm2; | ||
11 | } | ||
12 | |||
13 | private pattern transmittingCommSubsystem(Element : CommunicatingElement, Comm : CommSubsystem) { | ||
14 | CommunicatingElement.commSubsystem(Element, Comm); | ||
15 | CommSubsystem.target(Comm, _); | ||
16 | } | ||
17 | |||
18 | @Constraint(severity = "error", key = {Station}, | ||
19 | message = "The ground station network may not have outgoing communication links.") | ||
20 | pattern transmittingGroundStationNetwork(Station : GroundStationNetwork) { | ||
21 | find transmittingCommSubsystem(Station, _); | ||
22 | } | ||
23 | |||
24 | @Constraint(severity = "error", key = {Station}, | ||
25 | message = "The ground station network may not have UHF communication subsystems.") | ||
26 | pattern roundStationNetworkUHF(Station : GroundStationNetwork) { | ||
27 | CommunicatingElement.commSubsystem(Station, Comm); | ||
28 | UHFCommSubsystem(Comm); | ||
29 | } | ||
30 | |||
31 | // At least two spacecraft must have the interferometry payload configured | ||
32 | |||
33 | @Constraint(severity = "error", key = {Mission}, | ||
34 | message = "Interferometry mission needs at least two spacecraft configured with the interferometry payload.") | ||
35 | pattern notEnoughInterferometryPayloads(Mission : InterferometryMission) { | ||
36 | InterferometryMission(Mission); | ||
37 | neg find atLeastTwoInterferometryPayloads(Mission); | ||
38 | } | ||
39 | |||
40 | private pattern atLeastTwoInterferometryPayloads(Mission : InterferometryMission) { | ||
41 | find spacecraftWithInterferometryPayload(Mission, Spacecraft1); | ||
42 | find spacecraftWithInterferometryPayload(Mission, Spacecraft2); | ||
43 | Spacecraft1 != Spacecraft2; | ||
44 | } | ||
45 | |||
46 | private pattern spacecraftWithInterferometryPayload(Mission : ConstellationMission, Spacecraft : Spacecraft) { | ||
47 | ConstellationMission.spacecraft(Mission, Spacecraft); | ||
48 | Spacecraft.payload(Spacecraft, Payload); | ||
49 | InterferometryPayload(Payload); | ||
50 | } | ||
51 | |||
52 | // All spacecraft must have some communication path to the ground station | ||
53 | |||
54 | @Constraint(severity = "error", key = {Spacecraft}, | ||
55 | message = "Spacecraft has no communication path to the ground station.") | ||
56 | pattern noLinkToGroundStation(Spacecraft : Spacecraft) { | ||
57 | ConstellationMission.groundStationNetwork(Mission, GroundStation); | ||
58 | ConstellationMission.spacecraft(Mission, Spacecraft); | ||
59 | neg find indirectCommunicationLink(Spacecraft, GroundStation); | ||
60 | } | ||
61 | |||
62 | //@Constraint(severity = "error", key = {Spacecraft}, message = "UNSAT") | ||
63 | //pattern unsat_linkToGroundStation(Spacecraft : Spacecraft) { | ||
64 | // ConstellationMission.groundStationNetwork(Mission, GroundStation); | ||
65 | // ConstellationMission.spacecraft(Mission, Spacecraft); | ||
66 | // find indirectCommunicationLink(Spacecraft, GroundStation); | ||
67 | //} | ||
68 | |||
69 | @Constraint(severity = "error", key = {Mission}, message = "UNSAT") | ||
70 | pattern unsat_linkToGroundStation(Mission : InterferometryMission) { | ||
71 | InterferometryMission(Mission); | ||
72 | neg find noLinkToGroundStation(_); | ||
73 | } | ||
74 | |||
75 | @Constraint(severity = "error", key = {Spacecraft}, | ||
76 | message = "Spacecraft has no potential communication path to the ground station.") | ||
77 | pattern noPotentialLinkToGroundStation(Spacecraft : Spacecraft) { | ||
78 | ConstellationMission.groundStationNetwork(Mission, GroundStation); | ||
79 | ConstellationMission.spacecraft(Mission, Spacecraft); | ||
80 | neg find indirectLinkAllowed(Spacecraft, GroundStation); | ||
81 | } | ||
82 | |||
83 | private pattern indirectLinkAllowed(From : Spacecraft, To : CommunicatingElement) { | ||
84 | find linkAllowed+(From, To); | ||
85 | } | ||
86 | |||
87 | private pattern linkAllowed(From : Spacecraft, To : CommunicatingElement) { | ||
88 | find matchingAntenna(From, To); | ||
89 | neg find cubeSat3U(From); | ||
90 | } or { | ||
91 | find matchingAntenna(From, To); | ||
92 | CubeSat3U(From); | ||
93 | } or { | ||
94 | find matchingAntenna(From, To); | ||
95 | CubeSat3U(From); | ||
96 | GroundStationNetwork(To); | ||
97 | } | ||
98 | |||
99 | private pattern matchingAntenna(From : Spacecraft, To : CommunicatingElement) { | ||
100 | CommunicatingElement.commSubsystem(From, FromSys); | ||
101 | CommunicatingElement.commSubsystem(To, ToSys); | ||
102 | find matchingCommSubsystem(FromSys, ToSys); | ||
103 | } | ||
104 | |||
105 | private pattern matchingCommSubsystem(From : CommSubsystem, To : CommSubsystem) { | ||
106 | UHFCommSubsystem(From); | ||
107 | UHFCommSubsystem(To); | ||
108 | } or { | ||
109 | XCommSubsystem(From); | ||
110 | XCommSubsystem(To); | ||
111 | } or { | ||
112 | KaCommSubsystem(From); | ||
113 | KaCommSubsystem(To); | ||
114 | } | ||
115 | |||
116 | private pattern cubeSat3U(Sat : CubeSat3U) { | ||
117 | CubeSat3U(Sat); | ||
118 | } | ||
119 | |||
120 | // No communication loops may exist | ||
121 | // No spacecraft may directly communicate with itself | ||
122 | |||
123 | @Constraint(severity = "error", key = {Element}, | ||
124 | message = "Communication loop.") | ||
125 | pattern communicationLoop(Element : CommunicatingElement) { | ||
126 | find indirectCommunicationLink(Element, Element); | ||
127 | } | ||
128 | |||
129 | private pattern indirectCommunicationLink(Source : CommunicatingElement, Target : CommunicatingElement) { | ||
130 | find directCommunicationLink+(Source, Target); | ||
131 | } | ||
132 | |||
133 | private pattern directCommunicationLink(Source : CommunicatingElement, Target : CommunicatingElement) { | ||
134 | CommSubsystem.target(SourceSubsystem, TargetSubsystem); | ||
135 | CommunicatingElement.commSubsystem(Source, SourceSubsystem); | ||
136 | CommunicatingElement.commSubsystem(Target, TargetSubsystem); | ||
137 | } | ||
138 | |||
139 | // Source and target communication systems must be compatible. | ||
140 | |||
141 | @Constraint(severity = "error", key = {SourceSubsystem}, | ||
142 | message = "Two ends of a communication link must use the same band.") | ||
143 | pattern incompatibleSourceAndTargetBand(SourceSubsystem : CommSubsystem) { | ||
144 | CommSubsystem.target(SourceSubsystem, TargetSubsystem); | ||
145 | neg find matchingCommSubsystem(SourceSubsystem, TargetSubsystem); | ||
146 | } | ||
147 | |||
148 | // 3U CubeSats are assumed to only be able to downlink to Earth using an X-band trasmitter, | ||
149 | // but cross-link using UHF | ||
150 | |||
151 | @Constraint(severity = "error", key = {Sat}, | ||
152 | message = "3U CubeSats can only cross-link using UHF.") | ||
153 | pattern threeUCubeSatWithNonUhfCrossLink(Sat : CubeSat3U) { | ||
154 | CommunicatingElement.commSubsystem(Sat, SourceComm); | ||
155 | neg find commSubsystemBandUhf(SourceComm); | ||
156 | CommSubsystem.target(SourceComm, TargetComm); | ||
157 | CommunicatingElement.commSubsystem(Target, TargetComm); | ||
158 | neg find groundStationNetwork(Target); | ||
159 | } | ||
160 | |||
161 | private pattern commSubsystemBandUhf(Comm : UHFCommSubsystem) { | ||
162 | UHFCommSubsystem(Comm); | ||
163 | } | ||
164 | |||
165 | private pattern groundStationNetwork(Network : GroundStationNetwork) { | ||
166 | GroundStationNetwork(Network); | ||
167 | } | ||
168 | |||
169 | // Only a Small Satellite can be configured with a Ka-band communication system | ||
170 | |||
171 | @Constraint(severity = "error", key = {Spacecraft}, | ||
172 | message = "Only a Small Satellite can be configured with a Ka-band communication system.") | ||
173 | pattern cubeSatWithKaAntenna(Spacecraft : Spacecraft) { | ||
174 | CommunicatingElement.commSubsystem(Spacecraft, Comm); | ||
175 | KaCommSubsystem(Comm); | ||
176 | neg find smallSat(Spacecraft); | ||
177 | } | ||
178 | |||
179 | pattern smallSat(Sat : SmallSat) { | ||
180 | SmallSat(Sat); | ||
181 | } | ||
182 | |||
183 | //// | ||
184 | //// Metrics | ||
185 | //// | ||
186 | // | ||
187 | //// Coverage | ||
188 | // | ||
189 | //pattern coverageMetric(Coverage : java Double) { | ||
190 | // Coverage == sum find missionCoverage(_, #_); | ||
191 | //} | ||
192 | // | ||
193 | //private pattern missionCoverage(Mission : InterferometryMission, Coverage : java Double) { | ||
194 | // InterferometryMission.observationTime(Mission, ObservationTime); | ||
195 | // ObserverCount == count find spacecraftWithInterferometryPayload(Mission, _); | ||
196 | // Coverage == eval(Math.pow(1 - 2.0 / ObserverCount, 1 + 9 * (1.0 / ObservationTime)) + 0.05 * ObservationTime / 3); | ||
197 | //} | ||
198 | // | ||
199 | //// Time | ||
200 | // | ||
201 | //pattern timeMetric(Time : java Double) { | ||
202 | // Time == sum find missionTime(_, #_); | ||
203 | //} | ||
204 | // | ||
205 | //private pattern missionTime(Mission : InterferometryMission, Time : java Double) { | ||
206 | // InterferometryMission.observationTime(Mission, ObservationTime); | ||
207 | // TrasmitTime == sum find transmitTime(Mission, _, #_); | ||
208 | // Time == eval(TrasmitTime + 60.0 * ObservationTime); | ||
209 | //} | ||
210 | // | ||
211 | //private pattern transmitTime(Mission : InterferometryMission, Spacecraft : Spacecraft, TransmitTime : java Double) { | ||
212 | // ConstellationMission.spacecraft(Mission, Spacecraft); | ||
213 | // find scienceData(Spacecraft, ScienceData); | ||
214 | // IncomingData == sum find incomingData(Spacecraft, _, #_); | ||
215 | // find transmitRate(Spacecraft, TransmitRate); | ||
216 | // TransmitTime == eval((ScienceData + IncomingData) / (7.5 * TransmitRate)); | ||
217 | //} | ||
218 | // | ||
219 | //private pattern incomingData(Spacecraft : Spacecraft, Source : Spacecraft, Data : java Double) { | ||
220 | // find indirectCommunicationLink(Source, Spacecraft); | ||
221 | // find scienceData(Source, Data); | ||
222 | //} | ||
223 | // | ||
224 | //private pattern scienceData(Spacecraft : Spacecraft, Data : java Double) { | ||
225 | // ConstellationMission.spacecraft(Mission, Spacecraft); | ||
226 | // InterferometryMission.observationTime(Mission, ObservationTime); | ||
227 | // Data == eval(12.0 * ObservationTime); | ||
228 | //} | ||
229 | // | ||
230 | //private pattern transmitRate(Spacecraft : Spacecraft, TransmitRate : java Double) { | ||
231 | // find spacecraftUplink(Spacecraft, Comm, Target); | ||
232 | // UHFCommSubsystem(Comm); | ||
233 | // Spacecraft(Target); | ||
234 | // TransmitRate == 5.0; | ||
235 | //} or { | ||
236 | // find spacecraftUplink(Spacecraft, Comm, Target); | ||
237 | // XCommSubsystem(Comm); | ||
238 | // Spacecraft(Target); | ||
239 | // TransmitRate == 1.6; | ||
240 | //} or { | ||
241 | // find spacecraftUplink(Spacecraft, Comm, Target); | ||
242 | // XCommSubsystem(Comm); | ||
243 | // GroundStationNetwork(Target); | ||
244 | // TransmitRate == 0.7; | ||
245 | //} or { | ||
246 | // find spacecraftUplink(Spacecraft, Comm, Target); | ||
247 | // KaCommSubsystem(Comm); | ||
248 | // Spacecraft(Target); | ||
249 | // TransmitRate == 220.0; | ||
250 | //} or { | ||
251 | // find spacecraftUplink(Spacecraft, Comm, Target); | ||
252 | // KaCommSubsystem(Comm); | ||
253 | // GroundStationNetwork(Target); | ||
254 | // TransmitRate == 80.0; | ||
255 | //} | ||
256 | // | ||
257 | //private pattern spacecraftUplink(Spacecraft : Spacecraft, TargetSubsystem : CommSubsystem, Target : CommunicatingElement) { | ||
258 | // CommunicatingElement.commSubsystem.target(Spacecraft, TargetSubsystem); | ||
259 | // CommunicatingElement.commSubsystem(Target, TargetSubsystem); | ||
260 | //} | ||
261 | // | ||
262 | //// Cost | ||
263 | // | ||
264 | //pattern costMetric(Cost : java Double) { | ||
265 | // Cost == sum find missionCost(_, #_); | ||
266 | //} | ||
267 | // | ||
268 | //private pattern missionCost(Mission : InterferometryMission, Cost : java Double) { | ||
269 | // InterferometryMission.observationTime(Mission, ObservationTime); | ||
270 | // SpacecraftCost == sum find spacecraftCost(Mission, _, #_); | ||
271 | // Cost == eval(SpacecraftCost + 100000.0 * ObservationTime); | ||
272 | //} | ||
273 | // | ||
274 | //private pattern spacecraftCost(Mission : InterferometryMission, Spacecraft : Spacecraft, Cost : java Double) { | ||
275 | // ConstellationMission.spacecraft(Mission, Spacecraft); | ||
276 | // find spacecraftOfKindCount(Spacecraft, KindCount); | ||
277 | // find basePrice(Spacecraft, BasePrice); | ||
278 | // find interferometryPayloadCost(Spacecraft, InterferometryPayloadCost); | ||
279 | // find additionalCommSubsystemCost(Spacecraft, AdditionalCommSubsystemCost); | ||
280 | // Cost == eval(BasePrice * Math.pow(KindCount, -0.25) + InterferometryPayloadCost + AdditionalCommSubsystemCost); | ||
281 | //} | ||
282 | // | ||
283 | //private pattern spacecraftOfKindCount(Sat : Spacecraft, Count : java Integer) { | ||
284 | // CubeSat3U(Sat); | ||
285 | // Count == count find cubeSat3U(_); | ||
286 | //} or { | ||
287 | // CubeSat6U(Sat); | ||
288 | // Count == count find cubeSat6U(_); | ||
289 | //} or { | ||
290 | // SmallSat(Sat); | ||
291 | // Count == count find smallSat(_); | ||
292 | //} | ||
293 | // | ||
294 | //private pattern basePrice(Spacecraft : Spacecraft, BasePrice : java Double) { | ||
295 | // CubeSat3U(Spacecraft); | ||
296 | // BasePrice == 250000.0; | ||
297 | //} or { | ||
298 | // CubeSat6U(Spacecraft); | ||
299 | // BasePrice == 750000.0; | ||
300 | //} or { | ||
301 | // SmallSat(Spacecraft); | ||
302 | // BasePrice == 3000000.0; | ||
303 | //} | ||
304 | // | ||
305 | //private pattern interferometryPayloadCost(Spacecraft : Spacecraft, Cost : java Double) { | ||
306 | // find spacecraftWithInterferometryPayload(_, Spacecraft); | ||
307 | // Cost == 50000.0; | ||
308 | //} or { | ||
309 | // neg find spacecraftWithInterferometryPayload(_, Spacecraft); | ||
310 | // Cost == 0.0; | ||
311 | //} | ||
312 | // | ||
313 | //private pattern additionalCommSubsystemCost(Spacecraft : Spacecraft, Cost : java Double) { | ||
314 | // find spacecraftWithTwoCommSubsystems(Spacecraft); | ||
315 | // Cost == 100000.0; | ||
316 | //} or { | ||
317 | // neg find spacecraftWithTwoCommSubsystems(Spacecraft); | ||
318 | // Cost == 0.0; | ||
319 | //} | ||
320 | // | ||
321 | //private pattern spacecraftWithTwoCommSubsystems(Spacecraft : Spacecraft) { | ||
322 | // Spacecraft.commSubsystem(Spacecraft, Subsystem1); | ||
323 | // Spacecraft.commSubsystem(Spacecraft, Subsystem2); | ||
324 | // Subsystem1 != Subsystem2; | ||
325 | //} | ||
diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/src/hu/bme/mit/inf/dslreasoner/domains/satellite/runner/SatelliteGeneratorMain.xtend b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/src/hu/bme/mit/inf/dslreasoner/domains/satellite/runner/SatelliteGeneratorMain.xtend new file mode 100644 index 00000000..5e4e4ef0 --- /dev/null +++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/src/hu/bme/mit/inf/dslreasoner/domains/satellite/runner/SatelliteGeneratorMain.xtend | |||
@@ -0,0 +1,17 @@ | |||
1 | package hu.bme.mit.inf.dslreasoner.domains.satellite.runner | ||
2 | |||
3 | import hu.bme.mit.inf.dslreasoner.application.execution.StandaloneScriptExecutor | ||
4 | import org.eclipse.viatra.query.runtime.api.ViatraQueryEngineOptions | ||
5 | import org.eclipse.viatra.query.runtime.rete.matcher.ReteBackendFactory | ||
6 | |||
7 | final class SatelliteGeneratorMain { | ||
8 | private new() { | ||
9 | throw new IllegalStateException("This is a static utility class and should not be instantiated directly.") | ||
10 | } | ||
11 | |||
12 | public static def void main(String[] args) { | ||
13 | ViatraQueryEngineOptions.setSystemDefaultBackends(ReteBackendFactory.INSTANCE, ReteBackendFactory.INSTANCE, | ||
14 | ReteBackendFactory.INSTANCE) | ||
15 | println(StandaloneScriptExecutor.executeScript("configs/generation.vsconfig")) | ||
16 | } | ||
17 | } | ||