case class SemanticTokensDeltaParams(textDocument: TextDocumentIdentifier, previousResultId: String, workDoneToken: Opt[ProgressToken], partialResultToken: Opt[ProgressToken])
- Value parameters:
- partialResultToken
An optional token that a server can use to report partial results (e.g. streaming) to the client.
- previousResultId
The result id of a previous response. The result Id can either point to a full response or a delta response depending on what was received last.
- textDocument
The text document.
- workDoneToken
An optional token that a server can use to report work done progress.
- Since:
3.16.0
- Companion:
- object
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any