class LSProtocol::WorkspaceDiagnosticParams

• LSProtocol::WorkspaceDiagnosticParams
• Reference
• Object

Overview

Parameters of the workspace diagnostic request.

@since 3.17.0

Included Modules

• JSON::Serializable

Defined in:

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)

Instance Method Summary

• #identifier : String | Nil

  The additional identifier provided during registration.

• #partial_result_token : ProgressToken | Nil
• #previous_result_ids : Array(PreviousResultId)
• #work_done_token : ProgressToken | Nil

Constructor Detail

Instance Method Detail