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

A full document diagnostic report for a workspace diagnostic result.

@since 3.17.0

Link to this section Summary

Functions

Fields

  • uri: The URI for which diagnostic information is reported.
  • version: The version number for which the diagnostics are reported. If the document is not marked as open null can be provided.
  • kind: A full document diagnostic report.
  • result_id: An optional result id. If provided it will be sent on the next diagnostic request for the same document.
  • items: The actual items.

Link to this section Types

@type t() :: %GenLSP.Structures.WorkspaceFullDocumentDiagnosticReport{
  items: [GenLSP.Structures.Diagnostic.t()],
  kind: String.t(),
  result_id: String.t() | nil,
  uri: GenLSP.BaseTypes.document_uri(),
  version: integer() | nil
}

Link to this section Functions

Link to this function

%GenLSP.Structures.WorkspaceFullDocumentDiagnosticReport{}

View Source (struct)

fields

Fields

  • uri: The URI for which diagnostic information is reported.
  • version: The version number for which the diagnostics are reported. If the document is not marked as open null can be provided.
  • kind: A full document diagnostic report.
  • result_id: An optional result id. If provided it will be sent on the next diagnostic request for the same document.
  • items: The actual items.