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

Types

result()

t()

Link to this section Types

result()

@type result() :: nil

t()

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