View Source GenLSP.Structures.DiagnosticOptions (gen_lsp v0.7.3)

Diagnostic options.

@since 3.17.0

Link to this section Summary

Functions

Fields

  • 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.
  • work_done_progress

Link to this section Types

@type t() :: %GenLSP.Structures.DiagnosticOptions{
  identifier: String.t() | nil,
  inter_file_dependencies: boolean(),
  work_done_progress: boolean() | nil,
  workspace_diagnostics: boolean()
}

Link to this section Functions

Link to this function

%GenLSP.Structures.DiagnosticOptions{}

View Source (struct)

fields

Fields

  • 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.
  • work_done_progress