feat: add a "publish all diagnostics" mode for LSP

This is ad-hoc. I need to implement more fine-grained diagnostics
publishing...

Author: mame

lib/typeprof/lsp/messages.rb

@@ -28,21 +28,6 @@ def notify(method, **params)
       @server.send_notification(method, **params)
     end
 
-    def publish_diagnostics(uri)
-      text = @server.open_texts[uri]
-      diags = []
-      if text
-        @server.core.diagnostics(text.path) do |diag|
-          diags << diag.to_lsp
-        end
-      end
-      notify(
-        "textDocument/publishDiagnostics",
-        uri: uri,
-        diagnostics: diags
-      )
-    end
-
     Classes = []
     def self.inherited(klass)
       Classes << klass
@@ -153,7 +138,7 @@ def run
       @server.open_texts[uri] = text
       @server.core.update_file(text.path, text.string)
       @server.send_request("workspace/codeLens/refresh")
-      publish_diagnostics(uri)
+      @server.publish_diagnostics(uri)
     end
   end
 
@@ -166,7 +151,7 @@ def run
       text.apply_changes(changes, version)
       @server.core.update_file(text.path, text.string)
       @server.send_request("workspace/codeLens/refresh")
-      publish_diagnostics(uri)
+      @server.publish_diagnostics(uri)
     end
   end
 

lib/typeprof/lsp/server.rb

@@ -44,7 +44,7 @@ def self.start_socket(core)
       end
     end
 
-    def initialize(core, reader, writer, url_schema: nil)
+    def initialize(core, reader, writer, url_schema: nil, publish_all_diagnostics: false)
       @core = core
       @workspaces = {}
       @reader = reader
@@ -56,6 +56,7 @@ def initialize(core, reader, writer, url_schema: nil)
       @exit = false
       @signature_enabled = true
       @url_schema = url_schema || (File::ALT_SEPARATOR != "\\" ? "file://" : "file:///")
+      @publish_all_diagnostics = publish_all_diagnostics # TODO: implement more dedicated publish feature
     end
 
     attr_reader :core, :open_texts
@@ -145,6 +146,22 @@ def cancel_request(id)
     def exit
       @exit = true
     end
+
+    def publish_diagnostics(uri)
+      (@publish_all_diagnostics ? @open_texts : [[uri, @open_texts[uri]]]).each do |uri, text|
+        diags = []
+        if text
+          @core.diagnostics(text.path) do |diag|
+            diags << diag.to_lsp
+          end
+        end
+        send_notification(
+          "textDocument/publishDiagnostics",
+          uri: uri,
+          diagnostics: diags
+        )
+      end
+    end
   end
 
   class Reader