diff options
Diffstat (limited to 'Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/src/hu/bme/mit/inf/dslreasoner/domains')
-rw-r--r-- | Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/src/hu/bme/mit/inf/dslreasoner/domains/satellite/queries/SatelliteQueries.vql | 18 |
1 files changed, 11 insertions, 7 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 40553e29..edffd941 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 | |||
@@ -2,13 +2,17 @@ package hu.bme.mit.inf.dslreasoner.domains.satellite.queries | |||
2 | 2 | ||
3 | import "http://www.example.org/satellite" | 3 | import "http://www.example.org/satellite" |
4 | 4 | ||
5 | @Constraint(severity = "error", key = {Link}, | 5 | @Constraint(severity = "error", key = {Element}, |
6 | message = "Communication links must start from the containing element.") | 6 | message = "Only one communication link is allowed per element.") |
7 | pattern communicationLinkDoesNotStartAtContainingElement(Link : DirectedCommunicationLink) { | 7 | pattern multipleCommunicationLinks(Element : CommunicatingElement) { |
8 | CommunicatingElement.communicationLink(Element, Link); | 8 | CommunicatingElement.commSubsystem.communicationLink(Element, Link1); |
9 | DirectedCommunicationLink.source(Link, SourceComm); | 9 | CommunicatingElement.commSubsystem.communicationLink(Element, Link2); |
10 | CommunicatingElement.commSubsystem(SourceElement, SourceComm); | 10 | Link1 != Link2; |
11 | Element != SourceElement; | 11 | } |
12 | |||
13 | @QueryBasedFeature(feature = "communicationLink") | ||
14 | pattern communicationLinkOfElement(Element : CommunicatingElement, Link : DirectedCommunicationLink) { | ||
15 | CommunicatingElement.commSubsystem.communicationLink(Element, Link); | ||
12 | } | 16 | } |
13 | 17 | ||
14 | // At least two spacecraft must have the interferometry payload configured | 18 | // At least two spacecraft must have the interferometry payload configured |