diff options
author | 2019-05-07 11:54:19 -0400 | |
---|---|---|
committer | 2019-05-07 11:54:19 -0400 | |
commit | 436ec038c24c42e615feb22a0fed029494bc74ea (patch) | |
tree | f3783961c521b73201a9d079be78feb26e8a285c /Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/src/hu/bme/mit/inf/dslreasoner/domains/satellite/queries/SatelliteQueries.vql | |
parent | Try to restructure satellite case study (diff) | |
download | VIATRA-Generator-436ec038c24c42e615feb22a0fed029494bc74ea.tar.gz VIATRA-Generator-436ec038c24c42e615feb22a0fed029494bc74ea.tar.zst VIATRA-Generator-436ec038c24c42e615feb22a0fed029494bc74ea.zip |
Revert "Try to restructure satellite case study"
This reverts commit 9b83e33c055660f6de218d1b672f67734675f1f6.
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 | 18 |
1 files changed, 7 insertions, 11 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 edffd941..40553e29 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,17 +2,13 @@ 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 = {Element}, | 5 | @Constraint(severity = "error", key = {Link}, |
6 | message = "Only one communication link is allowed per element.") | 6 | message = "Communication links must start from the containing element.") |
7 | pattern multipleCommunicationLinks(Element : CommunicatingElement) { | 7 | pattern communicationLinkDoesNotStartAtContainingElement(Link : DirectedCommunicationLink) { |
8 | CommunicatingElement.commSubsystem.communicationLink(Element, Link1); | 8 | CommunicatingElement.communicationLink(Element, Link); |
9 | CommunicatingElement.commSubsystem.communicationLink(Element, Link2); | 9 | DirectedCommunicationLink.source(Link, SourceComm); |
10 | Link1 != Link2; | 10 | CommunicatingElement.commSubsystem(SourceElement, SourceComm); |
11 | } | 11 | Element != SourceElement; |
12 | |||
13 | @QueryBasedFeature(feature = "communicationLink") | ||
14 | pattern communicationLinkOfElement(Element : CommunicatingElement, Link : DirectedCommunicationLink) { | ||
15 | CommunicatingElement.commSubsystem.communicationLink(Element, Link); | ||
16 | } | 12 | } |
17 | 13 | ||
18 | // At least two spacecraft must have the interferometry payload configured | 14 | // At least two spacecraft must have the interferometry payload configured |