public static FilePosition between(FilePosition a, FilePosition b) {
return instance(
a.source(),
a.endLineNo(),
a.endCharInFile(),
a.endCharInLine(),
b.startLineNo(),
b.startCharInFile(),
b.startCharInLine());
}
public final void mark(@Nullable FilePosition mark) {
if (mark != null && !InputSource.UNKNOWN.equals(mark.source())) {
pending.add(mark);
}
}