LSP Protocol: Add note re. JSON attributes

src/LanguageServer/Protocol/Protocol/IPartialResultParams.cs

@@ -20,6 +20,7 @@ internal interface IPartialResultParams<T>
         /// An <see cref="IProgress{T}"/> instance that can be used to report partial results
         /// via the <c>$/progress</c> notification.
         /// </summary>
+        // NOTE: these JSON attributes are not inherited, they are here as a reference for implementations
         [JsonPropertyName(Methods.PartialResultTokenName)]
         [JsonIgnore(Condition = JsonIgnoreCondition.WhenWritingNull)]
         public IProgress<T>? PartialResultToken { get; set; }

src/LanguageServer/Protocol/Protocol/IStaticRegistrationOptions.cs

@@ -17,6 +17,7 @@ internal interface IStaticRegistrationOptions
     /// <summary>
     /// Gets or sets the id used to register the request. The id can be used to deregister the request again.
     /// </summary>
+    // NOTE: these JSON attributes are not inherited, they are here as a reference for implementations
     [JsonPropertyName("id")]
     [JsonIgnore(Condition = JsonIgnoreCondition.WhenWritingNull)]
     public string? Id { get; set; }

src/LanguageServer/Protocol/Protocol/ITextDocumentParams.cs

@@ -14,6 +14,7 @@ internal interface ITextDocumentParams
         /// <summary>
         /// The identifier of the document.
         /// </summary>
+        // NOTE: these JSON attributes are not inherited, they are here as a reference for implementations
         [JsonPropertyName("textDocument")]
         [JsonRequired]
         public TextDocumentIdentifier TextDocument { get; }

src/LanguageServer/Protocol/Protocol/ITextDocumentPositionParams.cs

@@ -17,6 +17,7 @@ internal interface ITextDocumentPositionParams : ITextDocumentParams
         /// <summary>
         /// The position within the document.
         /// </summary>
+        // NOTE: these JSON attributes are not inherited, they are here as a reference for implementations
         [JsonPropertyName("position")]
         [JsonRequired]
         public Position Position { get; set; }

src/LanguageServer/Protocol/Protocol/ITextDocumentRegistrationOptions.cs

@@ -18,6 +18,7 @@ internal interface ITextDocumentRegistrationOptions
     /// A document selector to identify the scope of the registration. If set to
     /// <see langword="null"/> the document selector provided on the client side will be used.
     /// </summary>
+    // NOTE: these JSON attributes are not inherited, they are here as a reference for implementations
     [JsonPropertyName("documentSelector")]
     [JsonIgnore(Condition = JsonIgnoreCondition.WhenWritingNull)]
     public DocumentFilter[]? DocumentSelector { get; set; }

src/LanguageServer/Protocol/Protocol/IWorkDoneProgressOptions.cs

@@ -19,6 +19,7 @@ internal interface IWorkDoneProgressOptions
         /// </para>
         /// </summary>
         /// <remarks>Since LSP 3.15</remarks>
+        // NOTE: these JSON attributes are not inherited, they are here as a reference for implementations
         [JsonPropertyName("workDoneProgress")]
         [JsonIgnore(Condition = JsonIgnoreCondition.WhenWritingDefault)]
         public bool WorkDoneProgress { get; init; }

src/LanguageServer/Protocol/Protocol/IWorkDoneProgressParams.cs

@@ -23,6 +23,7 @@ internal interface IWorkDoneProgressParams
     /// </para>
     /// </summary>
     /// <remarks>Since LSP 3.15</remarks>
+    // NOTE: these JSON attributes are not inherited, they are here as a reference for implementations
     [JsonPropertyName(Methods.WorkDoneTokenName)]
     [JsonIgnore(Condition = JsonIgnoreCondition.WhenWritingNull)]
     public IProgress<WorkDoneProgress>? WorkDoneToken { get; set; }