75767778798081
} } public SourcePosition getSourcePosition(int offset) { int line = getLine(offset); return new SourcePosition(sourceFile, offset, line, getColumn(line, offset)); }