class LSProtocol::WorkspaceUnchangedDocumentDiagnosticReport

Overview

An unchanged document diagnostic report for a workspace diagnostic result.

@since 3.17.0

Included Modules

Defined in:

lsprotocol/types.cr

Constructors

Instance Method Summary

Constructor Detail

def self.new(kind : String | Nil, result_id : String | Nil, uri : URI | Nil, version : Int32 | Nil) #

[View source]
def self.new(pull : JSON::PullParser) #

[View source]

Instance Method Detail

def kind : String #

A document diagnostic report indicating no changes to the last result. A server can only return unchanged if result ids are provided.


[View source]
def result_id : String #

A result id which will be sent on the next diagnostic request for the same document.


[View source]
def uri : URI #

The URI for which diagnostic information is reported.


[View source]
def version : Int32 | Nil #

The version number for which the diagnostics are reported. If the document is not marked as open null can be provided.


[View source]