diff options
author | Kristóf Marussy <kris7topher@gmail.com> | 2019-05-07 11:53:38 -0400 |
---|---|---|
committer | Kristóf Marussy <kris7topher@gmail.com> | 2019-05-07 11:53:38 -0400 |
commit | 9b83e33c055660f6de218d1b672f67734675f1f6 (patch) | |
tree | 9bd56534fdeb2bad776780a856065739d0d525cd /Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/src-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/queries/NoLinkToGroundStation.java | |
parent | Trying to implement spacecraft case study (diff) | |
download | VIATRA-Generator-9b83e33c055660f6de218d1b672f67734675f1f6.tar.gz VIATRA-Generator-9b83e33c055660f6de218d1b672f67734675f1f6.tar.zst VIATRA-Generator-9b83e33c055660f6de218d1b672f67734675f1f6.zip |
Try to restructure satellite case study
Diffstat (limited to 'Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/src-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/queries/NoLinkToGroundStation.java')
-rw-r--r-- | Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/src-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/queries/NoLinkToGroundStation.java | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/src-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/queries/NoLinkToGroundStation.java b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/src-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/queries/NoLinkToGroundStation.java index 598f3a6b..45952f33 100644 --- a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/src-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/queries/NoLinkToGroundStation.java +++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/src-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/queries/NoLinkToGroundStation.java | |||
@@ -3,7 +3,6 @@ | |||
3 | */ | 3 | */ |
4 | package hu.bme.mit.inf.dslreasoner.domains.satellite.queries; | 4 | package hu.bme.mit.inf.dslreasoner.domains.satellite.queries; |
5 | 5 | ||
6 | import hu.bme.mit.inf.dslreasoner.domains.satellite.Spacecraft; | ||
7 | import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.internal.IndirectCommunicationLink; | 6 | import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.internal.IndirectCommunicationLink; |
8 | import java.util.Arrays; | 7 | import java.util.Arrays; |
9 | import java.util.Collection; | 8 | import java.util.Collection; |
@@ -41,6 +40,7 @@ import org.eclipse.viatra.query.runtime.matchers.psystem.queries.PVisibility; | |||
41 | import org.eclipse.viatra.query.runtime.matchers.tuple.Tuple; | 40 | import org.eclipse.viatra.query.runtime.matchers.tuple.Tuple; |
42 | import org.eclipse.viatra.query.runtime.matchers.tuple.Tuples; | 41 | import org.eclipse.viatra.query.runtime.matchers.tuple.Tuples; |
43 | import org.eclipse.viatra.query.runtime.util.ViatraQueryLoggingUtil; | 42 | import org.eclipse.viatra.query.runtime.util.ViatraQueryLoggingUtil; |
43 | import satellite.Spacecraft; | ||
44 | 44 | ||
45 | /** | 45 | /** |
46 | * A pattern-specific query specification that can instantiate Matcher in a type-safe way. | 46 | * A pattern-specific query specification that can instantiate Matcher in a type-safe way. |
@@ -476,7 +476,7 @@ public final class NoLinkToGroundStation extends BaseGeneratedEMFQuerySpecificat | |||
476 | 476 | ||
477 | @Override | 477 | @Override |
478 | public NoLinkToGroundStation.Match newMatch(final Object... parameters) { | 478 | public NoLinkToGroundStation.Match newMatch(final Object... parameters) { |
479 | return NoLinkToGroundStation.Match.newMatch((hu.bme.mit.inf.dslreasoner.domains.satellite.Spacecraft) parameters[0]); | 479 | return NoLinkToGroundStation.Match.newMatch((satellite.Spacecraft) parameters[0]); |
480 | } | 480 | } |
481 | 481 | ||
482 | /** | 482 | /** |
@@ -508,7 +508,7 @@ public final class NoLinkToGroundStation extends BaseGeneratedEMFQuerySpecificat | |||
508 | private static class GeneratedPQuery extends BaseGeneratedEMFPQuery { | 508 | private static class GeneratedPQuery extends BaseGeneratedEMFPQuery { |
509 | private static final NoLinkToGroundStation.GeneratedPQuery INSTANCE = new GeneratedPQuery(); | 509 | private static final NoLinkToGroundStation.GeneratedPQuery INSTANCE = new GeneratedPQuery(); |
510 | 510 | ||
511 | private final PParameter parameter_Spacecraft = new PParameter("Spacecraft", "hu.bme.mit.inf.dslreasoner.domains.satellite.Spacecraft", new EClassTransitiveInstancesKey((EClass)getClassifierLiteralSafe("http://www.example.org/satellite", "Spacecraft")), PParameterDirection.INOUT); | 511 | private final PParameter parameter_Spacecraft = new PParameter("Spacecraft", "satellite.Spacecraft", new EClassTransitiveInstancesKey((EClass)getClassifierLiteralSafe("http://www.example.org/satellite", "Spacecraft")), PParameterDirection.INOUT); |
512 | 512 | ||
513 | private final List<PParameter> parameters = Arrays.asList(parameter_Spacecraft); | 513 | private final List<PParameter> parameters = Arrays.asList(parameter_Spacecraft); |
514 | 514 | ||