Class DiagnoseDocumentPayload

Namespace

RDCore.SDK.Platform.Protocol

Assembly

RDCore.SDK.dll

The System.Text.Json payload carried in Json.

public record DiagnoseDocumentPayload : IEquatable<DiagnoseDocumentPayload>

Inheritance

object

DiagnoseDocumentPayload

Implements

IEquatable<DiagnoseDocumentPayload>

Inherited Members

object.Equals(object)

object.Equals(object, object)

object.GetHashCode()

object.GetType()

object.MemberwiseClone()

object.ReferenceEquals(object, object)

object.ToString()

Remarks

Deliberately a record the language server grows: a SemanticContext field (resolver output — bound types, semantic flags) joins it once the resolver exists, so semantic and runtime analyzers receive the same envelope. SourceVersion is the workspace document version the parse was taken at; a provider echoes it back so the language server can drop a report that raced a later edit.

Constructors

DiagnoseDocumentPayload(Uri, int, ModuleParseResult)

The System.Text.Json payload carried in Json.

public DiagnoseDocumentPayload(Uri DocumentUri, int SourceVersion, ModuleParseResult ParseResult)

Parameters

DocumentUri Uri

The document being diagnosed.

SourceVersion int

The workspace document version ParseResult was produced from.

ParseResult ModuleParseResult

The parsed module — AST plus syntax errors.

Remarks

Deliberately a record the language server grows: a SemanticContext field (resolver output — bound types, semantic flags) joins it once the resolver exists, so semantic and runtime analyzers receive the same envelope. SourceVersion is the workspace document version the parse was taken at; a provider echoes it back so the language server can drop a report that raced a later edit.

Properties

DocumentUri

The document being diagnosed.

public Uri DocumentUri { get; init; }

Property Value

Uri

ParseResult

The parsed module — AST plus syntax errors.

public ModuleParseResult ParseResult { get; init; }

Property Value

ModuleParseResult

SourceVersion

The workspace document version ParseResult was produced from.

public int SourceVersion { get; init; }

Property Value

int