diff --git a/src/main/java/de/tlc4b/TLC4B.java b/src/main/java/de/tlc4b/TLC4B.java index 5e7bda9720aeac1446ac72aab2a99820c913cdf0..789b28444789f2c6e8cd14dc8a8a46f408912eee 100644 --- a/src/main/java/de/tlc4b/TLC4B.java +++ b/src/main/java/de/tlc4b/TLC4B.java @@ -525,10 +525,6 @@ public class TLC4B { } } - public File getBuildDir() { - return buildDir; - } - public String getMachineFileNameWithoutFileExtension() { return machineFileNameWithoutFileExtension; } diff --git a/src/test/java/de/tlc4b/util/TestUtil.java b/src/test/java/de/tlc4b/util/TestUtil.java index 0b4aa3b582ecf9954cc218a86507c1f8f4647f5b..464541d563bd67220e1b1c996af28430f3d84df8 100644 --- a/src/test/java/de/tlc4b/util/TestUtil.java +++ b/src/test/java/de/tlc4b/util/TestUtil.java @@ -1,7 +1,6 @@ package de.tlc4b.util; import java.io.BufferedReader; -import java.io.File; import java.io.IOException; import java.io.InputStream; import java.io.InputStreamReader; @@ -13,9 +12,7 @@ import java.util.List; import de.be4.classicalb.core.parser.exceptions.BCompoundException; import de.be4.classicalb.core.parser.exceptions.BException; -import de.tla2b.exceptions.FrontEndException; import de.tla2b.exceptions.TLA2BException; -import de.tlc4b.TLC4B; import de.tlc4b.TLC4BGlobals; import de.tlc4b.Translator; import de.tlc4b.tlc.TLCResults.TLCResult; @@ -208,21 +205,6 @@ public class TestUtil { processBuilder.redirectErrorStream(true); return processBuilder.start(); } - - public static void testParse(String[] args, boolean deleteFiles) throws IOException, BCompoundException, FrontEndException { - TLC4BGlobals.resetGlobals(); - TLC4BGlobals.setDeleteOnExit(deleteFiles); - TLC4BGlobals.setCreateTraceFile(false); - TLC4BGlobals.setTestingMode(true); - // B2TLAGlobals.setCleanup(true); - TLC4B tlc4b = new TLC4B(); - tlc4b.process(args); - File module = new File(tlc4b.getBuildDir(), tlc4b.getMachineFileNameWithoutFileExtension() + ".tla"); - - // parse result - new de.tla2bAst.Translator(module.getCanonicalPath()); - } - } class StreamGobbler extends Thread {