public class AnnotatedTextEdit extends TextEdit
Since 3.16.0
Constructor and Description |
---|
AnnotatedTextEdit() |
AnnotatedTextEdit(Range range,
java.lang.String newText,
java.lang.String annotationId) |
Modifier and Type | Method and Description |
---|---|
boolean |
equals(java.lang.Object obj) |
java.lang.String |
getAnnotationId()
The actual annotation identifier
|
int |
hashCode() |
void |
setAnnotationId(java.lang.String annotationId)
The actual annotation identifier
|
java.lang.String |
toString() |
getNewText, getRange, setNewText, setRange
public AnnotatedTextEdit()
public AnnotatedTextEdit(Range range, java.lang.String newText, java.lang.String annotationId)