class

LSProtocol::WorkspaceDiagnosticParams

Inherits JSON::Serializable / Reference / Object

Parameters of the workspace diagnostic request.

@since 3.17.0

Constructors

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)

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_ids

The currently known diagnostic reports with their previous result ids.

Source

work_done_token

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

Source