SemanticTokensDeltaParams

Attributes

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

Graph

Reset zoomHide graphShow graph

Supertypes

trait Serializable

trait Product

trait Equals

class Object

trait Matchable

class Any