From 29096becf3d8dd7771f12ae5d17d3770be3e6813 Mon Sep 17 00:00:00 2001
From: hansen <dominik_hansen@web.de>
Date: Wed, 23 Apr 2014 10:13:58 +0200
Subject: [PATCH] added simple resolver
---
src/main/java/de/tla2bAst/SimpleResolver.java | 19 +++++++++++++++++++
src/main/java/de/tla2bAst/Translator.java | 4 ++--
2 files changed, 21 insertions(+), 2 deletions(-)
create 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
new file mode 100644
index 0000000..8ffd983
--- /dev/null
+++ b/src/main/java/de/tla2bAst/SimpleResolver.java
@@ -0,0 +1,19 @@
+package de.tla2bAst;
+
+import java.io.File;
+
+import util.FilenameToStream;
+
+public class SimpleResolver implements FilenameToStream {
+
+ public boolean isStandardModule(String arg0) {
+ return false;
+ }
+
+ public File resolve(String arg0, boolean arg1) {
+
+ File file = new File(arg0);
+ return file;
+ }
+
+}
\ No newline at end of file
diff --git a/src/main/java/de/tla2bAst/Translator.java b/src/main/java/de/tla2bAst/Translator.java
index 1ffbcc8..a66104d 100644
--- a/src/main/java/de/tla2bAst/Translator.java
+++ b/src/main/java/de/tla2bAst/Translator.java
@@ -120,7 +120,7 @@ public class Translator {
if (configFileName != null) {
File f = new File(configFileName);
if (f.exists()) {
- modelConfig = new ModelConfig(f.getName(), null);
+ modelConfig = new ModelConfig(f.getName(), new SimpleResolver());
modelConfig.parse();
}
} else {
@@ -132,7 +132,7 @@ public class Translator {
String configFile = fileNameWithoutSuffix + ".cfg";
File f = new File(configFile);
if (f.exists()) {
- modelConfig = new ModelConfig(f.getName(), null);
+ modelConfig = new ModelConfig(f.getName(), new SimpleResolver());
modelConfig.parse();
}
}
--
GitLab