/** * Generated from platform:/resource/hu.bme.mit.inf.dslreasoner.domains.satellite/src/hu/bme/mit/inf/dslreasoner/domains/satellite/queries/SatelliteQueries.vql */ package hu.bme.mit.inf.dslreasoner.domains.satellite.queries; import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.CommunicationLinkDoesNotStartAtContainingElement; import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.CommunicationLoop; import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.CostMetric; import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.CoverageMetric; import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.CubeSatWithKaAntenna; import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.IncompatibleSourceAndTargetBand; import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.IncompatibleSourceAndTargetGain; import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.KaAntennaGainLow; import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.NoLinkToGroundStation; import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.NoPotentialLinkToGroundStation; import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.NotEnoughInterferometryPayloads; import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.SmallSat; import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.SpacecraftOfKind; import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.ThreeUCubeSatWithNonUhfCrossLink; import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.TimeMetric; import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.UhfAntennaGainNotLow; import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.XAntennaGainNotMedium; import org.eclipse.viatra.query.runtime.api.ViatraQueryEngine; import org.eclipse.viatra.query.runtime.api.impl.BaseGeneratedPatternGroup; /** * A pattern group formed of all public patterns defined in SatelliteQueries.vql. * *

Use the static instance as any {@link interface org.eclipse.viatra.query.runtime.api.IQueryGroup}, to conveniently prepare * a VIATRA Query engine for matching all patterns originally defined in file SatelliteQueries.vql, * in order to achieve better performance than one-by-one on-demand matcher initialization. * *

From package hu.bme.mit.inf.dslreasoner.domains.satellite.queries, the group contains the definition of the following patterns:

* * @see IQueryGroup * */ @SuppressWarnings("all") public final class SatelliteQueries extends BaseGeneratedPatternGroup { /** * Access the pattern group. * * @return the singleton instance of the group * @throws ViatraQueryRuntimeException if there was an error loading the generated code of pattern specifications * */ public static SatelliteQueries instance() { if (INSTANCE == null) { INSTANCE = new SatelliteQueries(); } return INSTANCE; } private static SatelliteQueries INSTANCE; private SatelliteQueries() { querySpecifications.add(CommunicationLinkDoesNotStartAtContainingElement.instance()); querySpecifications.add(NotEnoughInterferometryPayloads.instance()); querySpecifications.add(NoLinkToGroundStation.instance()); querySpecifications.add(NoPotentialLinkToGroundStation.instance()); querySpecifications.add(CommunicationLoop.instance()); querySpecifications.add(IncompatibleSourceAndTargetBand.instance()); querySpecifications.add(IncompatibleSourceAndTargetGain.instance()); querySpecifications.add(UhfAntennaGainNotLow.instance()); querySpecifications.add(XAntennaGainNotMedium.instance()); querySpecifications.add(KaAntennaGainLow.instance()); querySpecifications.add(ThreeUCubeSatWithNonUhfCrossLink.instance()); querySpecifications.add(CubeSatWithKaAntenna.instance()); querySpecifications.add(SmallSat.instance()); querySpecifications.add(SpacecraftOfKind.instance()); querySpecifications.add(CoverageMetric.instance()); querySpecifications.add(TimeMetric.instance()); querySpecifications.add(CostMetric.instance()); } public CommunicationLinkDoesNotStartAtContainingElement getCommunicationLinkDoesNotStartAtContainingElement() { return CommunicationLinkDoesNotStartAtContainingElement.instance(); } public CommunicationLinkDoesNotStartAtContainingElement.Matcher getCommunicationLinkDoesNotStartAtContainingElement(final ViatraQueryEngine engine) { return CommunicationLinkDoesNotStartAtContainingElement.Matcher.on(engine); } public NotEnoughInterferometryPayloads getNotEnoughInterferometryPayloads() { return NotEnoughInterferometryPayloads.instance(); } public NotEnoughInterferometryPayloads.Matcher getNotEnoughInterferometryPayloads(final ViatraQueryEngine engine) { return NotEnoughInterferometryPayloads.Matcher.on(engine); } public NoLinkToGroundStation getNoLinkToGroundStation() { return NoLinkToGroundStation.instance(); } public NoLinkToGroundStation.Matcher getNoLinkToGroundStation(final ViatraQueryEngine engine) { return NoLinkToGroundStation.Matcher.on(engine); } public NoPotentialLinkToGroundStation getNoPotentialLinkToGroundStation() { return NoPotentialLinkToGroundStation.instance(); } public NoPotentialLinkToGroundStation.Matcher getNoPotentialLinkToGroundStation(final ViatraQueryEngine engine) { return NoPotentialLinkToGroundStation.Matcher.on(engine); } public CommunicationLoop getCommunicationLoop() { return CommunicationLoop.instance(); } public CommunicationLoop.Matcher getCommunicationLoop(final ViatraQueryEngine engine) { return CommunicationLoop.Matcher.on(engine); } public IncompatibleSourceAndTargetBand getIncompatibleSourceAndTargetBand() { return IncompatibleSourceAndTargetBand.instance(); } public IncompatibleSourceAndTargetBand.Matcher getIncompatibleSourceAndTargetBand(final ViatraQueryEngine engine) { return IncompatibleSourceAndTargetBand.Matcher.on(engine); } public IncompatibleSourceAndTargetGain getIncompatibleSourceAndTargetGain() { return IncompatibleSourceAndTargetGain.instance(); } public IncompatibleSourceAndTargetGain.Matcher getIncompatibleSourceAndTargetGain(final ViatraQueryEngine engine) { return IncompatibleSourceAndTargetGain.Matcher.on(engine); } public UhfAntennaGainNotLow getUhfAntennaGainNotLow() { return UhfAntennaGainNotLow.instance(); } public UhfAntennaGainNotLow.Matcher getUhfAntennaGainNotLow(final ViatraQueryEngine engine) { return UhfAntennaGainNotLow.Matcher.on(engine); } public XAntennaGainNotMedium getXAntennaGainNotMedium() { return XAntennaGainNotMedium.instance(); } public XAntennaGainNotMedium.Matcher getXAntennaGainNotMedium(final ViatraQueryEngine engine) { return XAntennaGainNotMedium.Matcher.on(engine); } public KaAntennaGainLow getKaAntennaGainLow() { return KaAntennaGainLow.instance(); } public KaAntennaGainLow.Matcher getKaAntennaGainLow(final ViatraQueryEngine engine) { return KaAntennaGainLow.Matcher.on(engine); } public ThreeUCubeSatWithNonUhfCrossLink getThreeUCubeSatWithNonUhfCrossLink() { return ThreeUCubeSatWithNonUhfCrossLink.instance(); } public ThreeUCubeSatWithNonUhfCrossLink.Matcher getThreeUCubeSatWithNonUhfCrossLink(final ViatraQueryEngine engine) { return ThreeUCubeSatWithNonUhfCrossLink.Matcher.on(engine); } public CubeSatWithKaAntenna getCubeSatWithKaAntenna() { return CubeSatWithKaAntenna.instance(); } public CubeSatWithKaAntenna.Matcher getCubeSatWithKaAntenna(final ViatraQueryEngine engine) { return CubeSatWithKaAntenna.Matcher.on(engine); } public SmallSat getSmallSat() { return SmallSat.instance(); } public SmallSat.Matcher getSmallSat(final ViatraQueryEngine engine) { return SmallSat.Matcher.on(engine); } public SpacecraftOfKind getSpacecraftOfKind() { return SpacecraftOfKind.instance(); } public SpacecraftOfKind.Matcher getSpacecraftOfKind(final ViatraQueryEngine engine) { return SpacecraftOfKind.Matcher.on(engine); } public CoverageMetric getCoverageMetric() { return CoverageMetric.instance(); } public CoverageMetric.Matcher getCoverageMetric(final ViatraQueryEngine engine) { return CoverageMetric.Matcher.on(engine); } public TimeMetric getTimeMetric() { return TimeMetric.instance(); } public TimeMetric.Matcher getTimeMetric(final ViatraQueryEngine engine) { return TimeMetric.Matcher.on(engine); } public CostMetric getCostMetric() { return CostMetric.instance(); } public CostMetric.Matcher getCostMetric(final ViatraQueryEngine engine) { return CostMetric.Matcher.on(engine); } }