From 8bb35caca5f77ac10a6d5f78e0265862e1e83af0 Mon Sep 17 00:00:00 2001
From: dgelessus <dgelessus@users.noreply.github.com>
Date: Wed, 24 Jan 2024 17:27:03 +0100
Subject: [PATCH] Replace uses of deprecated BParser methods
---
src/test/java/de/tla2b/prettyprintb/OperationsTest.java | 5 ++---
src/test/java/de/tla2b/util/TestUtil.java | 6 +++---
2 files changed, 5 insertions(+), 6 deletions(-)
diff --git a/src/test/java/de/tla2b/prettyprintb/OperationsTest.java b/src/test/java/de/tla2b/prettyprintb/OperationsTest.java
index 50c62a5..1dd7434 100644
--- a/src/test/java/de/tla2b/prettyprintb/OperationsTest.java
+++ b/src/test/java/de/tla2b/prettyprintb/OperationsTest.java
@@ -29,7 +29,7 @@ public class OperationsTest {
// parse pretty print result
final BParser parser = new BParser("testcase");
- final Start ppStart = parser.parse(pp.getPrettyPrint(), false);
+ final Start ppStart = parser.parseMachine(pp.getPrettyPrint());
String ppTree = TestUtil.getTreeAsString(ppStart);
// comparing result with pretty print
@@ -40,8 +40,7 @@ public class OperationsTest {
File expectedMachine = new File("src/test/resources/prettyprint/OperationsTest/OperationsTest.mch");
final BParser expectedParser = new BParser("testcase");
- final Start expectedStart = expectedParser.parseFile(expectedMachine,
- false);
+ final Start expectedStart = expectedParser.parseFile(expectedMachine);
String expectedTree = TestUtil.getTreeAsString(expectedStart);
diff --git a/src/test/java/de/tla2b/util/TestUtil.java b/src/test/java/de/tla2b/util/TestUtil.java
index 8d7a8be..f3f4186 100644
--- a/src/test/java/de/tla2b/util/TestUtil.java
+++ b/src/test/java/de/tla2b/util/TestUtil.java
@@ -56,7 +56,7 @@ public class TestUtil {
start.apply(pp);
System.out.println(pp.getPrettyPrint());
final BParser parser = new BParser("testcase");
- final Start ppStart = parser.parse(pp.getPrettyPrint(), false);
+ final Start ppStart = parser.parseMachine(pp.getPrettyPrint());
String result = getTreeAsString(start);
String ppResult = getTreeAsString(ppStart);
@@ -124,7 +124,7 @@ public class TestUtil {
pp.setRenaming(new SuffixIdentifierRenaming());
start.apply(pp);
final BParser parser = new BParser("testcase");
- parser.parse(pp.getPrettyPrint(), false);
+ parser.parseMachine(pp.getPrettyPrint());
}
public static TestTypeChecker typeCheckString(String moduleString) throws TLA2BException {
@@ -155,7 +155,7 @@ public class TestUtil {
public static String getAstStringofBMachineString(final String testMachine) throws BCompoundException {
final BParser parser = new BParser("testcase");
- final Start startNode = parser.parse(testMachine, false);
+ final Start startNode = parser.parseMachine(testMachine);
return getTreeAsString(startNode);
}
--
GitLab