From 7cc3df841ba5da543b5e58ab4b8bc127ab426487 Mon Sep 17 00:00:00 2001
From: dgelessus <dgelessus@users.noreply.github.com>
Date: Tue, 30 Jul 2024 16:11:32 +0200
Subject: [PATCH] Convert mainfile to File right away
---
src/main/java/de/tlc4b/TLC4B.java | 4 +---
1 file changed, 1 insertion(+), 3 deletions(-)
diff --git a/src/main/java/de/tlc4b/TLC4B.java b/src/main/java/de/tlc4b/TLC4B.java
index 403a33a..81a544f 100644
--- a/src/main/java/de/tlc4b/TLC4B.java
+++ b/src/main/java/de/tlc4b/TLC4B.java
@@ -40,7 +40,6 @@ import static de.tlc4b.MP.*;
public class TLC4B {
private static final String CSV_DELIMITER = ";";
- private String filename;
private File mainfile, traceFile;
private String machineFileNameWithoutFileExtension;
// e.g. Test of file foo/bar/Test.mch
@@ -272,7 +271,7 @@ public class TLC4B {
if (remainingArgs.length != 1) {
throw new TLC4BIOException("Main machine required!");
} else {
- filename = remainingArgs[0];
+ mainfile = new File(remainingArgs[0]);
}
TLC4BGlobals.setVerbose(line.hasOption(VERBOSE.arg()));
@@ -401,7 +400,6 @@ public class TLC4B {
}
private void handleMainFileName() {
- mainfile = new File(filename);
if (!mainfile.exists()) {
throw new TLC4BIOException("The file " + mainfile.getPath() + " does not exist.");
}
--
GitLab