diff options
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 | 103 |
1 files changed, 58 insertions, 45 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 6408033b..6500c9d3 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 | |||
@@ -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.CubeSat3U; | 6 | import hu.bme.mit.inf.dslreasoner.domains.satellite.Spacecraft; |
7 | import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.internal.CommSubsystemBandUhf; | 7 | import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.internal.CommSubsystemBandUhf; |
8 | import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.internal.GroundStationNetwork; | 8 | import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.internal.GroundStationNetwork; |
9 | import java.util.Arrays; | 9 | import java.util.Arrays; |
@@ -18,6 +18,7 @@ import java.util.stream.Collectors; | |||
18 | import java.util.stream.Stream; | 18 | import java.util.stream.Stream; |
19 | import org.apache.log4j.Logger; | 19 | import org.apache.log4j.Logger; |
20 | import org.eclipse.emf.ecore.EClass; | 20 | import org.eclipse.emf.ecore.EClass; |
21 | import org.eclipse.emf.ecore.EDataType; | ||
21 | import org.eclipse.viatra.query.runtime.api.IPatternMatch; | 22 | import org.eclipse.viatra.query.runtime.api.IPatternMatch; |
22 | import org.eclipse.viatra.query.runtime.api.IQuerySpecification; | 23 | import org.eclipse.viatra.query.runtime.api.IQuerySpecification; |
23 | import org.eclipse.viatra.query.runtime.api.ViatraQueryEngine; | 24 | import org.eclipse.viatra.query.runtime.api.ViatraQueryEngine; |
@@ -26,6 +27,7 @@ import org.eclipse.viatra.query.runtime.api.impl.BaseGeneratedEMFQuerySpecificat | |||
26 | import org.eclipse.viatra.query.runtime.api.impl.BaseMatcher; | 27 | import org.eclipse.viatra.query.runtime.api.impl.BaseMatcher; |
27 | import org.eclipse.viatra.query.runtime.api.impl.BasePatternMatch; | 28 | import org.eclipse.viatra.query.runtime.api.impl.BasePatternMatch; |
28 | import org.eclipse.viatra.query.runtime.emf.types.EClassTransitiveInstancesKey; | 29 | import org.eclipse.viatra.query.runtime.emf.types.EClassTransitiveInstancesKey; |
30 | import org.eclipse.viatra.query.runtime.emf.types.EDataTypeInSlotsKey; | ||
29 | import org.eclipse.viatra.query.runtime.emf.types.EStructuralFeatureInstancesKey; | 31 | import org.eclipse.viatra.query.runtime.emf.types.EStructuralFeatureInstancesKey; |
30 | import org.eclipse.viatra.query.runtime.matchers.backend.QueryEvaluationHint; | 32 | import org.eclipse.viatra.query.runtime.matchers.backend.QueryEvaluationHint; |
31 | import org.eclipse.viatra.query.runtime.matchers.psystem.PBody; | 33 | import org.eclipse.viatra.query.runtime.matchers.psystem.PBody; |
@@ -35,6 +37,7 @@ import org.eclipse.viatra.query.runtime.matchers.psystem.annotations.ParameterRe | |||
35 | import org.eclipse.viatra.query.runtime.matchers.psystem.basicdeferred.Equality; | 37 | import org.eclipse.viatra.query.runtime.matchers.psystem.basicdeferred.Equality; |
36 | import org.eclipse.viatra.query.runtime.matchers.psystem.basicdeferred.ExportedParameter; | 38 | import org.eclipse.viatra.query.runtime.matchers.psystem.basicdeferred.ExportedParameter; |
37 | import org.eclipse.viatra.query.runtime.matchers.psystem.basicdeferred.NegativePatternCall; | 39 | import org.eclipse.viatra.query.runtime.matchers.psystem.basicdeferred.NegativePatternCall; |
40 | import org.eclipse.viatra.query.runtime.matchers.psystem.basicenumerables.ConstantValue; | ||
38 | import org.eclipse.viatra.query.runtime.matchers.psystem.basicenumerables.TypeConstraint; | 41 | import org.eclipse.viatra.query.runtime.matchers.psystem.basicenumerables.TypeConstraint; |
39 | import org.eclipse.viatra.query.runtime.matchers.psystem.queries.PParameter; | 42 | import org.eclipse.viatra.query.runtime.matchers.psystem.queries.PParameter; |
40 | import org.eclipse.viatra.query.runtime.matchers.psystem.queries.PParameterDirection; | 43 | import org.eclipse.viatra.query.runtime.matchers.psystem.queries.PParameterDirection; |
@@ -53,7 +56,8 @@ import org.eclipse.viatra.query.runtime.util.ViatraQueryLoggingUtil; | |||
53 | * | 56 | * |
54 | * {@literal @}Constraint(severity = "error", key = {Sat}, | 57 | * {@literal @}Constraint(severity = "error", key = {Sat}, |
55 | * message = "3U CubeSats can only cross-link using UHF.") | 58 | * message = "3U CubeSats can only cross-link using UHF.") |
56 | * pattern threeUCubeSatWithNonUhfCrossLink(Sat : CubeSat3U) { | 59 | * pattern threeUCubeSatWithNonUhfCrossLink(Sat : Spacecraft) { |
60 | * Spacecraft.kind(Sat, SpacecraftKind::CubeSat3U); | ||
57 | * CommunicatingElement.commSubsystem(Sat, SourceComm); | 61 | * CommunicatingElement.commSubsystem(Sat, SourceComm); |
58 | * neg find commSubsystemBandUhf(SourceComm); | 62 | * neg find commSubsystemBandUhf(SourceComm); |
59 | * DirectedCommunicationLink.source(Link, SourceComm); | 63 | * DirectedCommunicationLink.source(Link, SourceComm); |
@@ -82,11 +86,11 @@ public final class ThreeUCubeSatWithNonUhfCrossLink extends BaseGeneratedEMFQuer | |||
82 | * | 86 | * |
83 | */ | 87 | */ |
84 | public static abstract class Match extends BasePatternMatch { | 88 | public static abstract class Match extends BasePatternMatch { |
85 | private CubeSat3U fSat; | 89 | private Spacecraft fSat; |
86 | 90 | ||
87 | private static List<String> parameterNames = makeImmutableList("Sat"); | 91 | private static List<String> parameterNames = makeImmutableList("Sat"); |
88 | 92 | ||
89 | private Match(final CubeSat3U pSat) { | 93 | private Match(final Spacecraft pSat) { |
90 | this.fSat = pSat; | 94 | this.fSat = pSat; |
91 | } | 95 | } |
92 | 96 | ||
@@ -96,7 +100,7 @@ public final class ThreeUCubeSatWithNonUhfCrossLink extends BaseGeneratedEMFQuer | |||
96 | return null; | 100 | return null; |
97 | } | 101 | } |
98 | 102 | ||
99 | public CubeSat3U getSat() { | 103 | public Spacecraft getSat() { |
100 | return this.fSat; | 104 | return this.fSat; |
101 | } | 105 | } |
102 | 106 | ||
@@ -104,13 +108,13 @@ public final class ThreeUCubeSatWithNonUhfCrossLink extends BaseGeneratedEMFQuer | |||
104 | public boolean set(final String parameterName, final Object newValue) { | 108 | public boolean set(final String parameterName, final Object newValue) { |
105 | if (!isMutable()) throw new java.lang.UnsupportedOperationException(); | 109 | if (!isMutable()) throw new java.lang.UnsupportedOperationException(); |
106 | if ("Sat".equals(parameterName) ) { | 110 | if ("Sat".equals(parameterName) ) { |
107 | this.fSat = (CubeSat3U) newValue; | 111 | this.fSat = (Spacecraft) newValue; |
108 | return true; | 112 | return true; |
109 | } | 113 | } |
110 | return false; | 114 | return false; |
111 | } | 115 | } |
112 | 116 | ||
113 | public void setSat(final CubeSat3U pSat) { | 117 | public void setSat(final Spacecraft pSat) { |
114 | if (!isMutable()) throw new java.lang.UnsupportedOperationException(); | 118 | if (!isMutable()) throw new java.lang.UnsupportedOperationException(); |
115 | this.fSat = pSat; | 119 | this.fSat = pSat; |
116 | } | 120 | } |
@@ -191,7 +195,7 @@ public final class ThreeUCubeSatWithNonUhfCrossLink extends BaseGeneratedEMFQuer | |||
191 | * @return the new, mutable (partial) match object. | 195 | * @return the new, mutable (partial) match object. |
192 | * | 196 | * |
193 | */ | 197 | */ |
194 | public static ThreeUCubeSatWithNonUhfCrossLink.Match newMutableMatch(final CubeSat3U pSat) { | 198 | public static ThreeUCubeSatWithNonUhfCrossLink.Match newMutableMatch(final Spacecraft pSat) { |
195 | return new Mutable(pSat); | 199 | return new Mutable(pSat); |
196 | } | 200 | } |
197 | 201 | ||
@@ -203,12 +207,12 @@ public final class ThreeUCubeSatWithNonUhfCrossLink extends BaseGeneratedEMFQuer | |||
203 | * @return the (partial) match object. | 207 | * @return the (partial) match object. |
204 | * | 208 | * |
205 | */ | 209 | */ |
206 | public static ThreeUCubeSatWithNonUhfCrossLink.Match newMatch(final CubeSat3U pSat) { | 210 | public static ThreeUCubeSatWithNonUhfCrossLink.Match newMatch(final Spacecraft pSat) { |
207 | return new Immutable(pSat); | 211 | return new Immutable(pSat); |
208 | } | 212 | } |
209 | 213 | ||
210 | private static final class Mutable extends ThreeUCubeSatWithNonUhfCrossLink.Match { | 214 | private static final class Mutable extends ThreeUCubeSatWithNonUhfCrossLink.Match { |
211 | Mutable(final CubeSat3U pSat) { | 215 | Mutable(final Spacecraft pSat) { |
212 | super(pSat); | 216 | super(pSat); |
213 | } | 217 | } |
214 | 218 | ||
@@ -219,7 +223,7 @@ public final class ThreeUCubeSatWithNonUhfCrossLink extends BaseGeneratedEMFQuer | |||
219 | } | 223 | } |
220 | 224 | ||
221 | private static final class Immutable extends ThreeUCubeSatWithNonUhfCrossLink.Match { | 225 | private static final class Immutable extends ThreeUCubeSatWithNonUhfCrossLink.Match { |
222 | Immutable(final CubeSat3U pSat) { | 226 | Immutable(final Spacecraft pSat) { |
223 | super(pSat); | 227 | super(pSat); |
224 | } | 228 | } |
225 | 229 | ||
@@ -246,7 +250,8 @@ public final class ThreeUCubeSatWithNonUhfCrossLink extends BaseGeneratedEMFQuer | |||
246 | * | 250 | * |
247 | * {@literal @}Constraint(severity = "error", key = {Sat}, | 251 | * {@literal @}Constraint(severity = "error", key = {Sat}, |
248 | * message = "3U CubeSats can only cross-link using UHF.") | 252 | * message = "3U CubeSats can only cross-link using UHF.") |
249 | * pattern threeUCubeSatWithNonUhfCrossLink(Sat : CubeSat3U) { | 253 | * pattern threeUCubeSatWithNonUhfCrossLink(Sat : Spacecraft) { |
254 | * Spacecraft.kind(Sat, SpacecraftKind::CubeSat3U); | ||
250 | * CommunicatingElement.commSubsystem(Sat, SourceComm); | 255 | * CommunicatingElement.commSubsystem(Sat, SourceComm); |
251 | * neg find commSubsystemBandUhf(SourceComm); | 256 | * neg find commSubsystemBandUhf(SourceComm); |
252 | * DirectedCommunicationLink.source(Link, SourceComm); | 257 | * DirectedCommunicationLink.source(Link, SourceComm); |
@@ -310,7 +315,7 @@ public final class ThreeUCubeSatWithNonUhfCrossLink extends BaseGeneratedEMFQuer | |||
310 | * @return matches represented as a Match object. | 315 | * @return matches represented as a Match object. |
311 | * | 316 | * |
312 | */ | 317 | */ |
313 | public Collection<ThreeUCubeSatWithNonUhfCrossLink.Match> getAllMatches(final CubeSat3U pSat) { | 318 | public Collection<ThreeUCubeSatWithNonUhfCrossLink.Match> getAllMatches(final Spacecraft pSat) { |
314 | return rawStreamAllMatches(new Object[]{pSat}).collect(Collectors.toSet()); | 319 | return rawStreamAllMatches(new Object[]{pSat}).collect(Collectors.toSet()); |
315 | } | 320 | } |
316 | 321 | ||
@@ -324,7 +329,7 @@ public final class ThreeUCubeSatWithNonUhfCrossLink extends BaseGeneratedEMFQuer | |||
324 | * @return a stream of matches represented as a Match object. | 329 | * @return a stream of matches represented as a Match object. |
325 | * | 330 | * |
326 | */ | 331 | */ |
327 | public Stream<ThreeUCubeSatWithNonUhfCrossLink.Match> streamAllMatches(final CubeSat3U pSat) { | 332 | public Stream<ThreeUCubeSatWithNonUhfCrossLink.Match> streamAllMatches(final Spacecraft pSat) { |
328 | return rawStreamAllMatches(new Object[]{pSat}); | 333 | return rawStreamAllMatches(new Object[]{pSat}); |
329 | } | 334 | } |
330 | 335 | ||
@@ -335,7 +340,7 @@ public final class ThreeUCubeSatWithNonUhfCrossLink extends BaseGeneratedEMFQuer | |||
335 | * @return a match represented as a Match object, or null if no match is found. | 340 | * @return a match represented as a Match object, or null if no match is found. |
336 | * | 341 | * |
337 | */ | 342 | */ |
338 | public Optional<ThreeUCubeSatWithNonUhfCrossLink.Match> getOneArbitraryMatch(final CubeSat3U pSat) { | 343 | public Optional<ThreeUCubeSatWithNonUhfCrossLink.Match> getOneArbitraryMatch(final Spacecraft pSat) { |
339 | return rawGetOneArbitraryMatch(new Object[]{pSat}); | 344 | return rawGetOneArbitraryMatch(new Object[]{pSat}); |
340 | } | 345 | } |
341 | 346 | ||
@@ -346,7 +351,7 @@ public final class ThreeUCubeSatWithNonUhfCrossLink extends BaseGeneratedEMFQuer | |||
346 | * @return true if the input is a valid (partial) match of the pattern. | 351 | * @return true if the input is a valid (partial) match of the pattern. |
347 | * | 352 | * |
348 | */ | 353 | */ |
349 | public boolean hasMatch(final CubeSat3U pSat) { | 354 | public boolean hasMatch(final Spacecraft pSat) { |
350 | return rawHasMatch(new Object[]{pSat}); | 355 | return rawHasMatch(new Object[]{pSat}); |
351 | } | 356 | } |
352 | 357 | ||
@@ -356,7 +361,7 @@ public final class ThreeUCubeSatWithNonUhfCrossLink extends BaseGeneratedEMFQuer | |||
356 | * @return the number of pattern matches found. | 361 | * @return the number of pattern matches found. |
357 | * | 362 | * |
358 | */ | 363 | */ |
359 | public int countMatches(final CubeSat3U pSat) { | 364 | public int countMatches(final Spacecraft pSat) { |
360 | return rawCountMatches(new Object[]{pSat}); | 365 | return rawCountMatches(new Object[]{pSat}); |
361 | } | 366 | } |
362 | 367 | ||
@@ -368,7 +373,7 @@ public final class ThreeUCubeSatWithNonUhfCrossLink extends BaseGeneratedEMFQuer | |||
368 | * @return true if the pattern has at least one match with the given parameter values, false if the processor was not invoked | 373 | * @return true if the pattern has at least one match with the given parameter values, false if the processor was not invoked |
369 | * | 374 | * |
370 | */ | 375 | */ |
371 | public boolean forOneArbitraryMatch(final CubeSat3U pSat, final Consumer<? super ThreeUCubeSatWithNonUhfCrossLink.Match> processor) { | 376 | public boolean forOneArbitraryMatch(final Spacecraft pSat, final Consumer<? super ThreeUCubeSatWithNonUhfCrossLink.Match> processor) { |
372 | return rawForOneArbitraryMatch(new Object[]{pSat}, processor); | 377 | return rawForOneArbitraryMatch(new Object[]{pSat}, processor); |
373 | } | 378 | } |
374 | 379 | ||
@@ -380,7 +385,7 @@ public final class ThreeUCubeSatWithNonUhfCrossLink extends BaseGeneratedEMFQuer | |||
380 | * @return the (partial) match object. | 385 | * @return the (partial) match object. |
381 | * | 386 | * |
382 | */ | 387 | */ |
383 | public ThreeUCubeSatWithNonUhfCrossLink.Match newMatch(final CubeSat3U pSat) { | 388 | public ThreeUCubeSatWithNonUhfCrossLink.Match newMatch(final Spacecraft pSat) { |
384 | return ThreeUCubeSatWithNonUhfCrossLink.Match.newMatch(pSat); | 389 | return ThreeUCubeSatWithNonUhfCrossLink.Match.newMatch(pSat); |
385 | } | 390 | } |
386 | 391 | ||
@@ -389,8 +394,8 @@ public final class ThreeUCubeSatWithNonUhfCrossLink extends BaseGeneratedEMFQuer | |||
389 | * @return the Set of all values or empty set if there are no matches | 394 | * @return the Set of all values or empty set if there are no matches |
390 | * | 395 | * |
391 | */ | 396 | */ |
392 | protected Stream<CubeSat3U> rawStreamAllValuesOfSat(final Object[] parameters) { | 397 | protected Stream<Spacecraft> rawStreamAllValuesOfSat(final Object[] parameters) { |
393 | return rawStreamAllValues(POSITION_SAT, parameters).map(CubeSat3U.class::cast); | 398 | return rawStreamAllValues(POSITION_SAT, parameters).map(Spacecraft.class::cast); |
394 | } | 399 | } |
395 | 400 | ||
396 | /** | 401 | /** |
@@ -398,7 +403,7 @@ public final class ThreeUCubeSatWithNonUhfCrossLink extends BaseGeneratedEMFQuer | |||
398 | * @return the Set of all values or empty set if there are no matches | 403 | * @return the Set of all values or empty set if there are no matches |
399 | * | 404 | * |
400 | */ | 405 | */ |
401 | public Set<CubeSat3U> getAllValuesOfSat() { | 406 | public Set<Spacecraft> getAllValuesOfSat() { |
402 | return rawStreamAllValuesOfSat(emptyArray()).collect(Collectors.toSet()); | 407 | return rawStreamAllValuesOfSat(emptyArray()).collect(Collectors.toSet()); |
403 | } | 408 | } |
404 | 409 | ||
@@ -407,14 +412,14 @@ public final class ThreeUCubeSatWithNonUhfCrossLink extends BaseGeneratedEMFQuer | |||
407 | * @return the Set of all values or empty set if there are no matches | 412 | * @return the Set of all values or empty set if there are no matches |
408 | * | 413 | * |
409 | */ | 414 | */ |
410 | public Stream<CubeSat3U> streamAllValuesOfSat() { | 415 | public Stream<Spacecraft> streamAllValuesOfSat() { |
411 | return rawStreamAllValuesOfSat(emptyArray()); | 416 | return rawStreamAllValuesOfSat(emptyArray()); |
412 | } | 417 | } |
413 | 418 | ||
414 | @Override | 419 | @Override |
415 | protected ThreeUCubeSatWithNonUhfCrossLink.Match tupleToMatch(final Tuple t) { | 420 | protected ThreeUCubeSatWithNonUhfCrossLink.Match tupleToMatch(final Tuple t) { |
416 | try { | 421 | try { |
417 | return ThreeUCubeSatWithNonUhfCrossLink.Match.newMatch((CubeSat3U) t.get(POSITION_SAT)); | 422 | return ThreeUCubeSatWithNonUhfCrossLink.Match.newMatch((Spacecraft) t.get(POSITION_SAT)); |
418 | } catch(ClassCastException e) { | 423 | } catch(ClassCastException e) { |
419 | LOGGER.error("Element(s) in tuple not properly typed!",e); | 424 | LOGGER.error("Element(s) in tuple not properly typed!",e); |
420 | return null; | 425 | return null; |
@@ -424,7 +429,7 @@ public final class ThreeUCubeSatWithNonUhfCrossLink extends BaseGeneratedEMFQuer | |||
424 | @Override | 429 | @Override |
425 | protected ThreeUCubeSatWithNonUhfCrossLink.Match arrayToMatch(final Object[] match) { | 430 | protected ThreeUCubeSatWithNonUhfCrossLink.Match arrayToMatch(final Object[] match) { |
426 | try { | 431 | try { |
427 | return ThreeUCubeSatWithNonUhfCrossLink.Match.newMatch((CubeSat3U) match[POSITION_SAT]); | 432 | return ThreeUCubeSatWithNonUhfCrossLink.Match.newMatch((Spacecraft) match[POSITION_SAT]); |
428 | } catch(ClassCastException e) { | 433 | } catch(ClassCastException e) { |
429 | LOGGER.error("Element(s) in array not properly typed!",e); | 434 | LOGGER.error("Element(s) in array not properly typed!",e); |
430 | return null; | 435 | return null; |
@@ -434,7 +439,7 @@ public final class ThreeUCubeSatWithNonUhfCrossLink extends BaseGeneratedEMFQuer | |||
434 | @Override | 439 | @Override |
435 | protected ThreeUCubeSatWithNonUhfCrossLink.Match arrayToMatchMutable(final Object[] match) { | 440 | protected ThreeUCubeSatWithNonUhfCrossLink.Match arrayToMatchMutable(final Object[] match) { |
436 | try { | 441 | try { |
437 | return ThreeUCubeSatWithNonUhfCrossLink.Match.newMutableMatch((CubeSat3U) match[POSITION_SAT]); | 442 | return ThreeUCubeSatWithNonUhfCrossLink.Match.newMutableMatch((Spacecraft) match[POSITION_SAT]); |
438 | } catch(ClassCastException e) { | 443 | } catch(ClassCastException e) { |
439 | LOGGER.error("Element(s) in array not properly typed!",e); | 444 | LOGGER.error("Element(s) in array not properly typed!",e); |
440 | return null; | 445 | return null; |
@@ -485,7 +490,7 @@ public final class ThreeUCubeSatWithNonUhfCrossLink extends BaseGeneratedEMFQuer | |||
485 | 490 | ||
486 | @Override | 491 | @Override |
487 | public ThreeUCubeSatWithNonUhfCrossLink.Match newMatch(final Object... parameters) { | 492 | public ThreeUCubeSatWithNonUhfCrossLink.Match newMatch(final Object... parameters) { |
488 | return ThreeUCubeSatWithNonUhfCrossLink.Match.newMatch((hu.bme.mit.inf.dslreasoner.domains.satellite.CubeSat3U) parameters[0]); | 493 | return ThreeUCubeSatWithNonUhfCrossLink.Match.newMatch((hu.bme.mit.inf.dslreasoner.domains.satellite.Spacecraft) parameters[0]); |
489 | } | 494 | } |
490 | 495 | ||
491 | /** | 496 | /** |
@@ -517,7 +522,7 @@ public final class ThreeUCubeSatWithNonUhfCrossLink extends BaseGeneratedEMFQuer | |||
517 | private static class GeneratedPQuery extends BaseGeneratedEMFPQuery { | 522 | private static class GeneratedPQuery extends BaseGeneratedEMFPQuery { |
518 | private static final ThreeUCubeSatWithNonUhfCrossLink.GeneratedPQuery INSTANCE = new GeneratedPQuery(); | 523 | private static final ThreeUCubeSatWithNonUhfCrossLink.GeneratedPQuery INSTANCE = new GeneratedPQuery(); |
519 | 524 | ||
520 | private final PParameter parameter_Sat = new PParameter("Sat", "hu.bme.mit.inf.dslreasoner.domains.satellite.CubeSat3U", new EClassTransitiveInstancesKey((EClass)getClassifierLiteralSafe("http://www.example.org/satellite", "CubeSat3U")), PParameterDirection.INOUT); | 525 | private final PParameter parameter_Sat = new PParameter("Sat", "hu.bme.mit.inf.dslreasoner.domains.satellite.Spacecraft", new EClassTransitiveInstancesKey((EClass)getClassifierLiteralSafe("http://www.example.org/satellite", "Spacecraft")), PParameterDirection.INOUT); |
521 | 526 | ||
522 | private final List<PParameter> parameters = Arrays.asList(parameter_Sat); | 527 | private final List<PParameter> parameters = Arrays.asList(parameter_Sat); |
523 | 528 | ||
@@ -551,36 +556,44 @@ public final class ThreeUCubeSatWithNonUhfCrossLink extends BaseGeneratedEMFQuer | |||
551 | PVariable var_Link = body.getOrCreateVariableByName("Link"); | 556 | PVariable var_Link = body.getOrCreateVariableByName("Link"); |
552 | PVariable var_TargetComm = body.getOrCreateVariableByName("TargetComm"); | 557 | PVariable var_TargetComm = body.getOrCreateVariableByName("TargetComm"); |
553 | PVariable var_Target = body.getOrCreateVariableByName("Target"); | 558 | PVariable var_Target = body.getOrCreateVariableByName("Target"); |
554 | new TypeConstraint(body, Tuples.flatTupleOf(var_Sat), new EClassTransitiveInstancesKey((EClass)getClassifierLiteral("http://www.example.org/satellite", "CubeSat3U"))); | 559 | new TypeConstraint(body, Tuples.flatTupleOf(var_Sat), new EClassTransitiveInstancesKey((EClass)getClassifierLiteral("http://www.example.org/satellite", "Spacecraft"))); |
555 | body.setSymbolicParameters(Arrays.<ExportedParameter>asList( | 560 | body.setSymbolicParameters(Arrays.<ExportedParameter>asList( |
556 | new ExportedParameter(body, var_Sat, parameter_Sat) | 561 | new ExportedParameter(body, var_Sat, parameter_Sat) |
557 | )); | 562 | )); |
563 | // Spacecraft.kind(Sat, SpacecraftKind::CubeSat3U) | ||
564 | PVariable var__virtual_0_ = body.getOrCreateVariableByName(".virtual{0}"); | ||
565 | new ConstantValue(body, var__virtual_0_, getEnumLiteral("http://www.example.org/satellite", "SpacecraftKind", "CubeSat3U").getInstance()); | ||
566 | new TypeConstraint(body, Tuples.flatTupleOf(var_Sat), new EClassTransitiveInstancesKey((EClass)getClassifierLiteral("http://www.example.org/satellite", "Spacecraft"))); | ||
567 | PVariable var__virtual_1_ = body.getOrCreateVariableByName(".virtual{1}"); | ||
568 | new TypeConstraint(body, Tuples.flatTupleOf(var_Sat, var__virtual_1_), new EStructuralFeatureInstancesKey(getFeatureLiteral("http://www.example.org/satellite", "Spacecraft", "kind"))); | ||
569 | new TypeConstraint(body, Tuples.flatTupleOf(var__virtual_1_), new EDataTypeInSlotsKey((EDataType)getClassifierLiteral("http://www.example.org/satellite", "SpacecraftKind"))); | ||
570 | new Equality(body, var__virtual_1_, var__virtual_0_); | ||
558 | // CommunicatingElement.commSubsystem(Sat, SourceComm) | 571 | // CommunicatingElement.commSubsystem(Sat, SourceComm) |
559 | new TypeConstraint(body, Tuples.flatTupleOf(var_Sat), new EClassTransitiveInstancesKey((EClass)getClassifierLiteral("http://www.example.org/satellite", "CommunicatingElement"))); | 572 | new TypeConstraint(body, Tuples.flatTupleOf(var_Sat), new EClassTransitiveInstancesKey((EClass)getClassifierLiteral("http://www.example.org/satellite", "CommunicatingElement"))); |
560 | PVariable var__virtual_0_ = body.getOrCreateVariableByName(".virtual{0}"); | 573 | PVariable var__virtual_2_ = body.getOrCreateVariableByName(".virtual{2}"); |
561 | new TypeConstraint(body, Tuples.flatTupleOf(var_Sat, var__virtual_0_), new EStructuralFeatureInstancesKey(getFeatureLiteral("http://www.example.org/satellite", "CommunicatingElement", "commSubsystem"))); | 574 | new TypeConstraint(body, Tuples.flatTupleOf(var_Sat, var__virtual_2_), new EStructuralFeatureInstancesKey(getFeatureLiteral("http://www.example.org/satellite", "CommunicatingElement", "commSubsystem"))); |
562 | new TypeConstraint(body, Tuples.flatTupleOf(var__virtual_0_), new EClassTransitiveInstancesKey((EClass)getClassifierLiteral("http://www.example.org/satellite", "CommSubsystem"))); | 575 | new TypeConstraint(body, Tuples.flatTupleOf(var__virtual_2_), new EClassTransitiveInstancesKey((EClass)getClassifierLiteral("http://www.example.org/satellite", "CommSubsystem"))); |
563 | new Equality(body, var__virtual_0_, var_SourceComm); | 576 | new Equality(body, var__virtual_2_, var_SourceComm); |
564 | // neg find commSubsystemBandUhf(SourceComm) | 577 | // neg find commSubsystemBandUhf(SourceComm) |
565 | new NegativePatternCall(body, Tuples.flatTupleOf(var_SourceComm), CommSubsystemBandUhf.instance().getInternalQueryRepresentation()); | 578 | new NegativePatternCall(body, Tuples.flatTupleOf(var_SourceComm), CommSubsystemBandUhf.instance().getInternalQueryRepresentation()); |
566 | // DirectedCommunicationLink.source(Link, SourceComm) | 579 | // DirectedCommunicationLink.source(Link, SourceComm) |
567 | new TypeConstraint(body, Tuples.flatTupleOf(var_Link), new EClassTransitiveInstancesKey((EClass)getClassifierLiteral("http://www.example.org/satellite", "DirectedCommunicationLink"))); | 580 | new TypeConstraint(body, Tuples.flatTupleOf(var_Link), new EClassTransitiveInstancesKey((EClass)getClassifierLiteral("http://www.example.org/satellite", "DirectedCommunicationLink"))); |
568 | PVariable var__virtual_1_ = body.getOrCreateVariableByName(".virtual{1}"); | 581 | PVariable var__virtual_3_ = body.getOrCreateVariableByName(".virtual{3}"); |
569 | new TypeConstraint(body, Tuples.flatTupleOf(var_Link, var__virtual_1_), new EStructuralFeatureInstancesKey(getFeatureLiteral("http://www.example.org/satellite", "DirectedCommunicationLink", "source"))); | 582 | new TypeConstraint(body, Tuples.flatTupleOf(var_Link, var__virtual_3_), new EStructuralFeatureInstancesKey(getFeatureLiteral("http://www.example.org/satellite", "DirectedCommunicationLink", "source"))); |
570 | new TypeConstraint(body, Tuples.flatTupleOf(var__virtual_1_), new EClassTransitiveInstancesKey((EClass)getClassifierLiteral("http://www.example.org/satellite", "CommSubsystem"))); | 583 | new TypeConstraint(body, Tuples.flatTupleOf(var__virtual_3_), new EClassTransitiveInstancesKey((EClass)getClassifierLiteral("http://www.example.org/satellite", "CommSubsystem"))); |
571 | new Equality(body, var__virtual_1_, var_SourceComm); | 584 | new Equality(body, var__virtual_3_, var_SourceComm); |
572 | // DirectedCommunicationLink.target(Link, TargetComm) | 585 | // DirectedCommunicationLink.target(Link, TargetComm) |
573 | new TypeConstraint(body, Tuples.flatTupleOf(var_Link), new EClassTransitiveInstancesKey((EClass)getClassifierLiteral("http://www.example.org/satellite", "DirectedCommunicationLink"))); | 586 | new TypeConstraint(body, Tuples.flatTupleOf(var_Link), new EClassTransitiveInstancesKey((EClass)getClassifierLiteral("http://www.example.org/satellite", "DirectedCommunicationLink"))); |
574 | PVariable var__virtual_2_ = body.getOrCreateVariableByName(".virtual{2}"); | 587 | PVariable var__virtual_4_ = body.getOrCreateVariableByName(".virtual{4}"); |
575 | new TypeConstraint(body, Tuples.flatTupleOf(var_Link, var__virtual_2_), new EStructuralFeatureInstancesKey(getFeatureLiteral("http://www.example.org/satellite", "DirectedCommunicationLink", "target"))); | 588 | new TypeConstraint(body, Tuples.flatTupleOf(var_Link, var__virtual_4_), new EStructuralFeatureInstancesKey(getFeatureLiteral("http://www.example.org/satellite", "DirectedCommunicationLink", "target"))); |
576 | new TypeConstraint(body, Tuples.flatTupleOf(var__virtual_2_), new EClassTransitiveInstancesKey((EClass)getClassifierLiteral("http://www.example.org/satellite", "CommSubsystem"))); | 589 | new TypeConstraint(body, Tuples.flatTupleOf(var__virtual_4_), new EClassTransitiveInstancesKey((EClass)getClassifierLiteral("http://www.example.org/satellite", "CommSubsystem"))); |
577 | new Equality(body, var__virtual_2_, var_TargetComm); | 590 | new Equality(body, var__virtual_4_, var_TargetComm); |
578 | // CommunicatingElement.commSubsystem(Target, TargetComm) | 591 | // CommunicatingElement.commSubsystem(Target, TargetComm) |
579 | new TypeConstraint(body, Tuples.flatTupleOf(var_Target), new EClassTransitiveInstancesKey((EClass)getClassifierLiteral("http://www.example.org/satellite", "CommunicatingElement"))); | 592 | 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}"); | 593 | PVariable var__virtual_5_ = body.getOrCreateVariableByName(".virtual{5}"); |
581 | new TypeConstraint(body, Tuples.flatTupleOf(var_Target, var__virtual_3_), new EStructuralFeatureInstancesKey(getFeatureLiteral("http://www.example.org/satellite", "CommunicatingElement", "commSubsystem"))); | 594 | new TypeConstraint(body, Tuples.flatTupleOf(var_Target, var__virtual_5_), 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"))); | 595 | new TypeConstraint(body, Tuples.flatTupleOf(var__virtual_5_), new EClassTransitiveInstancesKey((EClass)getClassifierLiteral("http://www.example.org/satellite", "CommSubsystem"))); |
583 | new Equality(body, var__virtual_3_, var_TargetComm); | 596 | new Equality(body, var__virtual_5_, var_TargetComm); |
584 | // neg find groundStationNetwork(Target) | 597 | // neg find groundStationNetwork(Target) |
585 | new NegativePatternCall(body, Tuples.flatTupleOf(var_Target), GroundStationNetwork.instance().getInternalQueryRepresentation()); | 598 | new NegativePatternCall(body, Tuples.flatTupleOf(var_Target), GroundStationNetwork.instance().getInternalQueryRepresentation()); |
586 | bodies.add(body); | 599 | bodies.add(body); |