U910-020 Partial response for Workspace_Symbols request

Author: ogorodnik

source/client/lsp-clients.adb

@@ -520,7 +520,7 @@ package body LSP.Clients is
          Token   : LSP.Types.LSP_Number_Or_String) is
       begin
          case Handler.Get_Progress_Type (Token) is
-            when LSP.Client_Notification_Receivers.Params =>
+            when LSP.Client_Notification_Receivers.ProgressParams =>
                declare
                   Message : Progress_Notification;
                begin

source/protocol/lsp-client_notification_receivers.ads

@@ -22,7 +22,7 @@ with LSP.Messages;
 
 package LSP.Client_Notification_Receivers is
 
-   type Progress_Value_Kind is (Params, SymbolInformation);
+   type Progress_Value_Kind is (ProgressParams, SymbolInformation);
 
    type Client_Notification_Receiver is limited interface;
    --  Receiver of notification on LSP client side

source/server/lsp-message_loggers.adb

@@ -1189,6 +1189,20 @@ package body LSP.Message_Loggers is
          & Ada.Containers.Count_Type'Image (Params.diagnostics.Length));
    end On_Publish_Diagnostics;
 
+   -----------------------
+   -- Get_Progress_Type --
+   -----------------------
+
+   overriding function Get_Progress_Type
+     (Self  : access Message_Logger;
+      Token : LSP.Types.LSP_Number_Or_String)
+      return LSP.Client_Notification_Receivers.Progress_Value_Kind
+   is
+      pragma Unreferenced (Self, Token);
+   begin
+      return LSP.Client_Notification_Receivers.ProgressParams;
+   end Get_Progress_Type;
+
    -----------------------
    -- On_Progress_Begin --
    -----------------------

source/server/lsp-message_loggers.ads

@@ -346,8 +346,7 @@ private
    overriding function Get_Progress_Type
      (Self  : access Message_Logger;
       Token : LSP.Types.LSP_Number_Or_String)
-      return LSP.Client_Notification_Receivers.Progress_Value_Kind is
-     (LSP.Client_Notification_Receivers.Params);
+      return LSP.Client_Notification_Receivers.Progress_Value_Kind;
 
    overriding procedure On_Progress
      (Self   : access Message_Logger;

source/server/lsp-servers.adb

@@ -619,6 +619,20 @@ package body LSP.Servers is
       Self.Send_Notification (Message);
    end On_Publish_Diagnostics;
 
+   -----------------------
+   -- Get_Progress_Type --
+   -----------------------
+
+   overriding function Get_Progress_Type
+     (Self  : access Server;
+      Token : LSP.Types.LSP_Number_Or_String)
+      return LSP.Client_Notification_Receivers.Progress_Value_Kind
+   is
+      pragma Unreferenced (Self, Token);
+   begin
+      return LSP.Client_Notification_Receivers.ProgressParams;
+   end Get_Progress_Type;
+
    -----------------
    -- On_Progress --
    -----------------

source/server/lsp-servers.ads

@@ -107,8 +107,7 @@ package LSP.Servers is
    overriding function Get_Progress_Type
      (Self  : access Server;
       Token : LSP.Types.LSP_Number_Or_String)
-      return LSP.Client_Notification_Receivers.Progress_Value_Kind is
-     (LSP.Client_Notification_Receivers.Params);
+      return LSP.Client_Notification_Receivers.Progress_Value_Kind;
 
    overriding procedure On_Progress
      (Self   : access Server;