View Source GenLSP.Requests.WorkspaceDiagnosticRefresh (gen_lsp v0.10.0)

The diagnostic refresh request definition.

@since 3.17.0

Message Direction: serverToClient

Link to this section Summary

Link to this section Types

@type result() :: nil
@type t() :: %GenLSP.Requests.WorkspaceDiagnosticRefresh{
  id: integer(),
  jsonrpc: String.t(),
  method: String.t()
}