public class HighlightSeverity extends java.lang.Object implements java.lang.Comparable<HighlightSeverity>
Annotation
Modifier and Type | Field and Description |
---|---|
static HighlightSeverity[] |
DEFAULT_SEVERITIES
Standard severity levels.
|
static HighlightSeverity |
ERROR
The standard severity level for error annotations.
|
static HighlightSeverity |
GENERIC_SERVER_ERROR_OR_WARNING
The severity level for errors or warnings obtained from server.
|
static HighlightSeverity |
INFO
Deprecated.
use
WEAK_WARNING |
static HighlightSeverity |
INFORMATION
The standard severity level for information annotations.
|
java.lang.String |
myName |
int |
myVal |
static HighlightSeverity |
WARNING
The standard severity level for warning annotations.
|
static HighlightSeverity |
WEAK_WARNING |
Constructor and Description |
---|
HighlightSeverity(Element element) |
HighlightSeverity(java.lang.String name,
int val)
Creates a new highlighting severity level with the specified name and value.
|
Modifier and Type | Method and Description |
---|---|
int |
compareTo(HighlightSeverity highlightSeverity) |
boolean |
equals(java.lang.Object o) |
java.lang.String |
getName() |
int |
hashCode() |
java.lang.String |
toString() |
void |
writeExternal(Element element) |
public final java.lang.String myName
public final int myVal
public static final HighlightSeverity INFORMATION
public static final HighlightSeverity GENERIC_SERVER_ERROR_OR_WARNING
@Deprecated public static final HighlightSeverity INFO
WEAK_WARNING
public static final HighlightSeverity WEAK_WARNING
public static final HighlightSeverity WARNING
public static final HighlightSeverity ERROR
public static final HighlightSeverity[] DEFAULT_SEVERITIES
public HighlightSeverity(java.lang.String name, int val)
name
- the name of the highlighting level.val
- the value of the highlighting level. Used for comparing the annotations -
if two annotations with different severity levels cover the same text range, only
the annotation with a higher severity level is displayed.public HighlightSeverity(Element element)
public java.lang.String getName()
public int compareTo(HighlightSeverity highlightSeverity)
compareTo
in interface java.lang.Comparable<HighlightSeverity>
public void writeExternal(Element element) throws WriteExternalException
WriteExternalException
public boolean equals(java.lang.Object o)
equals
in class java.lang.Object
public int hashCode()
hashCode
in class java.lang.Object
public java.lang.String toString()
toString
in class java.lang.Object