gen_lsp v0.10.0

View Source GenLSP.Structures.WorkspaceUnchangedDocumentDiagnosticReport (gen_lsp v0.10.0)

An unchanged document diagnostic report for a workspace diagnostic result.

@since 3.17.0

Link to this section Summary

Types

t()

Functions

%GenLSP.Structures.WorkspaceUnchangedDocumentDiagnosticReport{}

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 document diagnostic report indicating no changes to the last result. A server can only return unchanged if result ids are provided.
  • result_id: A result id which will be sent on the next diagnostic request for the same document.

Link to this section Types

Link to this type

t()

View Source 
@type t() :: %GenLSP.Structures.WorkspaceUnchangedDocumentDiagnosticReport{
  kind: String.t(),
  result_id: String.t(),
  uri: GenLSP.BaseTypes.document_uri(),
  version: integer() | nil
}

Link to this section Functions

Link to this function

%GenLSP.Structures.WorkspaceUnchangedDocumentDiagnosticReport{}

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 document diagnostic report indicating no changes to the last result. A server can only return unchanged if result ids are provided.
  • result_id: A result id which will be sent on the next diagnostic request for the same document.