Searched refs:lineContents (Results 1 – 1 of 1) sorted by relevance
712 String lineContents = document.get(lineInfo.getOffset(), lineInfo.getLength()); in findLineTextRange() local714 int lineEnd = lineContents.length()-1; in findLineTextRange()717 char c = lineContents.charAt(lineEnd); in findLineTextRange()724 char c = lineContents.charAt(lineBegin); in findLineTextRange()