Merge pull request #4 from lorchrob/imp-nodes

Include imported nodes in getComponents
kind2-mc · May 9, 2024 · ec148dc · ec148dc
2 parents 0863b72 + 8d720b1
commit ec148dc
Showing 1 changed file with 1 addition and 3 deletions.
diff --git a/src/main/java/edu/uiowa/kind2/lsp/Kind2LanguageServer.java b/src/main/java/edu/uiowa/kind2/lsp/Kind2LanguageServer.java
@@ -260,9 +260,7 @@ public CompletableFuture<List<String>> getComponents(String uri) {
       if (parseResults.containsKey(uri)) {
         try {
           for (AstInfo info : parseResults.get(uri).getAstInfos()) {
-            if (info instanceof NodeInfo && !((NodeInfo) info).isImported()
-                || info instanceof FunctionInfo
-                    && !((FunctionInfo) info).isImported()) {
+            if (info instanceof NodeInfo || info instanceof FunctionInfo) {
               components.add(replacePathWithUri(info.getJson(), uri,
                   info.getFile() == null ? new URI(uri).getPath()
                       : info.getFile()));