diff options
Diffstat (limited to 'Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/src-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/queries/IncompatibleSourceAndTargetBand.java')
-rw-r--r-- | Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/src-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/queries/IncompatibleSourceAndTargetBand.java | 21 |
1 files changed, 5 insertions, 16 deletions
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 f2713f45..c9dd1e58 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,7 @@ | |||
3 | */ | 3 | */ |
4 | package hu.bme.mit.inf.dslreasoner.domains.satellite.queries; | 4 | package hu.bme.mit.inf.dslreasoner.domains.satellite.queries; |
5 | 5 | ||
6 | import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.internal.CommSubsystemBand; | 6 | import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.internal.MatchingCommSubsystem; |
7 | import java.util.Arrays; | 7 | import java.util.Arrays; |
8 | import java.util.Collection; | 8 | import java.util.Collection; |
9 | import java.util.LinkedHashSet; | 9 | import java.util.LinkedHashSet; |
@@ -16,7 +16,6 @@ import java.util.stream.Collectors; | |||
16 | import java.util.stream.Stream; | 16 | import java.util.stream.Stream; |
17 | import org.apache.log4j.Logger; | 17 | import org.apache.log4j.Logger; |
18 | import org.eclipse.emf.ecore.EClass; | 18 | import org.eclipse.emf.ecore.EClass; |
19 | import org.eclipse.emf.ecore.EDataType; | ||
20 | import org.eclipse.viatra.query.runtime.api.IPatternMatch; | 19 | import org.eclipse.viatra.query.runtime.api.IPatternMatch; |
21 | import org.eclipse.viatra.query.runtime.api.IQuerySpecification; | 20 | import org.eclipse.viatra.query.runtime.api.IQuerySpecification; |
22 | import org.eclipse.viatra.query.runtime.api.ViatraQueryEngine; | 21 | import org.eclipse.viatra.query.runtime.api.ViatraQueryEngine; |
@@ -25,7 +24,6 @@ import org.eclipse.viatra.query.runtime.api.impl.BaseGeneratedEMFQuerySpecificat | |||
25 | import org.eclipse.viatra.query.runtime.api.impl.BaseMatcher; | 24 | import org.eclipse.viatra.query.runtime.api.impl.BaseMatcher; |
26 | import org.eclipse.viatra.query.runtime.api.impl.BasePatternMatch; | 25 | import org.eclipse.viatra.query.runtime.api.impl.BasePatternMatch; |
27 | import org.eclipse.viatra.query.runtime.emf.types.EClassTransitiveInstancesKey; | 26 | import org.eclipse.viatra.query.runtime.emf.types.EClassTransitiveInstancesKey; |
28 | import org.eclipse.viatra.query.runtime.emf.types.EDataTypeInSlotsKey; | ||
29 | import org.eclipse.viatra.query.runtime.emf.types.EStructuralFeatureInstancesKey; | 27 | import org.eclipse.viatra.query.runtime.emf.types.EStructuralFeatureInstancesKey; |
30 | import org.eclipse.viatra.query.runtime.matchers.backend.QueryEvaluationHint; | 28 | import org.eclipse.viatra.query.runtime.matchers.backend.QueryEvaluationHint; |
31 | import org.eclipse.viatra.query.runtime.matchers.psystem.PBody; | 29 | import org.eclipse.viatra.query.runtime.matchers.psystem.PBody; |
@@ -56,8 +54,7 @@ import satellite.DirectedCommunicationLink; | |||
56 | * pattern incompatibleSourceAndTargetBand(Link : DirectedCommunicationLink) { | 54 | * pattern incompatibleSourceAndTargetBand(Link : DirectedCommunicationLink) { |
57 | * DirectedCommunicationLink.source(Link, SourceSubsystem); | 55 | * DirectedCommunicationLink.source(Link, SourceSubsystem); |
58 | * DirectedCommunicationLink.target(Link, TargetSubsystem); | 56 | * DirectedCommunicationLink.target(Link, TargetSubsystem); |
59 | * CommSubsystem.band(SourceSubsystem, Band); | 57 | * neg find matchingCommSubsystem(SourceSubsystem, TargetSubsystem); |
60 | * neg find commSubsystemBand(TargetSubsystem, Band); | ||
61 | * } | 58 | * } |
62 | * </pre></code> | 59 | * </pre></code> |
63 | * | 60 | * |
@@ -246,8 +243,7 @@ public final class IncompatibleSourceAndTargetBand extends BaseGeneratedEMFQuery | |||
246 | * pattern incompatibleSourceAndTargetBand(Link : DirectedCommunicationLink) { | 243 | * pattern incompatibleSourceAndTargetBand(Link : DirectedCommunicationLink) { |
247 | * DirectedCommunicationLink.source(Link, SourceSubsystem); | 244 | * DirectedCommunicationLink.source(Link, SourceSubsystem); |
248 | * DirectedCommunicationLink.target(Link, TargetSubsystem); | 245 | * DirectedCommunicationLink.target(Link, TargetSubsystem); |
249 | * CommSubsystem.band(SourceSubsystem, Band); | 246 | * neg find matchingCommSubsystem(SourceSubsystem, TargetSubsystem); |
250 | * neg find commSubsystemBand(TargetSubsystem, Band); | ||
251 | * } | 247 | * } |
252 | * </pre></code> | 248 | * </pre></code> |
253 | * | 249 | * |
@@ -544,7 +540,6 @@ public final class IncompatibleSourceAndTargetBand extends BaseGeneratedEMFQuery | |||
544 | PVariable var_Link = body.getOrCreateVariableByName("Link"); | 540 | PVariable var_Link = body.getOrCreateVariableByName("Link"); |
545 | PVariable var_SourceSubsystem = body.getOrCreateVariableByName("SourceSubsystem"); | 541 | PVariable var_SourceSubsystem = body.getOrCreateVariableByName("SourceSubsystem"); |
546 | PVariable var_TargetSubsystem = body.getOrCreateVariableByName("TargetSubsystem"); | 542 | PVariable var_TargetSubsystem = body.getOrCreateVariableByName("TargetSubsystem"); |
547 | PVariable var_Band = body.getOrCreateVariableByName("Band"); | ||
548 | new TypeConstraint(body, Tuples.flatTupleOf(var_Link), new EClassTransitiveInstancesKey((EClass)getClassifierLiteral("http://www.example.org/satellite", "DirectedCommunicationLink"))); | 543 | new TypeConstraint(body, Tuples.flatTupleOf(var_Link), new EClassTransitiveInstancesKey((EClass)getClassifierLiteral("http://www.example.org/satellite", "DirectedCommunicationLink"))); |
549 | body.setSymbolicParameters(Arrays.<ExportedParameter>asList( | 544 | body.setSymbolicParameters(Arrays.<ExportedParameter>asList( |
550 | new ExportedParameter(body, var_Link, parameter_Link) | 545 | new ExportedParameter(body, var_Link, parameter_Link) |
@@ -561,14 +556,8 @@ public final class IncompatibleSourceAndTargetBand extends BaseGeneratedEMFQuery | |||
561 | new TypeConstraint(body, Tuples.flatTupleOf(var_Link, var__virtual_1_), new EStructuralFeatureInstancesKey(getFeatureLiteral("http://www.example.org/satellite", "DirectedCommunicationLink", "target"))); | 556 | new TypeConstraint(body, Tuples.flatTupleOf(var_Link, var__virtual_1_), new EStructuralFeatureInstancesKey(getFeatureLiteral("http://www.example.org/satellite", "DirectedCommunicationLink", "target"))); |
562 | new TypeConstraint(body, Tuples.flatTupleOf(var__virtual_1_), new EClassTransitiveInstancesKey((EClass)getClassifierLiteral("http://www.example.org/satellite", "CommSubsystem"))); | 557 | new TypeConstraint(body, Tuples.flatTupleOf(var__virtual_1_), new EClassTransitiveInstancesKey((EClass)getClassifierLiteral("http://www.example.org/satellite", "CommSubsystem"))); |
563 | new Equality(body, var__virtual_1_, var_TargetSubsystem); | 558 | new Equality(body, var__virtual_1_, var_TargetSubsystem); |
564 | // CommSubsystem.band(SourceSubsystem, Band) | 559 | // neg find matchingCommSubsystem(SourceSubsystem, TargetSubsystem) |
565 | new TypeConstraint(body, Tuples.flatTupleOf(var_SourceSubsystem), new EClassTransitiveInstancesKey((EClass)getClassifierLiteral("http://www.example.org/satellite", "CommSubsystem"))); | 560 | new NegativePatternCall(body, Tuples.flatTupleOf(var_SourceSubsystem, var_TargetSubsystem), MatchingCommSubsystem.instance().getInternalQueryRepresentation()); |
566 | PVariable var__virtual_2_ = body.getOrCreateVariableByName(".virtual{2}"); | ||
567 | new TypeConstraint(body, Tuples.flatTupleOf(var_SourceSubsystem, var__virtual_2_), new EStructuralFeatureInstancesKey(getFeatureLiteral("http://www.example.org/satellite", "CommSubsystem", "band"))); | ||
568 | new TypeConstraint(body, Tuples.flatTupleOf(var__virtual_2_), new EDataTypeInSlotsKey((EDataType)getClassifierLiteral("http://www.example.org/satellite", "TransceiverBand"))); | ||
569 | new Equality(body, var__virtual_2_, var_Band); | ||
570 | // neg find commSubsystemBand(TargetSubsystem, Band) | ||
571 | new NegativePatternCall(body, Tuples.flatTupleOf(var_TargetSubsystem, var_Band), CommSubsystemBand.instance().getInternalQueryRepresentation()); | ||
572 | bodies.add(body); | 561 | bodies.add(body); |
573 | } | 562 | } |
574 | { | 563 | { |