diff options
author | 2019-05-06 18:42:22 -0400 | |
---|---|---|
committer | 2019-05-06 18:42:22 -0400 | |
commit | 09b1255f11ee17828da706f682e33f50316887fe (patch) | |
tree | f3783961c521b73201a9d079be78feb26e8a285c /Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/src-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/queries/SatelliteQueries.java | |
parent | Merge remote-tracking branch 'origin/master' into kris (diff) | |
download | VIATRA-Generator-09b1255f11ee17828da706f682e33f50316887fe.tar.gz VIATRA-Generator-09b1255f11ee17828da706f682e33f50316887fe.tar.zst VIATRA-Generator-09b1255f11ee17828da706f682e33f50316887fe.zip |
Trying to implement spacecraft case study
Diffstat (limited to 'Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/src-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/queries/SatelliteQueries.java')
-rw-r--r-- | Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/src-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/queries/SatelliteQueries.java | 50 |
1 files changed, 25 insertions, 25 deletions
diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/src-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/queries/SatelliteQueries.java b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/src-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/queries/SatelliteQueries.java index b6601c28..c86761ce 100644 --- a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/src-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/queries/SatelliteQueries.java +++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/src-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/queries/SatelliteQueries.java | |||
@@ -5,16 +5,16 @@ package hu.bme.mit.inf.dslreasoner.domains.satellite.queries; | |||
5 | 5 | ||
6 | import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.CommunicationLinkDoesNotStartAtContainingElement; | 6 | import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.CommunicationLinkDoesNotStartAtContainingElement; |
7 | import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.CommunicationLoop; | 7 | import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.CommunicationLoop; |
8 | import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.CostMetric; | ||
9 | import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.CoverageMetric; | ||
10 | import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.CubeSatWithKaAntenna; | 8 | import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.CubeSatWithKaAntenna; |
11 | import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.IncompatibleSourceAndTargetBand; | 9 | import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.IncompatibleSourceAndTargetBand; |
12 | import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.IncompatibleSourceAndTargetGain; | 10 | import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.IncompatibleSourceAndTargetGain; |
13 | import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.KaAntennaGainLow; | 11 | import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.KaAntennaGainLow; |
14 | import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.NoLinkToGroundStation; | 12 | import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.NoLinkToGroundStation; |
13 | import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.NoPotentialLinkToGroundStation; | ||
15 | import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.NotEnoughInterferometryPayloads; | 14 | import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.NotEnoughInterferometryPayloads; |
15 | import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.SmallSat; | ||
16 | import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.SpacecraftOfKind; | ||
16 | import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.ThreeUCubeSatWithNonUhfCrossLink; | 17 | import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.ThreeUCubeSatWithNonUhfCrossLink; |
17 | import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.TimeMetric; | ||
18 | import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.UhfAntennaGainNotLow; | 18 | import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.UhfAntennaGainNotLow; |
19 | import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.XAntennaGainNotMedium; | 19 | import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.XAntennaGainNotMedium; |
20 | import org.eclipse.viatra.query.runtime.api.ViatraQueryEngine; | 20 | import org.eclipse.viatra.query.runtime.api.ViatraQueryEngine; |
@@ -31,6 +31,7 @@ import org.eclipse.viatra.query.runtime.api.impl.BaseGeneratedPatternGroup; | |||
31 | * <li>communicationLinkDoesNotStartAtContainingElement</li> | 31 | * <li>communicationLinkDoesNotStartAtContainingElement</li> |
32 | * <li>notEnoughInterferometryPayloads</li> | 32 | * <li>notEnoughInterferometryPayloads</li> |
33 | * <li>noLinkToGroundStation</li> | 33 | * <li>noLinkToGroundStation</li> |
34 | * <li>noPotentialLinkToGroundStation</li> | ||
34 | * <li>communicationLoop</li> | 35 | * <li>communicationLoop</li> |
35 | * <li>incompatibleSourceAndTargetBand</li> | 36 | * <li>incompatibleSourceAndTargetBand</li> |
36 | * <li>incompatibleSourceAndTargetGain</li> | 37 | * <li>incompatibleSourceAndTargetGain</li> |
@@ -39,9 +40,8 @@ import org.eclipse.viatra.query.runtime.api.impl.BaseGeneratedPatternGroup; | |||
39 | * <li>kaAntennaGainLow</li> | 40 | * <li>kaAntennaGainLow</li> |
40 | * <li>threeUCubeSatWithNonUhfCrossLink</li> | 41 | * <li>threeUCubeSatWithNonUhfCrossLink</li> |
41 | * <li>cubeSatWithKaAntenna</li> | 42 | * <li>cubeSatWithKaAntenna</li> |
42 | * <li>coverageMetric</li> | 43 | * <li>smallSat</li> |
43 | * <li>timeMetric</li> | 44 | * <li>spacecraftOfKind</li> |
44 | * <li>costMetric</li> | ||
45 | * </ul> | 45 | * </ul> |
46 | * | 46 | * |
47 | * @see IQueryGroup | 47 | * @see IQueryGroup |
@@ -69,6 +69,7 @@ public final class SatelliteQueries extends BaseGeneratedPatternGroup { | |||
69 | querySpecifications.add(CommunicationLinkDoesNotStartAtContainingElement.instance()); | 69 | querySpecifications.add(CommunicationLinkDoesNotStartAtContainingElement.instance()); |
70 | querySpecifications.add(NotEnoughInterferometryPayloads.instance()); | 70 | querySpecifications.add(NotEnoughInterferometryPayloads.instance()); |
71 | querySpecifications.add(NoLinkToGroundStation.instance()); | 71 | querySpecifications.add(NoLinkToGroundStation.instance()); |
72 | querySpecifications.add(NoPotentialLinkToGroundStation.instance()); | ||
72 | querySpecifications.add(CommunicationLoop.instance()); | 73 | querySpecifications.add(CommunicationLoop.instance()); |
73 | querySpecifications.add(IncompatibleSourceAndTargetBand.instance()); | 74 | querySpecifications.add(IncompatibleSourceAndTargetBand.instance()); |
74 | querySpecifications.add(IncompatibleSourceAndTargetGain.instance()); | 75 | querySpecifications.add(IncompatibleSourceAndTargetGain.instance()); |
@@ -77,9 +78,8 @@ public final class SatelliteQueries extends BaseGeneratedPatternGroup { | |||
77 | querySpecifications.add(KaAntennaGainLow.instance()); | 78 | querySpecifications.add(KaAntennaGainLow.instance()); |
78 | querySpecifications.add(ThreeUCubeSatWithNonUhfCrossLink.instance()); | 79 | querySpecifications.add(ThreeUCubeSatWithNonUhfCrossLink.instance()); |
79 | querySpecifications.add(CubeSatWithKaAntenna.instance()); | 80 | querySpecifications.add(CubeSatWithKaAntenna.instance()); |
80 | querySpecifications.add(CoverageMetric.instance()); | 81 | querySpecifications.add(SmallSat.instance()); |
81 | querySpecifications.add(TimeMetric.instance()); | 82 | querySpecifications.add(SpacecraftOfKind.instance()); |
82 | querySpecifications.add(CostMetric.instance()); | ||
83 | } | 83 | } |
84 | 84 | ||
85 | public CommunicationLinkDoesNotStartAtContainingElement getCommunicationLinkDoesNotStartAtContainingElement() { | 85 | public CommunicationLinkDoesNotStartAtContainingElement getCommunicationLinkDoesNotStartAtContainingElement() { |
@@ -106,6 +106,14 @@ public final class SatelliteQueries extends BaseGeneratedPatternGroup { | |||
106 | return NoLinkToGroundStation.Matcher.on(engine); | 106 | return NoLinkToGroundStation.Matcher.on(engine); |
107 | } | 107 | } |
108 | 108 | ||
109 | public NoPotentialLinkToGroundStation getNoPotentialLinkToGroundStation() { | ||
110 | return NoPotentialLinkToGroundStation.instance(); | ||
111 | } | ||
112 | |||
113 | public NoPotentialLinkToGroundStation.Matcher getNoPotentialLinkToGroundStation(final ViatraQueryEngine engine) { | ||
114 | return NoPotentialLinkToGroundStation.Matcher.on(engine); | ||
115 | } | ||
116 | |||
109 | public CommunicationLoop getCommunicationLoop() { | 117 | public CommunicationLoop getCommunicationLoop() { |
110 | return CommunicationLoop.instance(); | 118 | return CommunicationLoop.instance(); |
111 | } | 119 | } |
@@ -170,27 +178,19 @@ public final class SatelliteQueries extends BaseGeneratedPatternGroup { | |||
170 | return CubeSatWithKaAntenna.Matcher.on(engine); | 178 | return CubeSatWithKaAntenna.Matcher.on(engine); |
171 | } | 179 | } |
172 | 180 | ||
173 | public CoverageMetric getCoverageMetric() { | 181 | public SmallSat getSmallSat() { |
174 | return CoverageMetric.instance(); | 182 | return SmallSat.instance(); |
175 | } | ||
176 | |||
177 | public CoverageMetric.Matcher getCoverageMetric(final ViatraQueryEngine engine) { | ||
178 | return CoverageMetric.Matcher.on(engine); | ||
179 | } | ||
180 | |||
181 | public TimeMetric getTimeMetric() { | ||
182 | return TimeMetric.instance(); | ||
183 | } | 183 | } |
184 | 184 | ||
185 | public TimeMetric.Matcher getTimeMetric(final ViatraQueryEngine engine) { | 185 | public SmallSat.Matcher getSmallSat(final ViatraQueryEngine engine) { |
186 | return TimeMetric.Matcher.on(engine); | 186 | return SmallSat.Matcher.on(engine); |
187 | } | 187 | } |
188 | 188 | ||
189 | public CostMetric getCostMetric() { | 189 | public SpacecraftOfKind getSpacecraftOfKind() { |
190 | return CostMetric.instance(); | 190 | return SpacecraftOfKind.instance(); |
191 | } | 191 | } |
192 | 192 | ||
193 | public CostMetric.Matcher getCostMetric(final ViatraQueryEngine engine) { | 193 | public SpacecraftOfKind.Matcher getSpacecraftOfKind(final ViatraQueryEngine engine) { |
194 | return CostMetric.Matcher.on(engine); | 194 | return SpacecraftOfKind.Matcher.on(engine); |
195 | } | 195 | } |
196 | } | 196 | } |