class LanguageServer::Protocol::Interface::WorkspaceDiagnosticParams

Parameters of the workspace diagnostic request.

Attributes

attributes[R]

Public Class Methods

new(work_done_token: nil, partial_result_token: nil, identifier: nil, previous_result_ids:) click to toggle source

# File lib/language_server/protocol/interface/workspace_diagnostic_params.rb, line 8
def initialize(work_done_token: nil, partial_result_token: nil, identifier: nil, previous_result_ids:)
  @attributes = {}

  @attributes[:workDoneToken] = work_done_token if work_done_token
  @attributes[:partialResultToken] = partial_result_token if partial_result_token
  @attributes[:identifier] = identifier if identifier
  @attributes[:previousResultIds] = previous_result_ids

  @attributes.freeze
end

Public Instance Methods

identifier() click to toggle source

The additional identifier provided during registration.

@return [string]

# File lib/language_server/protocol/interface/workspace_diagnostic_params.rb, line 40
def identifier
  attributes.fetch(:identifier)
end

partial_result_token() click to toggle source

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

@return [ProgressToken]

# File lib/language_server/protocol/interface/workspace_diagnostic_params.rb, line 32
def partial_result_token
  attributes.fetch(:partialResultToken)
end

previous_result_ids() click to toggle source

The currently known diagnostic reports with their previous result ids.

@return [PreviousResultId

# File lib/language_server/protocol/interface/workspace_diagnostic_params.rb, line 49
def previous_result_ids
  attributes.fetch(:previousResultIds)
end

to_hash() click to toggle source

# File lib/language_server/protocol/interface/workspace_diagnostic_params.rb, line 55
def to_hash
  attributes
end

to_json(*args) click to toggle source

# File lib/language_server/protocol/interface/workspace_diagnostic_params.rb, line 59
def to_json(*args)
  to_hash.to_json(*args)
end

work_done_token() click to toggle source

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

@return [ProgressToken]

# File lib/language_server/protocol/interface/workspace_diagnostic_params.rb, line 23
def work_done_token
  attributes.fetch(:workDoneToken)
end