static final class BasicErrorManager.LeveledJSErrorComparator extends java.lang.Object implements java.util.Comparator<BasicErrorManager.ErrorWithLevel>
Comparator of JSError
with an associated CheckLevel
.
The ordering is the standard lexical ordering on the quintuple
(file name, line number, CheckLevel
,
character number, description).
Note: this comparator imposes orderings that are inconsistent with
JSError.equals(Object)
.
Modifier and Type | Field and Description |
---|---|
private static int |
P1_GT_P2 |
private static int |
P1_LT_P2 |
Constructor and Description |
---|
LeveledJSErrorComparator() |
Modifier and Type | Method and Description |
---|---|
int |
compare(BasicErrorManager.ErrorWithLevel p1,
BasicErrorManager.ErrorWithLevel p2) |
private static final int P1_LT_P2
private static final int P1_GT_P2
public int compare(BasicErrorManager.ErrorWithLevel p1, BasicErrorManager.ErrorWithLevel p2)
compare
in interface java.util.Comparator<BasicErrorManager.ErrorWithLevel>