class LSProtocol::DocumentDiagnosticParams
- LSProtocol::DocumentDiagnosticParams
- Reference
- Object
Overview
Parameters of the document diagnostic request.
@since 3.17.0
Included Modules
- JSON::Serializable
Defined in:
lsprotocol/types.crConstructors
- .new(pull : JSON::PullParser)
- .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)
Instance Method Summary
-
#identifier : String | Nil
The additional identifier provided during registration.
-
#partial_result_token : ProgressToken | Nil
An optional token that a server can use to report partial results (e.g.
-
#previous_result_id : String | Nil
The result id of a previous response if provided.
-
#text_document : TextDocumentIdentifier
The text document.
-
#work_done_token : ProgressToken | Nil
An optional token that a server can use to report work done progress.
Constructor Detail
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)
#
Instance Method Detail
def partial_result_token : ProgressToken | Nil
#
An optional token that a server can use to report partial results (e.g. streaming) to the client.
def work_done_token : ProgressToken | Nil
#
An optional token that a server can use to report work done progress.