Interface HoverParams

Parameters for a HoverRequest.

interface HoverParams {
    position: Position;
    textDocument: TextDocumentIdentifier;
    workDoneToken?: ProgressToken;
}

Hierarchy (View Summary)

TextDocumentPositionParams
WorkDoneProgressParams
- HoverParams

Index

Properties

position textDocument workDoneToken?

Properties

position

position: Position

The position inside the text document.

textDocument

textDocument: TextDocumentIdentifier

The text document.

`Optional`workDoneToken

workDoneToken?: ProgressToken

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