diff options
author | Kristóf Marussy <kris7topher@gmail.com> | 2019-06-09 14:45:02 -0400 |
---|---|---|
committer | Kristóf Marussy <kris7topher@gmail.com> | 2019-06-09 14:45:02 -0400 |
commit | 555987a459702674da350fa1fd5f76ffe14cd7c0 (patch) | |
tree | c64f2af9d655eb94b1a13d8c22f67bbf34435e0f /Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/src-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/queries/ThreeUCubeSatWithNonUhfCrossLink.java | |
parent | Trying to simplify Satellite case study (diff) | |
download | VIATRA-Generator-555987a459702674da350fa1fd5f76ffe14cd7c0.tar.gz VIATRA-Generator-555987a459702674da350fa1fd5f76ffe14cd7c0.tar.zst VIATRA-Generator-555987a459702674da350fa1fd5f76ffe14cd7c0.zip |
Simplify satellite metamodel further
Diffstat (limited to 'Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/src-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/queries/ThreeUCubeSatWithNonUhfCrossLink.java')
-rw-r--r-- | Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/src-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/queries/ThreeUCubeSatWithNonUhfCrossLink.java | 27 |
1 files changed, 9 insertions, 18 deletions
diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/src-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/queries/ThreeUCubeSatWithNonUhfCrossLink.java b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/src-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/queries/ThreeUCubeSatWithNonUhfCrossLink.java index 51b224b1..0fe520c2 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 | |||
@@ -56,8 +56,7 @@ import satellite.CubeSat3U; | |||
56 | * pattern threeUCubeSatWithNonUhfCrossLink(Sat : CubeSat3U) { | 56 | * pattern threeUCubeSatWithNonUhfCrossLink(Sat : CubeSat3U) { |
57 | * CommunicatingElement.commSubsystem(Sat, SourceComm); | 57 | * CommunicatingElement.commSubsystem(Sat, SourceComm); |
58 | * neg find commSubsystemBandUhf(SourceComm); | 58 | * neg find commSubsystemBandUhf(SourceComm); |
59 | * DirectedCommunicationLink.source(Link, SourceComm); | 59 | * CommSubsystem.target(SourceComm, TargetComm); |
60 | * DirectedCommunicationLink.target(Link, TargetComm); | ||
61 | * CommunicatingElement.commSubsystem(Target, TargetComm); | 60 | * CommunicatingElement.commSubsystem(Target, TargetComm); |
62 | * neg find groundStationNetwork(Target); | 61 | * neg find groundStationNetwork(Target); |
63 | * } | 62 | * } |
@@ -249,8 +248,7 @@ public final class ThreeUCubeSatWithNonUhfCrossLink extends BaseGeneratedEMFQuer | |||
249 | * pattern threeUCubeSatWithNonUhfCrossLink(Sat : CubeSat3U) { | 248 | * pattern threeUCubeSatWithNonUhfCrossLink(Sat : CubeSat3U) { |
250 | * CommunicatingElement.commSubsystem(Sat, SourceComm); | 249 | * CommunicatingElement.commSubsystem(Sat, SourceComm); |
251 | * neg find commSubsystemBandUhf(SourceComm); | 250 | * neg find commSubsystemBandUhf(SourceComm); |
252 | * DirectedCommunicationLink.source(Link, SourceComm); | 251 | * CommSubsystem.target(SourceComm, TargetComm); |
253 | * DirectedCommunicationLink.target(Link, TargetComm); | ||
254 | * CommunicatingElement.commSubsystem(Target, TargetComm); | 252 | * CommunicatingElement.commSubsystem(Target, TargetComm); |
255 | * neg find groundStationNetwork(Target); | 253 | * neg find groundStationNetwork(Target); |
256 | * } | 254 | * } |
@@ -548,7 +546,6 @@ public final class ThreeUCubeSatWithNonUhfCrossLink extends BaseGeneratedEMFQuer | |||
548 | PBody body = new PBody(this); | 546 | PBody body = new PBody(this); |
549 | PVariable var_Sat = body.getOrCreateVariableByName("Sat"); | 547 | PVariable var_Sat = body.getOrCreateVariableByName("Sat"); |
550 | PVariable var_SourceComm = body.getOrCreateVariableByName("SourceComm"); | 548 | PVariable var_SourceComm = body.getOrCreateVariableByName("SourceComm"); |
551 | PVariable var_Link = body.getOrCreateVariableByName("Link"); | ||
552 | PVariable var_TargetComm = body.getOrCreateVariableByName("TargetComm"); | 549 | PVariable var_TargetComm = body.getOrCreateVariableByName("TargetComm"); |
553 | PVariable var_Target = body.getOrCreateVariableByName("Target"); | 550 | PVariable var_Target = body.getOrCreateVariableByName("Target"); |
554 | new TypeConstraint(body, Tuples.flatTupleOf(var_Sat), new EClassTransitiveInstancesKey((EClass)getClassifierLiteral("http://www.example.org/satellite", "CubeSat3U"))); | 551 | new TypeConstraint(body, Tuples.flatTupleOf(var_Sat), new EClassTransitiveInstancesKey((EClass)getClassifierLiteral("http://www.example.org/satellite", "CubeSat3U"))); |
@@ -563,24 +560,18 @@ public final class ThreeUCubeSatWithNonUhfCrossLink extends BaseGeneratedEMFQuer | |||
563 | new Equality(body, var__virtual_0_, var_SourceComm); | 560 | new Equality(body, var__virtual_0_, var_SourceComm); |
564 | // neg find commSubsystemBandUhf(SourceComm) | 561 | // neg find commSubsystemBandUhf(SourceComm) |
565 | new NegativePatternCall(body, Tuples.flatTupleOf(var_SourceComm), CommSubsystemBandUhf.instance().getInternalQueryRepresentation()); | 562 | new NegativePatternCall(body, Tuples.flatTupleOf(var_SourceComm), CommSubsystemBandUhf.instance().getInternalQueryRepresentation()); |
566 | // DirectedCommunicationLink.source(Link, SourceComm) | 563 | // CommSubsystem.target(SourceComm, TargetComm) |
567 | new TypeConstraint(body, Tuples.flatTupleOf(var_Link), new EClassTransitiveInstancesKey((EClass)getClassifierLiteral("http://www.example.org/satellite", "DirectedCommunicationLink"))); | 564 | new TypeConstraint(body, Tuples.flatTupleOf(var_SourceComm), new EClassTransitiveInstancesKey((EClass)getClassifierLiteral("http://www.example.org/satellite", "CommSubsystem"))); |
568 | PVariable var__virtual_1_ = body.getOrCreateVariableByName(".virtual{1}"); | 565 | PVariable var__virtual_1_ = body.getOrCreateVariableByName(".virtual{1}"); |
569 | new TypeConstraint(body, Tuples.flatTupleOf(var_Link, var__virtual_1_), new EStructuralFeatureInstancesKey(getFeatureLiteral("http://www.example.org/satellite", "DirectedCommunicationLink", "source"))); | 566 | new TypeConstraint(body, Tuples.flatTupleOf(var_SourceComm, var__virtual_1_), new EStructuralFeatureInstancesKey(getFeatureLiteral("http://www.example.org/satellite", "CommSubsystem", "target"))); |
570 | new TypeConstraint(body, Tuples.flatTupleOf(var__virtual_1_), new EClassTransitiveInstancesKey((EClass)getClassifierLiteral("http://www.example.org/satellite", "CommSubsystem"))); | 567 | new TypeConstraint(body, Tuples.flatTupleOf(var__virtual_1_), new EClassTransitiveInstancesKey((EClass)getClassifierLiteral("http://www.example.org/satellite", "CommSubsystem"))); |
571 | new Equality(body, var__virtual_1_, var_SourceComm); | 568 | new Equality(body, var__virtual_1_, var_TargetComm); |
572 | // DirectedCommunicationLink.target(Link, TargetComm) | 569 | // CommunicatingElement.commSubsystem(Target, TargetComm) |
573 | new TypeConstraint(body, Tuples.flatTupleOf(var_Link), new EClassTransitiveInstancesKey((EClass)getClassifierLiteral("http://www.example.org/satellite", "DirectedCommunicationLink"))); | 570 | new TypeConstraint(body, Tuples.flatTupleOf(var_Target), new EClassTransitiveInstancesKey((EClass)getClassifierLiteral("http://www.example.org/satellite", "CommunicatingElement"))); |
574 | PVariable var__virtual_2_ = body.getOrCreateVariableByName(".virtual{2}"); | 571 | PVariable var__virtual_2_ = body.getOrCreateVariableByName(".virtual{2}"); |
575 | new TypeConstraint(body, Tuples.flatTupleOf(var_Link, var__virtual_2_), new EStructuralFeatureInstancesKey(getFeatureLiteral("http://www.example.org/satellite", "DirectedCommunicationLink", "target"))); | 572 | new TypeConstraint(body, Tuples.flatTupleOf(var_Target, var__virtual_2_), new EStructuralFeatureInstancesKey(getFeatureLiteral("http://www.example.org/satellite", "CommunicatingElement", "commSubsystem"))); |
576 | new TypeConstraint(body, Tuples.flatTupleOf(var__virtual_2_), new EClassTransitiveInstancesKey((EClass)getClassifierLiteral("http://www.example.org/satellite", "CommSubsystem"))); | 573 | new TypeConstraint(body, Tuples.flatTupleOf(var__virtual_2_), new EClassTransitiveInstancesKey((EClass)getClassifierLiteral("http://www.example.org/satellite", "CommSubsystem"))); |
577 | new Equality(body, var__virtual_2_, var_TargetComm); | 574 | new Equality(body, var__virtual_2_, var_TargetComm); |
578 | // CommunicatingElement.commSubsystem(Target, TargetComm) | ||
579 | new TypeConstraint(body, Tuples.flatTupleOf(var_Target), new EClassTransitiveInstancesKey((EClass)getClassifierLiteral("http://www.example.org/satellite", "CommunicatingElement"))); | ||
580 | PVariable var__virtual_3_ = body.getOrCreateVariableByName(".virtual{3}"); | ||
581 | new TypeConstraint(body, Tuples.flatTupleOf(var_Target, var__virtual_3_), new EStructuralFeatureInstancesKey(getFeatureLiteral("http://www.example.org/satellite", "CommunicatingElement", "commSubsystem"))); | ||
582 | new TypeConstraint(body, Tuples.flatTupleOf(var__virtual_3_), new EClassTransitiveInstancesKey((EClass)getClassifierLiteral("http://www.example.org/satellite", "CommSubsystem"))); | ||
583 | new Equality(body, var__virtual_3_, var_TargetComm); | ||
584 | // neg find groundStationNetwork(Target) | 575 | // neg find groundStationNetwork(Target) |
585 | new NegativePatternCall(body, Tuples.flatTupleOf(var_Target), GroundStationNetwork.instance().getInternalQueryRepresentation()); | 576 | new NegativePatternCall(body, Tuples.flatTupleOf(var_Target), GroundStationNetwork.instance().getInternalQueryRepresentation()); |
586 | bodies.add(body); | 577 | bodies.add(body); |