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