class LSProtocol::WorkspaceDiagnosticParams
- LSProtocol::WorkspaceDiagnosticParams
- Reference
- Object
Overview
Parameters of the workspace diagnostic request.
@since 3.17.0
Included Modules
- JSON::Serializable
Defined in:
lsprotocol/types.crConstructors
- .new(pull : JSON::PullParser)
- .new(previous_result_ids : Array(PreviousResultId) | Nil, identifier : String | Nil = nil, partial_result_token : ProgressToken | 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_ids : Array(PreviousResultId)
The currently known diagnostic reports with their previous result ids.
-
#work_done_token : ProgressToken | Nil
An optional token that a server can use to report work done progress.
Constructor Detail
def self.new(previous_result_ids : Array(PreviousResultId) | Nil, identifier : String | Nil = nil, partial_result_token : ProgressToken | 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 previous_result_ids : Array(PreviousResultId)
#
The currently known diagnostic reports with their previous result ids.
def work_done_token : ProgressToken | Nil
#
An optional token that a server can use to report work done progress.