feat(uuid-support): generate uuids for files

SoftVarE-Group · Nov 17, 2023 · 13d2b78 · 13d2b78
1 parent d833422
commit 13d2b78
Show file tree

Hide file tree

Showing 3 changed files with 24 additions and 2 deletions.
diff --git a/WebSocketClient/package-lock.json b/WebSocketClient/package-lock.json
diff --git a/WebSocketClient/package.json b/WebSocketClient/package.json
@@ -10,6 +10,7 @@
   },
   "devDependencies": {
     "@types/node": "^20.8.7",
+    "@types/uuid": "^9.0.7",
     "@types/vscode": "~1.83.0",
     "typescript": "^5.0.2",
     "vite": "^4.5.0",
@@ -30,6 +31,7 @@
     "monaco-editor": "^0.44.0",
     "monaco-editor-workers": "~0.44.0",
     "monaco-languageclient": "^6.6.0",
+    "uuid": "^9.0.1",
     "vite": "~4.4.11",
     "vscode-json-languageservice": "~5.3.7",
     "vscode-uri": "~3.0.8",

diff --git a/WebSocketClient/src/main.ts b/WebSocketClient/src/main.ts
@@ -21,9 +21,9 @@ import {LogLevel, Uri} from 'vscode';
 import config from './config.js';
 import { instance } from "@viz-js/viz";
 import { Message } from 'vscode-jsonrpc';
+import { v4 as uuidv4 } from 'uuid';
 
 import { buildWorkerDefinition } from 'monaco-editor-workers';
-import {randomUUID} from "crypto";
 buildWorkerDefinition('./node_modules/monaco-editor-workers/dist/workers', new URL('', window.location.href).href, false);
 
 const languageId = 'uvls';
@@ -197,7 +197,7 @@ export const startPythonClient = async () => {
     }`);
 
     const fileSystemProvider = new RegisteredFileSystemProvider(false);
-    fileID = randomUUID();
+    fileID = uuidv4();
     fileSystemProvider.registerFile(new RegisteredMemoryFile(vscode.Uri.file(`/workspace/${fileID}.uvl`), 'features\n\tfeature1\n\t\tor\n\t\t\tfeature2\n\t\t\tfeature3\n\nconstraints\n\tfeature1'));
     registerFileSystemOverlay(1, fileSystemProvider);