diff options
| author |  Kristóf Marussy <marussy@mit.bme.hu> | 2020-05-19 21:22:01 +0200 |
|---|---|---|
| committer | Kristóf Marussy <marussy@mit.bme.hu> | 2020-05-19 22:11:37 +0200 |
| commit | 167e0470bc4562f77d46d8af8c0ef6794dfee693 (patch) | |
| tree | 8f647b4a6d6b412b9e912a4e0841a2898e830b13 /Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/src/hu/bme/mit/inf/dslreasoner/domains/satellite/runner/SatelliteGeneratorMain.xtend | |
| parent | Config language WIP (diff) | |
| parent | Merge branch 'master' of https://github.com/viatra/VIATRA-Generator (diff) | |
| download | VIATRA-Generator-167e0470bc4562f77d46d8af8c0ef6794dfee693.tar.gz VIATRA-Generator-167e0470bc4562f77d46d8af8c0ef6794dfee693.tar.zst VIATRA-Generator-167e0470bc4562f77d46d8af8c0ef6794dfee693.zip | |
Merge remote-tracking branch 'upstream/master'
Diffstat (limited to 'Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/src/hu/bme/mit/inf/dslreasoner/domains/satellite/runner/SatelliteGeneratorMain.xtend')
| -rw-r--r-- | Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/src/hu/bme/mit/inf/dslreasoner/domains/satellite/runner/SatelliteGeneratorMain.xtend | 3 |
1 files changed, 2 insertions, 1 deletions
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 5e4e4ef0..0ac66ce9 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 | |||
| @@ -12,6 +12,7 @@ final class SatelliteGeneratorMain { | |||
| 12 | public static def void main(String[] args) { | 12 | public static def void main(String[] args) { |
| 13 | ViatraQueryEngineOptions.setSystemDefaultBackends(ReteBackendFactory.INSTANCE, ReteBackendFactory.INSTANCE, | 13 | ViatraQueryEngineOptions.setSystemDefaultBackends(ReteBackendFactory.INSTANCE, ReteBackendFactory.INSTANCE, |
| 14 | ReteBackendFactory.INSTANCE) | 14 | ReteBackendFactory.INSTANCE) |
| 15 | println(StandaloneScriptExecutor.executeScript("configs/generation.vsconfig")) | 15 | val res = StandaloneScriptExecutor.executeScript("configs/generation.vsconfig") |
| 16 | if(res!==null) println(res) | ||
| 16 | } | 17 | } |
| 17 | } | 18 | } |