public class TextDocumentEdit extends Object
TextEdits 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.
|