TC21-032 Move to LSP 3.16. LogTraceParams, SetTraceParams

Author: reznikmm

scripts/io_gen.py

@@ -139,6 +139,8 @@
     'ServerCapabilities',
     'InitializeResult',
     'InitializedParams',
+    'LogTraceParams',
+    'SetTraceParams',
     #  'InitializeError',
     'MessageType',
     'ShowMessageParams',

scripts/reorder.py

@@ -110,6 +110,8 @@ def emit(list, pattern):
     'interface InitializeError ',
     'interface ServerCapabilities ',
     'interface InitializedParams ',
+    'interface LogTraceParams ',
+    'interface SetTraceParams ',
     'interface ShowMessageParams ',
     'namespace MessageType ',
     'interface ShowMessageRequestClientCapabilities ',

source/protocol/lsp-messages.adb

@@ -626,6 +626,16 @@ package body LSP.Messages is
       V : out LSP.Messages.LogMessageParams)
       renames LSP.Message_IO.Read_LogMessageParams;
 
+   procedure Read_LogTraceParams
+     (S : access Ada.Streams.Root_Stream_Type'Class;
+      V : out LogTraceParams)
+      renames LSP.Message_IO.Read_LogTraceParams;
+
+   procedure Read_SetTraceParams
+     (S : access Ada.Streams.Root_Stream_Type'Class;
+      V : out SetTraceParams)
+      renames LSP.Message_IO.Read_SetTraceParams;
+
    procedure Read_DidChangeConfigurationParams
      (S : access Ada.Streams.Root_Stream_Type'Class;
       V : out LSP.Messages.DidChangeConfigurationParams)
@@ -1696,6 +1706,16 @@ package body LSP.Messages is
       V : LSP.Messages.LogMessageParams)
       renames LSP.Message_IO.Write_LogMessageParams;
 
+   procedure Write_LogTraceParams
+     (S : access Ada.Streams.Root_Stream_Type'Class;
+      V : LogTraceParams)
+      renames LSP.Message_IO.Write_LogTraceParams;
+
+   procedure Write_SetTraceParams
+     (S : access Ada.Streams.Root_Stream_Type'Class;
+      V : SetTraceParams)
+      renames LSP.Message_IO.Write_SetTraceParams;
+
    procedure Write_DidChangeConfigurationParams
      (S : access Ada.Streams.Root_Stream_Type'Class;
       V : LSP.Messages.DidChangeConfigurationParams)

source/protocol/lsp-messages.ads

@@ -10524,6 +10524,54 @@ package LSP.Messages is
    for DeleteFilesParams'Read use Read_DeleteFilesParams;
    for DeleteFilesParams'Write use Write_DeleteFilesParams;
 
+   --```typescript
+   --interface LogTraceParams {
+   --	/**
+   --	 * The message to be logged.
+   --	 */
+   --	message: string;
+   --	/**
+   --	 * Additional information that can be computed if the `trace` configuration
+   --	 * is set to `'verbose'`
+   --	 */
+   --	verbose?: string;
+   --}
+   --```
+   type LogTraceParams is record
+      message: LSP_String;
+      verbose: Optional_String;
+   end record;
+
+   procedure Read_LogTraceParams
+     (S : access Ada.Streams.Root_Stream_Type'Class;
+      V : out LogTraceParams);
+   procedure Write_LogTraceParams
+     (S : access Ada.Streams.Root_Stream_Type'Class;
+      V : LogTraceParams);
+   for LogTraceParams'Read use Read_LogTraceParams;
+   for LogTraceParams'Write use Write_LogTraceParams;
+
+   --```typescript
+   --interface SetTraceParams {
+   --	/**
+   --	 * The new value that should be assigned to the trace setting.
+   --	 */
+   --	value: TraceValue;
+   --}
+   --```
+   type SetTraceParams is record
+      value: TraceValue;
+   end record;
+
+   procedure Read_SetTraceParams
+     (S : access Ada.Streams.Root_Stream_Type'Class;
+      V : out SetTraceParams);
+   procedure Write_SetTraceParams
+     (S : access Ada.Streams.Root_Stream_Type'Class;
+      V : SetTraceParams);
+   for SetTraceParams'Read use Read_SetTraceParams;
+   for SetTraceParams'Write use Write_SetTraceParams;
+
    -----------------------------------------
    -- ALS-specific messages and responses --
    -----------------------------------------