From e82d15c0d6693263f101daa799454f4c407f09be Mon Sep 17 00:00:00 2001
From: dgelessus <dgelessus@users.noreply.github.com>
Date: Mon, 30 Sep 2024 13:48:05 +0200
Subject: [PATCH] Re-add old method names as deprecated to improve backwards
compatibility
Follow-up to a3b3fb00b5c30570bd3a0a56c1c3c629939e2a7a.
---
src/main/java/de/tla2bAst/ExpressionTranslator.java | 5 +++++
src/main/java/de/tla2bAst/Translator.java | 10 ++++++++++
2 files changed, 15 insertions(+)
diff --git a/src/main/java/de/tla2bAst/ExpressionTranslator.java b/src/main/java/de/tla2bAst/ExpressionTranslator.java
index 35f6460..934b371 100644
--- a/src/main/java/de/tla2bAst/ExpressionTranslator.java
+++ b/src/main/java/de/tla2bAst/ExpressionTranslator.java
@@ -156,6 +156,11 @@ public class ExpressionTranslator implements SyntaxTreeConstants {
return this.expressionStart;
}
+ @Deprecated
+ public Start translate() {
+ return this.translateWithoutModel();
+ }
+
public static ModuleNode parseModule(String moduleName, String module)
throws de.tla2b.exceptions.FrontEndException {
SpecObj spec = new SpecObj(moduleName, null);
diff --git a/src/main/java/de/tla2bAst/Translator.java b/src/main/java/de/tla2bAst/Translator.java
index 187cfc6..5f09fde 100644
--- a/src/main/java/de/tla2bAst/Translator.java
+++ b/src/main/java/de/tla2bAst/Translator.java
@@ -321,12 +321,22 @@ public class Translator implements TranslationGlobals {
return expressionTranslator.translateIncludingModel();
}
+ @Deprecated
+ public Start translateExpression(String tlaExpression) throws TLA2BException {
+ return this.translateExpressionIncludingModel(tlaExpression);
+ }
+
public static Start translateExpressionWithoutModel(String tlaExpression) {
ExpressionTranslator expressionTranslator = new ExpressionTranslator(tlaExpression);
expressionTranslator.parse();
return expressionTranslator.translateWithoutModel();
}
+ @Deprecated
+ public static Start translateTlaExpression(String tlaExpression) {
+ return translateExpressionWithoutModel(tlaExpression);
+ }
+
public Definitions getBDefinitions() {
return bDefinitions;
}
--
GitLab