Interface RenameParams

The parameters of a RenameRequest.

interface RenameParams {
    newName: string;
    position: Position;
    textDocument: TextDocumentIdentifier;
    workDoneToken?: ProgressToken;
}

Hierarchy (View Summary)

Properties

newName position textDocument workDoneToken?

Properties

newName

newName: string

The new name of the symbol. If the given name is not valid the request must return a ResponseError with an appropriate message set.

position

position: Position

The position at which this request was sent.

textDocument

textDocument: TextDocumentIdentifier

The document to rename.

OptionalworkDoneToken

workDoneToken?: ProgressToken

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

Settings

Member Visibility

On This Page

Properties