}
}
}
public final void testMessageSorting() {
InputSource a = new InputSource(URI.create("test:///a"));
InputSource b = new InputSource(URI.create("test:///b"));
InputSource c = new InputSource(URI.create("test:///c"));
FilePosition a1 = FilePosition.instance(a, 1, 10, 10);
FilePosition a2 = FilePosition.instance(a, 2, 20, 10);
FilePosition a12 = FilePosition.span(a1, a2);
FilePosition b2 = FilePosition.instance(b, 2, 20, 10);
FilePosition c1 = FilePosition.instance(c, 1, 10, 10);