aboutsummaryrefslogtreecommitdiffstats
path: root/Domains/crossingScenario/src
diff options
context:
space:
mode:
authorLibravatar Aren Babikian <aren.babikian@mail.mcgill.ca>2021-01-26 22:04:28 +0100
committerLibravatar Aren Babikian <aren.babikian@mail.mcgill.ca>2021-01-26 22:04:28 +0100
commit48915afb6bd6bfb7c84533c0d4383c90e65dda33 (patch)
treeb783bdebad102e078dc0975ebd23b5d99d71d2d5 /Domains/crossingScenario/src
parenttemporary fix for Z3 usage on Linux VM (diff)
downloadVIATRA-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.java9
-rw-r--r--Domains/crossingScenario/src/crossingScenario/run/DrawScenario.java19
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);