class

LSProtocol::DocumentDiagnosticParams

Inherits JSON::Serializable / Reference / Object

Parameters of the document diagnostic request.

@since 3.17.0

Constructors

new(pull : JSON::PullParser)
Source
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)
Source
new(*, __pull_for_json_serializable pull : JSON::PullParser)
Source

Instance methods

identifier

The additional identifier provided during registration.

Source
partial_result_token

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

Source
previous_result_id

The result id of a previous response if provided.

Source
text_document

The text document.

Source
work_done_token

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

Source