From c1e63cd5200353a3c5cb1c31f90f921ec96d5cd3 Mon Sep 17 00:00:00 2001
From: Jan Gruteser <jan.gruteser@hhu.de>
Date: Thu, 2 Jan 2025 15:58:32 +0100
Subject: [PATCH] add comments and make name of the dummy module clearer

---
 src/main/java/de/tla2bAst/ExpressionTranslator.java | 8 +++++++-
 1 file changed, 7 insertions(+), 1 deletion(-)

diff --git a/src/main/java/de/tla2bAst/ExpressionTranslator.java b/src/main/java/de/tla2bAst/ExpressionTranslator.java
index 1a64ada..c87b11c 100644
--- a/src/main/java/de/tla2bAst/ExpressionTranslator.java
+++ b/src/main/java/de/tla2bAst/ExpressionTranslator.java
@@ -76,7 +76,7 @@ public class ExpressionTranslator implements SyntaxTreeConstants {
 
 		File tempFile;
 		try {
-			tempFile = File.createTempFile("Testing", ".tla");
+			tempFile = File.createTempFile("Expression", ".tla");
 		} catch (IOException e) {
 			throw new ExpressionTranslationException("Can not create temporary file in directory '" + dir + "'");
 		}
@@ -142,12 +142,18 @@ public class ExpressionTranslator implements SyntaxTreeConstants {
 		}
 	}
 
+	/**
+	 * translate a standalone TLA+ expression without any context
+	 */
 	public static Start translate(String tlaExpression) {
 		ExpressionTranslator expressionTranslator = new ExpressionTranslator(tlaExpression);
 		expressionTranslator.parse();
 		return expressionTranslator.translate();
 	}
 
+	/**
+	 * translate a TLA+ expression in the context of another module, given its translator
+	 */
 	public static Start translate(String tlaExpression, Translator translator) {
 		ExpressionTranslator expressionTranslator = new ExpressionTranslator(tlaExpression, translator);
 		expressionTranslator.parse();
-- 
GitLab