Skip to main content
Sign in
Snippets Groups Projects
Select Git revision
  • 6a407f80595b6d275ec06b36a63d4a34c2bb5247
  • main default protected
  • with-gen
  • feature/waiting
  • feature/control
  • feature/tracing
  • feature/demo
  • wip
8 results

Main.java

  • 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();
        }
    
      }
    
    }