diff options
author | Kristóf Marussy <kris7topher@gmail.com> | 2019-04-15 16:23:19 +0200 |
---|---|---|
committer | Kristóf Marussy <kris7topher@gmail.com> | 2019-04-15 16:23:19 +0200 |
commit | 2531cfb60d747c261a20201415728beb0e24ab9b (patch) | |
tree | 0d7a242c674d735879e8c017bda7212e7ad02df2 /Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/src-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/queries/SatelliteQueries.java | |
parent | Make diversity checking work with optimization (diff) | |
download | VIATRA-Generator-2531cfb60d747c261a20201415728beb0e24ab9b.tar.gz VIATRA-Generator-2531cfb60d747c261a20201415728beb0e24ab9b.tar.zst VIATRA-Generator-2531cfb60d747c261a20201415728beb0e24ab9b.zip |
Satellite constellation case study WIP
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 | 163 |
1 files changed, 163 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..d4d72391 --- /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,163 @@ | |||
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.NotEnoughInterferometryPayloads; | ||
14 | import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.ThreeUCubeSatWithNonUhfCrossLink; | ||
15 | import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.UhfAntennaGainNotLow; | ||
16 | import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.XAntennaGainNotMedium; | ||
17 | import org.eclipse.viatra.query.runtime.api.ViatraQueryEngine; | ||
18 | import org.eclipse.viatra.query.runtime.api.impl.BaseGeneratedPatternGroup; | ||
19 | |||
20 | /** | ||
21 | * A pattern group formed of all public patterns defined in SatelliteQueries.vql. | ||
22 | * | ||
23 | * <p>Use the static instance as any {@link interface org.eclipse.viatra.query.runtime.api.IQueryGroup}, to conveniently prepare | ||
24 | * a VIATRA Query engine for matching all patterns originally defined in file SatelliteQueries.vql, | ||
25 | * in order to achieve better performance than one-by-one on-demand matcher initialization. | ||
26 | * | ||
27 | * <p> From package hu.bme.mit.inf.dslreasoner.domains.satellite.queries, the group contains the definition of the following patterns: <ul> | ||
28 | * <li>communicationLinkDoesNotStartAtContainingElement</li> | ||
29 | * <li>notEnoughInterferometryPayloads</li> | ||
30 | * <li>noLinkToGroundStation</li> | ||
31 | * <li>communicationLoop</li> | ||
32 | * <li>incompatibleSourceAndTargetBand</li> | ||
33 | * <li>incompatibleSourceAndTargetGain</li> | ||
34 | * <li>uhfAntennaGainNotLow</li> | ||
35 | * <li>xAntennaGainNotMedium</li> | ||
36 | * <li>kaAntennaGainLow</li> | ||
37 | * <li>threeUCubeSatWithNonUhfCrossLink</li> | ||
38 | * <li>cubeSatWithKaAntenna</li> | ||
39 | * </ul> | ||
40 | * | ||
41 | * @see IQueryGroup | ||
42 | * | ||
43 | */ | ||
44 | @SuppressWarnings("all") | ||
45 | public final class SatelliteQueries extends BaseGeneratedPatternGroup { | ||
46 | /** | ||
47 | * Access the pattern group. | ||
48 | * | ||
49 | * @return the singleton instance of the group | ||
50 | * @throws ViatraQueryRuntimeException if there was an error loading the generated code of pattern specifications | ||
51 | * | ||
52 | */ | ||
53 | public static SatelliteQueries instance() { | ||
54 | if (INSTANCE == null) { | ||
55 | INSTANCE = new SatelliteQueries(); | ||
56 | } | ||
57 | return INSTANCE; | ||
58 | } | ||
59 | |||
60 | private static SatelliteQueries INSTANCE; | ||
61 | |||
62 | private SatelliteQueries() { | ||
63 | querySpecifications.add(CommunicationLinkDoesNotStartAtContainingElement.instance()); | ||
64 | querySpecifications.add(NotEnoughInterferometryPayloads.instance()); | ||
65 | querySpecifications.add(NoLinkToGroundStation.instance()); | ||
66 | querySpecifications.add(CommunicationLoop.instance()); | ||
67 | querySpecifications.add(IncompatibleSourceAndTargetBand.instance()); | ||
68 | querySpecifications.add(IncompatibleSourceAndTargetGain.instance()); | ||
69 | querySpecifications.add(UhfAntennaGainNotLow.instance()); | ||
70 | querySpecifications.add(XAntennaGainNotMedium.instance()); | ||
71 | querySpecifications.add(KaAntennaGainLow.instance()); | ||
72 | querySpecifications.add(ThreeUCubeSatWithNonUhfCrossLink.instance()); | ||
73 | querySpecifications.add(CubeSatWithKaAntenna.instance()); | ||
74 | } | ||
75 | |||
76 | public CommunicationLinkDoesNotStartAtContainingElement getCommunicationLinkDoesNotStartAtContainingElement() { | ||
77 | return CommunicationLinkDoesNotStartAtContainingElement.instance(); | ||
78 | } | ||
79 | |||
80 | public CommunicationLinkDoesNotStartAtContainingElement.Matcher getCommunicationLinkDoesNotStartAtContainingElement(final ViatraQueryEngine engine) { | ||
81 | return CommunicationLinkDoesNotStartAtContainingElement.Matcher.on(engine); | ||
82 | } | ||
83 | |||
84 | public NotEnoughInterferometryPayloads getNotEnoughInterferometryPayloads() { | ||
85 | return NotEnoughInterferometryPayloads.instance(); | ||
86 | } | ||
87 | |||
88 | public NotEnoughInterferometryPayloads.Matcher getNotEnoughInterferometryPayloads(final ViatraQueryEngine engine) { | ||
89 | return NotEnoughInterferometryPayloads.Matcher.on(engine); | ||
90 | } | ||
91 | |||
92 | public NoLinkToGroundStation getNoLinkToGroundStation() { | ||
93 | return NoLinkToGroundStation.instance(); | ||
94 | } | ||
95 | |||
96 | public NoLinkToGroundStation.Matcher getNoLinkToGroundStation(final ViatraQueryEngine engine) { | ||
97 | return NoLinkToGroundStation.Matcher.on(engine); | ||
98 | } | ||
99 | |||
100 | public CommunicationLoop getCommunicationLoop() { | ||
101 | return CommunicationLoop.instance(); | ||
102 | } | ||
103 | |||
104 | public CommunicationLoop.Matcher getCommunicationLoop(final ViatraQueryEngine engine) { | ||
105 | return CommunicationLoop.Matcher.on(engine); | ||
106 | } | ||
107 | |||
108 | public IncompatibleSourceAndTargetBand getIncompatibleSourceAndTargetBand() { | ||
109 | return IncompatibleSourceAndTargetBand.instance(); | ||
110 | } | ||
111 | |||
112 | public IncompatibleSourceAndTargetBand.Matcher getIncompatibleSourceAndTargetBand(final ViatraQueryEngine engine) { | ||
113 | return IncompatibleSourceAndTargetBand.Matcher.on(engine); | ||
114 | } | ||
115 | |||
116 | public IncompatibleSourceAndTargetGain getIncompatibleSourceAndTargetGain() { | ||
117 | return IncompatibleSourceAndTargetGain.instance(); | ||
118 | } | ||
119 | |||
120 | public IncompatibleSourceAndTargetGain.Matcher getIncompatibleSourceAndTargetGain(final ViatraQueryEngine engine) { | ||
121 | return IncompatibleSourceAndTargetGain.Matcher.on(engine); | ||
122 | } | ||
123 | |||
124 | public UhfAntennaGainNotLow getUhfAntennaGainNotLow() { | ||
125 | return UhfAntennaGainNotLow.instance(); | ||
126 | } | ||
127 | |||
128 | public UhfAntennaGainNotLow.Matcher getUhfAntennaGainNotLow(final ViatraQueryEngine engine) { | ||
129 | return UhfAntennaGainNotLow.Matcher.on(engine); | ||
130 | } | ||
131 | |||
132 | public XAntennaGainNotMedium getXAntennaGainNotMedium() { | ||
133 | return XAntennaGainNotMedium.instance(); | ||
134 | } | ||
135 | |||
136 | public XAntennaGainNotMedium.Matcher getXAntennaGainNotMedium(final ViatraQueryEngine engine) { | ||
137 | return XAntennaGainNotMedium.Matcher.on(engine); | ||
138 | } | ||
139 | |||
140 | public KaAntennaGainLow getKaAntennaGainLow() { | ||
141 | return KaAntennaGainLow.instance(); | ||
142 | } | ||
143 | |||
144 | public KaAntennaGainLow.Matcher getKaAntennaGainLow(final ViatraQueryEngine engine) { | ||
145 | return KaAntennaGainLow.Matcher.on(engine); | ||
146 | } | ||
147 | |||
148 | public ThreeUCubeSatWithNonUhfCrossLink getThreeUCubeSatWithNonUhfCrossLink() { | ||
149 | return ThreeUCubeSatWithNonUhfCrossLink.instance(); | ||
150 | } | ||
151 | |||
152 | public ThreeUCubeSatWithNonUhfCrossLink.Matcher getThreeUCubeSatWithNonUhfCrossLink(final ViatraQueryEngine engine) { | ||
153 | return ThreeUCubeSatWithNonUhfCrossLink.Matcher.on(engine); | ||
154 | } | ||
155 | |||
156 | public CubeSatWithKaAntenna getCubeSatWithKaAntenna() { | ||
157 | return CubeSatWithKaAntenna.instance(); | ||
158 | } | ||
159 | |||
160 | public CubeSatWithKaAntenna.Matcher getCubeSatWithKaAntenna(final ViatraQueryEngine engine) { | ||
161 | return CubeSatWithKaAntenna.Matcher.on(engine); | ||
162 | } | ||
163 | } | ||