Interface SelectionRangeParams

A parameter literal used in selection range requests.

interface SelectionRangeParams {
    partialResultToken?: ProgressToken;
    positions: Position[];
    textDocument: TextDocumentIdentifier;
    workDoneToken?: ProgressToken;
}

Hierarchy (View Summary)

Properties

partialResultToken?: ProgressToken

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

positions: Position[]

The positions inside the text document.

The text document.

workDoneToken?: ProgressToken

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