diff options
Diffstat (limited to 'Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/src-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/queries/internal/SatelliteQueriesAll.java')
-rw-r--r-- | Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/src-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/queries/internal/SatelliteQueriesAll.java | 123 |
1 files changed, 123 insertions, 0 deletions
diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/src-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/queries/internal/SatelliteQueriesAll.java b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/src-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/queries/internal/SatelliteQueriesAll.java new file mode 100644 index 00000000..36fa4557 --- /dev/null +++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/src-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/queries/internal/SatelliteQueriesAll.java | |||
@@ -0,0 +1,123 @@ | |||
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.internal; | ||
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 hu.bme.mit.inf.dslreasoner.domains.satellite.queries.internal.AtLeastTwoInterferometryPayloads; | ||
21 | import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.internal.CommSubsystemBand; | ||
22 | import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.internal.CommSubsystemBandUhf; | ||
23 | import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.internal.CommSubsystemGain; | ||
24 | import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.internal.CommSubsystemGainLow; | ||
25 | import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.internal.CommSubsystemGainMedium; | ||
26 | import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.internal.CubeSat3U; | ||
27 | import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.internal.DirectCommunicationLink; | ||
28 | import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.internal.GroundStationNetwork; | ||
29 | import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.internal.IndirectCommunicationLink; | ||
30 | import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.internal.IndirectLinkAllowed; | ||
31 | import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.internal.LinkAllowed; | ||
32 | import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.internal.MatchingAntenna; | ||
33 | import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.internal.SpacecraftWithInterferometryPayload; | ||
34 | import org.eclipse.viatra.query.runtime.api.impl.BaseGeneratedPatternGroup; | ||
35 | |||
36 | /** | ||
37 | * A pattern group formed of all patterns defined in SatelliteQueries.vql. | ||
38 | * | ||
39 | * <p>A private group that includes private patterns as well. Only intended use case is for pattern testing. | ||
40 | * | ||
41 | * <p> From package hu.bme.mit.inf.dslreasoner.domains.satellite.queries, the group contains the definition of the following patterns: <ul> | ||
42 | * <li>communicationLinkDoesNotStartAtContainingElement</li> | ||
43 | * <li>notEnoughInterferometryPayloads</li> | ||
44 | * <li>atLeastTwoInterferometryPayloads</li> | ||
45 | * <li>spacecraftWithInterferometryPayload</li> | ||
46 | * <li>noLinkToGroundStation</li> | ||
47 | * <li>noPotentialLinkToGroundStation</li> | ||
48 | * <li>indirectLinkAllowed</li> | ||
49 | * <li>linkAllowed</li> | ||
50 | * <li>matchingAntenna</li> | ||
51 | * <li>cubeSat3U</li> | ||
52 | * <li>communicationLoop</li> | ||
53 | * <li>indirectCommunicationLink</li> | ||
54 | * <li>directCommunicationLink</li> | ||
55 | * <li>incompatibleSourceAndTargetBand</li> | ||
56 | * <li>commSubsystemBand</li> | ||
57 | * <li>incompatibleSourceAndTargetGain</li> | ||
58 | * <li>commSubsystemGain</li> | ||
59 | * <li>uhfAntennaGainNotLow</li> | ||
60 | * <li>commSubsystemGainLow</li> | ||
61 | * <li>xAntennaGainNotMedium</li> | ||
62 | * <li>commSubsystemGainMedium</li> | ||
63 | * <li>kaAntennaGainLow</li> | ||
64 | * <li>threeUCubeSatWithNonUhfCrossLink</li> | ||
65 | * <li>commSubsystemBandUhf</li> | ||
66 | * <li>groundStationNetwork</li> | ||
67 | * <li>cubeSatWithKaAntenna</li> | ||
68 | * <li>smallSat</li> | ||
69 | * <li>spacecraftOfKind</li> | ||
70 | * </ul> | ||
71 | * | ||
72 | * @see IQueryGroup | ||
73 | * | ||
74 | */ | ||
75 | @SuppressWarnings("all") | ||
76 | public final class SatelliteQueriesAll extends BaseGeneratedPatternGroup { | ||
77 | /** | ||
78 | * Access the pattern group. | ||
79 | * | ||
80 | * @return the singleton instance of the group | ||
81 | * @throws ViatraQueryRuntimeException if there was an error loading the generated code of pattern specifications | ||
82 | * | ||
83 | */ | ||
84 | public static SatelliteQueriesAll instance() { | ||
85 | if (INSTANCE == null) { | ||
86 | INSTANCE = new SatelliteQueriesAll(); | ||
87 | } | ||
88 | return INSTANCE; | ||
89 | } | ||
90 | |||
91 | private static SatelliteQueriesAll INSTANCE; | ||
92 | |||
93 | private SatelliteQueriesAll() { | ||
94 | querySpecifications.add(CommunicationLinkDoesNotStartAtContainingElement.instance()); | ||
95 | querySpecifications.add(NotEnoughInterferometryPayloads.instance()); | ||
96 | querySpecifications.add(AtLeastTwoInterferometryPayloads.instance()); | ||
97 | querySpecifications.add(SpacecraftWithInterferometryPayload.instance()); | ||
98 | querySpecifications.add(NoLinkToGroundStation.instance()); | ||
99 | querySpecifications.add(NoPotentialLinkToGroundStation.instance()); | ||
100 | querySpecifications.add(IndirectLinkAllowed.instance()); | ||
101 | querySpecifications.add(LinkAllowed.instance()); | ||
102 | querySpecifications.add(MatchingAntenna.instance()); | ||
103 | querySpecifications.add(CubeSat3U.instance()); | ||
104 | querySpecifications.add(CommunicationLoop.instance()); | ||
105 | querySpecifications.add(IndirectCommunicationLink.instance()); | ||
106 | querySpecifications.add(DirectCommunicationLink.instance()); | ||
107 | querySpecifications.add(IncompatibleSourceAndTargetBand.instance()); | ||
108 | querySpecifications.add(CommSubsystemBand.instance()); | ||
109 | querySpecifications.add(IncompatibleSourceAndTargetGain.instance()); | ||
110 | querySpecifications.add(CommSubsystemGain.instance()); | ||
111 | querySpecifications.add(UhfAntennaGainNotLow.instance()); | ||
112 | querySpecifications.add(CommSubsystemGainLow.instance()); | ||
113 | querySpecifications.add(XAntennaGainNotMedium.instance()); | ||
114 | querySpecifications.add(CommSubsystemGainMedium.instance()); | ||
115 | querySpecifications.add(KaAntennaGainLow.instance()); | ||
116 | querySpecifications.add(ThreeUCubeSatWithNonUhfCrossLink.instance()); | ||
117 | querySpecifications.add(CommSubsystemBandUhf.instance()); | ||
118 | querySpecifications.add(GroundStationNetwork.instance()); | ||
119 | querySpecifications.add(CubeSatWithKaAntenna.instance()); | ||
120 | querySpecifications.add(SmallSat.instance()); | ||
121 | querySpecifications.add(SpacecraftOfKind.instance()); | ||
122 | } | ||
123 | } | ||