aboutsummaryrefslogtreecommitdiffstats
path: root/Domains/crossingScenario/src/crossingScenario/run/CrossingScenarioMain.java
diff options
context:
space:
mode:
Diffstat (limited to 'Domains/crossingScenario/src/crossingScenario/run/CrossingScenarioMain.java')
-rw-r--r--Domains/crossingScenario/src/crossingScenario/run/CrossingScenarioMain.java29
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}