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