DocumentCharStreamV4.java 文件源码

@Override
public String getText(Interval interval) {
    int startIndex = interval.a;
    int endIndexInclusive = interval.b;
    if (currentSnapshotLine != null) {
        if (startIndex >= currentSnapshotLineStartIndex && (endIndexInclusive + 1) <= currentSnapshotLineStartIndex + currentSnapshotLine.length()) {
            return currentSnapshotLine.substring(startIndex - currentSnapshotLineStartIndex, endIndexInclusive - currentSnapshotLineStartIndex + 1);
        }
    }
    try {
        return document.getText(startIndex, endIndexInclusive - startIndex + 1).toString();
    } catch (BadLocationException ex) {
        LOGGER.log(Level.WARNING, ex.getMessage(), ex);
        return null;
    }
}