From 2e73d65cd601d0dc536d831b6ed56b30a5c2c43a Mon Sep 17 00:00:00 2001
From: dgelessus <dgelessus@users.noreply.github.com>
Date: Tue, 30 Jul 2024 21:30:10 +0200
Subject: [PATCH] Replace TestUtil.tryTranslating with .translate
The extra TLC4B and TLC settings aren't relevant for tests that only
check that translation fails.
---
.../java/de/tlc4b/analysis/UnsupportedConstructsTest.java | 4 ++--
src/test/java/de/tlc4b/util/TestUtil.java | 7 -------
2 files changed, 2 insertions(+), 9 deletions(-)
diff --git a/src/test/java/de/tlc4b/analysis/UnsupportedConstructsTest.java b/src/test/java/de/tlc4b/analysis/UnsupportedConstructsTest.java
index 030e639..84696b2 100644
--- a/src/test/java/de/tlc4b/analysis/UnsupportedConstructsTest.java
+++ b/src/test/java/de/tlc4b/analysis/UnsupportedConstructsTest.java
@@ -11,12 +11,12 @@ public class UnsupportedConstructsTest {
@Test(expected = NotSupportedException.class)
public void testExtends() throws Exception {
final String machine = "MACHINE test\n" + "EXTENDS foo\n PROMOTES bar\n" + "END";
- tryTranslating(machine);
+ translate(machine);
}
@Test(expected = NotSupportedException.class)
public void testImplementation() throws Exception {
final String machine = "IMPLEMENTATION test REFINES foo END";
- tryTranslating(machine);
+ translate(machine);
}
}
diff --git a/src/test/java/de/tlc4b/util/TestUtil.java b/src/test/java/de/tlc4b/util/TestUtil.java
index c4eeec7..c8ca6a9 100644
--- a/src/test/java/de/tlc4b/util/TestUtil.java
+++ b/src/test/java/de/tlc4b/util/TestUtil.java
@@ -79,13 +79,6 @@ public class TestUtil {
assertEquals(expectedB, actualB);
}
- public static void tryTranslating(final String machineString) throws BCompoundException {
- TLC4BGlobals.setForceTLCToEvalConstants(false);
- ToolIO.setMode(ToolIO.TOOL);
- Translator b2tlaTranslator = new Translator(machineString);
- b2tlaTranslator.translate();
- }
-
public static String translateTLA2B(String moduleName, String tlaString, String configString)
throws TLA2BException {
return de.tla2bAst.Translator.translateModuleString(moduleName, tlaString, configString);
--
GitLab