diff options
| author |  Aren Babikian <aren.babikian@mail.mcgill.ca> | 2021-02-16 09:01:25 +0100 |
|---|---|---|
| committer | Aren Babikian <aren.babikian@mail.mcgill.ca> | 2021-02-16 09:01:25 +0100 |
| commit | bc403272d867f82edd623179d82c080e57154c1a (patch) | |
| tree | 3551ba142ed725595ee684981fc8973cade2ebf4 /Domains | |
| parent | add dreal-timeout flag (diff) | |
| download | VIATRA-Generator-bc403272d867f82edd623179d82c080e57154c1a.tar.gz VIATRA-Generator-bc403272d867f82edd623179d82c080e57154c1a.tar.zst VIATRA-Generator-bc403272d867f82edd623179d82c080e57154c1a.zip | |
CrossingScenario case study is ready for serverdreal-integration
Diffstat (limited to 'Domains')
| -rw-r--r-- | Domains/crossingScenario/src/crossingScenario/run/DrawScenario.java | 10 |
1 files changed, 6 insertions, 4 deletions
diff --git a/Domains/crossingScenario/src/crossingScenario/run/DrawScenario.java b/Domains/crossingScenario/src/crossingScenario/run/DrawScenario.java index cce2b3f2..61fa51a2 100644 --- a/Domains/crossingScenario/src/crossingScenario/run/DrawScenario.java +++ b/Domains/crossingScenario/src/crossingScenario/run/DrawScenario.java | |||
| @@ -32,10 +32,12 @@ public class DrawScenario { | |||
| 32 | public static final int SIZE = 1000; | 32 | public static final int SIZE = 1000; |
| 33 | 33 | ||
| 34 | public static void main(String[] args) throws IOException { | 34 | public static void main(String[] args) throws IOException { |
| 35 | for (int i = 1; i <= 10; i++) { | 35 | drawScenario("/home/models/VIATRA-Generator/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/models/StrategyNo/size01to-1r1n1rt300nsdreal-localdrto10000_16-0823/1.xmi" |
| 36 | drawScenario("outputs/models/"+i+".xmi", "outputs/drawnModel"+i+".png"); | 36 | , "outputs/drawnModelMisc.png"); |
| 37 | System.out.println("DONE " + i); | 37 | // for (int i = 1; i <= 10; i++) { |
| 38 | } | 38 | // drawScenario("outputs/models/"+i+".xmi", "outputs/drawnModel"+i+".png"); |
| 39 | // System.out.println("DONE " + i); | ||
| 40 | // } | ||
| 39 | } | 41 | } |
| 40 | 42 | ||
| 41 | public static File drawScenario(String pathToXmi, String saveToPath) throws IOException { | 43 | public static File drawScenario(String pathToXmi, String saveToPath) throws IOException { |