Interface SemanticTokensDeltaParams

Since

3.16.0

interface SemanticTokensDeltaParams {
    partialResultToken?: ProgressToken;
    previousResultId: string;
    textDocument: TextDocumentIdentifier;
    workDoneToken?: ProgressToken;
}

Hierarchy (View Summary)

WorkDoneProgressParams
PartialResultParams
- SemanticTokensDeltaParams

Index

Properties

partialResultToken? previousResultId textDocument workDoneToken?

Properties

`Optional`partialResultToken

partialResultToken?: ProgressToken

An optional token that a server can use to report partial results (e.g. streaming) to the client.

previousResultId

previousResultId: string

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

textDocument: TextDocumentIdentifier

The text document.

`Optional`workDoneToken

workDoneToken?: ProgressToken

An optional token that a server can use to report work done progress.