diff options
author | Kristóf Marussy <kris7topher@gmail.com> | 2019-05-07 12:08:23 -0400 |
---|---|---|
committer | Kristóf Marussy <kris7topher@gmail.com> | 2019-05-07 12:08:23 -0400 |
commit | ddb258aa00993edec081596e5f8cbf46d5ed250c (patch) | |
tree | df38b87aea3cd9cd50aa0e99f390e7e4ae74c645 /Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/src-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/queries/ThreeUCubeSatWithNonUhfCrossLink.java | |
parent | Revert "Try to restructure satellite case study" (diff) | |
download | VIATRA-Generator-ddb258aa00993edec081596e5f8cbf46d5ed250c.tar.gz VIATRA-Generator-ddb258aa00993edec081596e5f8cbf46d5ed250c.tar.zst VIATRA-Generator-ddb258aa00993edec081596e5f8cbf46d5ed250c.zip |
Do not use derived features in satellite case study vql
Diffstat (limited to 'Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/src-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/queries/ThreeUCubeSatWithNonUhfCrossLink.java')
-rw-r--r-- | Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/src-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/queries/ThreeUCubeSatWithNonUhfCrossLink.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/ThreeUCubeSatWithNonUhfCrossLink.java b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/src-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/queries/ThreeUCubeSatWithNonUhfCrossLink.java index 6408033b..51b224b1 100644 --- a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/src-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/queries/ThreeUCubeSatWithNonUhfCrossLink.java +++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/src-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/queries/ThreeUCubeSatWithNonUhfCrossLink.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.CubeSat3U; | ||
7 | import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.internal.CommSubsystemBandUhf; | 6 | import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.internal.CommSubsystemBandUhf; |
8 | import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.internal.GroundStationNetwork; | 7 | import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.internal.GroundStationNetwork; |
9 | import java.util.Arrays; | 8 | import java.util.Arrays; |
@@ -42,6 +41,7 @@ import org.eclipse.viatra.query.runtime.matchers.psystem.queries.PVisibility; | |||
42 | import org.eclipse.viatra.query.runtime.matchers.tuple.Tuple; | 41 | import org.eclipse.viatra.query.runtime.matchers.tuple.Tuple; |
43 | import org.eclipse.viatra.query.runtime.matchers.tuple.Tuples; | 42 | import org.eclipse.viatra.query.runtime.matchers.tuple.Tuples; |
44 | import org.eclipse.viatra.query.runtime.util.ViatraQueryLoggingUtil; | 43 | import org.eclipse.viatra.query.runtime.util.ViatraQueryLoggingUtil; |
44 | import satellite.CubeSat3U; | ||
45 | 45 | ||
46 | /** | 46 | /** |
47 | * A pattern-specific query specification that can instantiate Matcher in a type-safe way. | 47 | * A pattern-specific query specification that can instantiate Matcher in a type-safe way. |
@@ -485,7 +485,7 @@ public final class ThreeUCubeSatWithNonUhfCrossLink extends BaseGeneratedEMFQuer | |||
485 | 485 | ||
486 | @Override | 486 | @Override |
487 | public ThreeUCubeSatWithNonUhfCrossLink.Match newMatch(final Object... parameters) { | 487 | public ThreeUCubeSatWithNonUhfCrossLink.Match newMatch(final Object... parameters) { |
488 | return ThreeUCubeSatWithNonUhfCrossLink.Match.newMatch((hu.bme.mit.inf.dslreasoner.domains.satellite.CubeSat3U) parameters[0]); | 488 | return ThreeUCubeSatWithNonUhfCrossLink.Match.newMatch((satellite.CubeSat3U) parameters[0]); |
489 | } | 489 | } |
490 | 490 | ||
491 | /** | 491 | /** |
@@ -517,7 +517,7 @@ public final class ThreeUCubeSatWithNonUhfCrossLink extends BaseGeneratedEMFQuer | |||
517 | private static class GeneratedPQuery extends BaseGeneratedEMFPQuery { | 517 | private static class GeneratedPQuery extends BaseGeneratedEMFPQuery { |
518 | private static final ThreeUCubeSatWithNonUhfCrossLink.GeneratedPQuery INSTANCE = new GeneratedPQuery(); | 518 | private static final ThreeUCubeSatWithNonUhfCrossLink.GeneratedPQuery INSTANCE = new GeneratedPQuery(); |
519 | 519 | ||
520 | private final PParameter parameter_Sat = new PParameter("Sat", "hu.bme.mit.inf.dslreasoner.domains.satellite.CubeSat3U", new EClassTransitiveInstancesKey((EClass)getClassifierLiteralSafe("http://www.example.org/satellite", "CubeSat3U")), PParameterDirection.INOUT); | 520 | private final PParameter parameter_Sat = new PParameter("Sat", "satellite.CubeSat3U", new EClassTransitiveInstancesKey((EClass)getClassifierLiteralSafe("http://www.example.org/satellite", "CubeSat3U")), PParameterDirection.INOUT); |
521 | 521 | ||
522 | private final List<PParameter> parameters = Arrays.asList(parameter_Sat); | 522 | private final List<PParameter> parameters = Arrays.asList(parameter_Sat); |
523 | 523 | ||