maint: Run linter

ProVerif · Nov 28, 2024 · 6ab41d7 · 6ab41d7
1 parent a0fbb8f
commit 6ab41d7
Show file tree

Hide file tree

Showing 2 changed files with 8 additions and 8 deletions.
diff --git a/server/src/document_manager.ts b/server/src/document_manager.ts
@@ -106,7 +106,7 @@ export class DocumentManager implements DocumentManagerInterface {
         }
 
         return undefined;
-    }
+    };
 
     public getProverifDocument = async (identifier: TextDocumentIdentifier): Promise<ProverifDocument | undefined> => {
         if (this.proverifDocumentManager.supports(identifier)) {
@@ -131,8 +131,8 @@ export class DocumentManager implements DocumentManagerInterface {
             return this.proverifLogDocumentManager.getProverifLogDocument(cache.document);
         }
 
-        return undefined
-    }
+        return undefined;
+    };
 
     private getDocumentText = async (identifier: TextDocumentIdentifier) => {
         const cache = this.documentCache.get(identifier.uri) ?? {identifier};

diff --git a/server/src/proverif_log/get_reference_location_link.ts b/server/src/proverif_log/get_reference_location_link.ts
@@ -21,8 +21,8 @@ export const getReferenceLocationLink = async (identifier: TextDocumentIdentifie
     }
 
     // find origin selection range
-    const matchStart: Position = { line: safePositionStart.line, character: safePositionStart.character + processReferenceMatch.index }
-    const matchEnd: Position = { line: matchStart.line, character: matchStart.character + processReferenceMatch[1].length }
+    const matchStart: Position = { line: safePositionStart.line, character: safePositionStart.character + processReferenceMatch.index };
+    const matchEnd: Position = { line: matchStart.line, character: matchStart.character + processReferenceMatch[1].length };
     const originSelectionRange = Range.create(matchStart, matchEnd);
     if (matchStart > position || position > matchEnd) {
         return undefined;
@@ -38,8 +38,8 @@ export const getReferenceLocationLink = async (identifier: TextDocumentIdentifie
 
         const targetMatch = text.indexOf(processReferenceMatch[1]);
         if (targetMatch >= 0) {
-            const startOffset = document.document.offsetAt(currentStart)
-            targetStart = document.document.positionAt(startOffset + targetMatch)
+            const startOffset = document.document.offsetAt(currentStart);
+            targetStart = document.document.positionAt(startOffset + targetMatch);
 
             break;
         }
@@ -53,4 +53,4 @@ export const getReferenceLocationLink = async (identifier: TextDocumentIdentifie
 
     const targetRange = Range.create(targetStart, {line: targetStart.line, character: targetStart.character + processReferenceMatch[1].length});
     return LocationLink.create(identifier.uri, targetRange, targetRange, originSelectionRange);
-}
+};