Skip to content
Snippets Groups Projects
Commit e82d15c0 authored by dgelessus's avatar dgelessus
Browse files

Re-add old method names as deprecated to improve backwards compatibility

Follow-up to a3b3fb00.
parent f464fa63
No related branches found
No related tags found
No related merge requests found
......@@ -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);
......
......@@ -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;
}
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment