Diagnostics of extension-less files are cleared (#1066)

* Update initialization code of workspace services to listen to all delete events (so diagnostics of deleted files can be properly cleared)

* Revert "Update initialization code of workspace services to listen to all delete events (so diagnostics of deleted files can be properly cleared)"

This reverts commit ec0898c.

* Add glob pattern to listen to all rename and delete events

* Have separate glob patterns for creation, deletion, and renaming of files

Author: sungshik

rascal-lsp/src/main/java/org/rascalmpl/vscode/lsp/parametric/capabilities/FileOperationCapability.java

@@ -27,6 +27,7 @@
 package org.rascalmpl.vscode.lsp.parametric.capabilities;
 
 import java.util.ArrayList;
+import java.util.Collections;
 import java.util.List;
 import java.util.concurrent.CompletableFuture;
 import java.util.concurrent.Executor;
@@ -80,13 +81,31 @@ protected final FileOperationOptions mergeOptions(FileOperationOptions o1, FileO
             .map(FileOperationCapability::extensionFilter)
             .collect(Collectors.toList());
 
-        var anyFolder = new FileOperationPattern("**/*");
-        anyFolder.setMatches(FileOperationPatternKind.Folder);
-        patterns.add(new FileOperationFilter(anyFolder));
+        for (var glob : folderOperationGlobs()) {
+            var pattern = new FileOperationPattern(glob);
+            pattern.setMatches(FileOperationPatternKind.Folder);
+            patterns.add(new FileOperationFilter(pattern));
+        }
+
+        for (var glob : fileOperationGlobs()) {
+            var pattern = new FileOperationPattern(glob);
+            pattern.setMatches(FileOperationPatternKind.File);
+            patterns.add(new FileOperationFilter(pattern));
+        }
 
         return CompletableFutureUtils.completedFuture(new FileOperationOptions(patterns), exec);
     }
 
+    protected List<String> folderOperationGlobs() {
+        // By default, do receive notifications about each folder
+        return List.of("**/*");
+    }
+
+    protected List<String> fileOperationGlobs() {
+        // By default, don't receive notifications about any file
+        return Collections.emptyList();
+    }
+
     /**
      * Options to use when registering statically, i.e. nothing is known about the registered languages.
      */
@@ -141,6 +160,12 @@ protected void registerStatically(ServerCapabilities result) {
             fileOperationCapabilities(result).setDidDelete(staticOptions());
         }
 
+        @Override
+        protected List<String> fileOperationGlobs() {
+            // Receiving notifications about extension-less files would be enough, but it seems "extension-less file"
+            // cannot be expressed using LSP's glob patterns.
+            return List.of("**/*");
+        }
     }
 
     /**