From 55da73205f45e27042b62c85d75484df8f641761 Mon Sep 17 00:00:00 2001
From: dgelessus <dgelessus@users.noreply.github.com>
Date: Tue, 30 Jul 2024 22:44:50 +0200
Subject: [PATCH] Remove unused -tool option that does nothing
---
src/main/java/de/tlc4b/TLC4B.java | 1 -
src/main/java/de/tlc4b/TLC4BGlobals.java | 10 ----------
src/main/java/de/tlc4b/TLC4BOption.java | 1 -
3 files changed, 12 deletions(-)
diff --git a/src/main/java/de/tlc4b/TLC4B.java b/src/main/java/de/tlc4b/TLC4B.java
index 06137bf..615aff0 100644
--- a/src/main/java/de/tlc4b/TLC4B.java
+++ b/src/main/java/de/tlc4b/TLC4B.java
@@ -282,7 +282,6 @@ public class TLC4B {
TLC4BGlobals.setAssertionCheck(!line.hasOption(NOASS.arg()));
TLC4BGlobals.setWelldefinednessCheck(line.hasOption(WDCHECK.arg()));
TLC4BGlobals.setSymmetryUse(line.hasOption(SYMMETRY.arg()));
- TLC4BGlobals.setTool(!line.hasOption(TOOL.arg()));
TLC4BGlobals.setCheckltl(!line.hasOption(NOLTL.arg()));
TLC4BGlobals.setForceTLCToEvalConstants(!line.hasOption(LAZYCONSTANTS.arg()));
TLC4BGlobals.setCreateTraceFile(!line.hasOption(NOTRACE.arg()));
diff --git a/src/main/java/de/tlc4b/TLC4BGlobals.java b/src/main/java/de/tlc4b/TLC4BGlobals.java
index 51f03f5..2ae19fc 100644
--- a/src/main/java/de/tlc4b/TLC4BGlobals.java
+++ b/src/main/java/de/tlc4b/TLC4BGlobals.java
@@ -22,7 +22,6 @@ public class TLC4BGlobals {
private static boolean runTLC;
private static boolean translate;
- private static boolean hideTLCConsoleOutput;
private static boolean createTraceFile;
private static boolean forceTLCToEvalConstants;
@@ -60,7 +59,6 @@ public class TLC4BGlobals {
// for debugging purposes
runTLC = true;
translate = true;
- hideTLCConsoleOutput = false; // is mapped to TOOLIO.tool
deleteFilesOnExit = false; // if enabled: deletes all created '.tla', '.cfg' files on exit of the JVM.
// This includes the created B2TLA standard modules (e.g. Relation, but not Naturals etc.).
createTraceFile = true;
@@ -114,10 +112,6 @@ public class TLC4BGlobals {
return checkLTL;
}
- public static boolean isTool() {
- return hideTLCConsoleOutput;
- }
-
public static boolean isDeleteOnExit() {
return deleteFilesOnExit;
}
@@ -170,10 +164,6 @@ public class TLC4BGlobals {
TLC4BGlobals.checkLTL = checkltl;
}
- public static void setTool(boolean tool) {
- TLC4BGlobals.hideTLCConsoleOutput = tool;
- }
-
public static void setDeleteOnExit(boolean deleteOnExit) {
TLC4BGlobals.deleteFilesOnExit = deleteOnExit;
}
diff --git a/src/main/java/de/tlc4b/TLC4BOption.java b/src/main/java/de/tlc4b/TLC4BOption.java
index 902ae72..0c2292f 100644
--- a/src/main/java/de/tlc4b/TLC4BOption.java
+++ b/src/main/java/de/tlc4b/TLC4BOption.java
@@ -9,7 +9,6 @@ public enum TLC4BOption {
NOASS("noass", "do not look for ASSERTION violations", null),
WDCHECK("wdcheck", "", null),
SYMMETRY("symmetry", "", null),
- TOOL("tool", "", null),
TMP("tmp", "", null),
NOLTL("noltl", "no checking of LTL assertions", null),
LAZYCONSTANTS("lazyconstants", "", null),
--
GitLab