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 | 196 |
1 files changed, 196 insertions, 0 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 new file mode 100644 index 00000000..c86761ce --- /dev/null +++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/src-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/queries/SatelliteQueries.java | |||
@@ -0,0 +1,196 @@ | |||
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 | */ | ||
4 | package hu.bme.mit.inf.dslreasoner.domains.satellite.queries; | ||
5 | |||
6 | import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.CommunicationLinkDoesNotStartAtContainingElement; | ||
7 | import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.CommunicationLoop; | ||
8 | import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.CubeSatWithKaAntenna; | ||
9 | import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.IncompatibleSourceAndTargetBand; | ||
10 | import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.IncompatibleSourceAndTargetGain; | ||
11 | import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.KaAntennaGainLow; | ||
12 | 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.NotEnoughInterferometryPayloads; | ||
15 | import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.SmallSat; | ||
16 | import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.SpacecraftOfKind; | ||
17 | import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.ThreeUCubeSatWithNonUhfCrossLink; | ||
18 | import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.UhfAntennaGainNotLow; | ||
19 | import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.XAntennaGainNotMedium; | ||
20 | import org.eclipse.viatra.query.runtime.api.ViatraQueryEngine; | ||
21 | import org.eclipse.viatra.query.runtime.api.impl.BaseGeneratedPatternGroup; | ||
22 | |||
23 | /** | ||
24 | * A pattern group formed of all public patterns defined in SatelliteQueries.vql. | ||
25 | * | ||
26 | * <p>Use the static instance as any {@link interface org.eclipse.viatra.query.runtime.api.IQueryGroup}, to conveniently prepare | ||
27 | * a VIATRA Query engine for matching all patterns originally defined in file SatelliteQueries.vql, | ||
28 | * in order to achieve better performance than one-by-one on-demand matcher initialization. | ||
29 | * | ||
30 | * <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>notEnoughInterferometryPayloads</li> | ||
33 | * <li>noLinkToGroundStation</li> | ||
34 | * <li>noPotentialLinkToGroundStation</li> | ||
35 | * <li>communicationLoop</li> | ||
36 | * <li>incompatibleSourceAndTargetBand</li> | ||
37 | * <li>incompatibleSourceAndTargetGain</li> | ||
38 | * <li>uhfAntennaGainNotLow</li> | ||
39 | * <li>xAntennaGainNotMedium</li> | ||
40 | * <li>kaAntennaGainLow</li> | ||
41 | * <li>threeUCubeSatWithNonUhfCrossLink</li> | ||
42 | * <li>cubeSatWithKaAntenna</li> | ||
43 | * <li>smallSat</li> | ||
44 | * <li>spacecraftOfKind</li> | ||
45 | * </ul> | ||
46 | * | ||
47 | * @see IQueryGroup | ||
48 | * | ||
49 | */ | ||
50 | @SuppressWarnings("all") | ||
51 | public final class SatelliteQueries extends BaseGeneratedPatternGroup { | ||
52 | /** | ||
53 | * Access the pattern group. | ||
54 | * | ||
55 | * @return the singleton instance of the group | ||
56 | * @throws ViatraQueryRuntimeException if there was an error loading the generated code of pattern specifications | ||
57 | * | ||
58 | */ | ||
59 | public static SatelliteQueries instance() { | ||
60 | if (INSTANCE == null) { | ||
61 | INSTANCE = new SatelliteQueries(); | ||
62 | } | ||
63 | return INSTANCE; | ||
64 | } | ||
65 | |||
66 | private static SatelliteQueries INSTANCE; | ||
67 | |||
68 | private SatelliteQueries() { | ||
69 | querySpecifications.add(CommunicationLinkDoesNotStartAtContainingElement.instance()); | ||
70 | querySpecifications.add(NotEnoughInterferometryPayloads.instance()); | ||
71 | querySpecifications.add(NoLinkToGroundStation.instance()); | ||
72 | querySpecifications.add(NoPotentialLinkToGroundStation.instance()); | ||
73 | querySpecifications.add(CommunicationLoop.instance()); | ||
74 | querySpecifications.add(IncompatibleSourceAndTargetBand.instance()); | ||
75 | querySpecifications.add(IncompatibleSourceAndTargetGain.instance()); | ||
76 | querySpecifications.add(UhfAntennaGainNotLow.instance()); | ||
77 | querySpecifications.add(XAntennaGainNotMedium.instance()); | ||
78 | querySpecifications.add(KaAntennaGainLow.instance()); | ||
79 | querySpecifications.add(ThreeUCubeSatWithNonUhfCrossLink.instance()); | ||
80 | querySpecifications.add(CubeSatWithKaAntenna.instance()); | ||
81 | querySpecifications.add(SmallSat.instance()); | ||
82 | querySpecifications.add(SpacecraftOfKind.instance()); | ||
83 | } | ||
84 | |||
85 | public CommunicationLinkDoesNotStartAtContainingElement getCommunicationLinkDoesNotStartAtContainingElement() { | ||
86 | return CommunicationLinkDoesNotStartAtContainingElement.instance(); | ||
87 | } | ||
88 | |||
89 | public CommunicationLinkDoesNotStartAtContainingElement.Matcher getCommunicationLinkDoesNotStartAtContainingElement(final ViatraQueryEngine engine) { | ||
90 | return CommunicationLinkDoesNotStartAtContainingElement.Matcher.on(engine); | ||
91 | } | ||
92 | |||
93 | public NotEnoughInterferometryPayloads getNotEnoughInterferometryPayloads() { | ||
94 | return NotEnoughInterferometryPayloads.instance(); | ||
95 | } | ||
96 | |||
97 | public NotEnoughInterferometryPayloads.Matcher getNotEnoughInterferometryPayloads(final ViatraQueryEngine engine) { | ||
98 | return NotEnoughInterferometryPayloads.Matcher.on(engine); | ||
99 | } | ||
100 | |||
101 | public NoLinkToGroundStation getNoLinkToGroundStation() { | ||
102 | return NoLinkToGroundStation.instance(); | ||
103 | } | ||
104 | |||
105 | public NoLinkToGroundStation.Matcher getNoLinkToGroundStation(final ViatraQueryEngine engine) { | ||
106 | return NoLinkToGroundStation.Matcher.on(engine); | ||
107 | } | ||
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 | |||
117 | public CommunicationLoop getCommunicationLoop() { | ||
118 | return CommunicationLoop.instance(); | ||
119 | } | ||
120 | |||
121 | public CommunicationLoop.Matcher getCommunicationLoop(final ViatraQueryEngine engine) { | ||
122 | return CommunicationLoop.Matcher.on(engine); | ||
123 | } | ||
124 | |||
125 | public IncompatibleSourceAndTargetBand getIncompatibleSourceAndTargetBand() { | ||
126 | return IncompatibleSourceAndTargetBand.instance(); | ||
127 | } | ||
128 | |||
129 | public IncompatibleSourceAndTargetBand.Matcher getIncompatibleSourceAndTargetBand(final ViatraQueryEngine engine) { | ||
130 | return IncompatibleSourceAndTargetBand.Matcher.on(engine); | ||
131 | } | ||
132 | |||
133 | public IncompatibleSourceAndTargetGain getIncompatibleSourceAndTargetGain() { | ||
134 | return IncompatibleSourceAndTargetGain.instance(); | ||
135 | } | ||
136 | |||
137 | public IncompatibleSourceAndTargetGain.Matcher getIncompatibleSourceAndTargetGain(final ViatraQueryEngine engine) { | ||
138 | return IncompatibleSourceAndTargetGain.Matcher.on(engine); | ||
139 | } | ||
140 | |||
141 | public UhfAntennaGainNotLow getUhfAntennaGainNotLow() { | ||
142 | return UhfAntennaGainNotLow.instance(); | ||
143 | } | ||
144 | |||
145 | public UhfAntennaGainNotLow.Matcher getUhfAntennaGainNotLow(final ViatraQueryEngine engine) { | ||
146 | return UhfAntennaGainNotLow.Matcher.on(engine); | ||
147 | } | ||
148 | |||
149 | public XAntennaGainNotMedium getXAntennaGainNotMedium() { | ||
150 | return XAntennaGainNotMedium.instance(); | ||
151 | } | ||
152 | |||
153 | public XAntennaGainNotMedium.Matcher getXAntennaGainNotMedium(final ViatraQueryEngine engine) { | ||
154 | return XAntennaGainNotMedium.Matcher.on(engine); | ||
155 | } | ||
156 | |||
157 | public KaAntennaGainLow getKaAntennaGainLow() { | ||
158 | return KaAntennaGainLow.instance(); | ||
159 | } | ||
160 | |||
161 | public KaAntennaGainLow.Matcher getKaAntennaGainLow(final ViatraQueryEngine engine) { | ||
162 | return KaAntennaGainLow.Matcher.on(engine); | ||
163 | } | ||
164 | |||
165 | public ThreeUCubeSatWithNonUhfCrossLink getThreeUCubeSatWithNonUhfCrossLink() { | ||
166 | return ThreeUCubeSatWithNonUhfCrossLink.instance(); | ||
167 | } | ||
168 | |||
169 | public ThreeUCubeSatWithNonUhfCrossLink.Matcher getThreeUCubeSatWithNonUhfCrossLink(final ViatraQueryEngine engine) { | ||
170 | return ThreeUCubeSatWithNonUhfCrossLink.Matcher.on(engine); | ||
171 | } | ||
172 | |||
173 | public CubeSatWithKaAntenna getCubeSatWithKaAntenna() { | ||
174 | return CubeSatWithKaAntenna.instance(); | ||
175 | } | ||
176 | |||
177 | public CubeSatWithKaAntenna.Matcher getCubeSatWithKaAntenna(final ViatraQueryEngine engine) { | ||
178 | return CubeSatWithKaAntenna.Matcher.on(engine); | ||
179 | } | ||
180 | |||
181 | public SmallSat getSmallSat() { | ||
182 | return SmallSat.instance(); | ||
183 | } | ||
184 | |||
185 | public SmallSat.Matcher getSmallSat(final ViatraQueryEngine engine) { | ||
186 | return SmallSat.Matcher.on(engine); | ||
187 | } | ||
188 | |||
189 | public SpacecraftOfKind getSpacecraftOfKind() { | ||
190 | return SpacecraftOfKind.instance(); | ||
191 | } | ||
192 | |||
193 | public SpacecraftOfKind.Matcher getSpacecraftOfKind(final ViatraQueryEngine engine) { | ||
194 | return SpacecraftOfKind.Matcher.on(engine); | ||
195 | } | ||
196 | } | ||