diff options
author | Kristóf Marussy <kris7topher@gmail.com> | 2019-08-01 18:38:15 +0200 |
---|---|---|
committer | Kristóf Marussy <kris7topher@gmail.com> | 2019-08-01 18:38:15 +0200 |
commit | 6eb760ee960cd3efe51ca6e4107153c09838a1da (patch) | |
tree | 2edd0e21be50265f65f0cfd2fd43f18a252aef02 /Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/src-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/queries/SatelliteQueries.java | |
parent | Dump required Xbase version down to 2.17 (diff) | |
download | VIATRA-Generator-6eb760ee960cd3efe51ca6e4107153c09838a1da.tar.gz VIATRA-Generator-6eb760ee960cd3efe51ca6e4107153c09838a1da.tar.zst VIATRA-Generator-6eb760ee960cd3efe51ca6e4107153c09838a1da.zip |
Clean up CPS and Satellite domains
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 | 141 |
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 | */ | ||
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.NoLinkToGroundStation; | ||
11 | import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.NoPotentialLinkToGroundStation; | ||
12 | import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.NotEnoughInterferometryPayloads; | ||
13 | import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.SmallSat; | ||
14 | import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.ThreeUCubeSatWithNonUhfCrossLink; | ||
15 | import org.eclipse.viatra.query.runtime.api.ViatraQueryEngine; | ||
16 | import 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") | ||
41 | public 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 | } | ||