public static final class SourceView.Highlight extends java.lang.Object implements java.lang.Comparable<SourceView.Highlight>
An object of this class represents a highlight of a specific line in the
SourceView
.
Modifier and Type | Method and Description |
---|---|
int |
compareTo(SourceView.Highlight other) |
boolean |
equals(java.lang.Object obj) |
java.awt.Color |
getColor() |
java.net.URI |
getFileURI() |
int |
getLevel() |
int |
getLine() |
int |
hashCode() |
public int hashCode()
hashCode
in class java.lang.Object
public boolean equals(java.lang.Object obj)
equals
in class java.lang.Object
public int compareTo(SourceView.Highlight other)
compareTo
in interface java.lang.Comparable<SourceView.Highlight>
public int getLevel()
public java.awt.Color getColor()
public java.net.URI getFileURI()
public int getLine()
Copyright © 2003-2019 The KeY-Project.