public class RenameParams extends TextDocumentPositionAndWorkDoneProgressParams
Constructor and Description |
---|
RenameParams() |
RenameParams(TextDocumentIdentifier textDocument,
Position position,
java.lang.String newName) |
Modifier and Type | Method and Description |
---|---|
boolean |
equals(java.lang.Object obj) |
java.lang.String |
getNewName()
The new name of the symbol.
|
int |
hashCode() |
void |
setNewName(java.lang.String newName)
The new name of the symbol.
|
java.lang.String |
toString() |
getWorkDoneToken, setWorkDoneToken, setWorkDoneToken, setWorkDoneToken
getPosition, getTextDocument, getUri, setPosition, setTextDocument, setUri
public RenameParams()
public RenameParams(TextDocumentIdentifier textDocument, Position position, java.lang.String newName)
@Pure public java.lang.String getNewName()
public void setNewName(java.lang.String newName)
@Pure public java.lang.String toString()
toString
in class TextDocumentPositionAndWorkDoneProgressParams
@Pure public boolean equals(java.lang.Object obj)
equals
in class TextDocumentPositionAndWorkDoneProgressParams
@Pure public int hashCode()
hashCode
in class TextDocumentPositionAndWorkDoneProgressParams