diff --git a/src/main/java/de/tudresden/inf/st/pnml/gen/Main.java b/src/main/java/de/tudresden/inf/st/pnml/gen/Main.java index edea8a0082e6857ffce2df835e1e88783bda39f6..f65e2badb9af8dc6d84e2f9e0f86318da2d7844f 100644 --- a/src/main/java/de/tudresden/inf/st/pnml/gen/Main.java +++ b/src/main/java/de/tudresden/inf/st/pnml/gen/Main.java @@ -18,13 +18,13 @@ public class Main { public static void main(java.lang.String[] args) throws IOException { - // if(args.length != 1){ - // System.out.println("Error: Invalid arguments."); - // return; - // } + if(args.length != 1){ + System.out.println("Error: Invalid arguments."); + return; + } - //String configPath = args[0]; - String configPath = "src/test/resources/GeneratorConfig.json"; + String configPath = args[0]; + //String configPath = "src/test/resources/GeneratorConfig.json"; ObjectMapper generatorConfigObjectMapper = new ObjectMapper(); GeneratorConfig gc = generatorConfigObjectMapper.readValue(Files.readString(Paths.get(configPath)), GeneratorConfig.class);