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 | |
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')
2 files changed, 11 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}, |
diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/src/hu/bme/mit/inf/dslreasoner/domains/satellite/runner/SatelliteGeneratorMain.xtend b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/src/hu/bme/mit/inf/dslreasoner/domains/satellite/runner/SatelliteGeneratorMain.xtend index 3d2cbbc7..5e4e4ef0 100644 --- a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/src/hu/bme/mit/inf/dslreasoner/domains/satellite/runner/SatelliteGeneratorMain.xtend +++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/src/hu/bme/mit/inf/dslreasoner/domains/satellite/runner/SatelliteGeneratorMain.xtend | |||
@@ -1,6 +1,8 @@ | |||
1 | package hu.bme.mit.inf.dslreasoner.domains.satellite.runner | 1 | package hu.bme.mit.inf.dslreasoner.domains.satellite.runner |
2 | 2 | ||
3 | import hu.bme.mit.inf.dslreasoner.application.execution.StandaloneScriptExecutor | 3 | import hu.bme.mit.inf.dslreasoner.application.execution.StandaloneScriptExecutor |
4 | import org.eclipse.viatra.query.runtime.api.ViatraQueryEngineOptions | ||
5 | import org.eclipse.viatra.query.runtime.rete.matcher.ReteBackendFactory | ||
4 | 6 | ||
5 | final class SatelliteGeneratorMain { | 7 | final class SatelliteGeneratorMain { |
6 | private new() { | 8 | private new() { |
@@ -8,6 +10,8 @@ final class SatelliteGeneratorMain { | |||
8 | } | 10 | } |
9 | 11 | ||
10 | public static def void main(String[] args) { | 12 | public static def void main(String[] args) { |
13 | ViatraQueryEngineOptions.setSystemDefaultBackends(ReteBackendFactory.INSTANCE, ReteBackendFactory.INSTANCE, | ||
14 | ReteBackendFactory.INSTANCE) | ||
11 | println(StandaloneScriptExecutor.executeScript("configs/generation.vsconfig")) | 15 | println(StandaloneScriptExecutor.executeScript("configs/generation.vsconfig")) |
12 | } | 16 | } |
13 | } | 17 | } |