From cb9e4ee4502943c956c9ef2daf9bd26ba2daaa03 Mon Sep 17 00:00:00 2001
From: SebastianEbert <sebastian.ebert@tu-dresden.de>
Date: Fri, 21 Apr 2023 13:17:00 +0200
Subject: [PATCH] cleaned main
---
src/main/java/de/tudresden/inf/st/pnml/gen/Main.java | 12 ++++++------
1 file changed, 6 insertions(+), 6 deletions(-)
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 edea8a0..f65e2ba 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);
--
GitLab