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.
Attributes
- Since
-
3.17.0
- Companion
- object
- Graph
-
- Supertypes
-
trait Serializabletrait Producttrait Equalsclass Objecttrait Matchableclass Any
Members list
In this article