Skip to content

MonikerParams

A parameter literal used in requests to pass a text document and a position inside that document.

optional partialResultToken?: ProgressToken

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

PartialResultParams.partialResultToken


position: Position

The position inside the text document.

TextDocumentPositionParams.position


textDocument: TextDocumentIdentifier

The text document.

TextDocumentPositionParams.textDocument


optional workDoneToken?: ProgressToken

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

WorkDoneProgressParams.workDoneToken