Fix the debugger (#1548)

OpenDreamProject · Dec 7, 2023 · 4236e96 · 4236e96
1 parent 8b5f5a2
commit 4236e96
Show file tree

Hide file tree

Showing 2 changed files with 8 additions and 2 deletions.
diff --git a/OpenDreamRuntime/Procs/DebugAdapter/Protocol/ProtocolMessage.cs b/OpenDreamRuntime/Procs/DebugAdapter/Protocol/ProtocolMessage.cs
@@ -1,11 +1,15 @@
 using System.Text.Json.Serialization;
+using JetBrains.Annotations;
 
 namespace OpenDreamRuntime.Procs.DebugAdapter.Protocol;
 
 [Virtual]
 public class ProtocolMessage {
     [JsonPropertyName("seq")] public int Seq { get; set; }
-    [JsonPropertyName("type")] public string Type { get; }
+    [JsonPropertyName("type")] public string Type { get; set; } = null!;
+
+    [UsedImplicitly]
+    public ProtocolMessage() { }
 
     protected ProtocolMessage(string type) {
         Type = type;

diff --git a/OpenDreamRuntime/Procs/DebugAdapter/Protocol/Request.cs b/OpenDreamRuntime/Procs/DebugAdapter/Protocol/Request.cs
@@ -1,13 +1,15 @@
 using System.Text.Json;
 using System.Text.Json.Serialization;
+using JetBrains.Annotations;
 
 namespace OpenDreamRuntime.Procs.DebugAdapter.Protocol;
 
 [Virtual]
 public class Request : ProtocolMessage {
     [JsonPropertyName("command")] public required string Command { get; set; }
 
-    protected Request() : base("request") { }
+    [UsedImplicitly]
+    public Request() : base("request") { }
 
     public static Request? DeserializeRequest(JsonDocument json) {
         Request? request = json.Deserialize<Request>();