diff options
author | 2019-05-07 11:54:19 -0400 | |
---|---|---|
committer | 2019-05-07 11:54:19 -0400 | |
commit | 436ec038c24c42e615feb22a0fed029494bc74ea (patch) | |
tree | f3783961c521b73201a9d079be78feb26e8a285c /Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/src-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/queries/CubeSatWithKaAntenna.java | |
parent | Try to restructure satellite case study (diff) | |
download | VIATRA-Generator-436ec038c24c42e615feb22a0fed029494bc74ea.tar.gz VIATRA-Generator-436ec038c24c42e615feb22a0fed029494bc74ea.tar.zst VIATRA-Generator-436ec038c24c42e615feb22a0fed029494bc74ea.zip |
Revert "Try to restructure satellite case study"
This reverts commit 9b83e33c055660f6de218d1b672f67734675f1f6.
Diffstat (limited to 'Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/src-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/queries/CubeSatWithKaAntenna.java')
-rw-r--r-- | Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/src-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/queries/CubeSatWithKaAntenna.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/CubeSatWithKaAntenna.java b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/src-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/queries/CubeSatWithKaAntenna.java index b73cb23f..ba69943a 100644 --- a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/src-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/queries/CubeSatWithKaAntenna.java +++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/src-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/queries/CubeSatWithKaAntenna.java | |||
@@ -3,6 +3,7 @@ | |||
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; | ||
6 | import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.SmallSat; | 7 | import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.SmallSat; |
7 | import java.util.Arrays; | 8 | import java.util.Arrays; |
8 | import java.util.Collection; | 9 | import java.util.Collection; |
@@ -43,7 +44,6 @@ import org.eclipse.viatra.query.runtime.matchers.psystem.queries.PVisibility; | |||
43 | import org.eclipse.viatra.query.runtime.matchers.tuple.Tuple; | 44 | import org.eclipse.viatra.query.runtime.matchers.tuple.Tuple; |
44 | import org.eclipse.viatra.query.runtime.matchers.tuple.Tuples; | 45 | import org.eclipse.viatra.query.runtime.matchers.tuple.Tuples; |
45 | import org.eclipse.viatra.query.runtime.util.ViatraQueryLoggingUtil; | 46 | import org.eclipse.viatra.query.runtime.util.ViatraQueryLoggingUtil; |
46 | import satellite.Spacecraft; | ||
47 | 47 | ||
48 | /** | 48 | /** |
49 | * A pattern-specific query specification that can instantiate Matcher in a type-safe way. | 49 | * A pattern-specific query specification that can instantiate Matcher in a type-safe way. |
@@ -477,7 +477,7 @@ public final class CubeSatWithKaAntenna extends BaseGeneratedEMFQuerySpecificati | |||
477 | 477 | ||
478 | @Override | 478 | @Override |
479 | public CubeSatWithKaAntenna.Match newMatch(final Object... parameters) { | 479 | public CubeSatWithKaAntenna.Match newMatch(final Object... parameters) { |
480 | return CubeSatWithKaAntenna.Match.newMatch((satellite.Spacecraft) parameters[0]); | 480 | return CubeSatWithKaAntenna.Match.newMatch((hu.bme.mit.inf.dslreasoner.domains.satellite.Spacecraft) parameters[0]); |
481 | } | 481 | } |
482 | 482 | ||
483 | /** | 483 | /** |
@@ -509,7 +509,7 @@ public final class CubeSatWithKaAntenna extends BaseGeneratedEMFQuerySpecificati | |||
509 | private static class GeneratedPQuery extends BaseGeneratedEMFPQuery { | 509 | private static class GeneratedPQuery extends BaseGeneratedEMFPQuery { |
510 | private static final CubeSatWithKaAntenna.GeneratedPQuery INSTANCE = new GeneratedPQuery(); | 510 | private static final CubeSatWithKaAntenna.GeneratedPQuery INSTANCE = new GeneratedPQuery(); |
511 | 511 | ||
512 | private final PParameter parameter_Spacecraft = new PParameter("Spacecraft", "satellite.Spacecraft", new EClassTransitiveInstancesKey((EClass)getClassifierLiteralSafe("http://www.example.org/satellite", "Spacecraft")), PParameterDirection.INOUT); | 512 | 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); |
513 | 513 | ||
514 | private final List<PParameter> parameters = Arrays.asList(parameter_Spacecraft); | 514 | private final List<PParameter> parameters = Arrays.asList(parameter_Spacecraft); |
515 | 515 | ||