diff options
author | 2019-05-07 11:53:38 -0400 | |
---|---|---|
committer | 2019-05-07 11:53:38 -0400 | |
commit | 9b83e33c055660f6de218d1b672f67734675f1f6 (patch) | |
tree | 9bd56534fdeb2bad776780a856065739d0d525cd /Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/src-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/queries/SatelliteQueries.java | |
parent | Trying to implement spacecraft case study (diff) | |
download | VIATRA-Generator-9b83e33c055660f6de218d1b672f67734675f1f6.tar.gz VIATRA-Generator-9b83e33c055660f6de218d1b672f67734675f1f6.tar.zst VIATRA-Generator-9b83e33c055660f6de218d1b672f67734675f1f6.zip |
Try to restructure satellite 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 | 25 |
1 files changed, 18 insertions, 7 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 c86761ce..d7378783 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 | |||
@@ -3,12 +3,13 @@ | |||
3 | */ | 3 | */ |
4 | package hu.bme.mit.inf.dslreasoner.domains.satellite.queries; | 4 | 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.CommunicationLinkOfElement; |
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.CubeSatWithKaAntenna; | 8 | import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.CubeSatWithKaAntenna; |
9 | import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.IncompatibleSourceAndTargetBand; | 9 | import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.IncompatibleSourceAndTargetBand; |
10 | import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.IncompatibleSourceAndTargetGain; | 10 | import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.IncompatibleSourceAndTargetGain; |
11 | import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.KaAntennaGainLow; | 11 | import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.KaAntennaGainLow; |
12 | import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.MultipleCommunicationLinks; | ||
12 | import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.NoLinkToGroundStation; | 13 | import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.NoLinkToGroundStation; |
13 | import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.NoPotentialLinkToGroundStation; | 14 | import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.NoPotentialLinkToGroundStation; |
14 | import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.NotEnoughInterferometryPayloads; | 15 | import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.NotEnoughInterferometryPayloads; |
@@ -28,7 +29,8 @@ import org.eclipse.viatra.query.runtime.api.impl.BaseGeneratedPatternGroup; | |||
28 | * in order to achieve better performance than one-by-one on-demand matcher initialization. | 29 | * in order to achieve better performance than one-by-one on-demand matcher initialization. |
29 | * | 30 | * |
30 | * <p> From package hu.bme.mit.inf.dslreasoner.domains.satellite.queries, the group contains the definition of the following patterns: <ul> | 31 | * <p> From package hu.bme.mit.inf.dslreasoner.domains.satellite.queries, the group contains the definition of the following patterns: <ul> |
31 | * <li>communicationLinkDoesNotStartAtContainingElement</li> | 32 | * <li>multipleCommunicationLinks</li> |
33 | * <li>communicationLinkOfElement</li> | ||
32 | * <li>notEnoughInterferometryPayloads</li> | 34 | * <li>notEnoughInterferometryPayloads</li> |
33 | * <li>noLinkToGroundStation</li> | 35 | * <li>noLinkToGroundStation</li> |
34 | * <li>noPotentialLinkToGroundStation</li> | 36 | * <li>noPotentialLinkToGroundStation</li> |
@@ -66,7 +68,8 @@ public final class SatelliteQueries extends BaseGeneratedPatternGroup { | |||
66 | private static SatelliteQueries INSTANCE; | 68 | private static SatelliteQueries INSTANCE; |
67 | 69 | ||
68 | private SatelliteQueries() { | 70 | private SatelliteQueries() { |
69 | querySpecifications.add(CommunicationLinkDoesNotStartAtContainingElement.instance()); | 71 | querySpecifications.add(MultipleCommunicationLinks.instance()); |
72 | querySpecifications.add(CommunicationLinkOfElement.instance()); | ||
70 | querySpecifications.add(NotEnoughInterferometryPayloads.instance()); | 73 | querySpecifications.add(NotEnoughInterferometryPayloads.instance()); |
71 | querySpecifications.add(NoLinkToGroundStation.instance()); | 74 | querySpecifications.add(NoLinkToGroundStation.instance()); |
72 | querySpecifications.add(NoPotentialLinkToGroundStation.instance()); | 75 | querySpecifications.add(NoPotentialLinkToGroundStation.instance()); |
@@ -82,12 +85,20 @@ public final class SatelliteQueries extends BaseGeneratedPatternGroup { | |||
82 | querySpecifications.add(SpacecraftOfKind.instance()); | 85 | querySpecifications.add(SpacecraftOfKind.instance()); |
83 | } | 86 | } |
84 | 87 | ||
85 | public CommunicationLinkDoesNotStartAtContainingElement getCommunicationLinkDoesNotStartAtContainingElement() { | 88 | public MultipleCommunicationLinks getMultipleCommunicationLinks() { |
86 | return CommunicationLinkDoesNotStartAtContainingElement.instance(); | 89 | return MultipleCommunicationLinks.instance(); |
87 | } | 90 | } |
88 | 91 | ||
89 | public CommunicationLinkDoesNotStartAtContainingElement.Matcher getCommunicationLinkDoesNotStartAtContainingElement(final ViatraQueryEngine engine) { | 92 | public MultipleCommunicationLinks.Matcher getMultipleCommunicationLinks(final ViatraQueryEngine engine) { |
90 | return CommunicationLinkDoesNotStartAtContainingElement.Matcher.on(engine); | 93 | return MultipleCommunicationLinks.Matcher.on(engine); |
94 | } | ||
95 | |||
96 | public CommunicationLinkOfElement getCommunicationLinkOfElement() { | ||
97 | return CommunicationLinkOfElement.instance(); | ||
98 | } | ||
99 | |||
100 | public CommunicationLinkOfElement.Matcher getCommunicationLinkOfElement(final ViatraQueryEngine engine) { | ||
101 | return CommunicationLinkOfElement.Matcher.on(engine); | ||
91 | } | 102 | } |
92 | 103 | ||
93 | public NotEnoughInterferometryPayloads getNotEnoughInterferometryPayloads() { | 104 | public NotEnoughInterferometryPayloads getNotEnoughInterferometryPayloads() { |