diff options
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, 7 insertions, 18 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 d7378783..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 | |||
@@ -3,13 +3,12 @@ | |||
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.CommunicationLinkOfElement; | 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.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; | ||
13 | import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.NoLinkToGroundStation; | 12 | import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.NoLinkToGroundStation; |
14 | import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.NoPotentialLinkToGroundStation; | 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; |
@@ -29,8 +28,7 @@ import org.eclipse.viatra.query.runtime.api.impl.BaseGeneratedPatternGroup; | |||
29 | * in order to achieve better performance than one-by-one on-demand matcher initialization. | 28 | * in order to achieve better performance than one-by-one on-demand matcher initialization. |
30 | * | 29 | * |
31 | * <p> From package hu.bme.mit.inf.dslreasoner.domains.satellite.queries, the group contains the definition of the following patterns: <ul> | 30 | * <p> From package hu.bme.mit.inf.dslreasoner.domains.satellite.queries, the group contains the definition of the following patterns: <ul> |
32 | * <li>multipleCommunicationLinks</li> | 31 | * <li>communicationLinkDoesNotStartAtContainingElement</li> |
33 | * <li>communicationLinkOfElement</li> | ||
34 | * <li>notEnoughInterferometryPayloads</li> | 32 | * <li>notEnoughInterferometryPayloads</li> |
35 | * <li>noLinkToGroundStation</li> | 33 | * <li>noLinkToGroundStation</li> |
36 | * <li>noPotentialLinkToGroundStation</li> | 34 | * <li>noPotentialLinkToGroundStation</li> |
@@ -68,8 +66,7 @@ public final class SatelliteQueries extends BaseGeneratedPatternGroup { | |||
68 | private static SatelliteQueries INSTANCE; | 66 | private static SatelliteQueries INSTANCE; |
69 | 67 | ||
70 | private SatelliteQueries() { | 68 | private SatelliteQueries() { |
71 | querySpecifications.add(MultipleCommunicationLinks.instance()); | 69 | querySpecifications.add(CommunicationLinkDoesNotStartAtContainingElement.instance()); |
72 | querySpecifications.add(CommunicationLinkOfElement.instance()); | ||
73 | querySpecifications.add(NotEnoughInterferometryPayloads.instance()); | 70 | querySpecifications.add(NotEnoughInterferometryPayloads.instance()); |
74 | querySpecifications.add(NoLinkToGroundStation.instance()); | 71 | querySpecifications.add(NoLinkToGroundStation.instance()); |
75 | querySpecifications.add(NoPotentialLinkToGroundStation.instance()); | 72 | querySpecifications.add(NoPotentialLinkToGroundStation.instance()); |
@@ -85,20 +82,12 @@ public final class SatelliteQueries extends BaseGeneratedPatternGroup { | |||
85 | querySpecifications.add(SpacecraftOfKind.instance()); | 82 | querySpecifications.add(SpacecraftOfKind.instance()); |
86 | } | 83 | } |
87 | 84 | ||
88 | public MultipleCommunicationLinks getMultipleCommunicationLinks() { | 85 | public CommunicationLinkDoesNotStartAtContainingElement getCommunicationLinkDoesNotStartAtContainingElement() { |
89 | return MultipleCommunicationLinks.instance(); | 86 | return CommunicationLinkDoesNotStartAtContainingElement.instance(); |
90 | } | 87 | } |
91 | 88 | ||
92 | public MultipleCommunicationLinks.Matcher getMultipleCommunicationLinks(final ViatraQueryEngine engine) { | 89 | public CommunicationLinkDoesNotStartAtContainingElement.Matcher getCommunicationLinkDoesNotStartAtContainingElement(final ViatraQueryEngine engine) { |
93 | return MultipleCommunicationLinks.Matcher.on(engine); | 90 | return CommunicationLinkDoesNotStartAtContainingElement.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); | ||
102 | } | 91 | } |
103 | 92 | ||
104 | public NotEnoughInterferometryPayloads getNotEnoughInterferometryPayloads() { | 93 | public NotEnoughInterferometryPayloads getNotEnoughInterferometryPayloads() { |