diff options
author | Kristóf Marussy <kris7topher@gmail.com> | 2019-05-07 11:53:38 -0400 |
---|---|---|
committer | Kristóf Marussy <kris7topher@gmail.com> | 2019-05-07 11:53:38 -0400 |
commit | 9b83e33c055660f6de218d1b672f67734675f1f6 (patch) | |
tree | 9bd56534fdeb2bad776780a856065739d0d525cd /Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/src | |
parent | Trying to implement spacecraft case study (diff) | |
download | VIATRA-Generator-9b83e33c055660f6de218d1b672f67734675f1f6.tar.gz VIATRA-Generator-9b83e33c055660f6de218d1b672f67734675f1f6.tar.zst VIATRA-Generator-9b83e33c055660f6de218d1b672f67734675f1f6.zip |
Try to restructure satellite case study
Diffstat (limited to 'Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/src')
-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 |