aboutsummaryrefslogtreecommitdiffstats
path: root/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/src-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/queries/SatelliteQueries.java
diff options
context:
space:
mode:
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.java141
1 files changed, 0 insertions, 141 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
deleted file mode 100644
index 9025d93a..00000000
--- a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/src-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/queries/SatelliteQueries.java
+++ /dev/null
@@ -1,141 +0,0 @@
1/**
2 * Generated from platform:/resource/hu.bme.mit.inf.dslreasoner.domains.satellite/src/hu/bme/mit/inf/dslreasoner/domains/satellite/queries/SatelliteQueries.vql
3 */
4package hu.bme.mit.inf.dslreasoner.domains.satellite.queries;
5
6import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.CommunicationLinkDoesNotStartAtContainingElement;
7import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.CommunicationLoop;
8import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.CubeSatWithKaAntenna;
9import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.IncompatibleSourceAndTargetBand;
10import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.NoLinkToGroundStation;
11import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.NoPotentialLinkToGroundStation;
12import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.NotEnoughInterferometryPayloads;
13import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.SmallSat;
14import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.ThreeUCubeSatWithNonUhfCrossLink;
15import org.eclipse.viatra.query.runtime.api.ViatraQueryEngine;
16import org.eclipse.viatra.query.runtime.api.impl.BaseGeneratedPatternGroup;
17
18/**
19 * A pattern group formed of all public patterns defined in SatelliteQueries.vql.
20 *
21 * <p>Use the static instance as any {@link interface org.eclipse.viatra.query.runtime.api.IQueryGroup}, to conveniently prepare
22 * a VIATRA Query engine for matching all patterns originally defined in file SatelliteQueries.vql,
23 * in order to achieve better performance than one-by-one on-demand matcher initialization.
24 *
25 * <p> From package hu.bme.mit.inf.dslreasoner.domains.satellite.queries, the group contains the definition of the following patterns: <ul>
26 * <li>communicationLinkDoesNotStartAtContainingElement</li>
27 * <li>notEnoughInterferometryPayloads</li>
28 * <li>noLinkToGroundStation</li>
29 * <li>noPotentialLinkToGroundStation</li>
30 * <li>communicationLoop</li>
31 * <li>incompatibleSourceAndTargetBand</li>
32 * <li>threeUCubeSatWithNonUhfCrossLink</li>
33 * <li>cubeSatWithKaAntenna</li>
34 * <li>smallSat</li>
35 * </ul>
36 *
37 * @see IQueryGroup
38 *
39 */
40@SuppressWarnings("all")
41public final class SatelliteQueries extends BaseGeneratedPatternGroup {
42 /**
43 * Access the pattern group.
44 *
45 * @return the singleton instance of the group
46 * @throws ViatraQueryRuntimeException if there was an error loading the generated code of pattern specifications
47 *
48 */
49 public static SatelliteQueries instance() {
50 if (INSTANCE == null) {
51 INSTANCE = new SatelliteQueries();
52 }
53 return INSTANCE;
54 }
55
56 private static SatelliteQueries INSTANCE;
57
58 private SatelliteQueries() {
59 querySpecifications.add(CommunicationLinkDoesNotStartAtContainingElement.instance());
60 querySpecifications.add(NotEnoughInterferometryPayloads.instance());
61 querySpecifications.add(NoLinkToGroundStation.instance());
62 querySpecifications.add(NoPotentialLinkToGroundStation.instance());
63 querySpecifications.add(CommunicationLoop.instance());
64 querySpecifications.add(IncompatibleSourceAndTargetBand.instance());
65 querySpecifications.add(ThreeUCubeSatWithNonUhfCrossLink.instance());
66 querySpecifications.add(CubeSatWithKaAntenna.instance());
67 querySpecifications.add(SmallSat.instance());
68 }
69
70 public CommunicationLinkDoesNotStartAtContainingElement getCommunicationLinkDoesNotStartAtContainingElement() {
71 return CommunicationLinkDoesNotStartAtContainingElement.instance();
72 }
73
74 public CommunicationLinkDoesNotStartAtContainingElement.Matcher getCommunicationLinkDoesNotStartAtContainingElement(final ViatraQueryEngine engine) {
75 return CommunicationLinkDoesNotStartAtContainingElement.Matcher.on(engine);
76 }
77
78 public NotEnoughInterferometryPayloads getNotEnoughInterferometryPayloads() {
79 return NotEnoughInterferometryPayloads.instance();
80 }
81
82 public NotEnoughInterferometryPayloads.Matcher getNotEnoughInterferometryPayloads(final ViatraQueryEngine engine) {
83 return NotEnoughInterferometryPayloads.Matcher.on(engine);
84 }
85
86 public NoLinkToGroundStation getNoLinkToGroundStation() {
87 return NoLinkToGroundStation.instance();
88 }
89
90 public NoLinkToGroundStation.Matcher getNoLinkToGroundStation(final ViatraQueryEngine engine) {
91 return NoLinkToGroundStation.Matcher.on(engine);
92 }
93
94 public NoPotentialLinkToGroundStation getNoPotentialLinkToGroundStation() {
95 return NoPotentialLinkToGroundStation.instance();
96 }
97
98 public NoPotentialLinkToGroundStation.Matcher getNoPotentialLinkToGroundStation(final ViatraQueryEngine engine) {
99 return NoPotentialLinkToGroundStation.Matcher.on(engine);
100 }
101
102 public CommunicationLoop getCommunicationLoop() {
103 return CommunicationLoop.instance();
104 }
105
106 public CommunicationLoop.Matcher getCommunicationLoop(final ViatraQueryEngine engine) {
107 return CommunicationLoop.Matcher.on(engine);
108 }
109
110 public IncompatibleSourceAndTargetBand getIncompatibleSourceAndTargetBand() {
111 return IncompatibleSourceAndTargetBand.instance();
112 }
113
114 public IncompatibleSourceAndTargetBand.Matcher getIncompatibleSourceAndTargetBand(final ViatraQueryEngine engine) {
115 return IncompatibleSourceAndTargetBand.Matcher.on(engine);
116 }
117
118 public ThreeUCubeSatWithNonUhfCrossLink getThreeUCubeSatWithNonUhfCrossLink() {
119 return ThreeUCubeSatWithNonUhfCrossLink.instance();
120 }
121
122 public ThreeUCubeSatWithNonUhfCrossLink.Matcher getThreeUCubeSatWithNonUhfCrossLink(final ViatraQueryEngine engine) {
123 return ThreeUCubeSatWithNonUhfCrossLink.Matcher.on(engine);
124 }
125
126 public CubeSatWithKaAntenna getCubeSatWithKaAntenna() {
127 return CubeSatWithKaAntenna.instance();
128 }
129
130 public CubeSatWithKaAntenna.Matcher getCubeSatWithKaAntenna(final ViatraQueryEngine engine) {
131 return CubeSatWithKaAntenna.Matcher.on(engine);
132 }
133
134 public SmallSat getSmallSat() {
135 return SmallSat.instance();
136 }
137
138 public SmallSat.Matcher getSmallSat(final ViatraQueryEngine engine) {
139 return SmallSat.Matcher.on(engine);
140 }
141}