Linting

StevenLooman · Sep 11, 2023 · 5a29298 · 5a29298
1 parent c99c1f3
commit 5a29298
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 0 deletions.
diff --git a/...rc/main/java/nl/ramsolutions/sw/magik/languageserver/definitions/DefinitionsProvider.java b/...rc/main/java/nl/ramsolutions/sw/magik/languageserver/definitions/DefinitionsProvider.java
@@ -96,6 +96,7 @@ private List<Location> definitionsForCondition(final MagikTypedFile magikFile, f
 
     private List<Location> definitionsForAtom(final MagikTypedFile magikFile, final AstNode wantedNode) {
         final Scope scope = magikFile.getGlobalScope().getScopeForNode(wantedNode);
+        Objects.requireNonNull(scope);
         final String identifier = wantedNode.getTokenValue();
         final ScopeEntry scopeEntry = scope.getScopeEntry(identifier);
         if (scopeEntry == null) {

diff --git a/.../src/main/java/nl/ramsolutions/sw/magik/languageserver/references/ReferencesProvider.java b/.../src/main/java/nl/ramsolutions/sw/magik/languageserver/references/ReferencesProvider.java
@@ -95,6 +95,7 @@ public List<Location> provideReferences(final MagikTypedFile magikFile, final Po
         } else if (wantedNode.is(MagikGrammar.ATOM)
                    && wantedNode.getFirstChild().is(MagikGrammar.IDENTIFIER)) {
             final Scope scope = magikFile.getGlobalScope().getScopeForNode(wantedNode);
+            Objects.requireNonNull(scope);
             final String identifier = currentNode.getTokenValue();
             final ScopeEntry scopeEntry = scope.getScopeEntry(identifier);
             if (scopeEntry == null) {