From 2531cfb60d747c261a20201415728beb0e24ab9b Mon Sep 17 00:00:00 2001 From: Kristóf Marussy Date: Mon, 15 Apr 2019 16:23:19 +0200 Subject: Satellite constellation case study WIP --- .../satellite/queries/SatelliteQueries.java | 163 +++++++++++++++++++++ 1 file changed, 163 insertions(+) create mode 100644 Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/src-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/queries/SatelliteQueries.java (limited to 'Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/src-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/queries/SatelliteQueries.java') 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 @@ +/** + * 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.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.NotEnoughInterferometryPayloads; +import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.ThreeUCubeSatWithNonUhfCrossLink; +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(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()); + } + + 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 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); + } +} -- cgit v1.2.3-70-g09d2