SemanticTokensDeltaParams

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.

Attributes

Since

3.16.0

Companion

object

Source

structures.scala

Graph

Reset zoomHide graphShow graph

Supertypes

trait Serializable

trait Product

trait Equals

class Object

trait Matchable

class Any

Show all