diff options
author | Kristóf Marussy <kris7topher@gmail.com> | 2019-08-01 18:38:15 +0200 |
---|---|---|
committer | Kristóf Marussy <kris7topher@gmail.com> | 2019-08-01 18:38:15 +0200 |
commit | 6eb760ee960cd3efe51ca6e4107153c09838a1da (patch) | |
tree | 2edd0e21be50265f65f0cfd2fd43f18a252aef02 /Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/src/hu/bme/mit/inf/dslreasoner/domains/satellite/queries/SatelliteQueries.vql | |
parent | Dump required Xbase version down to 2.17 (diff) | |
download | VIATRA-Generator-6eb760ee960cd3efe51ca6e4107153c09838a1da.tar.gz VIATRA-Generator-6eb760ee960cd3efe51ca6e4107153c09838a1da.tar.zst VIATRA-Generator-6eb760ee960cd3efe51ca6e4107153c09838a1da.zip |
Clean up CPS and Satellite domains
Diffstat (limited to 'Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/src/hu/bme/mit/inf/dslreasoner/domains/satellite/queries/SatelliteQueries.vql')
-rw-r--r-- | Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/src/hu/bme/mit/inf/dslreasoner/domains/satellite/queries/SatelliteQueries.vql | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/src/hu/bme/mit/inf/dslreasoner/domains/satellite/queries/SatelliteQueries.vql b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/src/hu/bme/mit/inf/dslreasoner/domains/satellite/queries/SatelliteQueries.vql index c7135562..c1d3f7d3 100644 --- a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/src/hu/bme/mit/inf/dslreasoner/domains/satellite/queries/SatelliteQueries.vql +++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/src/hu/bme/mit/inf/dslreasoner/domains/satellite/queries/SatelliteQueries.vql | |||
@@ -3,7 +3,7 @@ package hu.bme.mit.inf.dslreasoner.domains.satellite.queries | |||
3 | import "http://www.example.org/satellite" | 3 | import "http://www.example.org/satellite" |
4 | 4 | ||
5 | @Constraint(severity = "error", key = {Element}, | 5 | @Constraint(severity = "error", key = {Element}, |
6 | message = "A communicating element may not have two transmitting communication subsystems..") | 6 | message = "A communicating element may not have two transmitting communication subsystems.") |
7 | pattern communicationLinkDoesNotStartAtContainingElement(Element : CommunicatingElement) { | 7 | pattern communicationLinkDoesNotStartAtContainingElement(Element : CommunicatingElement) { |
8 | find transmittingCommSubsystem(Element, Comm1); | 8 | find transmittingCommSubsystem(Element, Comm1); |
9 | find transmittingCommSubsystem(Element, Comm2); | 9 | find transmittingCommSubsystem(Element, Comm2); |
@@ -15,6 +15,12 @@ private pattern transmittingCommSubsystem(Element : CommunicatingElement, Comm : | |||
15 | CommSubsystem.target(Comm, _); | 15 | CommSubsystem.target(Comm, _); |
16 | } | 16 | } |
17 | 17 | ||
18 | @Constraint(severity = "error", key = {Station}, | ||
19 | message = "The ground station network may not have outgoing communication links.") | ||
20 | pattern transmittingGroundStationNetwork(Station : GroundStationNetwork) { | ||
21 | find transmittingCommSubsystem(Station, _); | ||
22 | } | ||
23 | |||
18 | // At least two spacecraft must have the interferometry payload configured | 24 | // At least two spacecraft must have the interferometry payload configured |
19 | 25 | ||
20 | @Constraint(severity = "error", key = {Mission}, | 26 | @Constraint(severity = "error", key = {Mission}, |