From e8166f1005d9d2df782cc36aa15ad44c1d3541b6 Mon Sep 17 00:00:00 2001
From: dgelessus <dgelessus@users.noreply.github.com>
Date: Tue, 30 Jul 2024 22:29:28 +0200
Subject: [PATCH] Remove unused TLC4BGlobals.cleanup
---
src/main/java/de/tlc4b/TLC4B.java | 2 --
src/main/java/de/tlc4b/TLC4BGlobals.java | 12 ------------
2 files changed, 14 deletions(-)
diff --git a/src/main/java/de/tlc4b/TLC4B.java b/src/main/java/de/tlc4b/TLC4B.java
index f75a1f2..bbf7295 100644
--- a/src/main/java/de/tlc4b/TLC4B.java
+++ b/src/main/java/de/tlc4b/TLC4B.java
@@ -194,7 +194,6 @@ public class TLC4B {
System.setProperty("apple.awt.UIElement", "true"); // avoiding pop up windows
TLC4BGlobals.resetGlobals();
TLC4BGlobals.setDeleteOnExit(deleteFiles);
- // B2TLAGlobals.setCleanup(true);
TLC4B tlc4b = new TLC4B();
try {
tlc4b.process(args);
@@ -220,7 +219,6 @@ public class TLC4B {
System.setProperty("apple.awt.UIElement", "true"); // avoiding pop up windows
TLC4BGlobals.resetGlobals();
TLC4BGlobals.setDeleteOnExit(deleteFiles);
- // B2TLAGlobals.setCleanup(true);
TLC4B tlc4b = new TLC4B();
tlc4b.buildDir = new File("temp/");
diff --git a/src/main/java/de/tlc4b/TLC4BGlobals.java b/src/main/java/de/tlc4b/TLC4BGlobals.java
index eea24e9..bed89c2 100644
--- a/src/main/java/de/tlc4b/TLC4BGlobals.java
+++ b/src/main/java/de/tlc4b/TLC4BGlobals.java
@@ -27,8 +27,6 @@ public class TLC4BGlobals {
private static boolean hideTLCConsoleOutput;
private static boolean createTraceFile;
- private static boolean cleanup;
-
private static boolean forceTLCToEvalConstants;
private static int workers;
@@ -61,8 +59,6 @@ public class TLC4BGlobals {
proBconstantsSetup = false;
- cleanup = true;
-
workers = 1;
dfid_initial_depth = -1; // option not selected
@@ -212,14 +208,6 @@ public class TLC4BGlobals {
return TLC4BGlobals.dfid_initial_depth;
}
- public static boolean isCleanup() {
- return cleanup;
- }
-
- public static void setCleanup(boolean cleanup) {
- TLC4BGlobals.cleanup = cleanup;
- }
-
public static boolean isProBconstantsSetup() {
return proBconstantsSetup;
}
--
GitLab