View source

typedef SelectionRangeParams

package languageServerProtocol.protocol

import languageServerProtocol.protocol.SelectionRange

A parameter literal used in selection range requests.

Fields

@:optionaloptionalworkDoneToken:Null<ProgressToken>

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

textDocument:TextDocumentIdentifier

The text document.

positions:Array<Position>

The positions inside the text document.

@:optionaloptionalpartialResultToken:Null<ProgressToken>

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