diff options
Diffstat (limited to 'Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/src-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/queries/internal/CommSubsystemBandUhf.java')
-rw-r--r-- | Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/src-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/queries/internal/CommSubsystemBandUhf.java | 23 |
1 files changed, 6 insertions, 17 deletions
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 bc25ea59..6acd73c3 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 | |||
@@ -8,18 +8,13 @@ import java.util.LinkedHashSet; | |||
8 | import java.util.List; | 8 | import java.util.List; |
9 | import java.util.Set; | 9 | import java.util.Set; |
10 | import org.eclipse.emf.ecore.EClass; | 10 | import org.eclipse.emf.ecore.EClass; |
11 | import org.eclipse.emf.ecore.EDataType; | ||
12 | import org.eclipse.viatra.query.runtime.api.impl.BaseGeneratedEMFPQuery; | 11 | import org.eclipse.viatra.query.runtime.api.impl.BaseGeneratedEMFPQuery; |
13 | import org.eclipse.viatra.query.runtime.api.impl.BaseGeneratedEMFQuerySpecificationWithGenericMatcher; | 12 | import org.eclipse.viatra.query.runtime.api.impl.BaseGeneratedEMFQuerySpecificationWithGenericMatcher; |
14 | import org.eclipse.viatra.query.runtime.emf.types.EClassTransitiveInstancesKey; | 13 | import org.eclipse.viatra.query.runtime.emf.types.EClassTransitiveInstancesKey; |
15 | import org.eclipse.viatra.query.runtime.emf.types.EDataTypeInSlotsKey; | ||
16 | import org.eclipse.viatra.query.runtime.emf.types.EStructuralFeatureInstancesKey; | ||
17 | import org.eclipse.viatra.query.runtime.matchers.backend.QueryEvaluationHint; | 14 | import org.eclipse.viatra.query.runtime.matchers.backend.QueryEvaluationHint; |
18 | import org.eclipse.viatra.query.runtime.matchers.psystem.PBody; | 15 | import org.eclipse.viatra.query.runtime.matchers.psystem.PBody; |
19 | import org.eclipse.viatra.query.runtime.matchers.psystem.PVariable; | 16 | import org.eclipse.viatra.query.runtime.matchers.psystem.PVariable; |
20 | import org.eclipse.viatra.query.runtime.matchers.psystem.basicdeferred.Equality; | ||
21 | import org.eclipse.viatra.query.runtime.matchers.psystem.basicdeferred.ExportedParameter; | 17 | import org.eclipse.viatra.query.runtime.matchers.psystem.basicdeferred.ExportedParameter; |
22 | import org.eclipse.viatra.query.runtime.matchers.psystem.basicenumerables.ConstantValue; | ||
23 | import org.eclipse.viatra.query.runtime.matchers.psystem.basicenumerables.TypeConstraint; | 18 | import org.eclipse.viatra.query.runtime.matchers.psystem.basicenumerables.TypeConstraint; |
24 | import org.eclipse.viatra.query.runtime.matchers.psystem.queries.PParameter; | 19 | import org.eclipse.viatra.query.runtime.matchers.psystem.queries.PParameter; |
25 | import org.eclipse.viatra.query.runtime.matchers.psystem.queries.PParameterDirection; | 20 | import org.eclipse.viatra.query.runtime.matchers.psystem.queries.PParameterDirection; |
@@ -31,8 +26,8 @@ import org.eclipse.viatra.query.runtime.matchers.tuple.Tuples; | |||
31 | * | 26 | * |
32 | * <p>Original source: | 27 | * <p>Original source: |
33 | * <code><pre> | 28 | * <code><pre> |
34 | * private pattern commSubsystemBandUhf(Comm : CommSubsystem) { | 29 | * private pattern commSubsystemBandUhf(Comm : UHFCommSubsystem) { |
35 | * CommSubsystem.band(Comm, TransceiverBand::UHF); | 30 | * UHFCommSubsystem(Comm); |
36 | * } | 31 | * } |
37 | * </pre></code> | 32 | * </pre></code> |
38 | * | 33 | * |
@@ -88,7 +83,7 @@ public final class CommSubsystemBandUhf extends BaseGeneratedEMFQuerySpecificati | |||
88 | private static class GeneratedPQuery extends BaseGeneratedEMFPQuery { | 83 | private static class GeneratedPQuery extends BaseGeneratedEMFPQuery { |
89 | private static final CommSubsystemBandUhf.GeneratedPQuery INSTANCE = new GeneratedPQuery(); | 84 | private static final CommSubsystemBandUhf.GeneratedPQuery INSTANCE = new GeneratedPQuery(); |
90 | 85 | ||
91 | private final PParameter parameter_Comm = new PParameter("Comm", "satellite.CommSubsystem", new EClassTransitiveInstancesKey((EClass)getClassifierLiteralSafe("http://www.example.org/satellite", "CommSubsystem")), PParameterDirection.INOUT); | 86 | private final PParameter parameter_Comm = new PParameter("Comm", "satellite.UHFCommSubsystem", new EClassTransitiveInstancesKey((EClass)getClassifierLiteralSafe("http://www.example.org/satellite", "UHFCommSubsystem")), PParameterDirection.INOUT); |
92 | 87 | ||
93 | private final List<PParameter> parameters = Arrays.asList(parameter_Comm); | 88 | private final List<PParameter> parameters = Arrays.asList(parameter_Comm); |
94 | 89 | ||
@@ -118,18 +113,12 @@ public final class CommSubsystemBandUhf extends BaseGeneratedEMFQuerySpecificati | |||
118 | { | 113 | { |
119 | PBody body = new PBody(this); | 114 | PBody body = new PBody(this); |
120 | PVariable var_Comm = body.getOrCreateVariableByName("Comm"); | 115 | PVariable var_Comm = body.getOrCreateVariableByName("Comm"); |
121 | new TypeConstraint(body, Tuples.flatTupleOf(var_Comm), new EClassTransitiveInstancesKey((EClass)getClassifierLiteral("http://www.example.org/satellite", "CommSubsystem"))); | 116 | new TypeConstraint(body, Tuples.flatTupleOf(var_Comm), new EClassTransitiveInstancesKey((EClass)getClassifierLiteral("http://www.example.org/satellite", "UHFCommSubsystem"))); |
122 | body.setSymbolicParameters(Arrays.<ExportedParameter>asList( | 117 | body.setSymbolicParameters(Arrays.<ExportedParameter>asList( |
123 | new ExportedParameter(body, var_Comm, parameter_Comm) | 118 | new ExportedParameter(body, var_Comm, parameter_Comm) |
124 | )); | 119 | )); |
125 | // CommSubsystem.band(Comm, TransceiverBand::UHF) | 120 | // UHFCommSubsystem(Comm) |
126 | PVariable var__virtual_0_ = body.getOrCreateVariableByName(".virtual{0}"); | 121 | new TypeConstraint(body, Tuples.flatTupleOf(var_Comm), new EClassTransitiveInstancesKey((EClass)getClassifierLiteral("http://www.example.org/satellite", "UHFCommSubsystem"))); |
127 | new ConstantValue(body, var__virtual_0_, getEnumLiteral("http://www.example.org/satellite", "TransceiverBand", "UHF").getInstance()); | ||
128 | new TypeConstraint(body, Tuples.flatTupleOf(var_Comm), new EClassTransitiveInstancesKey((EClass)getClassifierLiteral("http://www.example.org/satellite", "CommSubsystem"))); | ||
129 | PVariable var__virtual_1_ = body.getOrCreateVariableByName(".virtual{1}"); | ||
130 | new TypeConstraint(body, Tuples.flatTupleOf(var_Comm, var__virtual_1_), new EStructuralFeatureInstancesKey(getFeatureLiteral("http://www.example.org/satellite", "CommSubsystem", "band"))); | ||
131 | new TypeConstraint(body, Tuples.flatTupleOf(var__virtual_1_), new EDataTypeInSlotsKey((EDataType)getClassifierLiteral("http://www.example.org/satellite", "TransceiverBand"))); | ||
132 | new Equality(body, var__virtual_1_, var__virtual_0_); | ||
133 | bodies.add(body); | 122 | bodies.add(body); |
134 | } | 123 | } |
135 | return bodies; | 124 | return bodies; |