fix: Fix linter issues

ProVerif · Mar 24, 2024 · b7b6de1 · b7b6de1
1 parent fbaa870
commit b7b6de1
Show file tree

Hide file tree

Showing 3 changed files with 6 additions and 6 deletions.
diff --git a/server/src/go_to_definition.ts b/server/src/go_to_definition.ts
@@ -28,10 +28,10 @@ export const getDefinitionSymbolFromPosition = async (identifier: TextDocumentId
 export const getDefinitionSymbolFromMatch = async (parseResult: ParseResult, matchingParseTree: TerminalNode, documentManager: DocumentManagerInterface): Promise<DefinitionSymbol | undefined> => {
     const definition = getDefinitionSymbolFromMatchMacroAware(parseResult, matchingParseTree, documentManager, false);
     if (definition) {
-        return definition
+        return definition;
     }
 
-    return getDefinitionSymbolFromMatchMacroAware(parseResult, matchingParseTree, documentManager, true)
+    return getDefinitionSymbolFromMatchMacroAware(parseResult, matchingParseTree, documentManager, true);
 };
 
 export const getDefinitionSymbolFromMatchMacroAware = async (parseResult: ParseResult, matchingParseTree: TerminalNode, documentManager: DocumentManagerInterface, considerMacros: boolean): Promise<DefinitionSymbol | undefined> => {

diff --git a/server/src/tasks/create_symbol_table.ts b/server/src/tasks/create_symbol_table.ts
@@ -126,7 +126,7 @@ class SymbolTableVisitor extends AbstractParseTreeVisitor<ProverifSymbolTable> i
             } else if (ctx.QUERY()) {
                 this.registerNevartypeParameters(() => ctx.nevartype());
                 this.visitInner(() => ctx.tqueryseq());
-            } else if (ctx.NONINTERF() || ctx.NOT() || ctx.lemma()) {
+            } else if (ctx.NONINTERF()) {
                 this.registerNevartypeParameters(() => ctx.nevartype());
                 this.visitInner(() => ctx.niseq());
             } else if (ctx.NOT()) {
@@ -435,9 +435,9 @@ export class ProverifSymbolTable {
 
         // if in OTHERWISE, then jump directly to the real parent, not the previous clauses
         if (context instanceof TreducotherwiseContext) {
-            let realParent = context.parent
+            let realParent = context.parent;
             while (realParent instanceof TreducotherwiseContext || realParent instanceof TreducmayfailContext) {
-                realParent = realParent.parent
+                realParent = realParent.parent;
             }
 
             return this.findClosestSymbolInternal(name, realParent, considerMacros);

diff --git a/server/src/tasks/ident_collectors.ts b/server/src/tasks/ident_collectors.ts
@@ -230,7 +230,7 @@ export const collectIdentifier = (getIdentifer: () => TerminalNode | undefined):
 
 export const collectSingleIdentifiers = (getIdentifer: () => TerminalNode | undefined): TerminalNode[] => {
     const identifier = tryGetTerminal(getIdentifer);
-    return [identifier].filter(nonNullable)
+    return [identifier].filter(nonNullable);
 };
 
 export const collectIdentifiers = (getIdentifer: () => TerminalNode[]): TerminalNode[] => {