diff options
author | Aren Babikian <aren.babikian@mail.mcgill.ca> | 2021-01-26 22:04:28 +0100 |
---|---|---|
committer | Aren Babikian <aren.babikian@mail.mcgill.ca> | 2021-01-26 22:04:28 +0100 |
commit | 48915afb6bd6bfb7c84533c0d4383c90e65dda33 (patch) | |
tree | b783bdebad102e078dc0975ebd23b5d99d71d2d5 /Domains/crossingScenario/src | |
parent | temporary fix for Z3 usage on Linux VM (diff) | |
download | VIATRA-Generator-48915afb6bd6bfb7c84533c0d4383c90e65dda33.tar.gz VIATRA-Generator-48915afb6bd6bfb7c84533c0d4383c90e65dda33.tar.zst VIATRA-Generator-48915afb6bd6bfb7c84533c0d4383c90e65dda33.zip |
Improve crossingScenario queries + small ease-of-use adjustments
Diffstat (limited to 'Domains/crossingScenario/src')
-rw-r--r-- | Domains/crossingScenario/src/crossingScenario/run/CrossingScenarioMain.java | 9 | ||||
-rw-r--r-- | Domains/crossingScenario/src/crossingScenario/run/DrawScenario.java | 19 |
2 files changed, 25 insertions, 3 deletions
diff --git a/Domains/crossingScenario/src/crossingScenario/run/CrossingScenarioMain.java b/Domains/crossingScenario/src/crossingScenario/run/CrossingScenarioMain.java index ed227f7a..5bf70b3a 100644 --- a/Domains/crossingScenario/src/crossingScenario/run/CrossingScenarioMain.java +++ b/Domains/crossingScenario/src/crossingScenario/run/CrossingScenarioMain.java | |||
@@ -30,13 +30,16 @@ public class CrossingScenarioMain { | |||
30 | } | 30 | } |
31 | 31 | ||
32 | Path pathStats = Paths.get("outputs/statistics.csv"); | 32 | Path pathStats = Paths.get("outputs/statistics.csv"); |
33 | String pathXmi = "outputs/models/1.xmi"; | 33 | // String pathXmi = "outputs/models/1.xmi"; |
34 | String savePath = "outputs/drawnModel1.png"; | 34 | // String savePath = "outputs/drawnModel1.png"; |
35 | // Path target = Paths.get("../..//Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements1/stats.csv"); | 35 | // Path target = Paths.get("../..//Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements1/stats.csv"); |
36 | // Files.copy(path, target, StandardCopyOption.REPLACE_EXISTING); | 36 | // Files.copy(path, target, StandardCopyOption.REPLACE_EXISTING); |
37 | 37 | ||
38 | printStats(pathStats); | 38 | printStats(pathStats); |
39 | DrawScenario.drawScenario(pathXmi, savePath); | 39 | for (int i = 1; i <= 10; i++) { |
40 | DrawScenario.drawScenario("outputs/models/"+i+".xmi", "outputs/drawnModel"+i+".png"); | ||
41 | System.out.println("DONE " + i); | ||
42 | } | ||
40 | 43 | ||
41 | // String p1 = "outputs/models/1.xmi"; | 44 | // String p1 = "outputs/models/1.xmi"; |
42 | // String p2 = "outputs/simplePrevLane.tgf"; | 45 | // String p2 = "outputs/simplePrevLane.tgf"; |
diff --git a/Domains/crossingScenario/src/crossingScenario/run/DrawScenario.java b/Domains/crossingScenario/src/crossingScenario/run/DrawScenario.java index 572fea68..daf294f4 100644 --- a/Domains/crossingScenario/src/crossingScenario/run/DrawScenario.java +++ b/Domains/crossingScenario/src/crossingScenario/run/DrawScenario.java | |||
@@ -135,6 +135,25 @@ public class DrawScenario { | |||
135 | 135 | ||
136 | } | 136 | } |
137 | } | 137 | } |
138 | |||
139 | g.setPaint(Color.GREEN); | ||
140 | for (Relation ce : cs.getRelations().stream(). | ||
141 | filter(r -> r instanceof VisionBlocked).collect(Collectors.toList())) { | ||
142 | Actor a1 = ce.getSource(); | ||
143 | Actor a2 = ce.getTarget(); | ||
144 | Actor b = ((VisionBlocked) ce).getBlockedBy(); | ||
145 | |||
146 | |||
147 | int x1 = (int) (a1.getXPos() * multiplier); | ||
148 | int y1 = (int) (a1.getYPos() * multiplier); | ||
149 | int x2 = (int) (a2.getXPos() * multiplier); | ||
150 | int y2 = (int) (a2.getYPos() * multiplier); | ||
151 | int xb = (int) (b.getXPos() * multiplier); | ||
152 | int yb = (int) (b.getYPos() * multiplier); | ||
153 | |||
154 | g.drawLine(x1, y1, xb, yb); | ||
155 | g.drawLine(x2, y2, xb, yb); | ||
156 | } | ||
138 | g.dispose(); | 157 | g.dispose(); |
139 | 158 | ||
140 | File f = new File(saveToPath); | 159 | File f = new File(saveToPath); |