diff options
Diffstat (limited to 'Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/src-gen/hu/bme/mit/inf/dslreasoner/domains')
31 files changed, 90 insertions, 89 deletions
diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/src-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/queries/.CommunicationLinkOfElement.java._trace b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/src-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/queries/.CommunicationLinkOfElement.java._trace new file mode 100644 index 00000000..8fb61263 --- /dev/null +++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/src-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/queries/.CommunicationLinkOfElement.java._trace | |||
Binary files differ | |||
diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/src-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/queries/.MultipleCommunicationLinks.java._trace b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/src-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/queries/.MultipleCommunicationLinks.java._trace new file mode 100644 index 00000000..64b692d3 --- /dev/null +++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/src-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/queries/.MultipleCommunicationLinks.java._trace | |||
Binary files differ | |||
diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/src-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/queries/.gitignore b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/src-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/queries/.gitignore index 6f361334..cf45bfe0 100644 --- a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/src-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/queries/.gitignore +++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/src-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/queries/.gitignore | |||
@@ -23,3 +23,4 @@ | |||
23 | /.SpacecraftOfKind.java._trace | 23 | /.SpacecraftOfKind.java._trace |
24 | /.NoPotentialLinkToGroundStation.java._trace | 24 | /.NoPotentialLinkToGroundStation.java._trace |
25 | /.SmallSat.java._trace | 25 | /.SmallSat.java._trace |
26 | /CommunicationLinkDoesNotStartAtContainingElement.java | ||
diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/src-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/queries/CommunicationLinkDoesNotStartAtContainingElement.java b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/src-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/queries/CommunicationLinkDoesNotStartAtContainingElement.java index dde3c20f..8d27a262 100644 --- a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/src-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/queries/CommunicationLinkDoesNotStartAtContainingElement.java +++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/src-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/queries/CommunicationLinkDoesNotStartAtContainingElement.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.DirectedCommunicationLink; | ||
7 | import java.util.Arrays; | 6 | import java.util.Arrays; |
8 | import java.util.Collection; | 7 | import java.util.Collection; |
9 | import java.util.LinkedHashSet; | 8 | import java.util.LinkedHashSet; |
@@ -40,6 +39,7 @@ import org.eclipse.viatra.query.runtime.matchers.psystem.queries.PVisibility; | |||
40 | import org.eclipse.viatra.query.runtime.matchers.tuple.Tuple; | 39 | import org.eclipse.viatra.query.runtime.matchers.tuple.Tuple; |
41 | import org.eclipse.viatra.query.runtime.matchers.tuple.Tuples; | 40 | import org.eclipse.viatra.query.runtime.matchers.tuple.Tuples; |
42 | import org.eclipse.viatra.query.runtime.util.ViatraQueryLoggingUtil; | 41 | import org.eclipse.viatra.query.runtime.util.ViatraQueryLoggingUtil; |
42 | import satellite.DirectedCommunicationLink; | ||
43 | 43 | ||
44 | /** | 44 | /** |
45 | * A pattern-specific query specification that can instantiate Matcher in a type-safe way. | 45 | * A pattern-specific query specification that can instantiate Matcher in a type-safe way. |
@@ -473,7 +473,7 @@ public final class CommunicationLinkDoesNotStartAtContainingElement extends Base | |||
473 | 473 | ||
474 | @Override | 474 | @Override |
475 | public CommunicationLinkDoesNotStartAtContainingElement.Match newMatch(final Object... parameters) { | 475 | public CommunicationLinkDoesNotStartAtContainingElement.Match newMatch(final Object... parameters) { |
476 | return CommunicationLinkDoesNotStartAtContainingElement.Match.newMatch((hu.bme.mit.inf.dslreasoner.domains.satellite.DirectedCommunicationLink) parameters[0]); | 476 | return CommunicationLinkDoesNotStartAtContainingElement.Match.newMatch((satellite.DirectedCommunicationLink) parameters[0]); |
477 | } | 477 | } |
478 | 478 | ||
479 | /** | 479 | /** |
@@ -505,7 +505,7 @@ public final class CommunicationLinkDoesNotStartAtContainingElement extends Base | |||
505 | private static class GeneratedPQuery extends BaseGeneratedEMFPQuery { | 505 | private static class GeneratedPQuery extends BaseGeneratedEMFPQuery { |
506 | private static final CommunicationLinkDoesNotStartAtContainingElement.GeneratedPQuery INSTANCE = new GeneratedPQuery(); | 506 | private static final CommunicationLinkDoesNotStartAtContainingElement.GeneratedPQuery INSTANCE = new GeneratedPQuery(); |
507 | 507 | ||
508 | private final PParameter parameter_Link = new PParameter("Link", "hu.bme.mit.inf.dslreasoner.domains.satellite.DirectedCommunicationLink", new EClassTransitiveInstancesKey((EClass)getClassifierLiteralSafe("http://www.example.org/satellite", "DirectedCommunicationLink")), PParameterDirection.INOUT); | 508 | private final PParameter parameter_Link = new PParameter("Link", "satellite.DirectedCommunicationLink", new EClassTransitiveInstancesKey((EClass)getClassifierLiteralSafe("http://www.example.org/satellite", "DirectedCommunicationLink")), PParameterDirection.INOUT); |
509 | 509 | ||
510 | private final List<PParameter> parameters = Arrays.asList(parameter_Link); | 510 | private final List<PParameter> parameters = Arrays.asList(parameter_Link); |
511 | 511 | ||
diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/src-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/queries/CommunicationLoop.java b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/src-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/queries/CommunicationLoop.java index f5835baf..ede57df8 100644 --- a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/src-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/queries/CommunicationLoop.java +++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/src-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/queries/CommunicationLoop.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.CommunicatingElement; | ||
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; |
@@ -39,6 +38,7 @@ import org.eclipse.viatra.query.runtime.matchers.psystem.queries.PVisibility; | |||
39 | import org.eclipse.viatra.query.runtime.matchers.tuple.Tuple; | 38 | import org.eclipse.viatra.query.runtime.matchers.tuple.Tuple; |
40 | import org.eclipse.viatra.query.runtime.matchers.tuple.Tuples; | 39 | import org.eclipse.viatra.query.runtime.matchers.tuple.Tuples; |
41 | import org.eclipse.viatra.query.runtime.util.ViatraQueryLoggingUtil; | 40 | import org.eclipse.viatra.query.runtime.util.ViatraQueryLoggingUtil; |
41 | import satellite.CommunicatingElement; | ||
42 | 42 | ||
43 | /** | 43 | /** |
44 | * A pattern-specific query specification that can instantiate Matcher in a type-safe way. | 44 | * A pattern-specific query specification that can instantiate Matcher in a type-safe way. |
@@ -472,7 +472,7 @@ public final class CommunicationLoop extends BaseGeneratedEMFQuerySpecification< | |||
472 | 472 | ||
473 | @Override | 473 | @Override |
474 | public CommunicationLoop.Match newMatch(final Object... parameters) { | 474 | public CommunicationLoop.Match newMatch(final Object... parameters) { |
475 | return CommunicationLoop.Match.newMatch((hu.bme.mit.inf.dslreasoner.domains.satellite.CommunicatingElement) parameters[0]); | 475 | return CommunicationLoop.Match.newMatch((satellite.CommunicatingElement) parameters[0]); |
476 | } | 476 | } |
477 | 477 | ||
478 | /** | 478 | /** |
@@ -504,7 +504,7 @@ public final class CommunicationLoop extends BaseGeneratedEMFQuerySpecification< | |||
504 | private static class GeneratedPQuery extends BaseGeneratedEMFPQuery { | 504 | private static class GeneratedPQuery extends BaseGeneratedEMFPQuery { |
505 | private static final CommunicationLoop.GeneratedPQuery INSTANCE = new GeneratedPQuery(); | 505 | private static final CommunicationLoop.GeneratedPQuery INSTANCE = new GeneratedPQuery(); |
506 | 506 | ||
507 | private final PParameter parameter_Element = new PParameter("Element", "hu.bme.mit.inf.dslreasoner.domains.satellite.CommunicatingElement", new EClassTransitiveInstancesKey((EClass)getClassifierLiteralSafe("http://www.example.org/satellite", "CommunicatingElement")), PParameterDirection.INOUT); | 507 | private final PParameter parameter_Element = new PParameter("Element", "satellite.CommunicatingElement", new EClassTransitiveInstancesKey((EClass)getClassifierLiteralSafe("http://www.example.org/satellite", "CommunicatingElement")), PParameterDirection.INOUT); |
508 | 508 | ||
509 | private final List<PParameter> parameters = Arrays.asList(parameter_Element); | 509 | private final List<PParameter> parameters = Arrays.asList(parameter_Element); |
510 | 510 | ||
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 ba69943a..b73cb23f 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,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.SmallSat; | 6 | import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.SmallSat; |
8 | import java.util.Arrays; | 7 | import java.util.Arrays; |
9 | import java.util.Collection; | 8 | import java.util.Collection; |
@@ -44,6 +43,7 @@ import org.eclipse.viatra.query.runtime.matchers.psystem.queries.PVisibility; | |||
44 | import org.eclipse.viatra.query.runtime.matchers.tuple.Tuple; | 43 | import org.eclipse.viatra.query.runtime.matchers.tuple.Tuple; |
45 | import org.eclipse.viatra.query.runtime.matchers.tuple.Tuples; | 44 | import org.eclipse.viatra.query.runtime.matchers.tuple.Tuples; |
46 | import org.eclipse.viatra.query.runtime.util.ViatraQueryLoggingUtil; | 45 | 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((hu.bme.mit.inf.dslreasoner.domains.satellite.Spacecraft) parameters[0]); | 480 | return CubeSatWithKaAntenna.Match.newMatch((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", "hu.bme.mit.inf.dslreasoner.domains.satellite.Spacecraft", new EClassTransitiveInstancesKey((EClass)getClassifierLiteralSafe("http://www.example.org/satellite", "Spacecraft")), PParameterDirection.INOUT); | 512 | private final PParameter parameter_Spacecraft = new PParameter("Spacecraft", "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 | ||
diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/src-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/queries/IncompatibleSourceAndTargetBand.java b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/src-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/queries/IncompatibleSourceAndTargetBand.java index 4cacc34b..f2713f45 100644 --- a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/src-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/queries/IncompatibleSourceAndTargetBand.java +++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/src-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/queries/IncompatibleSourceAndTargetBand.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.DirectedCommunicationLink; | ||
7 | import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.internal.CommSubsystemBand; | 6 | import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.internal.CommSubsystemBand; |
8 | import java.util.Arrays; | 7 | import java.util.Arrays; |
9 | import java.util.Collection; | 8 | import java.util.Collection; |
@@ -43,6 +42,7 @@ import org.eclipse.viatra.query.runtime.matchers.psystem.queries.PVisibility; | |||
43 | import org.eclipse.viatra.query.runtime.matchers.tuple.Tuple; | 42 | import org.eclipse.viatra.query.runtime.matchers.tuple.Tuple; |
44 | import org.eclipse.viatra.query.runtime.matchers.tuple.Tuples; | 43 | import org.eclipse.viatra.query.runtime.matchers.tuple.Tuples; |
45 | import org.eclipse.viatra.query.runtime.util.ViatraQueryLoggingUtil; | 44 | import org.eclipse.viatra.query.runtime.util.ViatraQueryLoggingUtil; |
45 | import satellite.DirectedCommunicationLink; | ||
46 | 46 | ||
47 | /** | 47 | /** |
48 | * A pattern-specific query specification that can instantiate Matcher in a type-safe way. | 48 | * A pattern-specific query specification that can instantiate Matcher in a type-safe way. |
@@ -480,7 +480,7 @@ public final class IncompatibleSourceAndTargetBand extends BaseGeneratedEMFQuery | |||
480 | 480 | ||
481 | @Override | 481 | @Override |
482 | public IncompatibleSourceAndTargetBand.Match newMatch(final Object... parameters) { | 482 | public IncompatibleSourceAndTargetBand.Match newMatch(final Object... parameters) { |
483 | return IncompatibleSourceAndTargetBand.Match.newMatch((hu.bme.mit.inf.dslreasoner.domains.satellite.DirectedCommunicationLink) parameters[0]); | 483 | return IncompatibleSourceAndTargetBand.Match.newMatch((satellite.DirectedCommunicationLink) parameters[0]); |
484 | } | 484 | } |
485 | 485 | ||
486 | /** | 486 | /** |
@@ -512,7 +512,7 @@ public final class IncompatibleSourceAndTargetBand extends BaseGeneratedEMFQuery | |||
512 | private static class GeneratedPQuery extends BaseGeneratedEMFPQuery { | 512 | private static class GeneratedPQuery extends BaseGeneratedEMFPQuery { |
513 | private static final IncompatibleSourceAndTargetBand.GeneratedPQuery INSTANCE = new GeneratedPQuery(); | 513 | private static final IncompatibleSourceAndTargetBand.GeneratedPQuery INSTANCE = new GeneratedPQuery(); |
514 | 514 | ||
515 | private final PParameter parameter_Link = new PParameter("Link", "hu.bme.mit.inf.dslreasoner.domains.satellite.DirectedCommunicationLink", new EClassTransitiveInstancesKey((EClass)getClassifierLiteralSafe("http://www.example.org/satellite", "DirectedCommunicationLink")), PParameterDirection.INOUT); | 515 | private final PParameter parameter_Link = new PParameter("Link", "satellite.DirectedCommunicationLink", new EClassTransitiveInstancesKey((EClass)getClassifierLiteralSafe("http://www.example.org/satellite", "DirectedCommunicationLink")), PParameterDirection.INOUT); |
516 | 516 | ||
517 | private final List<PParameter> parameters = Arrays.asList(parameter_Link); | 517 | private final List<PParameter> parameters = Arrays.asList(parameter_Link); |
518 | 518 | ||
diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/src-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/queries/IncompatibleSourceAndTargetGain.java b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/src-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/queries/IncompatibleSourceAndTargetGain.java index 3f247613..33a4b067 100644 --- a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/src-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/queries/IncompatibleSourceAndTargetGain.java +++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/src-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/queries/IncompatibleSourceAndTargetGain.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.DirectedCommunicationLink; | ||
7 | import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.internal.CommSubsystemGain; | 6 | import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.internal.CommSubsystemGain; |
8 | import java.util.Arrays; | 7 | import java.util.Arrays; |
9 | import java.util.Collection; | 8 | import java.util.Collection; |
@@ -43,6 +42,7 @@ import org.eclipse.viatra.query.runtime.matchers.psystem.queries.PVisibility; | |||
43 | import org.eclipse.viatra.query.runtime.matchers.tuple.Tuple; | 42 | import org.eclipse.viatra.query.runtime.matchers.tuple.Tuple; |
44 | import org.eclipse.viatra.query.runtime.matchers.tuple.Tuples; | 43 | import org.eclipse.viatra.query.runtime.matchers.tuple.Tuples; |
45 | import org.eclipse.viatra.query.runtime.util.ViatraQueryLoggingUtil; | 44 | import org.eclipse.viatra.query.runtime.util.ViatraQueryLoggingUtil; |
45 | import satellite.DirectedCommunicationLink; | ||
46 | 46 | ||
47 | /** | 47 | /** |
48 | * A pattern-specific query specification that can instantiate Matcher in a type-safe way. | 48 | * A pattern-specific query specification that can instantiate Matcher in a type-safe way. |
@@ -476,7 +476,7 @@ public final class IncompatibleSourceAndTargetGain extends BaseGeneratedEMFQuery | |||
476 | 476 | ||
477 | @Override | 477 | @Override |
478 | public IncompatibleSourceAndTargetGain.Match newMatch(final Object... parameters) { | 478 | public IncompatibleSourceAndTargetGain.Match newMatch(final Object... parameters) { |
479 | return IncompatibleSourceAndTargetGain.Match.newMatch((hu.bme.mit.inf.dslreasoner.domains.satellite.DirectedCommunicationLink) parameters[0]); | 479 | return IncompatibleSourceAndTargetGain.Match.newMatch((satellite.DirectedCommunicationLink) parameters[0]); |
480 | } | 480 | } |
481 | 481 | ||
482 | /** | 482 | /** |
@@ -508,7 +508,7 @@ public final class IncompatibleSourceAndTargetGain extends BaseGeneratedEMFQuery | |||
508 | private static class GeneratedPQuery extends BaseGeneratedEMFPQuery { | 508 | private static class GeneratedPQuery extends BaseGeneratedEMFPQuery { |
509 | private static final IncompatibleSourceAndTargetGain.GeneratedPQuery INSTANCE = new GeneratedPQuery(); | 509 | private static final IncompatibleSourceAndTargetGain.GeneratedPQuery INSTANCE = new GeneratedPQuery(); |
510 | 510 | ||
511 | private final PParameter parameter_Link = new PParameter("Link", "hu.bme.mit.inf.dslreasoner.domains.satellite.DirectedCommunicationLink", new EClassTransitiveInstancesKey((EClass)getClassifierLiteralSafe("http://www.example.org/satellite", "DirectedCommunicationLink")), PParameterDirection.INOUT); | 511 | private final PParameter parameter_Link = new PParameter("Link", "satellite.DirectedCommunicationLink", new EClassTransitiveInstancesKey((EClass)getClassifierLiteralSafe("http://www.example.org/satellite", "DirectedCommunicationLink")), PParameterDirection.INOUT); |
512 | 512 | ||
513 | private final List<PParameter> parameters = Arrays.asList(parameter_Link); | 513 | private final List<PParameter> parameters = Arrays.asList(parameter_Link); |
514 | 514 | ||
diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/src-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/queries/KaAntennaGainLow.java b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/src-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/queries/KaAntennaGainLow.java index 18f6c32f..37c35bfe 100644 --- a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/src-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/queries/KaAntennaGainLow.java +++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/src-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/queries/KaAntennaGainLow.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.CommSubsystem; | ||
7 | import java.util.Arrays; | 6 | import java.util.Arrays; |
8 | import java.util.Collection; | 7 | import java.util.Collection; |
9 | import java.util.LinkedHashSet; | 8 | import java.util.LinkedHashSet; |
@@ -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.CommSubsystem; | ||
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. |
@@ -475,7 +475,7 @@ public final class KaAntennaGainLow extends BaseGeneratedEMFQuerySpecification<K | |||
475 | 475 | ||
476 | @Override | 476 | @Override |
477 | public KaAntennaGainLow.Match newMatch(final Object... parameters) { | 477 | public KaAntennaGainLow.Match newMatch(final Object... parameters) { |
478 | return KaAntennaGainLow.Match.newMatch((hu.bme.mit.inf.dslreasoner.domains.satellite.CommSubsystem) parameters[0]); | 478 | return KaAntennaGainLow.Match.newMatch((satellite.CommSubsystem) parameters[0]); |
479 | } | 479 | } |
480 | 480 | ||
481 | /** | 481 | /** |
@@ -507,7 +507,7 @@ public final class KaAntennaGainLow extends BaseGeneratedEMFQuerySpecification<K | |||
507 | private static class GeneratedPQuery extends BaseGeneratedEMFPQuery { | 507 | private static class GeneratedPQuery extends BaseGeneratedEMFPQuery { |
508 | private static final KaAntennaGainLow.GeneratedPQuery INSTANCE = new GeneratedPQuery(); | 508 | private static final KaAntennaGainLow.GeneratedPQuery INSTANCE = new GeneratedPQuery(); |
509 | 509 | ||
510 | private final PParameter parameter_Comm = new PParameter("Comm", "hu.bme.mit.inf.dslreasoner.domains.satellite.CommSubsystem", new EClassTransitiveInstancesKey((EClass)getClassifierLiteralSafe("http://www.example.org/satellite", "CommSubsystem")), PParameterDirection.INOUT); | 510 | private final PParameter parameter_Comm = new PParameter("Comm", "satellite.CommSubsystem", new EClassTransitiveInstancesKey((EClass)getClassifierLiteralSafe("http://www.example.org/satellite", "CommSubsystem")), PParameterDirection.INOUT); |
511 | 511 | ||
512 | private final List<PParameter> parameters = Arrays.asList(parameter_Comm); | 512 | private final List<PParameter> parameters = Arrays.asList(parameter_Comm); |
513 | 513 | ||
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 | ||
diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/src-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/queries/NoPotentialLinkToGroundStation.java b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/src-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/queries/NoPotentialLinkToGroundStation.java index 1e8f8502..3366de46 100644 --- a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/src-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/queries/NoPotentialLinkToGroundStation.java +++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/src-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/queries/NoPotentialLinkToGroundStation.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.IndirectLinkAllowed; | 6 | import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.internal.IndirectLinkAllowed; |
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. |
@@ -472,7 +472,7 @@ public final class NoPotentialLinkToGroundStation extends BaseGeneratedEMFQueryS | |||
472 | 472 | ||
473 | @Override | 473 | @Override |
474 | public NoPotentialLinkToGroundStation.Match newMatch(final Object... parameters) { | 474 | public NoPotentialLinkToGroundStation.Match newMatch(final Object... parameters) { |
475 | return NoPotentialLinkToGroundStation.Match.newMatch((hu.bme.mit.inf.dslreasoner.domains.satellite.Spacecraft) parameters[0]); | 475 | return NoPotentialLinkToGroundStation.Match.newMatch((satellite.Spacecraft) parameters[0]); |
476 | } | 476 | } |
477 | 477 | ||
478 | /** | 478 | /** |
@@ -504,7 +504,7 @@ public final class NoPotentialLinkToGroundStation extends BaseGeneratedEMFQueryS | |||
504 | private static class GeneratedPQuery extends BaseGeneratedEMFPQuery { | 504 | private static class GeneratedPQuery extends BaseGeneratedEMFPQuery { |
505 | private static final NoPotentialLinkToGroundStation.GeneratedPQuery INSTANCE = new GeneratedPQuery(); | 505 | private static final NoPotentialLinkToGroundStation.GeneratedPQuery INSTANCE = new GeneratedPQuery(); |
506 | 506 | ||
507 | 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); | 507 | private final PParameter parameter_Spacecraft = new PParameter("Spacecraft", "satellite.Spacecraft", new EClassTransitiveInstancesKey((EClass)getClassifierLiteralSafe("http://www.example.org/satellite", "Spacecraft")), PParameterDirection.INOUT); |
508 | 508 | ||
509 | private final List<PParameter> parameters = Arrays.asList(parameter_Spacecraft); | 509 | private final List<PParameter> parameters = Arrays.asList(parameter_Spacecraft); |
510 | 510 | ||
diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/src-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/queries/NotEnoughInterferometryPayloads.java b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/src-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/queries/NotEnoughInterferometryPayloads.java index d75dea5f..bdd97100 100644 --- a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/src-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/queries/NotEnoughInterferometryPayloads.java +++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/src-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/queries/NotEnoughInterferometryPayloads.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.InterferometryMission; | ||
7 | import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.internal.AtLeastTwoInterferometryPayloads; | 6 | import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.internal.AtLeastTwoInterferometryPayloads; |
8 | import java.util.Arrays; | 7 | import java.util.Arrays; |
9 | import java.util.Collection; | 8 | import java.util.Collection; |
@@ -39,6 +38,7 @@ import org.eclipse.viatra.query.runtime.matchers.psystem.queries.PVisibility; | |||
39 | import org.eclipse.viatra.query.runtime.matchers.tuple.Tuple; | 38 | import org.eclipse.viatra.query.runtime.matchers.tuple.Tuple; |
40 | import org.eclipse.viatra.query.runtime.matchers.tuple.Tuples; | 39 | import org.eclipse.viatra.query.runtime.matchers.tuple.Tuples; |
41 | import org.eclipse.viatra.query.runtime.util.ViatraQueryLoggingUtil; | 40 | import org.eclipse.viatra.query.runtime.util.ViatraQueryLoggingUtil; |
41 | import satellite.InterferometryMission; | ||
42 | 42 | ||
43 | /** | 43 | /** |
44 | * A pattern-specific query specification that can instantiate Matcher in a type-safe way. | 44 | * A pattern-specific query specification that can instantiate Matcher in a type-safe way. |
@@ -472,7 +472,7 @@ public final class NotEnoughInterferometryPayloads extends BaseGeneratedEMFQuery | |||
472 | 472 | ||
473 | @Override | 473 | @Override |
474 | public NotEnoughInterferometryPayloads.Match newMatch(final Object... parameters) { | 474 | public NotEnoughInterferometryPayloads.Match newMatch(final Object... parameters) { |
475 | return NotEnoughInterferometryPayloads.Match.newMatch((hu.bme.mit.inf.dslreasoner.domains.satellite.InterferometryMission) parameters[0]); | 475 | return NotEnoughInterferometryPayloads.Match.newMatch((satellite.InterferometryMission) parameters[0]); |
476 | } | 476 | } |
477 | 477 | ||
478 | /** | 478 | /** |
@@ -504,7 +504,7 @@ public final class NotEnoughInterferometryPayloads extends BaseGeneratedEMFQuery | |||
504 | private static class GeneratedPQuery extends BaseGeneratedEMFPQuery { | 504 | private static class GeneratedPQuery extends BaseGeneratedEMFPQuery { |
505 | private static final NotEnoughInterferometryPayloads.GeneratedPQuery INSTANCE = new GeneratedPQuery(); | 505 | private static final NotEnoughInterferometryPayloads.GeneratedPQuery INSTANCE = new GeneratedPQuery(); |
506 | 506 | ||
507 | private final PParameter parameter_Mission = new PParameter("Mission", "hu.bme.mit.inf.dslreasoner.domains.satellite.InterferometryMission", new EClassTransitiveInstancesKey((EClass)getClassifierLiteralSafe("http://www.example.org/satellite", "InterferometryMission")), PParameterDirection.INOUT); | 507 | private final PParameter parameter_Mission = new PParameter("Mission", "satellite.InterferometryMission", new EClassTransitiveInstancesKey((EClass)getClassifierLiteralSafe("http://www.example.org/satellite", "InterferometryMission")), PParameterDirection.INOUT); |
508 | 508 | ||
509 | private final List<PParameter> parameters = Arrays.asList(parameter_Mission); | 509 | private final List<PParameter> parameters = Arrays.asList(parameter_Mission); |
510 | 510 | ||
diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/src-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/queries/SmallSat.java b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/src-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/queries/SmallSat.java index 7bc497ab..4791740e 100644 --- a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/src-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/queries/SmallSat.java +++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/src-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/queries/SmallSat.java | |||
@@ -64,11 +64,11 @@ public final class SmallSat extends BaseGeneratedEMFQuerySpecification<SmallSat. | |||
64 | * | 64 | * |
65 | */ | 65 | */ |
66 | public static abstract class Match extends BasePatternMatch { | 66 | public static abstract class Match extends BasePatternMatch { |
67 | private hu.bme.mit.inf.dslreasoner.domains.satellite.SmallSat fSat; | 67 | private satellite.SmallSat fSat; |
68 | 68 | ||
69 | private static List<String> parameterNames = makeImmutableList("Sat"); | 69 | private static List<String> parameterNames = makeImmutableList("Sat"); |
70 | 70 | ||
71 | private Match(final hu.bme.mit.inf.dslreasoner.domains.satellite.SmallSat pSat) { | 71 | private Match(final satellite.SmallSat pSat) { |
72 | this.fSat = pSat; | 72 | this.fSat = pSat; |
73 | } | 73 | } |
74 | 74 | ||
@@ -78,7 +78,7 @@ public final class SmallSat extends BaseGeneratedEMFQuerySpecification<SmallSat. | |||
78 | return null; | 78 | return null; |
79 | } | 79 | } |
80 | 80 | ||
81 | public hu.bme.mit.inf.dslreasoner.domains.satellite.SmallSat getSat() { | 81 | public satellite.SmallSat getSat() { |
82 | return this.fSat; | 82 | return this.fSat; |
83 | } | 83 | } |
84 | 84 | ||
@@ -86,13 +86,13 @@ public final class SmallSat extends BaseGeneratedEMFQuerySpecification<SmallSat. | |||
86 | public boolean set(final String parameterName, final Object newValue) { | 86 | public boolean set(final String parameterName, final Object newValue) { |
87 | if (!isMutable()) throw new java.lang.UnsupportedOperationException(); | 87 | if (!isMutable()) throw new java.lang.UnsupportedOperationException(); |
88 | if ("Sat".equals(parameterName) ) { | 88 | if ("Sat".equals(parameterName) ) { |
89 | this.fSat = (hu.bme.mit.inf.dslreasoner.domains.satellite.SmallSat) newValue; | 89 | this.fSat = (satellite.SmallSat) newValue; |
90 | return true; | 90 | return true; |
91 | } | 91 | } |
92 | return false; | 92 | return false; |
93 | } | 93 | } |
94 | 94 | ||
95 | public void setSat(final hu.bme.mit.inf.dslreasoner.domains.satellite.SmallSat pSat) { | 95 | public void setSat(final satellite.SmallSat pSat) { |
96 | if (!isMutable()) throw new java.lang.UnsupportedOperationException(); | 96 | if (!isMutable()) throw new java.lang.UnsupportedOperationException(); |
97 | this.fSat = pSat; | 97 | this.fSat = pSat; |
98 | } | 98 | } |
@@ -173,7 +173,7 @@ public final class SmallSat extends BaseGeneratedEMFQuerySpecification<SmallSat. | |||
173 | * @return the new, mutable (partial) match object. | 173 | * @return the new, mutable (partial) match object. |
174 | * | 174 | * |
175 | */ | 175 | */ |
176 | public static SmallSat.Match newMutableMatch(final hu.bme.mit.inf.dslreasoner.domains.satellite.SmallSat pSat) { | 176 | public static SmallSat.Match newMutableMatch(final satellite.SmallSat pSat) { |
177 | return new Mutable(pSat); | 177 | return new Mutable(pSat); |
178 | } | 178 | } |
179 | 179 | ||
@@ -185,12 +185,12 @@ public final class SmallSat extends BaseGeneratedEMFQuerySpecification<SmallSat. | |||
185 | * @return the (partial) match object. | 185 | * @return the (partial) match object. |
186 | * | 186 | * |
187 | */ | 187 | */ |
188 | public static SmallSat.Match newMatch(final hu.bme.mit.inf.dslreasoner.domains.satellite.SmallSat pSat) { | 188 | public static SmallSat.Match newMatch(final satellite.SmallSat pSat) { |
189 | return new Immutable(pSat); | 189 | return new Immutable(pSat); |
190 | } | 190 | } |
191 | 191 | ||
192 | private static final class Mutable extends SmallSat.Match { | 192 | private static final class Mutable extends SmallSat.Match { |
193 | Mutable(final hu.bme.mit.inf.dslreasoner.domains.satellite.SmallSat pSat) { | 193 | Mutable(final satellite.SmallSat pSat) { |
194 | super(pSat); | 194 | super(pSat); |
195 | } | 195 | } |
196 | 196 | ||
@@ -201,7 +201,7 @@ public final class SmallSat extends BaseGeneratedEMFQuerySpecification<SmallSat. | |||
201 | } | 201 | } |
202 | 202 | ||
203 | private static final class Immutable extends SmallSat.Match { | 203 | private static final class Immutable extends SmallSat.Match { |
204 | Immutable(final hu.bme.mit.inf.dslreasoner.domains.satellite.SmallSat pSat) { | 204 | Immutable(final satellite.SmallSat pSat) { |
205 | super(pSat); | 205 | super(pSat); |
206 | } | 206 | } |
207 | 207 | ||
@@ -282,7 +282,7 @@ public final class SmallSat extends BaseGeneratedEMFQuerySpecification<SmallSat. | |||
282 | * @return matches represented as a Match object. | 282 | * @return matches represented as a Match object. |
283 | * | 283 | * |
284 | */ | 284 | */ |
285 | public Collection<SmallSat.Match> getAllMatches(final hu.bme.mit.inf.dslreasoner.domains.satellite.SmallSat pSat) { | 285 | public Collection<SmallSat.Match> getAllMatches(final satellite.SmallSat pSat) { |
286 | return rawStreamAllMatches(new Object[]{pSat}).collect(Collectors.toSet()); | 286 | return rawStreamAllMatches(new Object[]{pSat}).collect(Collectors.toSet()); |
287 | } | 287 | } |
288 | 288 | ||
@@ -296,7 +296,7 @@ public final class SmallSat extends BaseGeneratedEMFQuerySpecification<SmallSat. | |||
296 | * @return a stream of matches represented as a Match object. | 296 | * @return a stream of matches represented as a Match object. |
297 | * | 297 | * |
298 | */ | 298 | */ |
299 | public Stream<SmallSat.Match> streamAllMatches(final hu.bme.mit.inf.dslreasoner.domains.satellite.SmallSat pSat) { | 299 | public Stream<SmallSat.Match> streamAllMatches(final satellite.SmallSat pSat) { |
300 | return rawStreamAllMatches(new Object[]{pSat}); | 300 | return rawStreamAllMatches(new Object[]{pSat}); |
301 | } | 301 | } |
302 | 302 | ||
@@ -307,7 +307,7 @@ public final class SmallSat extends BaseGeneratedEMFQuerySpecification<SmallSat. | |||
307 | * @return a match represented as a Match object, or null if no match is found. | 307 | * @return a match represented as a Match object, or null if no match is found. |
308 | * | 308 | * |
309 | */ | 309 | */ |
310 | public Optional<SmallSat.Match> getOneArbitraryMatch(final hu.bme.mit.inf.dslreasoner.domains.satellite.SmallSat pSat) { | 310 | public Optional<SmallSat.Match> getOneArbitraryMatch(final satellite.SmallSat pSat) { |
311 | return rawGetOneArbitraryMatch(new Object[]{pSat}); | 311 | return rawGetOneArbitraryMatch(new Object[]{pSat}); |
312 | } | 312 | } |
313 | 313 | ||
@@ -318,7 +318,7 @@ public final class SmallSat extends BaseGeneratedEMFQuerySpecification<SmallSat. | |||
318 | * @return true if the input is a valid (partial) match of the pattern. | 318 | * @return true if the input is a valid (partial) match of the pattern. |
319 | * | 319 | * |
320 | */ | 320 | */ |
321 | public boolean hasMatch(final hu.bme.mit.inf.dslreasoner.domains.satellite.SmallSat pSat) { | 321 | public boolean hasMatch(final satellite.SmallSat pSat) { |
322 | return rawHasMatch(new Object[]{pSat}); | 322 | return rawHasMatch(new Object[]{pSat}); |
323 | } | 323 | } |
324 | 324 | ||
@@ -328,7 +328,7 @@ public final class SmallSat extends BaseGeneratedEMFQuerySpecification<SmallSat. | |||
328 | * @return the number of pattern matches found. | 328 | * @return the number of pattern matches found. |
329 | * | 329 | * |
330 | */ | 330 | */ |
331 | public int countMatches(final hu.bme.mit.inf.dslreasoner.domains.satellite.SmallSat pSat) { | 331 | public int countMatches(final satellite.SmallSat pSat) { |
332 | return rawCountMatches(new Object[]{pSat}); | 332 | return rawCountMatches(new Object[]{pSat}); |
333 | } | 333 | } |
334 | 334 | ||
@@ -340,7 +340,7 @@ public final class SmallSat extends BaseGeneratedEMFQuerySpecification<SmallSat. | |||
340 | * @return true if the pattern has at least one match with the given parameter values, false if the processor was not invoked | 340 | * @return true if the pattern has at least one match with the given parameter values, false if the processor was not invoked |
341 | * | 341 | * |
342 | */ | 342 | */ |
343 | public boolean forOneArbitraryMatch(final hu.bme.mit.inf.dslreasoner.domains.satellite.SmallSat pSat, final Consumer<? super SmallSat.Match> processor) { | 343 | public boolean forOneArbitraryMatch(final satellite.SmallSat pSat, final Consumer<? super SmallSat.Match> processor) { |
344 | return rawForOneArbitraryMatch(new Object[]{pSat}, processor); | 344 | return rawForOneArbitraryMatch(new Object[]{pSat}, processor); |
345 | } | 345 | } |
346 | 346 | ||
@@ -352,7 +352,7 @@ public final class SmallSat extends BaseGeneratedEMFQuerySpecification<SmallSat. | |||
352 | * @return the (partial) match object. | 352 | * @return the (partial) match object. |
353 | * | 353 | * |
354 | */ | 354 | */ |
355 | public SmallSat.Match newMatch(final hu.bme.mit.inf.dslreasoner.domains.satellite.SmallSat pSat) { | 355 | public SmallSat.Match newMatch(final satellite.SmallSat pSat) { |
356 | return SmallSat.Match.newMatch(pSat); | 356 | return SmallSat.Match.newMatch(pSat); |
357 | } | 357 | } |
358 | 358 | ||
@@ -361,8 +361,8 @@ public final class SmallSat extends BaseGeneratedEMFQuerySpecification<SmallSat. | |||
361 | * @return the Set of all values or empty set if there are no matches | 361 | * @return the Set of all values or empty set if there are no matches |
362 | * | 362 | * |
363 | */ | 363 | */ |
364 | protected Stream<hu.bme.mit.inf.dslreasoner.domains.satellite.SmallSat> rawStreamAllValuesOfSat(final Object[] parameters) { | 364 | protected Stream<satellite.SmallSat> rawStreamAllValuesOfSat(final Object[] parameters) { |
365 | return rawStreamAllValues(POSITION_SAT, parameters).map(hu.bme.mit.inf.dslreasoner.domains.satellite.SmallSat.class::cast); | 365 | return rawStreamAllValues(POSITION_SAT, parameters).map(satellite.SmallSat.class::cast); |
366 | } | 366 | } |
367 | 367 | ||
368 | /** | 368 | /** |
@@ -370,7 +370,7 @@ public final class SmallSat extends BaseGeneratedEMFQuerySpecification<SmallSat. | |||
370 | * @return the Set of all values or empty set if there are no matches | 370 | * @return the Set of all values or empty set if there are no matches |
371 | * | 371 | * |
372 | */ | 372 | */ |
373 | public Set<hu.bme.mit.inf.dslreasoner.domains.satellite.SmallSat> getAllValuesOfSat() { | 373 | public Set<satellite.SmallSat> getAllValuesOfSat() { |
374 | return rawStreamAllValuesOfSat(emptyArray()).collect(Collectors.toSet()); | 374 | return rawStreamAllValuesOfSat(emptyArray()).collect(Collectors.toSet()); |
375 | } | 375 | } |
376 | 376 | ||
@@ -379,14 +379,14 @@ public final class SmallSat extends BaseGeneratedEMFQuerySpecification<SmallSat. | |||
379 | * @return the Set of all values or empty set if there are no matches | 379 | * @return the Set of all values or empty set if there are no matches |
380 | * | 380 | * |
381 | */ | 381 | */ |
382 | public Stream<hu.bme.mit.inf.dslreasoner.domains.satellite.SmallSat> streamAllValuesOfSat() { | 382 | public Stream<satellite.SmallSat> streamAllValuesOfSat() { |
383 | return rawStreamAllValuesOfSat(emptyArray()); | 383 | return rawStreamAllValuesOfSat(emptyArray()); |
384 | } | 384 | } |
385 | 385 | ||
386 | @Override | 386 | @Override |
387 | protected SmallSat.Match tupleToMatch(final Tuple t) { | 387 | protected SmallSat.Match tupleToMatch(final Tuple t) { |
388 | try { | 388 | try { |
389 | return SmallSat.Match.newMatch((hu.bme.mit.inf.dslreasoner.domains.satellite.SmallSat) t.get(POSITION_SAT)); | 389 | return SmallSat.Match.newMatch((satellite.SmallSat) t.get(POSITION_SAT)); |
390 | } catch(ClassCastException e) { | 390 | } catch(ClassCastException e) { |
391 | LOGGER.error("Element(s) in tuple not properly typed!",e); | 391 | LOGGER.error("Element(s) in tuple not properly typed!",e); |
392 | return null; | 392 | return null; |
@@ -396,7 +396,7 @@ public final class SmallSat extends BaseGeneratedEMFQuerySpecification<SmallSat. | |||
396 | @Override | 396 | @Override |
397 | protected SmallSat.Match arrayToMatch(final Object[] match) { | 397 | protected SmallSat.Match arrayToMatch(final Object[] match) { |
398 | try { | 398 | try { |
399 | return SmallSat.Match.newMatch((hu.bme.mit.inf.dslreasoner.domains.satellite.SmallSat) match[POSITION_SAT]); | 399 | return SmallSat.Match.newMatch((satellite.SmallSat) match[POSITION_SAT]); |
400 | } catch(ClassCastException e) { | 400 | } catch(ClassCastException e) { |
401 | LOGGER.error("Element(s) in array not properly typed!",e); | 401 | LOGGER.error("Element(s) in array not properly typed!",e); |
402 | return null; | 402 | return null; |
@@ -406,7 +406,7 @@ public final class SmallSat extends BaseGeneratedEMFQuerySpecification<SmallSat. | |||
406 | @Override | 406 | @Override |
407 | protected SmallSat.Match arrayToMatchMutable(final Object[] match) { | 407 | protected SmallSat.Match arrayToMatchMutable(final Object[] match) { |
408 | try { | 408 | try { |
409 | return SmallSat.Match.newMutableMatch((hu.bme.mit.inf.dslreasoner.domains.satellite.SmallSat) match[POSITION_SAT]); | 409 | return SmallSat.Match.newMutableMatch((satellite.SmallSat) match[POSITION_SAT]); |
410 | } catch(ClassCastException e) { | 410 | } catch(ClassCastException e) { |
411 | LOGGER.error("Element(s) in array not properly typed!",e); | 411 | LOGGER.error("Element(s) in array not properly typed!",e); |
412 | return null; | 412 | return null; |
@@ -457,7 +457,7 @@ public final class SmallSat extends BaseGeneratedEMFQuerySpecification<SmallSat. | |||
457 | 457 | ||
458 | @Override | 458 | @Override |
459 | public SmallSat.Match newMatch(final Object... parameters) { | 459 | public SmallSat.Match newMatch(final Object... parameters) { |
460 | return SmallSat.Match.newMatch((hu.bme.mit.inf.dslreasoner.domains.satellite.SmallSat) parameters[0]); | 460 | return SmallSat.Match.newMatch((satellite.SmallSat) parameters[0]); |
461 | } | 461 | } |
462 | 462 | ||
463 | /** | 463 | /** |
@@ -489,7 +489,7 @@ public final class SmallSat extends BaseGeneratedEMFQuerySpecification<SmallSat. | |||
489 | private static class GeneratedPQuery extends BaseGeneratedEMFPQuery { | 489 | private static class GeneratedPQuery extends BaseGeneratedEMFPQuery { |
490 | private static final SmallSat.GeneratedPQuery INSTANCE = new GeneratedPQuery(); | 490 | private static final SmallSat.GeneratedPQuery INSTANCE = new GeneratedPQuery(); |
491 | 491 | ||
492 | private final PParameter parameter_Sat = new PParameter("Sat", "hu.bme.mit.inf.dslreasoner.domains.satellite.SmallSat", new EClassTransitiveInstancesKey((EClass)getClassifierLiteralSafe("http://www.example.org/satellite", "SmallSat")), PParameterDirection.INOUT); | 492 | private final PParameter parameter_Sat = new PParameter("Sat", "satellite.SmallSat", new EClassTransitiveInstancesKey((EClass)getClassifierLiteralSafe("http://www.example.org/satellite", "SmallSat")), PParameterDirection.INOUT); |
493 | 493 | ||
494 | private final List<PParameter> parameters = Arrays.asList(parameter_Sat); | 494 | private final List<PParameter> parameters = Arrays.asList(parameter_Sat); |
495 | 495 | ||
diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/src-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/queries/SpacecraftOfKind.java b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/src-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/queries/SpacecraftOfKind.java index 52602bb5..ed0bd7dc 100644 --- a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/src-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/queries/SpacecraftOfKind.java +++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/src-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/queries/SpacecraftOfKind.java | |||
@@ -3,8 +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.SpacecraftKind; | ||
8 | import java.util.Arrays; | 6 | import java.util.Arrays; |
9 | import java.util.Collection; | 7 | import java.util.Collection; |
10 | import java.util.LinkedHashSet; | 8 | import java.util.LinkedHashSet; |
@@ -41,6 +39,8 @@ import org.eclipse.viatra.query.runtime.matchers.psystem.queries.PVisibility; | |||
41 | import org.eclipse.viatra.query.runtime.matchers.tuple.Tuple; | 39 | import org.eclipse.viatra.query.runtime.matchers.tuple.Tuple; |
42 | import org.eclipse.viatra.query.runtime.matchers.tuple.Tuples; | 40 | import org.eclipse.viatra.query.runtime.matchers.tuple.Tuples; |
43 | import org.eclipse.viatra.query.runtime.util.ViatraQueryLoggingUtil; | 41 | import org.eclipse.viatra.query.runtime.util.ViatraQueryLoggingUtil; |
42 | import satellite.Spacecraft; | ||
43 | import satellite.SpacecraftKind; | ||
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. |
@@ -628,7 +628,7 @@ public final class SpacecraftOfKind extends BaseGeneratedEMFQuerySpecification<S | |||
628 | 628 | ||
629 | @Override | 629 | @Override |
630 | public SpacecraftOfKind.Match newMatch(final Object... parameters) { | 630 | public SpacecraftOfKind.Match newMatch(final Object... parameters) { |
631 | return SpacecraftOfKind.Match.newMatch((hu.bme.mit.inf.dslreasoner.domains.satellite.Spacecraft) parameters[0], (hu.bme.mit.inf.dslreasoner.domains.satellite.SpacecraftKind) parameters[1]); | 631 | return SpacecraftOfKind.Match.newMatch((satellite.Spacecraft) parameters[0], (satellite.SpacecraftKind) parameters[1]); |
632 | } | 632 | } |
633 | 633 | ||
634 | /** | 634 | /** |
@@ -660,9 +660,9 @@ public final class SpacecraftOfKind extends BaseGeneratedEMFQuerySpecification<S | |||
660 | private static class GeneratedPQuery extends BaseGeneratedEMFPQuery { | 660 | private static class GeneratedPQuery extends BaseGeneratedEMFPQuery { |
661 | private static final SpacecraftOfKind.GeneratedPQuery INSTANCE = new GeneratedPQuery(); | 661 | private static final SpacecraftOfKind.GeneratedPQuery INSTANCE = new GeneratedPQuery(); |
662 | 662 | ||
663 | 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); | 663 | private final PParameter parameter_Spacecraft = new PParameter("Spacecraft", "satellite.Spacecraft", new EClassTransitiveInstancesKey((EClass)getClassifierLiteralSafe("http://www.example.org/satellite", "Spacecraft")), PParameterDirection.INOUT); |
664 | 664 | ||
665 | private final PParameter parameter_Kind = new PParameter("Kind", "hu.bme.mit.inf.dslreasoner.domains.satellite.SpacecraftKind", new EDataTypeInSlotsKey((EDataType)getClassifierLiteralSafe("http://www.example.org/satellite", "SpacecraftKind")), PParameterDirection.INOUT); | 665 | private final PParameter parameter_Kind = new PParameter("Kind", "satellite.SpacecraftKind", new EDataTypeInSlotsKey((EDataType)getClassifierLiteralSafe("http://www.example.org/satellite", "SpacecraftKind")), PParameterDirection.INOUT); |
666 | 666 | ||
667 | private final List<PParameter> parameters = Arrays.asList(parameter_Spacecraft, parameter_Kind); | 667 | private final List<PParameter> parameters = Arrays.asList(parameter_Spacecraft, parameter_Kind); |
668 | 668 | ||
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 | ||
diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/src-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/queries/UhfAntennaGainNotLow.java b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/src-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/queries/UhfAntennaGainNotLow.java index 62222ded..99e472ea 100644 --- a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/src-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/queries/UhfAntennaGainNotLow.java +++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/src-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/queries/UhfAntennaGainNotLow.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.CommSubsystem; | ||
7 | import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.internal.CommSubsystemGainLow; | 6 | import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.internal.CommSubsystemGainLow; |
8 | import java.util.Arrays; | 7 | import java.util.Arrays; |
9 | import java.util.Collection; | 8 | import java.util.Collection; |
@@ -44,6 +43,7 @@ import org.eclipse.viatra.query.runtime.matchers.psystem.queries.PVisibility; | |||
44 | import org.eclipse.viatra.query.runtime.matchers.tuple.Tuple; | 43 | import org.eclipse.viatra.query.runtime.matchers.tuple.Tuple; |
45 | import org.eclipse.viatra.query.runtime.matchers.tuple.Tuples; | 44 | import org.eclipse.viatra.query.runtime.matchers.tuple.Tuples; |
46 | import org.eclipse.viatra.query.runtime.util.ViatraQueryLoggingUtil; | 45 | import org.eclipse.viatra.query.runtime.util.ViatraQueryLoggingUtil; |
46 | import satellite.CommSubsystem; | ||
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. |
@@ -483,7 +483,7 @@ public final class UhfAntennaGainNotLow extends BaseGeneratedEMFQuerySpecificati | |||
483 | 483 | ||
484 | @Override | 484 | @Override |
485 | public UhfAntennaGainNotLow.Match newMatch(final Object... parameters) { | 485 | public UhfAntennaGainNotLow.Match newMatch(final Object... parameters) { |
486 | return UhfAntennaGainNotLow.Match.newMatch((hu.bme.mit.inf.dslreasoner.domains.satellite.CommSubsystem) parameters[0]); | 486 | return UhfAntennaGainNotLow.Match.newMatch((satellite.CommSubsystem) parameters[0]); |
487 | } | 487 | } |
488 | 488 | ||
489 | /** | 489 | /** |
@@ -515,7 +515,7 @@ public final class UhfAntennaGainNotLow extends BaseGeneratedEMFQuerySpecificati | |||
515 | private static class GeneratedPQuery extends BaseGeneratedEMFPQuery { | 515 | private static class GeneratedPQuery extends BaseGeneratedEMFPQuery { |
516 | private static final UhfAntennaGainNotLow.GeneratedPQuery INSTANCE = new GeneratedPQuery(); | 516 | private static final UhfAntennaGainNotLow.GeneratedPQuery INSTANCE = new GeneratedPQuery(); |
517 | 517 | ||
518 | private final PParameter parameter_Comm = new PParameter("Comm", "hu.bme.mit.inf.dslreasoner.domains.satellite.CommSubsystem", new EClassTransitiveInstancesKey((EClass)getClassifierLiteralSafe("http://www.example.org/satellite", "CommSubsystem")), PParameterDirection.INOUT); | 518 | private final PParameter parameter_Comm = new PParameter("Comm", "satellite.CommSubsystem", new EClassTransitiveInstancesKey((EClass)getClassifierLiteralSafe("http://www.example.org/satellite", "CommSubsystem")), PParameterDirection.INOUT); |
519 | 519 | ||
520 | private final List<PParameter> parameters = Arrays.asList(parameter_Comm); | 520 | private final List<PParameter> parameters = Arrays.asList(parameter_Comm); |
521 | 521 | ||
diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/src-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/queries/XAntennaGainNotMedium.java b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/src-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/queries/XAntennaGainNotMedium.java index dbe6d26e..b50962c5 100644 --- a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/src-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/queries/XAntennaGainNotMedium.java +++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/src-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/queries/XAntennaGainNotMedium.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.CommSubsystem; | ||
7 | import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.internal.CommSubsystemGainMedium; | 6 | import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.internal.CommSubsystemGainMedium; |
8 | import java.util.Arrays; | 7 | import java.util.Arrays; |
9 | import java.util.Collection; | 8 | import java.util.Collection; |
@@ -44,6 +43,7 @@ import org.eclipse.viatra.query.runtime.matchers.psystem.queries.PVisibility; | |||
44 | import org.eclipse.viatra.query.runtime.matchers.tuple.Tuple; | 43 | import org.eclipse.viatra.query.runtime.matchers.tuple.Tuple; |
45 | import org.eclipse.viatra.query.runtime.matchers.tuple.Tuples; | 44 | import org.eclipse.viatra.query.runtime.matchers.tuple.Tuples; |
46 | import org.eclipse.viatra.query.runtime.util.ViatraQueryLoggingUtil; | 45 | import org.eclipse.viatra.query.runtime.util.ViatraQueryLoggingUtil; |
46 | import satellite.CommSubsystem; | ||
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 XAntennaGainNotMedium extends BaseGeneratedEMFQuerySpecificat | |||
477 | 477 | ||
478 | @Override | 478 | @Override |
479 | public XAntennaGainNotMedium.Match newMatch(final Object... parameters) { | 479 | public XAntennaGainNotMedium.Match newMatch(final Object... parameters) { |
480 | return XAntennaGainNotMedium.Match.newMatch((hu.bme.mit.inf.dslreasoner.domains.satellite.CommSubsystem) parameters[0]); | 480 | return XAntennaGainNotMedium.Match.newMatch((satellite.CommSubsystem) parameters[0]); |
481 | } | 481 | } |
482 | 482 | ||
483 | /** | 483 | /** |
@@ -509,7 +509,7 @@ public final class XAntennaGainNotMedium extends BaseGeneratedEMFQuerySpecificat | |||
509 | private static class GeneratedPQuery extends BaseGeneratedEMFPQuery { | 509 | private static class GeneratedPQuery extends BaseGeneratedEMFPQuery { |
510 | private static final XAntennaGainNotMedium.GeneratedPQuery INSTANCE = new GeneratedPQuery(); | 510 | private static final XAntennaGainNotMedium.GeneratedPQuery INSTANCE = new GeneratedPQuery(); |
511 | 511 | ||
512 | private final PParameter parameter_Comm = new PParameter("Comm", "hu.bme.mit.inf.dslreasoner.domains.satellite.CommSubsystem", new EClassTransitiveInstancesKey((EClass)getClassifierLiteralSafe("http://www.example.org/satellite", "CommSubsystem")), PParameterDirection.INOUT); | 512 | private final PParameter parameter_Comm = new PParameter("Comm", "satellite.CommSubsystem", new EClassTransitiveInstancesKey((EClass)getClassifierLiteralSafe("http://www.example.org/satellite", "CommSubsystem")), PParameterDirection.INOUT); |
513 | 513 | ||
514 | private final List<PParameter> parameters = Arrays.asList(parameter_Comm); | 514 | private final List<PParameter> parameters = Arrays.asList(parameter_Comm); |
515 | 515 | ||
diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/src-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/queries/internal/AtLeastTwoInterferometryPayloads.java b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/src-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/queries/internal/AtLeastTwoInterferometryPayloads.java index d560ac93..58e7e183 100644 --- a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/src-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/queries/internal/AtLeastTwoInterferometryPayloads.java +++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/src-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/queries/internal/AtLeastTwoInterferometryPayloads.java | |||
@@ -88,7 +88,7 @@ public final class AtLeastTwoInterferometryPayloads extends BaseGeneratedEMFQuer | |||
88 | private static class GeneratedPQuery extends BaseGeneratedEMFPQuery { | 88 | private static class GeneratedPQuery extends BaseGeneratedEMFPQuery { |
89 | private static final AtLeastTwoInterferometryPayloads.GeneratedPQuery INSTANCE = new GeneratedPQuery(); | 89 | private static final AtLeastTwoInterferometryPayloads.GeneratedPQuery INSTANCE = new GeneratedPQuery(); |
90 | 90 | ||
91 | private final PParameter parameter_Mission = new PParameter("Mission", "hu.bme.mit.inf.dslreasoner.domains.satellite.InterferometryMission", new EClassTransitiveInstancesKey((EClass)getClassifierLiteralSafe("http://www.example.org/satellite", "InterferometryMission")), PParameterDirection.INOUT); | 91 | private final PParameter parameter_Mission = new PParameter("Mission", "satellite.InterferometryMission", new EClassTransitiveInstancesKey((EClass)getClassifierLiteralSafe("http://www.example.org/satellite", "InterferometryMission")), PParameterDirection.INOUT); |
92 | 92 | ||
93 | private final List<PParameter> parameters = Arrays.asList(parameter_Mission); | 93 | private final List<PParameter> parameters = Arrays.asList(parameter_Mission); |
94 | 94 | ||
diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/src-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/queries/internal/CommSubsystemBand.java b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/src-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/queries/internal/CommSubsystemBand.java index a0009587..609e0b93 100644 --- a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/src-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/queries/internal/CommSubsystemBand.java +++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/src-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/queries/internal/CommSubsystemBand.java | |||
@@ -87,9 +87,9 @@ public final class CommSubsystemBand extends BaseGeneratedEMFQuerySpecificationW | |||
87 | private static class GeneratedPQuery extends BaseGeneratedEMFPQuery { | 87 | private static class GeneratedPQuery extends BaseGeneratedEMFPQuery { |
88 | private static final CommSubsystemBand.GeneratedPQuery INSTANCE = new GeneratedPQuery(); | 88 | private static final CommSubsystemBand.GeneratedPQuery INSTANCE = new GeneratedPQuery(); |
89 | 89 | ||
90 | private final PParameter parameter_Comm = new PParameter("Comm", "hu.bme.mit.inf.dslreasoner.domains.satellite.CommSubsystem", new EClassTransitiveInstancesKey((EClass)getClassifierLiteralSafe("http://www.example.org/satellite", "CommSubsystem")), PParameterDirection.INOUT); | 90 | private final PParameter parameter_Comm = new PParameter("Comm", "satellite.CommSubsystem", new EClassTransitiveInstancesKey((EClass)getClassifierLiteralSafe("http://www.example.org/satellite", "CommSubsystem")), PParameterDirection.INOUT); |
91 | 91 | ||
92 | private final PParameter parameter_Band = new PParameter("Band", "hu.bme.mit.inf.dslreasoner.domains.satellite.TransceiverBand", new EDataTypeInSlotsKey((EDataType)getClassifierLiteralSafe("http://www.example.org/satellite", "TransceiverBand")), PParameterDirection.INOUT); | 92 | private final PParameter parameter_Band = new PParameter("Band", "satellite.TransceiverBand", new EDataTypeInSlotsKey((EDataType)getClassifierLiteralSafe("http://www.example.org/satellite", "TransceiverBand")), PParameterDirection.INOUT); |
93 | 93 | ||
94 | private final List<PParameter> parameters = Arrays.asList(parameter_Comm, parameter_Band); | 94 | private final List<PParameter> parameters = Arrays.asList(parameter_Comm, parameter_Band); |
95 | 95 | ||
diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/src-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/queries/internal/CommSubsystemBandUhf.java b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/src-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/queries/internal/CommSubsystemBandUhf.java index 51175ce3..bc25ea59 100644 --- a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/src-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/queries/internal/CommSubsystemBandUhf.java +++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/src-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/queries/internal/CommSubsystemBandUhf.java | |||
@@ -88,7 +88,7 @@ public final class CommSubsystemBandUhf extends BaseGeneratedEMFQuerySpecificati | |||
88 | private static class GeneratedPQuery extends BaseGeneratedEMFPQuery { | 88 | private static class GeneratedPQuery extends BaseGeneratedEMFPQuery { |
89 | private static final CommSubsystemBandUhf.GeneratedPQuery INSTANCE = new GeneratedPQuery(); | 89 | private static final CommSubsystemBandUhf.GeneratedPQuery INSTANCE = new GeneratedPQuery(); |
90 | 90 | ||
91 | private final PParameter parameter_Comm = new PParameter("Comm", "hu.bme.mit.inf.dslreasoner.domains.satellite.CommSubsystem", new EClassTransitiveInstancesKey((EClass)getClassifierLiteralSafe("http://www.example.org/satellite", "CommSubsystem")), PParameterDirection.INOUT); | 91 | private final PParameter parameter_Comm = new PParameter("Comm", "satellite.CommSubsystem", new EClassTransitiveInstancesKey((EClass)getClassifierLiteralSafe("http://www.example.org/satellite", "CommSubsystem")), PParameterDirection.INOUT); |
92 | 92 | ||
93 | private final List<PParameter> parameters = Arrays.asList(parameter_Comm); | 93 | private final List<PParameter> parameters = Arrays.asList(parameter_Comm); |
94 | 94 | ||
diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/src-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/queries/internal/CommSubsystemGain.java b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/src-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/queries/internal/CommSubsystemGain.java index e2e0e2a1..69793a96 100644 --- a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/src-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/queries/internal/CommSubsystemGain.java +++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/src-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/queries/internal/CommSubsystemGain.java | |||
@@ -87,9 +87,9 @@ public final class CommSubsystemGain extends BaseGeneratedEMFQuerySpecificationW | |||
87 | private static class GeneratedPQuery extends BaseGeneratedEMFPQuery { | 87 | private static class GeneratedPQuery extends BaseGeneratedEMFPQuery { |
88 | private static final CommSubsystemGain.GeneratedPQuery INSTANCE = new GeneratedPQuery(); | 88 | private static final CommSubsystemGain.GeneratedPQuery INSTANCE = new GeneratedPQuery(); |
89 | 89 | ||
90 | private final PParameter parameter_Comm = new PParameter("Comm", "hu.bme.mit.inf.dslreasoner.domains.satellite.CommSubsystem", new EClassTransitiveInstancesKey((EClass)getClassifierLiteralSafe("http://www.example.org/satellite", "CommSubsystem")), PParameterDirection.INOUT); | 90 | private final PParameter parameter_Comm = new PParameter("Comm", "satellite.CommSubsystem", new EClassTransitiveInstancesKey((EClass)getClassifierLiteralSafe("http://www.example.org/satellite", "CommSubsystem")), PParameterDirection.INOUT); |
91 | 91 | ||
92 | private final PParameter parameter_Gain = new PParameter("Gain", "hu.bme.mit.inf.dslreasoner.domains.satellite.AntennaGain", new EDataTypeInSlotsKey((EDataType)getClassifierLiteralSafe("http://www.example.org/satellite", "AntennaGain")), PParameterDirection.INOUT); | 92 | private final PParameter parameter_Gain = new PParameter("Gain", "satellite.AntennaGain", new EDataTypeInSlotsKey((EDataType)getClassifierLiteralSafe("http://www.example.org/satellite", "AntennaGain")), PParameterDirection.INOUT); |
93 | 93 | ||
94 | private final List<PParameter> parameters = Arrays.asList(parameter_Comm, parameter_Gain); | 94 | private final List<PParameter> parameters = Arrays.asList(parameter_Comm, parameter_Gain); |
95 | 95 | ||
diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/src-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/queries/internal/CommSubsystemGainLow.java b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/src-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/queries/internal/CommSubsystemGainLow.java index 04ee67da..fd24f163 100644 --- a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/src-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/queries/internal/CommSubsystemGainLow.java +++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/src-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/queries/internal/CommSubsystemGainLow.java | |||
@@ -88,7 +88,7 @@ public final class CommSubsystemGainLow extends BaseGeneratedEMFQuerySpecificati | |||
88 | private static class GeneratedPQuery extends BaseGeneratedEMFPQuery { | 88 | private static class GeneratedPQuery extends BaseGeneratedEMFPQuery { |
89 | private static final CommSubsystemGainLow.GeneratedPQuery INSTANCE = new GeneratedPQuery(); | 89 | private static final CommSubsystemGainLow.GeneratedPQuery INSTANCE = new GeneratedPQuery(); |
90 | 90 | ||
91 | private final PParameter parameter_Comm = new PParameter("Comm", "hu.bme.mit.inf.dslreasoner.domains.satellite.CommSubsystem", new EClassTransitiveInstancesKey((EClass)getClassifierLiteralSafe("http://www.example.org/satellite", "CommSubsystem")), PParameterDirection.INOUT); | 91 | private final PParameter parameter_Comm = new PParameter("Comm", "satellite.CommSubsystem", new EClassTransitiveInstancesKey((EClass)getClassifierLiteralSafe("http://www.example.org/satellite", "CommSubsystem")), PParameterDirection.INOUT); |
92 | 92 | ||
93 | private final List<PParameter> parameters = Arrays.asList(parameter_Comm); | 93 | private final List<PParameter> parameters = Arrays.asList(parameter_Comm); |
94 | 94 | ||
diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/src-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/queries/internal/CommSubsystemGainMedium.java b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/src-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/queries/internal/CommSubsystemGainMedium.java index 4b3bc03b..82b77bbc 100644 --- a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/src-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/queries/internal/CommSubsystemGainMedium.java +++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/src-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/queries/internal/CommSubsystemGainMedium.java | |||
@@ -88,7 +88,7 @@ public final class CommSubsystemGainMedium extends BaseGeneratedEMFQuerySpecific | |||
88 | private static class GeneratedPQuery extends BaseGeneratedEMFPQuery { | 88 | private static class GeneratedPQuery extends BaseGeneratedEMFPQuery { |
89 | private static final CommSubsystemGainMedium.GeneratedPQuery INSTANCE = new GeneratedPQuery(); | 89 | private static final CommSubsystemGainMedium.GeneratedPQuery INSTANCE = new GeneratedPQuery(); |
90 | 90 | ||
91 | private final PParameter parameter_Comm = new PParameter("Comm", "hu.bme.mit.inf.dslreasoner.domains.satellite.CommSubsystem", new EClassTransitiveInstancesKey((EClass)getClassifierLiteralSafe("http://www.example.org/satellite", "CommSubsystem")), PParameterDirection.INOUT); | 91 | private final PParameter parameter_Comm = new PParameter("Comm", "satellite.CommSubsystem", new EClassTransitiveInstancesKey((EClass)getClassifierLiteralSafe("http://www.example.org/satellite", "CommSubsystem")), PParameterDirection.INOUT); |
92 | 92 | ||
93 | private final List<PParameter> parameters = Arrays.asList(parameter_Comm); | 93 | private final List<PParameter> parameters = Arrays.asList(parameter_Comm); |
94 | 94 | ||
diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/src-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/queries/internal/CubeSat3U.java b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/src-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/queries/internal/CubeSat3U.java index fe789893..acc60475 100644 --- a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/src-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/queries/internal/CubeSat3U.java +++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/src-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/queries/internal/CubeSat3U.java | |||
@@ -83,7 +83,7 @@ public final class CubeSat3U extends BaseGeneratedEMFQuerySpecificationWithGener | |||
83 | private static class GeneratedPQuery extends BaseGeneratedEMFPQuery { | 83 | private static class GeneratedPQuery extends BaseGeneratedEMFPQuery { |
84 | private static final CubeSat3U.GeneratedPQuery INSTANCE = new GeneratedPQuery(); | 84 | private static final CubeSat3U.GeneratedPQuery INSTANCE = new GeneratedPQuery(); |
85 | 85 | ||
86 | 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); | 86 | private final PParameter parameter_Sat = new PParameter("Sat", "satellite.CubeSat3U", new EClassTransitiveInstancesKey((EClass)getClassifierLiteralSafe("http://www.example.org/satellite", "CubeSat3U")), PParameterDirection.INOUT); |
87 | 87 | ||
88 | private final List<PParameter> parameters = Arrays.asList(parameter_Sat); | 88 | private final List<PParameter> parameters = Arrays.asList(parameter_Sat); |
89 | 89 | ||
diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/src-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/queries/internal/DirectCommunicationLink.java b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/src-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/queries/internal/DirectCommunicationLink.java index d6f5c53b..a2123354 100644 --- a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/src-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/queries/internal/DirectCommunicationLink.java +++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/src-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/queries/internal/DirectCommunicationLink.java | |||
@@ -88,9 +88,9 @@ public final class DirectCommunicationLink extends BaseGeneratedEMFQuerySpecific | |||
88 | private static class GeneratedPQuery extends BaseGeneratedEMFPQuery { | 88 | private static class GeneratedPQuery extends BaseGeneratedEMFPQuery { |
89 | private static final DirectCommunicationLink.GeneratedPQuery INSTANCE = new GeneratedPQuery(); | 89 | private static final DirectCommunicationLink.GeneratedPQuery INSTANCE = new GeneratedPQuery(); |
90 | 90 | ||
91 | private final PParameter parameter_Source = new PParameter("Source", "hu.bme.mit.inf.dslreasoner.domains.satellite.CommunicatingElement", new EClassTransitiveInstancesKey((EClass)getClassifierLiteralSafe("http://www.example.org/satellite", "CommunicatingElement")), PParameterDirection.INOUT); | 91 | private final PParameter parameter_Source = new PParameter("Source", "satellite.CommunicatingElement", new EClassTransitiveInstancesKey((EClass)getClassifierLiteralSafe("http://www.example.org/satellite", "CommunicatingElement")), PParameterDirection.INOUT); |
92 | 92 | ||
93 | private final PParameter parameter_Target = new PParameter("Target", "hu.bme.mit.inf.dslreasoner.domains.satellite.CommunicatingElement", new EClassTransitiveInstancesKey((EClass)getClassifierLiteralSafe("http://www.example.org/satellite", "CommunicatingElement")), PParameterDirection.INOUT); | 93 | private final PParameter parameter_Target = new PParameter("Target", "satellite.CommunicatingElement", new EClassTransitiveInstancesKey((EClass)getClassifierLiteralSafe("http://www.example.org/satellite", "CommunicatingElement")), PParameterDirection.INOUT); |
94 | 94 | ||
95 | private final List<PParameter> parameters = Arrays.asList(parameter_Source, parameter_Target); | 95 | private final List<PParameter> parameters = Arrays.asList(parameter_Source, parameter_Target); |
96 | 96 | ||
diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/src-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/queries/internal/GroundStationNetwork.java b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/src-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/queries/internal/GroundStationNetwork.java index 93b1a01b..606cdfed 100644 --- a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/src-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/queries/internal/GroundStationNetwork.java +++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/src-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/queries/internal/GroundStationNetwork.java | |||
@@ -83,7 +83,7 @@ public final class GroundStationNetwork extends BaseGeneratedEMFQuerySpecificati | |||
83 | private static class GeneratedPQuery extends BaseGeneratedEMFPQuery { | 83 | private static class GeneratedPQuery extends BaseGeneratedEMFPQuery { |
84 | private static final GroundStationNetwork.GeneratedPQuery INSTANCE = new GeneratedPQuery(); | 84 | private static final GroundStationNetwork.GeneratedPQuery INSTANCE = new GeneratedPQuery(); |
85 | 85 | ||
86 | private final PParameter parameter_Network = new PParameter("Network", "hu.bme.mit.inf.dslreasoner.domains.satellite.GroundStationNetwork", new EClassTransitiveInstancesKey((EClass)getClassifierLiteralSafe("http://www.example.org/satellite", "GroundStationNetwork")), PParameterDirection.INOUT); | 86 | private final PParameter parameter_Network = new PParameter("Network", "satellite.GroundStationNetwork", new EClassTransitiveInstancesKey((EClass)getClassifierLiteralSafe("http://www.example.org/satellite", "GroundStationNetwork")), PParameterDirection.INOUT); |
87 | 87 | ||
88 | private final List<PParameter> parameters = Arrays.asList(parameter_Network); | 88 | private final List<PParameter> parameters = Arrays.asList(parameter_Network); |
89 | 89 | ||
diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/src-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/queries/internal/IndirectCommunicationLink.java b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/src-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/queries/internal/IndirectCommunicationLink.java index 6d5e475c..dee8a83c 100644 --- a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/src-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/queries/internal/IndirectCommunicationLink.java +++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/src-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/queries/internal/IndirectCommunicationLink.java | |||
@@ -85,9 +85,9 @@ public final class IndirectCommunicationLink extends BaseGeneratedEMFQuerySpecif | |||
85 | private static class GeneratedPQuery extends BaseGeneratedEMFPQuery { | 85 | private static class GeneratedPQuery extends BaseGeneratedEMFPQuery { |
86 | private static final IndirectCommunicationLink.GeneratedPQuery INSTANCE = new GeneratedPQuery(); | 86 | private static final IndirectCommunicationLink.GeneratedPQuery INSTANCE = new GeneratedPQuery(); |
87 | 87 | ||
88 | private final PParameter parameter_Source = new PParameter("Source", "hu.bme.mit.inf.dslreasoner.domains.satellite.CommunicatingElement", new EClassTransitiveInstancesKey((EClass)getClassifierLiteralSafe("http://www.example.org/satellite", "CommunicatingElement")), PParameterDirection.INOUT); | 88 | private final PParameter parameter_Source = new PParameter("Source", "satellite.CommunicatingElement", new EClassTransitiveInstancesKey((EClass)getClassifierLiteralSafe("http://www.example.org/satellite", "CommunicatingElement")), PParameterDirection.INOUT); |
89 | 89 | ||
90 | private final PParameter parameter_Target = new PParameter("Target", "hu.bme.mit.inf.dslreasoner.domains.satellite.CommunicatingElement", new EClassTransitiveInstancesKey((EClass)getClassifierLiteralSafe("http://www.example.org/satellite", "CommunicatingElement")), PParameterDirection.INOUT); | 90 | private final PParameter parameter_Target = new PParameter("Target", "satellite.CommunicatingElement", new EClassTransitiveInstancesKey((EClass)getClassifierLiteralSafe("http://www.example.org/satellite", "CommunicatingElement")), PParameterDirection.INOUT); |
91 | 91 | ||
92 | private final List<PParameter> parameters = Arrays.asList(parameter_Source, parameter_Target); | 92 | private final List<PParameter> parameters = Arrays.asList(parameter_Source, parameter_Target); |
93 | 93 | ||
diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/src-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/queries/internal/IndirectLinkAllowed.java b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/src-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/queries/internal/IndirectLinkAllowed.java index 27648bf3..31381a09 100644 --- a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/src-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/queries/internal/IndirectLinkAllowed.java +++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/src-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/queries/internal/IndirectLinkAllowed.java | |||
@@ -85,9 +85,9 @@ public final class IndirectLinkAllowed extends BaseGeneratedEMFQuerySpecificatio | |||
85 | private static class GeneratedPQuery extends BaseGeneratedEMFPQuery { | 85 | private static class GeneratedPQuery extends BaseGeneratedEMFPQuery { |
86 | private static final IndirectLinkAllowed.GeneratedPQuery INSTANCE = new GeneratedPQuery(); | 86 | private static final IndirectLinkAllowed.GeneratedPQuery INSTANCE = new GeneratedPQuery(); |
87 | 87 | ||
88 | private final PParameter parameter_From = new PParameter("From", "hu.bme.mit.inf.dslreasoner.domains.satellite.Spacecraft", new EClassTransitiveInstancesKey((EClass)getClassifierLiteralSafe("http://www.example.org/satellite", "Spacecraft")), PParameterDirection.INOUT); | 88 | private final PParameter parameter_From = new PParameter("From", "satellite.Spacecraft", new EClassTransitiveInstancesKey((EClass)getClassifierLiteralSafe("http://www.example.org/satellite", "Spacecraft")), PParameterDirection.INOUT); |
89 | 89 | ||
90 | private final PParameter parameter_To = new PParameter("To", "hu.bme.mit.inf.dslreasoner.domains.satellite.CommunicatingElement", new EClassTransitiveInstancesKey((EClass)getClassifierLiteralSafe("http://www.example.org/satellite", "CommunicatingElement")), PParameterDirection.INOUT); | 90 | private final PParameter parameter_To = new PParameter("To", "satellite.CommunicatingElement", new EClassTransitiveInstancesKey((EClass)getClassifierLiteralSafe("http://www.example.org/satellite", "CommunicatingElement")), PParameterDirection.INOUT); |
91 | 91 | ||
92 | private final List<PParameter> parameters = Arrays.asList(parameter_From, parameter_To); | 92 | private final List<PParameter> parameters = Arrays.asList(parameter_From, parameter_To); |
93 | 93 | ||
diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/src-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/queries/internal/LinkAllowed.java b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/src-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/queries/internal/LinkAllowed.java index e7529aa2..7118d657 100644 --- a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/src-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/queries/internal/LinkAllowed.java +++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/src-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/queries/internal/LinkAllowed.java | |||
@@ -96,9 +96,9 @@ public final class LinkAllowed extends BaseGeneratedEMFQuerySpecificationWithGen | |||
96 | private static class GeneratedPQuery extends BaseGeneratedEMFPQuery { | 96 | private static class GeneratedPQuery extends BaseGeneratedEMFPQuery { |
97 | private static final LinkAllowed.GeneratedPQuery INSTANCE = new GeneratedPQuery(); | 97 | private static final LinkAllowed.GeneratedPQuery INSTANCE = new GeneratedPQuery(); |
98 | 98 | ||
99 | private final PParameter parameter_From = new PParameter("From", "hu.bme.mit.inf.dslreasoner.domains.satellite.Spacecraft", new EClassTransitiveInstancesKey((EClass)getClassifierLiteralSafe("http://www.example.org/satellite", "Spacecraft")), PParameterDirection.INOUT); | 99 | private final PParameter parameter_From = new PParameter("From", "satellite.Spacecraft", new EClassTransitiveInstancesKey((EClass)getClassifierLiteralSafe("http://www.example.org/satellite", "Spacecraft")), PParameterDirection.INOUT); |
100 | 100 | ||
101 | private final PParameter parameter_To = new PParameter("To", "hu.bme.mit.inf.dslreasoner.domains.satellite.CommunicatingElement", new EClassTransitiveInstancesKey((EClass)getClassifierLiteralSafe("http://www.example.org/satellite", "CommunicatingElement")), PParameterDirection.INOUT); | 101 | private final PParameter parameter_To = new PParameter("To", "satellite.CommunicatingElement", new EClassTransitiveInstancesKey((EClass)getClassifierLiteralSafe("http://www.example.org/satellite", "CommunicatingElement")), PParameterDirection.INOUT); |
102 | 102 | ||
103 | private final List<PParameter> parameters = Arrays.asList(parameter_From, parameter_To); | 103 | private final List<PParameter> parameters = Arrays.asList(parameter_From, parameter_To); |
104 | 104 | ||
diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/src-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/queries/internal/MatchingAntenna.java b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/src-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/queries/internal/MatchingAntenna.java index b4f0d9e9..3a52ad1d 100644 --- a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/src-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/queries/internal/MatchingAntenna.java +++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/src-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/queries/internal/MatchingAntenna.java | |||
@@ -90,11 +90,11 @@ public final class MatchingAntenna extends BaseGeneratedEMFQuerySpecificationWit | |||
90 | private static class GeneratedPQuery extends BaseGeneratedEMFPQuery { | 90 | private static class GeneratedPQuery extends BaseGeneratedEMFPQuery { |
91 | private static final MatchingAntenna.GeneratedPQuery INSTANCE = new GeneratedPQuery(); | 91 | private static final MatchingAntenna.GeneratedPQuery INSTANCE = new GeneratedPQuery(); |
92 | 92 | ||
93 | private final PParameter parameter_From = new PParameter("From", "hu.bme.mit.inf.dslreasoner.domains.satellite.Spacecraft", new EClassTransitiveInstancesKey((EClass)getClassifierLiteralSafe("http://www.example.org/satellite", "Spacecraft")), PParameterDirection.INOUT); | 93 | private final PParameter parameter_From = new PParameter("From", "satellite.Spacecraft", new EClassTransitiveInstancesKey((EClass)getClassifierLiteralSafe("http://www.example.org/satellite", "Spacecraft")), PParameterDirection.INOUT); |
94 | 94 | ||
95 | private final PParameter parameter_To = new PParameter("To", "hu.bme.mit.inf.dslreasoner.domains.satellite.CommunicatingElement", new EClassTransitiveInstancesKey((EClass)getClassifierLiteralSafe("http://www.example.org/satellite", "CommunicatingElement")), PParameterDirection.INOUT); | 95 | private final PParameter parameter_To = new PParameter("To", "satellite.CommunicatingElement", new EClassTransitiveInstancesKey((EClass)getClassifierLiteralSafe("http://www.example.org/satellite", "CommunicatingElement")), PParameterDirection.INOUT); |
96 | 96 | ||
97 | private final PParameter parameter_Band = new PParameter("Band", "hu.bme.mit.inf.dslreasoner.domains.satellite.TransceiverBand", new EDataTypeInSlotsKey((EDataType)getClassifierLiteralSafe("http://www.example.org/satellite", "TransceiverBand")), PParameterDirection.INOUT); | 97 | private final PParameter parameter_Band = new PParameter("Band", "satellite.TransceiverBand", new EDataTypeInSlotsKey((EDataType)getClassifierLiteralSafe("http://www.example.org/satellite", "TransceiverBand")), PParameterDirection.INOUT); |
98 | 98 | ||
99 | private final List<PParameter> parameters = Arrays.asList(parameter_From, parameter_To, parameter_Band); | 99 | private final List<PParameter> parameters = Arrays.asList(parameter_From, parameter_To, parameter_Band); |
100 | 100 | ||
diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/src-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/queries/internal/SpacecraftWithInterferometryPayload.java b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/src-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/queries/internal/SpacecraftWithInterferometryPayload.java index f8e6ca4f..9566c4c5 100644 --- a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/src-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/queries/internal/SpacecraftWithInterferometryPayload.java +++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/src-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/queries/internal/SpacecraftWithInterferometryPayload.java | |||
@@ -87,9 +87,9 @@ public final class SpacecraftWithInterferometryPayload extends BaseGeneratedEMFQ | |||
87 | private static class GeneratedPQuery extends BaseGeneratedEMFPQuery { | 87 | private static class GeneratedPQuery extends BaseGeneratedEMFPQuery { |
88 | private static final SpacecraftWithInterferometryPayload.GeneratedPQuery INSTANCE = new GeneratedPQuery(); | 88 | private static final SpacecraftWithInterferometryPayload.GeneratedPQuery INSTANCE = new GeneratedPQuery(); |
89 | 89 | ||
90 | private final PParameter parameter_Mission = new PParameter("Mission", "hu.bme.mit.inf.dslreasoner.domains.satellite.ConstellationMission", new EClassTransitiveInstancesKey((EClass)getClassifierLiteralSafe("http://www.example.org/satellite", "ConstellationMission")), PParameterDirection.INOUT); | 90 | private final PParameter parameter_Mission = new PParameter("Mission", "satellite.ConstellationMission", new EClassTransitiveInstancesKey((EClass)getClassifierLiteralSafe("http://www.example.org/satellite", "ConstellationMission")), PParameterDirection.INOUT); |
91 | 91 | ||
92 | 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); | 92 | private final PParameter parameter_Spacecraft = new PParameter("Spacecraft", "satellite.Spacecraft", new EClassTransitiveInstancesKey((EClass)getClassifierLiteralSafe("http://www.example.org/satellite", "Spacecraft")), PParameterDirection.INOUT); |
93 | 93 | ||
94 | private final List<PParameter> parameters = Arrays.asList(parameter_Mission, parameter_Spacecraft); | 94 | private final List<PParameter> parameters = Arrays.asList(parameter_Mission, parameter_Spacecraft); |
95 | 95 | ||