Searched refs:lineBegin (Results 1 – 3 of 3) sorted by relevance
713 int lineBegin = 0; in findLineTextRange() local723 for (; lineBegin < lineEnd; lineBegin++) { in findLineTextRange()724 char c = lineContents.charAt(lineBegin); in findLineTextRange()729 if (lineBegin < lineEnd) { in findLineTextRange()730 return new Region(lineInfo.getOffset() + lineBegin, lineEnd - lineBegin); in findLineTextRange()
1395 int lineBegin = lineInformation.getOffset();1396 if (lineBegin != begin) {1397 begin = lineBegin;1546 int lineBegin = lineInformation.getOffset();1547 if (lineBegin != offset) {1548 String prefix = document.get(lineBegin, offset - lineBegin);
1238 int lineBegin = info.getOffset(); in createDeletion() local1242 if (lineBegin < startOffset) { in createDeletion()1243 String prefix = getText(lineBegin, startOffset); in createDeletion()1257 startOffset = lineBegin; in createDeletion()