blob: ad2c6d8877452e0fb932be7afb2b3f6324ea6251 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
|
package crossingScenario.run;
import java.awt.Desktop;
import java.io.File;
import java.io.IOException;
import java.nio.file.CopyOption;
import java.nio.file.Files;
import java.nio.file.Path;
import java.nio.file.Paths;
import java.nio.file.StandardCopyOption;
import java.util.List;
import hu.bme.mit.inf.dslreasoner.application.execution.StandaloneScriptExecutor;
public class CrossingScenarioMain {
private CrossingScenarioMain() {
throw new IllegalStateException("This is a static utility class and should not be instantiated directly.");
}
public static void main(String[] args) throws IOException, InterruptedException {
// System.out.println(System.getProperty("java.library.path"));
//// System.setProperty("java.library.path",
//// "/home/models/VIATRA-Generator/Solvers/SMT-Solver/com.microsoft.z3/lib");
// Thread.sleep(2000);
// System.out.println(System.getProperty("java.library.path"));
// System.loadLibrary("z3java");
String errorMessages = StandaloneScriptExecutor.executeScript("inputs/crossingScenarioGen.vsconfig");
if (errorMessages != null) {
System.out.println(errorMessages);
}
Path pathStats = Paths.get("outputs/statistics.csv");
// String pathXmi = "outputs/models/1.xmi";
// String savePath = "outputs/drawnModel1.png";
// Path target = Paths.get("../..//Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements1/stats.csv");
// Files.copy(path, target, StandardCopyOption.REPLACE_EXISTING);
printStats(pathStats);
for (int i = 1; i <= 3; i++) {
DrawScenario.drawScenario("outputs/models/"+i+".xmi", "outputs/drawnModel"+i+".png");
System.out.println("DONE " + i);
}
// String p1 = "outputs/models/1.xmi";
// String p2 = "outputs/simplePrevLane.tgf";
// QueryDebug.checkPrevLanes(p1, p2);
// Desktop.getDesktop().open(new File(p2));
System.gc();
}
public static void printStats(Path pathToStats) throws IOException {
List<String> content = Files.readAllLines(pathToStats);
String[] times = content.get(1).split(",");
System.out.println("STATISTICS");
int t1 = Integer.parseInt(times[3]);
int t2 = Integer.parseInt(times[4]);
int t3 = Integer.parseInt(times[5]);
int t4 = Integer.parseInt(times[6]);
int t5 = Integer.parseInt(times[7]);
int tot = t1+t2+t3+t4;
System.out.println("preprocessingTime -> ~" + (t1+t2));
System.out.println("sol0FoundAt -> " + (t5));
System.out.println("solver -> ~" + t3);
System.out.println("postprocessing -> " + t4);
System.out.println("TOTAL -> " + tot);
}
}
|
