in jflex/src/main/java/jflex/core/unicode/IntCharSetComparator.java [30:55]
public int compare(IntCharSet left, IntCharSet right) {
if (left == null || right == null) {
throw new NullPointerException();
}
if (left.equals(right)) {
return 0;
}
if (DEBUG) {
assert !left.and(right).containsElements();
}
if (!left.containsElements()) {
return -1;
}
if (!right.containsElements()) {
return 1;
}
if (left.getFirstInterval().start < right.getFirstInterval().start) {
return -1;
} else {
return 1;
}
}