code: public SourceLocation extend(int lines, int cols) {
      return new SourceLocation(filePath, begin, end.offset(lines, cols));
    }
docs: Returns a new SourceLocation that starts where this SourceLocation starts and ends {@code
  lines} and {@code cols} further than where it ends.