diff options
Diffstat (limited to 'Domains/crossingScenario/src/crossingScenario/run/CrossingScenarioMain.java')
-rw-r--r-- | Domains/crossingScenario/src/crossingScenario/run/CrossingScenarioMain.java | 29 |
1 files changed, 17 insertions, 12 deletions
diff --git a/Domains/crossingScenario/src/crossingScenario/run/CrossingScenarioMain.java b/Domains/crossingScenario/src/crossingScenario/run/CrossingScenarioMain.java index 57a91dfc..9d0860ec 100644 --- a/Domains/crossingScenario/src/crossingScenario/run/CrossingScenarioMain.java +++ b/Domains/crossingScenario/src/crossingScenario/run/CrossingScenarioMain.java | |||
@@ -29,12 +29,25 @@ public class CrossingScenarioMain { | |||
29 | System.out.println(errorMessages); | 29 | System.out.println(errorMessages); |
30 | } | 30 | } |
31 | 31 | ||
32 | Path pathStats = Paths.get("outputs/statistics.csv"); | ||
33 | String pathXmi = "outputs/models/1.xmi"; | ||
34 | // Path target = Paths.get("../..//Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements1/stats.csv"); | ||
35 | // Files.copy(path, target, StandardCopyOption.REPLACE_EXISTING); | ||
32 | 36 | ||
33 | Path path = Paths.get("outputs/statistics.csv"); | 37 | printStats(pathStats); |
34 | Path target = Paths.get("../..//Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements1/stats.csv"); | 38 | DrawScenario.drawScenario(pathXmi); |
35 | Files.copy(path, target, StandardCopyOption.REPLACE_EXISTING); | ||
36 | 39 | ||
37 | List<String> content = Files.readAllLines(path); | 40 | // String p1 = "outputs/models/1.xmi"; |
41 | // String p2 = "outputs/simplePrevLane.tgf"; | ||
42 | // QueryDebug.checkPrevLanes(p1, p2); | ||
43 | // Desktop.getDesktop().open(new File(p2)); | ||
44 | System.gc(); | ||
45 | System.gc(); | ||
46 | System.gc(); | ||
47 | } | ||
48 | |||
49 | public static void printStats(Path pathToStats) throws IOException { | ||
50 | List<String> content = Files.readAllLines(pathToStats); | ||
38 | String[] times = content.get(1).split(","); | 51 | String[] times = content.get(1).split(","); |
39 | System.out.println("STATISTICS"); | 52 | System.out.println("STATISTICS"); |
40 | int t1 = Integer.parseInt(times[3]); | 53 | int t1 = Integer.parseInt(times[3]); |
@@ -49,13 +62,5 @@ public class CrossingScenarioMain { | |||
49 | System.out.println("postprocessing -> " + t4); | 62 | System.out.println("postprocessing -> " + t4); |
50 | 63 | ||
51 | System.out.println("TOTAL -> " + tot); | 64 | System.out.println("TOTAL -> " + tot); |
52 | |||
53 | String p1 = "outputs/models/1.xmi"; | ||
54 | String p2 = "outputs/simplePrevLane.tgf"; | ||
55 | // QueryDebug.checkPrevLanes(p1, p2); | ||
56 | // Desktop.getDesktop().open(new File(p2)); | ||
57 | System.gc(); | ||
58 | System.gc(); | ||
59 | System.gc(); | ||
60 | } | 65 | } |
61 | } | 66 | } |