class LSProtocol::DocumentDiagnosticParams

Overview

Parameters of the document diagnostic request.

@since 3.17.0

Included Modules

Defined in:

lsprotocol/types.cr

Constructors

Instance Method Summary

Constructor Detail

def self.new(pull : JSON::PullParser) #

[View source]
def self.new(text_document : TextDocumentIdentifier | Nil, identifier : String | Nil = nil, partial_result_token : ProgressToken | Nil = nil, previous_result_id : String | Nil = nil, work_done_token : ProgressToken | Nil = nil) #

[View source]

Instance Method Detail

def identifier : String | Nil #

The additional identifier provided during registration.


[View source]
def partial_result_token : ProgressToken | Nil #

An optional token that a server can use to report partial results (e.g. streaming) to the client.


[View source]
def previous_result_id : String | Nil #

The result id of a previous response if provided.


[View source]
def text_document : TextDocumentIdentifier #

The text document.


[View source]
def work_done_token : ProgressToken | Nil #

An optional token that a server can use to report work done progress.


[View source]