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>