diff options
| author |  Kristóf Marussy <kris7topher@gmail.com> | 2019-04-15 16:23:19 +0200 |
|---|---|---|
| committer | Kristóf Marussy <kris7topher@gmail.com> | 2019-04-15 16:23:19 +0200 |
| commit | 2531cfb60d747c261a20201415728beb0e24ab9b (patch) | |
| tree | 0d7a242c674d735879e8c017bda7212e7ad02df2 /Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/xtend-gen/hu/bme/mit/inf/dslreasoner/domains | |
| parent | Make diversity checking work with optimization (diff) | |
| download | VIATRA-Generator-2531cfb60d747c261a20201415728beb0e24ab9b.tar.gz VIATRA-Generator-2531cfb60d747c261a20201415728beb0e24ab9b.tar.zst VIATRA-Generator-2531cfb60d747c261a20201415728beb0e24ab9b.zip | |
Satellite constellation case study WIP
Diffstat (limited to 'Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/xtend-gen/hu/bme/mit/inf/dslreasoner/domains')
3 files changed, 16 insertions, 0 deletions
diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/xtend-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/runner/.SatelliteGeneratorMain.xtendbin b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/xtend-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/runner/.SatelliteGeneratorMain.xtendbin new file mode 100644 index 00000000..d2d60846 --- /dev/null +++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/xtend-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/runner/.SatelliteGeneratorMain.xtendbin | |||
| Binary files differ | |||
diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/xtend-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/runner/.gitignore b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/xtend-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/runner/.gitignore new file mode 100644 index 00000000..928d3658 --- /dev/null +++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/xtend-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/runner/.gitignore | |||
| @@ -0,0 +1 @@ | |||
| /.SatelliteGeneratorMain.java._trace | |||
diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/xtend-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/runner/SatelliteGeneratorMain.java b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/xtend-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/runner/SatelliteGeneratorMain.java new file mode 100644 index 00000000..f6890163 --- /dev/null +++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/xtend-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/runner/SatelliteGeneratorMain.java | |||
| @@ -0,0 +1,15 @@ | |||
| 1 | package hu.bme.mit.inf.dslreasoner.domains.satellite.runner; | ||
| 2 | |||
| 3 | import hu.bme.mit.inf.dslreasoner.application.execution.StandaloneScriptExecutor; | ||
| 4 | import org.eclipse.xtext.xbase.lib.InputOutput; | ||
| 5 | |||
| 6 | @SuppressWarnings("all") | ||
| 7 | public final class SatelliteGeneratorMain { | ||
| 8 | private SatelliteGeneratorMain() { | ||
| 9 | throw new IllegalStateException("This is a static utility class and should not be instantiated directly."); | ||
| 10 | } | ||
| 11 | |||
| 12 | public static void main(final String[] args) { | ||
| 13 | InputOutput.<String>println(StandaloneScriptExecutor.executeScript("configs/generation.vsconfig")); | ||
| 14 | } | ||
| 15 | } | ||