View Source GenLSP.Structures.DiagnosticRegistrationOptions (gen_lsp v0.8.1)

Diagnostic registration options.

@since 3.17.0

Link to this section Summary

Functions

Fields

  • id: The id used to register the request. The id can be used to deregister the request again. See also Registration#id.
  • document_selector: A document selector to identify the scope of the registration. If set to null the document selector provided on the client side will be used.
  • identifier: An optional identifier under which the diagnostics are managed by the client.
  • inter_file_dependencies: Whether the language has inter file dependencies meaning that editing code in one file can result in a different diagnostic set in another file. Inter file dependencies are common for most programming languages and typically uncommon for linters.
  • workspace_diagnostics: The server provides support for workspace diagnostics as well.

Link to this section Types

@type t() :: %GenLSP.Structures.DiagnosticRegistrationOptions{
  document_selector: GenLSP.TypeAlias.DocumentSelector.t() | nil,
  id: String.t() | nil,
  identifier: String.t() | nil,
  inter_file_dependencies: boolean(),
  workspace_diagnostics: boolean()
}

Link to this section Functions

Link to this function

%GenLSP.Structures.DiagnosticRegistrationOptions{}

View Source (struct)

fields

Fields

  • id: The id used to register the request. The id can be used to deregister the request again. See also Registration#id.
  • document_selector: A document selector to identify the scope of the registration. If set to null the document selector provided on the client side will be used.
  • identifier: An optional identifier under which the diagnostics are managed by the client.
  • inter_file_dependencies: Whether the language has inter file dependencies meaning that editing code in one file can result in a different diagnostic set in another file. Inter file dependencies are common for most programming languages and typically uncommon for linters.
  • workspace_diagnostics: The server provides support for workspace diagnostics as well.