View Source GenLSP.Structures.DefinitionParams (gen_lsp v0.9.0)

Parameters for a {@link DefinitionRequest}.

Link to this section Summary

Functions

Fields

  • 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.
  • text_document: The text document.
  • position: The position inside the text document.

Link to this section Types

@type t() :: %GenLSP.Structures.DefinitionParams{
  partial_result_token: GenLSP.TypeAlias.ProgressToken.t() | nil,
  position: GenLSP.Structures.Position.t(),
  text_document: GenLSP.Structures.TextDocumentIdentifier.t(),
  work_done_token: GenLSP.TypeAlias.ProgressToken.t() | nil
}

Link to this section Functions

Link to this function

%GenLSP.Structures.DefinitionParams{}

View Source (struct)

fields

Fields

  • 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.
  • text_document: The text document.
  • position: The position inside the text document.