add DebuggerDisplay

Author: TheAngryByrd

src/Types.cg.fs

@@ -1,5 +1,8 @@
 namespace rec Ionide.LanguageServerProtocol.Types
 
+open System
+open System.Diagnostics
+open Newtonsoft.Json
 /// URI’s are transferred as strings. The URI’s format is defined in https://tools.ietf.org/html/rfc3986
 ///
 /// See: https://microsoft.github.io/language-server-protocol/specifications/lsp/3.17/specification/#uri
@@ -3409,6 +3412,7 @@ type LocationLink =
 ///     end : { line 6, character : 0 }
 /// }
 /// ```
+[<DebuggerDisplay("{DebuggerDisplay}")>]
 type Range =
     {
         /// The range's start position.
@@ -3417,6 +3421,9 @@ type Range =
         End: Position
     }
 
+    [<DebuggerBrowsable(DebuggerBrowsableState.Never); JsonIgnore>]
+    member x.DebuggerDisplay = $"{x.Start.DebuggerDisplay}-{x.End.DebuggerDisplay}"
+
 type ImplementationOptions =
     { WorkDoneProgress: bool option }
 
@@ -3534,6 +3541,7 @@ type DeclarationOptions =
 /// that denotes `\r|\n` or `\n|` where `|` represents the character offset.
 ///
 /// @since 3.17.0 - support for negotiated position encoding.
+[<DebuggerDisplay("{DebuggerDisplay}")>]
 type Position =
     {
         /// Line position in a document (zero-based).
@@ -3551,6 +3559,9 @@ type Position =
         Character: uint32
     }
 
+    [<DebuggerBrowsable(DebuggerBrowsableState.Never); JsonIgnore>]
+    member x.DebuggerDisplay = $"({x.Line},{x.Character})"
+
 type SelectionRangeOptions =
     { WorkDoneProgress: bool option }
 
@@ -4480,6 +4491,7 @@ type FileSystemWatcher =
 
 /// Represents a diagnostic, such as a compiler error or warning. Diagnostic objects
 /// are only valid in the scope of a resource.
+[<DebuggerDisplay("{DebuggerDisplay}")>]
 type Diagnostic =
     {
         /// The range at which the message applies
@@ -4514,6 +4526,10 @@ type Diagnostic =
         Data: LSPAny option
     }
 
+    [<DebuggerBrowsable(DebuggerBrowsableState.Never); JsonIgnore>]
+    member x.DebuggerDisplay =
+        $"[{defaultArg x.Severity DiagnosticSeverity.Error}] ({x.Range.DebuggerDisplay}) {x.Message} ({Option.map string x.Code |> Option.defaultValue String.Empty})"
+
 /// Contains additional information about the context in which a completion request is triggered.
 type CompletionContext =
     {

src/Types.fs

@@ -23,19 +23,34 @@ type ErasedUnionAttribute() =
 type U2<'T1, 'T2> =
     | C1 of 'T1
     | C2 of 'T2
+    override x.ToString() =
+      match x with
+      | C1 c -> string c
+      | C2 c -> string c
 
 [<ErasedUnion>]
 type U3<'T1, 'T2, 'T3> =
     | C1 of 'T1
     | C2 of 'T2
     | C3 of 'T3
+    override x.ToString() =
+      match x with
+      | C1 c -> string c
+      | C2 c -> string c
+      | C3 c -> string c
 
 [<ErasedUnion>]
 type U4<'T1, 'T2, 'T3, 'T4> =
     | C1 of 'T1
     | C2 of 'T2
     | C3 of 'T3
     | C4 of 'T4
+    override x.ToString() =
+      match x with
+      | C1 c -> string c
+      | C2 c -> string c
+      | C3 c -> string 3
+      | C4 c -> string 3
 
 
 type LspResult<'t> = Result<'t, JsonRpc.Error>

tests/GenerateTests.fs

@@ -484,6 +484,51 @@ module GenerateTests =
     | Some x -> sprintf "%s %s" s x
     | None -> s
 
+  let range_debuggerDisplay (r : WidgetBuilder<TypeDefnRecordNode>) =
+    r
+      .attribute(
+        Attribute("DebuggerDisplay(\"{DebuggerDisplay}\")")
+      )
+      .members () {
+        Property("x.DebuggerDisplay", "$\"{x.Start.DebuggerDisplay}-{x.End.DebuggerDisplay}\"")
+          .attributes([
+            Attribute("DebuggerBrowsable(DebuggerBrowsableState.Never)")
+            Attribute("JsonIgnore")
+          ])
+      }
+
+  let position_debuggerDisplay (r : WidgetBuilder<TypeDefnRecordNode>) =
+    r
+      .attribute(
+        Attribute("DebuggerDisplay(\"{DebuggerDisplay}\")")
+      )
+      .members () {
+        Property("x.DebuggerDisplay", "$\"({x.Line},{x.Character})\"")
+          .attributes ([
+            Attribute("DebuggerBrowsable(DebuggerBrowsableState.Never)")
+            Attribute("JsonIgnore")
+          ])
+      }
+    
+  let diagnostic_debuggerDisplay (r : WidgetBuilder<TypeDefnRecordNode>) =
+    r
+      .attribute(
+        Attribute("DebuggerDisplay(\"{DebuggerDisplay}\")")
+      )
+      .members () {
+        Property("x.DebuggerDisplay", "$\"[{defaultArg x.Severity DiagnosticSeverity.Error}] ({x.Range.DebuggerDisplay}) {x.Message} ({Option.map string x.Code |> Option.defaultValue String.Empty})\"")
+          .attributes ([
+            Attribute("DebuggerBrowsable(DebuggerBrowsableState.Never)")
+            Attribute("JsonIgnore")
+          ])
+      }
+
+  let debuggerDisplays =
+    Map [
+      "Range", range_debuggerDisplay
+      "Position", position_debuggerDisplay
+      "Diagnostic", diagnostic_debuggerDisplay
+    ]
 
   let handleSameShapeStructuredUnions path createField (ts: MetaModel.Type array) =
     if
@@ -979,6 +1024,12 @@ module GenerateTests =
             structure.StructuredDocs
             |> Option.map (fun docs -> r.xmlDocs docs)
             |> Option.defaultValue r
+          
+          let r = 
+            debuggerDisplays 
+            |> Map.tryFind structure.Name 
+            |> Option.map(fun f -> f r)
+            |> Option.defaultValue r
 
           match implementInterface structure with
           | [||] -> r
@@ -1262,7 +1313,9 @@ See https://microsoft.github.io/language-server-protocol/specifications/lsp/3.17
         let source =
           Ast.Oak() {
             Namespace("Ionide.LanguageServerProtocol.Types") {
-
+              Open("System")
+              Open("System.Diagnostics")
+              Open("Newtonsoft.Json")
               // Simple aliases for types that are not in dotnet
               Abbrev("URI", "string")
                 .xmlDocs (
@@ -1347,4 +1400,4 @@ See https://microsoft.github.io/language-server-protocol/specifications/lsp/3.17
 
 
   [<Tests>]
-  let tests = ftestList "Generate" [ generateTests ]
+  let tests = ptestList "Generate" [ generateTests ]