Merge pull request #5 from lorchrob/responsive-simulate

Use version of simulation that processes program as string rather than filename
kind2-mc · May 22, 2024 · bce641a · bce641a
2 parents ec148dc + 056abf3
commit bce641a
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 3 deletions.
diff --git a/build.gradle b/build.gradle
@@ -8,7 +8,7 @@ repositories {
 }
 
 dependencies {
-  implementation 'edu.uiowa.cs.clc:kind2-java-api:0.3.8'
+  implementation 'edu.uiowa.cs.clc:kind2-java-api:0.3.9'
   implementation 'org.eclipse.lsp4j:org.eclipse.lsp4j:0.13.0'
   testImplementation 'org.junit.jupiter:junit-jupiter-api:5.7.2'
   testRuntimeOnly 'org.junit.jupiter:junit-jupiter-engine:5.7.2'

diff --git a/src/main/java/edu/uiowa/kind2/lsp/Kind2LanguageServer.java b/src/main/java/edu/uiowa/kind2/lsp/Kind2LanguageServer.java
@@ -747,9 +747,12 @@ public CompletableFuture<String> interpret(String uri, String main,
     return CompletableFuture.supplyAsync(() -> {
       try {
         Kind2Api api = getPresetKind2Api();
-        return api.interpret(new URI(uri), main, json);
+        api.includeDir(Paths.get(new URI(uri)).getParent().toString());
+        String filepath = computeRelativeFilepath(workingDirectory, uri);
+        api.setFakeFilepath(filepath);
+        return api.interpret(getText(uri), main, json);
       } catch (URISyntaxException | InterruptedException
-          | ExecutionException e) {
+          | ExecutionException | IOException e) {
         throw new ResponseErrorException(new ResponseError(
             ResponseErrorCode.InternalError, e.getMessage(), e));
       }