Fix display of message graphs in VS Code

Ref. eng/recordflux/RecordFlux#1838, #1307
AdaCore · Jan 7, 2025 · 4806578 · 4806578
1 parent 453373e
commit 4806578
Show file tree

Hide file tree

Showing 4 changed files with 12 additions and 4 deletions.
diff --git a/.gitlab/issue_templates/Release.md b/.gitlab/issue_templates/Release.md
@@ -1,5 +1,7 @@
 - [ ] Test GNAT Studio plugin
-   - Check verification, generation and display of message graph for example apps
+   - Check verification of specification, code generation and display of message graph for example apps
+- [ ] Test VS Code extension
+   - Check verification of specification and display of message graph for example apps
 - [ ] Add release to `CHANGELOG`
 - [ ] Check if any GitHub issues are not yet mentioned in `CHANGELOG` (especially issue numbers below #1288)
 - [ ] Bring changes to `main` branch

diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -5,6 +5,12 @@ All notable changes to this project will be documented in this file.
 The format is based on [Keep a Changelog](https://keepachangelog.com/en/1.0.0/),
 and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0.html).
 
+## [Unreleased]
+
+### Fixed
+
+- Display of message graphs in VS Code (AdaCore/RecordFlux#1307, eng/recordflux/RecordFlux#1838)
+
 ## [0.26.0] - 2024-12-18
 
 ### Added
@@ -625,6 +631,7 @@ and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0
 
 ## [0.1.0] - 2019-05-14
 
+[Unreleased]: https://github.com/AdaCore/RecordFlux/compare/v0.26.0...HEAD
 [0.26.0]: https://github.com/AdaCore/RecordFlux/compare/v0.25.0...v0.26.0
 [0.25.0]: https://github.com/AdaCore/RecordFlux/compare/v0.24.0...v0.25.0
 [0.24.0]: https://github.com/AdaCore/RecordFlux/compare/v0.23.0...v0.24.0

diff --git a/rflx/ide/vscode/src/common/constants.ts b/rflx/ide/vscode/src/common/constants.ts
@@ -1,9 +1,8 @@
 import * as path from "path";
-import { homedir } from "os";
 
 const folderName = path.basename(__dirname);
 export const EXTENSION_ROOT_DIR =
     folderName === "common"
         ? path.dirname(path.dirname(__dirname))
         : path.dirname(__dirname);
-export const CACHE_DIR = path.join(homedir(), ".cache", "RecordFlux");
+export const CACHE_DIR = path.join(process.cwd(), ".rflx_cache");
diff --git a/rflx/ide/vscode/src/server.ts b/rflx/ide/vscode/src/server.ts
@@ -125,7 +125,7 @@ async function createServer(
     initializationOptions: IInitOptions
 ): Promise<LanguageClient> {
     const command = settings.interpreter[0];
-    const cwd = settings.cwd;
+    const cwd = process.cwd();
 
     const newEnv = { ...process.env };
     newEnv.USE_DEBUGPY = "False";