View source

typedef RenameParams

package languageServerProtocol.protocol

import languageServerProtocol.protocol.Protocol

The parameters of a RenameRequest.

Fields

@:optionaloptionalworkDoneToken:Null<ProgressToken>

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

textDocument:TextDocumentIdentifier

The document to format.

position:Position

The position at which this request was send.

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.