diff options
Diffstat (limited to 'Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/src-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/queries/internal/LinkAllowed.java')
-rw-r--r-- | Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/src-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/queries/internal/LinkAllowed.java | 23 |
1 files changed, 9 insertions, 14 deletions
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 7118d657..c3f6bb82 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 | |||
@@ -18,7 +18,6 @@ import org.eclipse.viatra.query.runtime.matchers.psystem.PBody; | |||
18 | import org.eclipse.viatra.query.runtime.matchers.psystem.PVariable; | 18 | import org.eclipse.viatra.query.runtime.matchers.psystem.PVariable; |
19 | import org.eclipse.viatra.query.runtime.matchers.psystem.basicdeferred.ExportedParameter; | 19 | import org.eclipse.viatra.query.runtime.matchers.psystem.basicdeferred.ExportedParameter; |
20 | import org.eclipse.viatra.query.runtime.matchers.psystem.basicdeferred.NegativePatternCall; | 20 | import org.eclipse.viatra.query.runtime.matchers.psystem.basicdeferred.NegativePatternCall; |
21 | import org.eclipse.viatra.query.runtime.matchers.psystem.basicenumerables.ConstantValue; | ||
22 | import org.eclipse.viatra.query.runtime.matchers.psystem.basicenumerables.PositivePatternCall; | 21 | import org.eclipse.viatra.query.runtime.matchers.psystem.basicenumerables.PositivePatternCall; |
23 | import org.eclipse.viatra.query.runtime.matchers.psystem.basicenumerables.TypeConstraint; | 22 | import org.eclipse.viatra.query.runtime.matchers.psystem.basicenumerables.TypeConstraint; |
24 | import org.eclipse.viatra.query.runtime.matchers.psystem.queries.PParameter; | 23 | import org.eclipse.viatra.query.runtime.matchers.psystem.queries.PParameter; |
@@ -32,13 +31,13 @@ import org.eclipse.viatra.query.runtime.matchers.tuple.Tuples; | |||
32 | * <p>Original source: | 31 | * <p>Original source: |
33 | * <code><pre> | 32 | * <code><pre> |
34 | * private pattern linkAllowed(From : Spacecraft, To : CommunicatingElement) { | 33 | * private pattern linkAllowed(From : Spacecraft, To : CommunicatingElement) { |
35 | * find matchingAntenna(From, To, _); | 34 | * find matchingAntenna(From, To); |
36 | * neg find cubeSat3U(From); | 35 | * neg find cubeSat3U(From); |
37 | * } or { | 36 | * } or { |
38 | * find matchingAntenna(From, To, TransceiverBand::UHF); | 37 | * find matchingAntenna(From, To); |
39 | * CubeSat3U(From); | 38 | * CubeSat3U(From); |
40 | * } or { | 39 | * } or { |
41 | * find matchingAntenna(From, To, _); | 40 | * find matchingAntenna(From, To); |
42 | * CubeSat3U(From); | 41 | * CubeSat3U(From); |
43 | * GroundStationNetwork(To); | 42 | * GroundStationNetwork(To); |
44 | * } | 43 | * } |
@@ -129,15 +128,14 @@ public final class LinkAllowed extends BaseGeneratedEMFQuerySpecificationWithGen | |||
129 | PBody body = new PBody(this); | 128 | PBody body = new PBody(this); |
130 | PVariable var_From = body.getOrCreateVariableByName("From"); | 129 | PVariable var_From = body.getOrCreateVariableByName("From"); |
131 | PVariable var_To = body.getOrCreateVariableByName("To"); | 130 | PVariable var_To = body.getOrCreateVariableByName("To"); |
132 | PVariable var___0_ = body.getOrCreateVariableByName("_<0>"); | ||
133 | new TypeConstraint(body, Tuples.flatTupleOf(var_From), new EClassTransitiveInstancesKey((EClass)getClassifierLiteral("http://www.example.org/satellite", "Spacecraft"))); | 131 | new TypeConstraint(body, Tuples.flatTupleOf(var_From), new EClassTransitiveInstancesKey((EClass)getClassifierLiteral("http://www.example.org/satellite", "Spacecraft"))); |
134 | new TypeConstraint(body, Tuples.flatTupleOf(var_To), new EClassTransitiveInstancesKey((EClass)getClassifierLiteral("http://www.example.org/satellite", "CommunicatingElement"))); | 132 | new TypeConstraint(body, Tuples.flatTupleOf(var_To), new EClassTransitiveInstancesKey((EClass)getClassifierLiteral("http://www.example.org/satellite", "CommunicatingElement"))); |
135 | body.setSymbolicParameters(Arrays.<ExportedParameter>asList( | 133 | body.setSymbolicParameters(Arrays.<ExportedParameter>asList( |
136 | new ExportedParameter(body, var_From, parameter_From), | 134 | new ExportedParameter(body, var_From, parameter_From), |
137 | new ExportedParameter(body, var_To, parameter_To) | 135 | new ExportedParameter(body, var_To, parameter_To) |
138 | )); | 136 | )); |
139 | // find matchingAntenna(From, To, _) | 137 | // find matchingAntenna(From, To) |
140 | new PositivePatternCall(body, Tuples.flatTupleOf(var_From, var_To, var___0_), MatchingAntenna.instance().getInternalQueryRepresentation()); | 138 | new PositivePatternCall(body, Tuples.flatTupleOf(var_From, var_To), MatchingAntenna.instance().getInternalQueryRepresentation()); |
141 | // neg find cubeSat3U(From) | 139 | // neg find cubeSat3U(From) |
142 | new NegativePatternCall(body, Tuples.flatTupleOf(var_From), CubeSat3U.instance().getInternalQueryRepresentation()); | 140 | new NegativePatternCall(body, Tuples.flatTupleOf(var_From), CubeSat3U.instance().getInternalQueryRepresentation()); |
143 | bodies.add(body); | 141 | bodies.add(body); |
@@ -152,10 +150,8 @@ public final class LinkAllowed extends BaseGeneratedEMFQuerySpecificationWithGen | |||
152 | new ExportedParameter(body, var_From, parameter_From), | 150 | new ExportedParameter(body, var_From, parameter_From), |
153 | new ExportedParameter(body, var_To, parameter_To) | 151 | new ExportedParameter(body, var_To, parameter_To) |
154 | )); | 152 | )); |
155 | // find matchingAntenna(From, To, TransceiverBand::UHF) | 153 | // find matchingAntenna(From, To) |
156 | PVariable var__virtual_0_ = body.getOrCreateVariableByName(".virtual{0}"); | 154 | new PositivePatternCall(body, Tuples.flatTupleOf(var_From, var_To), MatchingAntenna.instance().getInternalQueryRepresentation()); |
157 | new ConstantValue(body, var__virtual_0_, getEnumLiteral("http://www.example.org/satellite", "TransceiverBand", "UHF").getInstance()); | ||
158 | new PositivePatternCall(body, Tuples.flatTupleOf(var_From, var_To, var__virtual_0_), MatchingAntenna.instance().getInternalQueryRepresentation()); | ||
159 | // CubeSat3U(From) | 155 | // CubeSat3U(From) |
160 | new TypeConstraint(body, Tuples.flatTupleOf(var_From), new EClassTransitiveInstancesKey((EClass)getClassifierLiteral("http://www.example.org/satellite", "CubeSat3U"))); | 156 | new TypeConstraint(body, Tuples.flatTupleOf(var_From), new EClassTransitiveInstancesKey((EClass)getClassifierLiteral("http://www.example.org/satellite", "CubeSat3U"))); |
161 | bodies.add(body); | 157 | bodies.add(body); |
@@ -164,15 +160,14 @@ public final class LinkAllowed extends BaseGeneratedEMFQuerySpecificationWithGen | |||
164 | PBody body = new PBody(this); | 160 | PBody body = new PBody(this); |
165 | PVariable var_From = body.getOrCreateVariableByName("From"); | 161 | PVariable var_From = body.getOrCreateVariableByName("From"); |
166 | PVariable var_To = body.getOrCreateVariableByName("To"); | 162 | PVariable var_To = body.getOrCreateVariableByName("To"); |
167 | PVariable var___0_ = body.getOrCreateVariableByName("_<0>"); | ||
168 | new TypeConstraint(body, Tuples.flatTupleOf(var_From), new EClassTransitiveInstancesKey((EClass)getClassifierLiteral("http://www.example.org/satellite", "Spacecraft"))); | 163 | new TypeConstraint(body, Tuples.flatTupleOf(var_From), new EClassTransitiveInstancesKey((EClass)getClassifierLiteral("http://www.example.org/satellite", "Spacecraft"))); |
169 | new TypeConstraint(body, Tuples.flatTupleOf(var_To), new EClassTransitiveInstancesKey((EClass)getClassifierLiteral("http://www.example.org/satellite", "CommunicatingElement"))); | 164 | new TypeConstraint(body, Tuples.flatTupleOf(var_To), new EClassTransitiveInstancesKey((EClass)getClassifierLiteral("http://www.example.org/satellite", "CommunicatingElement"))); |
170 | body.setSymbolicParameters(Arrays.<ExportedParameter>asList( | 165 | body.setSymbolicParameters(Arrays.<ExportedParameter>asList( |
171 | new ExportedParameter(body, var_From, parameter_From), | 166 | new ExportedParameter(body, var_From, parameter_From), |
172 | new ExportedParameter(body, var_To, parameter_To) | 167 | new ExportedParameter(body, var_To, parameter_To) |
173 | )); | 168 | )); |
174 | // find matchingAntenna(From, To, _) | 169 | // find matchingAntenna(From, To) |
175 | new PositivePatternCall(body, Tuples.flatTupleOf(var_From, var_To, var___0_), MatchingAntenna.instance().getInternalQueryRepresentation()); | 170 | new PositivePatternCall(body, Tuples.flatTupleOf(var_From, var_To), MatchingAntenna.instance().getInternalQueryRepresentation()); |
176 | // CubeSat3U(From) | 171 | // CubeSat3U(From) |
177 | new TypeConstraint(body, Tuples.flatTupleOf(var_From), new EClassTransitiveInstancesKey((EClass)getClassifierLiteral("http://www.example.org/satellite", "CubeSat3U"))); | 172 | new TypeConstraint(body, Tuples.flatTupleOf(var_From), new EClassTransitiveInstancesKey((EClass)getClassifierLiteral("http://www.example.org/satellite", "CubeSat3U"))); |
178 | // GroundStationNetwork(To) | 173 | // GroundStationNetwork(To) |