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/NotEnoughInterferometryPayloads.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/NotEnoughInterferometryPayloads.java')
-rw-r--r-- | Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/src-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/queries/NotEnoughInterferometryPayloads.java | 19 |
1 files changed, 15 insertions, 4 deletions
diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/src-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/queries/NotEnoughInterferometryPayloads.java b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/src-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/queries/NotEnoughInterferometryPayloads.java index 39af9d5b..d75dea5f 100644 --- a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/src-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/queries/NotEnoughInterferometryPayloads.java +++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/src-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/queries/NotEnoughInterferometryPayloads.java | |||
@@ -28,6 +28,8 @@ import org.eclipse.viatra.query.runtime.emf.types.EClassTransitiveInstancesKey; | |||
28 | import org.eclipse.viatra.query.runtime.matchers.backend.QueryEvaluationHint; | 28 | import org.eclipse.viatra.query.runtime.matchers.backend.QueryEvaluationHint; |
29 | import org.eclipse.viatra.query.runtime.matchers.psystem.PBody; | 29 | import org.eclipse.viatra.query.runtime.matchers.psystem.PBody; |
30 | import org.eclipse.viatra.query.runtime.matchers.psystem.PVariable; | 30 | import org.eclipse.viatra.query.runtime.matchers.psystem.PVariable; |
31 | import org.eclipse.viatra.query.runtime.matchers.psystem.annotations.PAnnotation; | ||
32 | import org.eclipse.viatra.query.runtime.matchers.psystem.annotations.ParameterReference; | ||
31 | import org.eclipse.viatra.query.runtime.matchers.psystem.basicdeferred.ExportedParameter; | 33 | import org.eclipse.viatra.query.runtime.matchers.psystem.basicdeferred.ExportedParameter; |
32 | import org.eclipse.viatra.query.runtime.matchers.psystem.basicdeferred.NegativePatternCall; | 34 | import org.eclipse.viatra.query.runtime.matchers.psystem.basicdeferred.NegativePatternCall; |
33 | import org.eclipse.viatra.query.runtime.matchers.psystem.basicenumerables.TypeConstraint; | 35 | import org.eclipse.viatra.query.runtime.matchers.psystem.basicenumerables.TypeConstraint; |
@@ -45,8 +47,8 @@ import org.eclipse.viatra.query.runtime.util.ViatraQueryLoggingUtil; | |||
45 | * <code><pre> | 47 | * <code><pre> |
46 | * // At least two spacecraft must have the interferometry payload configured | 48 | * // At least two spacecraft must have the interferometry payload configured |
47 | * | 49 | * |
48 | * //{@literal @}Constraint(severity = "error", key = {Mission}, | 50 | * {@literal @}Constraint(severity = "error", key = {Mission}, |
49 | * // message = "Interferometry mission needs at least two spacecraft configured with the interferometry payload.") | 51 | * message = "Interferometry mission needs at least two spacecraft configured with the interferometry payload.") |
50 | * pattern notEnoughInterferometryPayloads(Mission : InterferometryMission) { | 52 | * pattern notEnoughInterferometryPayloads(Mission : InterferometryMission) { |
51 | * InterferometryMission(Mission); | 53 | * InterferometryMission(Mission); |
52 | * neg find atLeastTwoInterferometryPayloads(Mission); | 54 | * neg find atLeastTwoInterferometryPayloads(Mission); |
@@ -233,8 +235,8 @@ public final class NotEnoughInterferometryPayloads extends BaseGeneratedEMFQuery | |||
233 | * <code><pre> | 235 | * <code><pre> |
234 | * // At least two spacecraft must have the interferometry payload configured | 236 | * // At least two spacecraft must have the interferometry payload configured |
235 | * | 237 | * |
236 | * //{@literal @}Constraint(severity = "error", key = {Mission}, | 238 | * {@literal @}Constraint(severity = "error", key = {Mission}, |
237 | * // message = "Interferometry mission needs at least two spacecraft configured with the interferometry payload.") | 239 | * message = "Interferometry mission needs at least two spacecraft configured with the interferometry payload.") |
238 | * pattern notEnoughInterferometryPayloads(Mission : InterferometryMission) { | 240 | * pattern notEnoughInterferometryPayloads(Mission : InterferometryMission) { |
239 | * InterferometryMission(Mission); | 241 | * InterferometryMission(Mission); |
240 | * neg find atLeastTwoInterferometryPayloads(Mission); | 242 | * neg find atLeastTwoInterferometryPayloads(Mission); |
@@ -542,6 +544,15 @@ public final class NotEnoughInterferometryPayloads extends BaseGeneratedEMFQuery | |||
542 | new NegativePatternCall(body, Tuples.flatTupleOf(var_Mission), AtLeastTwoInterferometryPayloads.instance().getInternalQueryRepresentation()); | 544 | new NegativePatternCall(body, Tuples.flatTupleOf(var_Mission), AtLeastTwoInterferometryPayloads.instance().getInternalQueryRepresentation()); |
543 | bodies.add(body); | 545 | bodies.add(body); |
544 | } | 546 | } |
547 | { | ||
548 | PAnnotation annotation = new PAnnotation("Constraint"); | ||
549 | annotation.addAttribute("severity", "error"); | ||
550 | annotation.addAttribute("key", Arrays.asList(new Object[] { | ||
551 | new ParameterReference("Mission") | ||
552 | })); | ||
553 | annotation.addAttribute("message", "Interferometry mission needs at least two spacecraft configured with the interferometry payload."); | ||
554 | addAnnotation(annotation); | ||
555 | } | ||
545 | return bodies; | 556 | return bodies; |
546 | } | 557 | } |
547 | } | 558 | } |