Select Git revision
moveit_mediator.h
Main.java 1.15 KiB
package de.tudresden.inf.st.mg;
import de.tudresden.inf.st.mg.jastadd.model.World;
import java.io.File;
import java.io.IOException;
import java.nio.file.Files;
import java.nio.file.Path;
import java.util.Comparator;
import java.util.Random;
public class Main {
public static final Path AST_DIAGRAM_DIR = Path.of("src", "gen", "resources", "diagrams", "parsing");
public static void main(String[] args) {
// for some reason, the best random seed value here is 1 and not 0???
World world = World.initialWorld(new Random(1));
WorldParser parser = new WorldParser(world);
parser.setDebugDiagramDir(AST_DIAGRAM_DIR);
try {
Files.walk(AST_DIAGRAM_DIR)
.sorted(Comparator.reverseOrder())
.map(Path::toFile)
.forEach(File::delete);
} catch (IOException ignored) {
}
try {
Files.createDirectories(AST_DIAGRAM_DIR);
} catch (IOException e) {
System.err.println("Unable to create AST diagram directory " + AST_DIAGRAM_DIR);
e.printStackTrace();
}
try {
parser.parse();
} catch (WorldParser.ParseException e) {
e.printStackTrace();
}
}
}