String (@NotNull String text, @NotNull LineOffsets lineOffsets, int line) { int lineStart = lineOffsets.getLineStart(line); int lineEnd = lineOffsets.getLineEnd(line); return text.substring(lineStart, lineEnd); }