public class DocumentHighlight
extends java.lang.Object
| Constructor and Description |
|---|
DocumentHighlight() |
DocumentHighlight(Range range) |
DocumentHighlight(Range range,
DocumentHighlightKind kind) |
| Modifier and Type | Method and Description |
|---|---|
boolean |
equals(java.lang.Object obj) |
DocumentHighlightKind |
getKind()
The highlight kind, default is
DocumentHighlightKind.Text. |
Range |
getRange()
The range this highlight applies to.
|
int |
hashCode() |
void |
setKind(DocumentHighlightKind kind)
The highlight kind, default is
DocumentHighlightKind.Text. |
void |
setRange(Range range)
The range this highlight applies to.
|
java.lang.String |
toString() |
public DocumentHighlight()
public DocumentHighlight(Range range)
public DocumentHighlight(Range range, DocumentHighlightKind kind)
@Pure public Range getRange()
public void setRange(Range range)
@Pure public DocumentHighlightKind getKind()
DocumentHighlightKind.Text.public void setKind(DocumentHighlightKind kind)
DocumentHighlightKind.Text.@Pure public java.lang.String toString()
toString in class java.lang.Object@Pure public boolean equals(java.lang.Object obj)
equals in class java.lang.Object@Pure public int hashCode()
hashCode in class java.lang.Object