From e7242139e23a1e5604243edbd6a0cdc21f063aa8 Mon Sep 17 00:00:00 2001 From: dgelessus <dgelessus@users.noreply.github.com> Date: Tue, 30 Jul 2024 13:29:38 +0200 Subject: [PATCH] Refactor TLC4B.translate to remove parameter --- src/main/java/de/tlc4b/TLC4B.java | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) diff --git a/src/main/java/de/tlc4b/TLC4B.java b/src/main/java/de/tlc4b/TLC4B.java index 8446759..723a0f4 100644 --- a/src/main/java/de/tlc4b/TLC4B.java +++ b/src/main/java/de/tlc4b/TLC4B.java @@ -112,7 +112,8 @@ public class TLC4B { try { TLC4B tlc4B = new TLC4B(); tlc4B.processArgs(new String[]{path, SILENT.cliArg()}); - tlc4B.translate(false); + tlc4B.translate(); + // tlc4B.createFiles() is intentionally not called here! return null; } catch (BCompoundException | IOException | TLC4BException e) { return e; @@ -368,7 +369,7 @@ public class TLC4B { printlnVerbose(""); } - private void translate(boolean createFiles) throws IOException, BCompoundException { + private void translate() throws IOException, BCompoundException { StopWatch.start(PARSING_TIME); MP.printSilent("Parsing... "); translator = new Translator(machineFileNameWithoutFileExtension, @@ -384,14 +385,13 @@ public class TLC4B { this.tlcOutputInfo = translator.getTLCOutputInfo(); StopWatch.stop(TRANSLATION_TIME); printlnSilent("(" + StopWatch.getRunTimeAsString(TRANSLATION_TIME) + "ms)"); - if (createFiles) - createFiles(); } public void process(String[] args) throws IOException, BCompoundException { processArgs(args); if (TLC4BGlobals.isTranslate()) { - translate(true); + translate(); + createFiles(); } } -- GitLab