refactor: Move check to shared file

ProVerif · Feb 9, 2024 · b7cbe63 · b7cbe63
1 parent af3f440
commit b7cbe63
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 2 deletions.
diff --git a/server/src/cached_task_executor.ts b/server/src/cached_task_executor.ts
@@ -9,7 +9,7 @@ import {Connection} from "vscode-languageserver/node";
 import {fileURLToPath, pathToFileURL} from 'url';
 import {dirname, sep} from 'path';
 import {readdir} from 'fs/promises';
-import {readFile} from "./utils/files";
+import {isProverifFile, readFile} from "./utils/files";
 
 type DocumentCache = {
     settings?: ProVerifSettings,
@@ -210,7 +210,7 @@ export class CachedTaskExecutor {
                 console.log("Discovering " + entries.length + " files in " + currentFolder);
                 const fileUrls = entries
                     .filter(entry => entry.isFile())
-                    .filter(entry => entry.name.endsWith(".pv") || entry.name.endsWith(".pvl") || entry.name.endsWith(".pvc"))
+                    .filter(entry => isProverifFile(entry.name))
                     .map(file => pathToFileURL(currentFolder + sep + file.name));
                 await Promise.all(fileUrls.map(fileUrl => this.parseLibraryDependencies({ uri: fileUrl.toString()})));
 

diff --git a/server/src/utils/files.ts b/server/src/utils/files.ts
@@ -18,6 +18,9 @@ export const asTempFile = async <T>(path: string, content: string, appendFileEnd
     }
 };
 
+export const isProverifFile = (path: string) => {
+    return path.endsWith(".pv") || path.endsWith(".pvl") || path.endsWith(".pvc");
+};
 export const readFile = async <T>(path: string) => {
     const buffer = await fsPromises.readFile(path);
     return buffer.toString();