WorkspaceDiagnosticParams

langoustine.lsp.structures.WorkspaceDiagnosticParams

See theWorkspaceDiagnosticParams companion object

case class WorkspaceDiagnosticParams(identifier: Opt[String], previousResultIds: Vector[PreviousResultId], workDoneToken: Opt[ProgressToken], partialResultToken: Opt[ProgressToken])

Parameters of the workspace diagnostic request.

Value parameters

identifier: The additional identifier provided during registration.
partialResultToken: An optional token that a server can use to report partial results (e.g. streaming) to the client.
previousResultIds: The currently known diagnostic reports with their previous result ids.
workDoneToken: An optional token that a server can use to report work done progress.

Since: 3.17.0
Companion: object
Source: structures.scala
Graph
Supertypes: trait Serializable

trait Product

trait Equals

class Object

trait Matchable

class Any
Show all

In this article

Generated with