case class RenameParams(textDocument: TextDocumentIdentifier, position: Position, newName: String, workDoneToken: Opt[ProgressToken])
The parameters of a RenameRequest.
- Value parameters:
- newName
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
The position at which this request was sent.
- textDocument
The document to rename.
- workDoneToken
An optional token that a server can use to report work done progress.
- Companion:
- object
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any