public class TextDocumentEdit extends Object
TextEdit
s in a particular document.Constructor and Description |
---|
TextDocumentEdit(String document,
List<TextEdit> edits)
Construct the TextDocumentEdit
|
Modifier and Type | Method and Description |
---|---|
String |
getDocument()
The URI of the document being edited.
|
List<TextEdit> |
getEdits()
The list of edits.
|