public static class SourceLocation.Comparator extends java.lang.Object implements java.util.Comparator<SourceLocation>
Constructor and Description |
---|
Comparator() |
Modifier and Type | Method and Description |
---|---|
int |
compare(SourceLocation o1,
SourceLocation o2)
Compares source locations first by line number, then by column number.
|
static int |
compareStatic(SourceLocation o1,
SourceLocation o2) |
public int compare(@Nonnull SourceLocation o1, @Nonnull SourceLocation o2)
compare
in interface java.util.Comparator<SourceLocation>
public static int compareStatic(@Nonnull SourceLocation o1, @Nonnull SourceLocation o2)
Copyright © 2009-2019 Aarhus University