diff options
Diffstat (limited to 'Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/src-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/queries/CubeSatWithKaAntenna.java')
-rw-r--r-- | Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/src-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/queries/CubeSatWithKaAntenna.java | 27 |
1 files changed, 12 insertions, 15 deletions
diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/src-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/queries/CubeSatWithKaAntenna.java b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/src-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/queries/CubeSatWithKaAntenna.java index b73cb23f..f372da70 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 | |||
@@ -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; |
@@ -35,7 +33,6 @@ import org.eclipse.viatra.query.runtime.matchers.psystem.annotations.ParameterRe | |||
35 | import org.eclipse.viatra.query.runtime.matchers.psystem.basicdeferred.Equality; | 33 | import org.eclipse.viatra.query.runtime.matchers.psystem.basicdeferred.Equality; |
36 | import org.eclipse.viatra.query.runtime.matchers.psystem.basicdeferred.ExportedParameter; | 34 | import org.eclipse.viatra.query.runtime.matchers.psystem.basicdeferred.ExportedParameter; |
37 | import org.eclipse.viatra.query.runtime.matchers.psystem.basicdeferred.NegativePatternCall; | 35 | import org.eclipse.viatra.query.runtime.matchers.psystem.basicdeferred.NegativePatternCall; |
38 | import org.eclipse.viatra.query.runtime.matchers.psystem.basicenumerables.ConstantValue; | ||
39 | import org.eclipse.viatra.query.runtime.matchers.psystem.basicenumerables.TypeConstraint; | 36 | import org.eclipse.viatra.query.runtime.matchers.psystem.basicenumerables.TypeConstraint; |
40 | import org.eclipse.viatra.query.runtime.matchers.psystem.queries.PParameter; | 37 | import org.eclipse.viatra.query.runtime.matchers.psystem.queries.PParameter; |
41 | import org.eclipse.viatra.query.runtime.matchers.psystem.queries.PParameterDirection; | 38 | import org.eclipse.viatra.query.runtime.matchers.psystem.queries.PParameterDirection; |
@@ -55,7 +52,8 @@ import satellite.Spacecraft; | |||
55 | * {@literal @}Constraint(severity = "error", key = {Spacecraft}, | 52 | * {@literal @}Constraint(severity = "error", key = {Spacecraft}, |
56 | * message = "Only a Small Satellite can be configured with a Ka-band communication system.") | 53 | * message = "Only a Small Satellite can be configured with a Ka-band communication system.") |
57 | * pattern cubeSatWithKaAntenna(Spacecraft : Spacecraft) { | 54 | * pattern cubeSatWithKaAntenna(Spacecraft : Spacecraft) { |
58 | * CommunicatingElement.commSubsystem.band(Spacecraft, TransceiverBand::Ka); | 55 | * CommunicatingElement.commSubsystem(Spacecraft, Comm); |
56 | * KaCommSubsystem(Comm); | ||
59 | * neg find smallSat(Spacecraft); | 57 | * neg find smallSat(Spacecraft); |
60 | * } | 58 | * } |
61 | * </pre></code> | 59 | * </pre></code> |
@@ -243,7 +241,8 @@ public final class CubeSatWithKaAntenna extends BaseGeneratedEMFQuerySpecificati | |||
243 | * {@literal @}Constraint(severity = "error", key = {Spacecraft}, | 241 | * {@literal @}Constraint(severity = "error", key = {Spacecraft}, |
244 | * message = "Only a Small Satellite can be configured with a Ka-band communication system.") | 242 | * message = "Only a Small Satellite can be configured with a Ka-band communication system.") |
245 | * pattern cubeSatWithKaAntenna(Spacecraft : Spacecraft) { | 243 | * pattern cubeSatWithKaAntenna(Spacecraft : Spacecraft) { |
246 | * CommunicatingElement.commSubsystem.band(Spacecraft, TransceiverBand::Ka); | 244 | * CommunicatingElement.commSubsystem(Spacecraft, Comm); |
245 | * KaCommSubsystem(Comm); | ||
247 | * neg find smallSat(Spacecraft); | 246 | * neg find smallSat(Spacecraft); |
248 | * } | 247 | * } |
249 | * </pre></code> | 248 | * </pre></code> |
@@ -539,21 +538,19 @@ public final class CubeSatWithKaAntenna extends BaseGeneratedEMFQuerySpecificati | |||
539 | { | 538 | { |
540 | PBody body = new PBody(this); | 539 | PBody body = new PBody(this); |
541 | PVariable var_Spacecraft = body.getOrCreateVariableByName("Spacecraft"); | 540 | PVariable var_Spacecraft = body.getOrCreateVariableByName("Spacecraft"); |
541 | PVariable var_Comm = body.getOrCreateVariableByName("Comm"); | ||
542 | new TypeConstraint(body, Tuples.flatTupleOf(var_Spacecraft), new EClassTransitiveInstancesKey((EClass)getClassifierLiteral("http://www.example.org/satellite", "Spacecraft"))); | 542 | new TypeConstraint(body, Tuples.flatTupleOf(var_Spacecraft), new EClassTransitiveInstancesKey((EClass)getClassifierLiteral("http://www.example.org/satellite", "Spacecraft"))); |
543 | body.setSymbolicParameters(Arrays.<ExportedParameter>asList( | 543 | body.setSymbolicParameters(Arrays.<ExportedParameter>asList( |
544 | new ExportedParameter(body, var_Spacecraft, parameter_Spacecraft) | 544 | new ExportedParameter(body, var_Spacecraft, parameter_Spacecraft) |
545 | )); | 545 | )); |
546 | // CommunicatingElement.commSubsystem.band(Spacecraft, TransceiverBand::Ka) | 546 | // CommunicatingElement.commSubsystem(Spacecraft, Comm) |
547 | PVariable var__virtual_0_ = body.getOrCreateVariableByName(".virtual{0}"); | ||
548 | new ConstantValue(body, var__virtual_0_, getEnumLiteral("http://www.example.org/satellite", "TransceiverBand", "Ka").getInstance()); | ||
549 | new TypeConstraint(body, Tuples.flatTupleOf(var_Spacecraft), new EClassTransitiveInstancesKey((EClass)getClassifierLiteral("http://www.example.org/satellite", "CommunicatingElement"))); | 547 | new TypeConstraint(body, Tuples.flatTupleOf(var_Spacecraft), new EClassTransitiveInstancesKey((EClass)getClassifierLiteral("http://www.example.org/satellite", "CommunicatingElement"))); |
550 | PVariable var__virtual_1_ = body.getOrCreateVariableByName(".virtual{1}"); | 548 | PVariable var__virtual_0_ = body.getOrCreateVariableByName(".virtual{0}"); |
551 | new TypeConstraint(body, Tuples.flatTupleOf(var_Spacecraft, var__virtual_1_), new EStructuralFeatureInstancesKey(getFeatureLiteral("http://www.example.org/satellite", "CommunicatingElement", "commSubsystem"))); | 549 | new TypeConstraint(body, Tuples.flatTupleOf(var_Spacecraft, var__virtual_0_), new EStructuralFeatureInstancesKey(getFeatureLiteral("http://www.example.org/satellite", "CommunicatingElement", "commSubsystem"))); |
552 | new TypeConstraint(body, Tuples.flatTupleOf(var__virtual_1_), new EClassTransitiveInstancesKey((EClass)getClassifierLiteral("http://www.example.org/satellite", "CommSubsystem"))); | 550 | new TypeConstraint(body, Tuples.flatTupleOf(var__virtual_0_), new EClassTransitiveInstancesKey((EClass)getClassifierLiteral("http://www.example.org/satellite", "CommSubsystem"))); |
553 | PVariable var__virtual_2_ = body.getOrCreateVariableByName(".virtual{2}"); | 551 | new Equality(body, var__virtual_0_, var_Comm); |
554 | new TypeConstraint(body, Tuples.flatTupleOf(var__virtual_1_, var__virtual_2_), new EStructuralFeatureInstancesKey(getFeatureLiteral("http://www.example.org/satellite", "CommSubsystem", "band"))); | 552 | // KaCommSubsystem(Comm) |
555 | new TypeConstraint(body, Tuples.flatTupleOf(var__virtual_2_), new EDataTypeInSlotsKey((EDataType)getClassifierLiteral("http://www.example.org/satellite", "TransceiverBand"))); | 553 | new TypeConstraint(body, Tuples.flatTupleOf(var_Comm), new EClassTransitiveInstancesKey((EClass)getClassifierLiteral("http://www.example.org/satellite", "KaCommSubsystem"))); |
556 | new Equality(body, var__virtual_2_, var__virtual_0_); | ||
557 | // neg find smallSat(Spacecraft) | 554 | // neg find smallSat(Spacecraft) |
558 | new NegativePatternCall(body, Tuples.flatTupleOf(var_Spacecraft), SmallSat.instance().getInternalQueryRepresentation()); | 555 | new NegativePatternCall(body, Tuples.flatTupleOf(var_Spacecraft), SmallSat.instance().getInternalQueryRepresentation()); |
559 | bodies.add(body); | 556 | bodies.add(body); |