Class DocumentDiagnosticPullReport

The report a DocumentDiagnosticPullParams is answered with: a full one, with the diagnostics, or an unchanged one, without.

public sealed record DocumentDiagnosticPullReport : IEquatable<DocumentDiagnosticPullReport>

Inherited Members: object.Equals(object)

object.Equals(object, object)

object.GetHashCode()

object.GetType()

object.ReferenceEquals(object, object)

object.ToString()

Properties

The diagnostics of a full report; none for an unchanged one.

[JsonProperty("items")]
public Diagnostic[] Items { get; init; }

full, or unchanged when the client has the diagnostics of the report it named already.

[JsonProperty("kind")]
public string Kind { get; init; }

The identifier of the report, which the client names when it pulls again.

[JsonProperty("resultId")]
public string? ResultId { get; init; }