View Source GenLSP.Structures.WorkspaceDiagnosticParams (gen_lsp v0.10.0)

Parameters of the workspace diagnostic request.

@since 3.17.0

Link to this section Summary

Functions

Fields

  • identifier: The additional identifier provided during registration.
  • previous_result_ids: The currently known diagnostic reports with their previous result ids.
  • work_done_token: An optional token that a server can use to report work done progress.
  • partial_result_token: An optional token that a server can use to report partial results (e.g. streaming) to the client.

Link to this section Types

@type t() :: %GenLSP.Structures.WorkspaceDiagnosticParams{
  identifier: String.t() | nil,
  partial_result_token: GenLSP.TypeAlias.ProgressToken.t() | nil,
  previous_result_ids: [GenLSP.Structures.PreviousResultId.t()],
  work_done_token: GenLSP.TypeAlias.ProgressToken.t() | nil
}

Link to this section Functions

Link to this function

%GenLSP.Structures.WorkspaceDiagnosticParams{}

View Source (struct)

fields

Fields

  • identifier: The additional identifier provided during registration.
  • previous_result_ids: The currently known diagnostic reports with their previous result ids.
  • work_done_token: An optional token that a server can use to report work done progress.
  • partial_result_token: An optional token that a server can use to report partial results (e.g. streaming) to the client.