View Source GenLSP.Structures.DocumentDiagnosticParams (gen_lsp v0.10.0)
Parameters of the document diagnostic request.
@since 3.17.0
Link to this section Summary
Functions
Fields
- text_document: The text document.
- identifier: The additional identifier provided during registration.
- previous_result_id: The result id of a previous response if provided.
- 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.DocumentDiagnosticParams{ identifier: String.t() | nil, partial_result_token: GenLSP.TypeAlias.ProgressToken.t() | nil, previous_result_id: String.t() | nil, text_document: GenLSP.Structures.TextDocumentIdentifier.t(), work_done_token: GenLSP.TypeAlias.ProgressToken.t() | nil }
Link to this section Functions
fields
Fields
- text_document: The text document.
- identifier: The additional identifier provided during registration.
- previous_result_id: The result id of a previous response if provided.
- 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.