public class AnnotatedTextEdit extends TextEdit
| 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, setRangepublic AnnotatedTextEdit()
public AnnotatedTextEdit(Range range, java.lang.String newText, java.lang.String annotationId)