private int getLastCharColumn(int line) throws BadLocationException { String lineDelimiter = fDocument.getLineDelimiter(line - 1); int lineDelimiterLength = lineDelimiter != null ? lineDelimiter.length() : 0; return fDocument.getLineLength(line - 1) - lineDelimiterLength; }
private static IRegion getAttributeRegionForLine(IDocument document, String name, String value, int line) { try { int offset = document.getLineOffset(line) + document.getLineLength(line); return getAttributeRegion(document, name, value, offset); } catch (BadLocationException e) { } return null; }
public static boolean isNewlineNeeded(IDocument doc) throws BadLocationException { int line = doc.getLineOfOffset(getInsertOffset(doc)); return doc.get(doc.getLineOffset(line), doc.getLineLength(line)).trim().length() > 0; }
private String getIndentOfLine(IDocument d, int line) throws BadLocationException { if (line > -1) { int start= d.getLineOffset(line); int end= start + d.getLineLength(line) - 1; int whiteEnd= findEndOfWhiteSpace(d, start, end); return d.get(start, whiteEnd - start); } else { return ""; //$NON-NLS-1$ } }
private String trim(IDocument document, int line, boolean ignoreLeadingWhitespace) throws BadLocationException { int lineOffset= document.getLineOffset(line); int lineLength= document.getLineLength(line); lineLength= lineLength - getLineDelimiterLength(document, line); if (!ignoreLeadingWhitespace) return document.get(lineOffset, lineLength).trim(); while (lineLength > 0 && Character.isWhitespace(document.getChar(lineOffset + lineLength - 1))) lineLength--; return document.get(lineOffset, lineLength); }
@Override public void documentAboutToBeChanged(DocumentEvent event) { fRememberedLengthOfDocument= fDocument.getLength(); try { fRememberedLengthOfFirstLine= fDocument.getLineLength(0); } catch (BadLocationException e) { fRememberedLengthOfFirstLine= -1; } fEvent= event; rememberEventData(fEvent); fireTextChanging(); }
private String getIndentOfLine(IDocument d, int line) throws BadLocationException { if (line > -1) { int start= d.getLineOffset(line); int end= start + d.getLineLength(line) - 1; int whiteEnd= findEndOfWhiteSpace(d, start, end); return d.get(start, whiteEnd - start); } else { return ""; //$NON-NLS-1$ } }
private String trim(IDocument document, int line, boolean ignoreLeadingWhitespace) throws BadLocationException { int lineOffset= document.getLineOffset(line); int lineLength= document.getLineLength(line); lineLength= lineLength - getLineDelimiterLength(document, line); if (!ignoreLeadingWhitespace) return document.get(lineOffset, lineLength).trim(); while (lineLength > 0 && Character.isWhitespace(document.getChar(lineOffset + lineLength - 1))) lineLength--; return document.get(lineOffset, lineLength); }
private String trim(IDocument document, int line, boolean ignoreLeadingWhitespace) throws BadLocationException { int lineOffset= document.getLineOffset(line); int lineLength= document.getLineLength(line); lineLength= lineLength - getLineDelimiterLength(document, line); if (!ignoreLeadingWhitespace) return document.get(lineOffset, lineLength).trim(); while (lineLength > 0 && Character.isWhitespace(document.getChar(lineOffset + lineLength - 1))) lineLength--; return document.get(lineOffset, lineLength); }
private String getIndentOfLine(IDocument d, int line) throws BadLocationException { if (line > -1) { int start= d.getLineOffset(line); int end= start + d.getLineLength(line) - 1; int whiteEnd= findEndOfWhiteSpace(d, start, end); return d.get(start, whiteEnd - start); } else { return ""; //$NON-NLS-1$ } }
public void documentAboutToBeChanged(DocumentEvent event) { fRememberedLengthOfDocument= fDocument.getLength(); try { fRememberedLengthOfFirstLine= fDocument.getLineLength(0); } catch (BadLocationException e) { fRememberedLengthOfFirstLine= -1; } fEvent= event; rememberEventData(fEvent); fireTextChanging(); }
private String trim(IDocument document, int line, boolean ignoreLeadingWhitespace) throws BadLocationException { int lineOffset= document.getLineOffset(line); int lineLength= document.getLineLength(line); lineLength= lineLength - getLineDelimiterLength(document, line); if (!ignoreLeadingWhitespace) return document.get(lineOffset, lineLength).trim(); while (lineLength > 0 && Character.isWhitespace(document.getChar(lineOffset + lineLength - 1))) lineLength--; return document.get(lineOffset, lineLength); }
@Override public void documentAboutToBeChanged(DocumentEvent event) { fRememberedLengthOfDocument= fDocument.getLength(); try { fRememberedLengthOfFirstLine= fDocument.getLineLength(0); } catch (BadLocationException e) { fRememberedLengthOfFirstLine= -1; } fEvent= event; rememberEventData(fEvent); fireTextChanging(); }
private void addFoldingRegions(Set<Position> regions, IManifestHeader header, IDocument document) throws BadLocationException { if (header == null) return; int startLine = document.getLineOfOffset(header.getOffset()); int endLine = document.getLineOfOffset(header.getOffset() + header.getLength() - 1); if (startLine < endLine) { int start = document.getLineOffset(startLine); int end = document.getLineOffset(endLine) + document.getLineLength(endLine); Position position = new Position(start, end - start); regions.add(position); fPositionToElement.put(position, header); } }
public static Position convertToCharacterPosition(Position linePosition, IDocument doc) throws BadLocationException { int lineOffset= linePosition.getOffset(); int lineLength= linePosition.getLength(); int charOffset= doc.getLineOffset(lineOffset); int charLength= 0; if (lineLength > 0) { int lastLine= lineOffset+lineLength-1; int endPosition= doc.getLineOffset(lastLine)+doc.getLineLength(lastLine); charLength= endPosition-charOffset; } return new Position(charOffset, charLength); }
public static Position convertToCharacterPosition(Position linePosition, IDocument doc) throws BadLocationException { int lineOffset= linePosition.getOffset(); int lineLength= linePosition.getLength(); int charOffset= doc.getLineOffset(lineOffset); int charLength= 0; if (lineLength > 0) { int lastLine= lineOffset+lineLength-1; int endPosition= doc.getLineOffset(lastLine)+doc.getLineLength(lastLine); charLength= endPosition-charOffset; } return new Position(charOffset, charLength); }
private IRegion getRegion(IDocument document, ILineRange lineRange) throws BadLocationException { final int startLine= lineRange.getStartLine(); int offset= document.getLineOffset(startLine); final int numberOfLines= lineRange.getNumberOfLines(); if (numberOfLines < 1) return new Region(offset, 0); int endLine= startLine + numberOfLines - 1; int endOffset= document.getLineOffset(endLine) + document.getLineLength(endLine); return new Region(offset, endOffset - offset); }
public void doubleClicked(ITextViewer viewer) { try { IDocument doc = viewer.getDocument(); int caretOffset = viewer.getSelectedRange().x; int lineNum = doc.getLineOfOffset(caretOffset); int start = doc.getLineOffset(lineNum); int length = doc.getLineLength(lineNum); viewer.setSelectedRange(start, length); } catch (BadLocationException e) { JDIDebugUIPlugin.log(e); } } };
public Position getPosition(Annotation annotation) { if (fRightDocument != null && annotation instanceof DiffRegion) { RangeDifference difference= ((DiffRegion)annotation).getDifference(); try { int offset= fRightDocument.getLineOffset(difference.rightStart()); return new Position(offset, fRightDocument.getLineOffset(difference.rightEnd() - 1) + fRightDocument.getLineLength(difference.rightEnd() - 1) - offset); } catch (BadLocationException e) { // ignore and return null; } } return null; }
@Override public Position getPosition(Annotation annotation) { if (fRightDocument != null && annotation instanceof DiffRegion) { QuickDiffRangeDifference difference= ((DiffRegion)annotation).getDifference(); try { int offset= fRightDocument.getLineOffset(difference.rightStart()); return new Position(offset, fRightDocument.getLineOffset(difference.rightEnd() - 1) + fRightDocument.getLineLength(difference.rightEnd() - 1) - offset); } catch (BadLocationException e) { // ignore and return null; } } return null; }