From 3a790156b08015b3b3d199482a69acdc750e92df Mon Sep 17 00:00:00 2001
From: Jan Gruteser <jan.gruteser@hhu.de>
Date: Mon, 23 Dec 2024 10:48:55 +0100
Subject: [PATCH] get rid of SimpleResolver

---
 src/main/java/de/tla2bAst/SimpleResolver.java | 25 -------------------
 src/main/java/de/tla2bAst/Translator.java     |  3 +--
 2 files changed, 1 insertion(+), 27 deletions(-)
 delete mode 100644 src/main/java/de/tla2bAst/SimpleResolver.java

diff --git a/src/main/java/de/tla2bAst/SimpleResolver.java b/src/main/java/de/tla2bAst/SimpleResolver.java
deleted file mode 100644
index b69f723..0000000
--- a/src/main/java/de/tla2bAst/SimpleResolver.java
+++ /dev/null
@@ -1,25 +0,0 @@
-package de.tla2bAst;
-
-import util.FilenameToStream;
-
-import java.io.File;
-
-public class SimpleResolver implements FilenameToStream {
-
-	private File file;
-
-	public boolean isStandardModule(String arg0) {
-		return false;
-	}
-
-	public File resolve(String arg0, boolean arg1) {
-
-		file = new File(arg0);
-		return file;
-	}
-
-	public String getFullPath() {
-		return file.getAbsolutePath();
-	}
-
-}
diff --git a/src/main/java/de/tla2bAst/Translator.java b/src/main/java/de/tla2bAst/Translator.java
index 21f89db..a4192f4 100644
--- a/src/main/java/de/tla2bAst/Translator.java
+++ b/src/main/java/de/tla2bAst/Translator.java
@@ -131,9 +131,8 @@ public class Translator implements TranslationGlobals {
 	private void parse() throws TLA2BFrontEndException {
 		moduleNode = parseModule();
 
-		modelConfig = null;
 		if (configFile != null) {
-			modelConfig = new ModelConfig(configFile.getAbsolutePath(), new SimpleResolver());
+			modelConfig = new ModelConfig(configFile.getName(), null);
 			modelConfig.parse();
 		}
 	}
-- 
GitLab