@Override public ILineRange getHoverLineRange(ISourceViewer viewer, int lineNumber) { RevisionRange range= getRange(lineNumber); return range == null ? null : new LineRange(lineNumber, 1); }
@Override public ILineRange getHoverLineRange(ISourceViewer viewer, int lineNumber) { RevisionRange range= getRange(lineNumber); return range == null ? null : new LineRange(lineNumber, 1); }
@Override public ILineRange getHoverLineRange(ISourceViewer viewer, int lineNumber) { return new LineRange(lineNumber, 1); }
@Override public ILineRange getHoverLineRange(ISourceViewer viewer, int lineNumber) { return new LineRange(lineNumber, 1); }
/** * Register revision * * @return this revision */ public BlameRevision register() { addRange(new LineRange(start, lines)); return this; }
/** * Returns the line coverage of the adjusted ranges, an empty range if the coverage is empty. * * @return the line coverage of the adjusted ranges */ public ILineRange getAdjustedCoverage() { if (fAdjusted.isEmpty()) return new LineRange(fLines.getStartLine(), 0); Range first= fAdjusted.get(0); Range last= fAdjusted.get(fAdjusted.size() - 1); return Range.createAbsolute(first.start(), last.end()); }
/** * Returns the line coverage of the adjusted ranges, an empty range if the coverage is empty. * * @return the line coverage of the adjusted ranges */ public ILineRange getAdjustedCoverage() { if (fAdjusted.isEmpty()) return new LineRange(fLines.getStartLine(), 0); Range first= fAdjusted.get(0); Range last= fAdjusted.get(fAdjusted.size() - 1); return Range.createAbsolute(first.start(), last.end()); }
/** * Computes the widget lines that need repainting given the clipping region of a paint event. * * @param event the paint event * @return the lines in widget coordinates that need repainting */ private ILineRange computeDirtyWidgetLines(PaintEvent event) { int firstLine= fStyledText.getLineIndex(event.y); int lastLine= fStyledText.getLineIndex(event.y + event.height - 1); return new LineRange(firstLine, lastLine - firstLine + 1); }
/** * Computes the widget lines that need repainting given the clipping region of a paint event. * * @param event the paint event * @return the lines in widget coordinates that need repainting */ private ILineRange computeDirtyWidgetLines(PaintEvent event) { int firstLine= fStyledText.getLineIndex(event.y); int lastLine= fStyledText.getLineIndex(event.y + event.height - 1); return new LineRange(firstLine, lastLine - firstLine + 1); }
@Override public ILineRange getHoverLineRange(ISourceViewer viewer, int lineNumber) { IDocument document= viewer.getDocument(); if (document != null) { Point range= computeLineRange(viewer, lineNumber, 0, Math.max(0, document.getNumberOfLines() - 1)); if (range.x != -1 && range.y != -1) return new LineRange(range.x, range.y - range.x + 1); } return null; }
@Override public ILineRange getHoverLineRange(ISourceViewer viewer, int lineNumber) { IDocument document= viewer.getDocument(); if (document != null) { Point range= computeLineRange(viewer, lineNumber, 0, Math.max(0, document.getNumberOfLines() - 1)); if (range.x != -1 && range.y != -1) return new LineRange(range.x, range.y - range.x + 1); } return null; }
private ILineRange getLineRange(IDocument document, ITextSelection selection) throws BadLocationException { final int offset= selection.getOffset(); int startLine= document.getLineOfOffset(offset); int endOffset= offset + selection.getLength(); int endLine= document.getLineOfOffset(endOffset); final int nLines= endLine - startLine + 1; return new LineRange(startLine, nLines); }
private ILineRange getLineRange(IDocument document, ITextSelection selection) throws BadLocationException { final int offset= selection.getOffset(); int startLine= document.getLineOfOffset(offset); int endOffset= offset + selection.getLength(); int endLine= document.getLineOfOffset(endOffset); final int nLines= endLine - startLine + 1; return new LineRange(startLine, nLines); }
private ILineRange getLineRange(IDocument document, ITextSelection selection) throws BadLocationException { final int offset= selection.getOffset(); int startLine= document.getLineOfOffset(offset); int endOffset= offset + selection.getLength(); int endLine= document.getLineOfOffset(endOffset); final int nLines= endLine - startLine + 1; return new LineRange(startLine, nLines); }
private void indent(IDocument document) throws BadLocationException, MalformedTreeException { // first line int offset= document.getLineOffset(0); document.replace(offset, 0, CodeFormatterUtil.createIndentString(fInitialIndentLevel, fProject)); // following lines int lineCount= document.getNumberOfLines(); IndentUtil.indentLines(document, new LineRange(1, lineCount - 1), fProject, null); } }
private void indent(IDocument document) throws BadLocationException, MalformedTreeException { // first line int offset= document.getLineOffset(0); document.replace(offset, 0, CodeFormatterUtil.createIndentString(fInitialIndentLevel, fProject)); // following lines int lineCount= document.getNumberOfLines(); IndentUtil.indentLines(document, new LineRange(1, lineCount - 1), fProject, null); } }
public static ILineRange getLineRange(IJavaElement element, IDocument document) throws JavaModelException, BadLocationException { ISourceRange r = ((ISourceReference) element).getSourceRange(); int offset = r.getOffset(); int startLine = document.getLineOfOffset(offset); int endLine = document.getLineOfOffset(offset + r.getLength()); return new LineRange(startLine, endLine - startLine); } }
private void indent(IDocument document) throws BadLocationException, MalformedTreeException { // first line int offset= document.getLineOffset(0); document.replace(offset, 0, CodeFormatterUtil.createIndentString(fInitialIndentLevel, fProject)); // following lines int lineCount= document.getNumberOfLines(); IndentUtil.indentLines(document, new LineRange(1, lineCount - 1), fProject, null); } }
/** * Converts a given character region into a line range. * * @param region the character region * @return the corresponding line range * @throws BadLocationException in case the given region in invalid */ private ILineRange convertToLineRange(IRegion region) throws BadLocationException { IDocument document= fSourceViewer.getDocument(); int startLine= document.getLineOfOffset(region.getOffset()); int endLine= document.getLineOfOffset(region.getOffset() + region.getLength()); return new LineRange(startLine, endLine - startLine + 1); }
/** * Converts a given character region into a line range. * * @param region the character region * @return the corresponding line range * @throws BadLocationException in case the given region in invalid */ private ILineRange convertToLineRange(IRegion region) throws BadLocationException { IDocument document= fSourceViewer.getDocument(); int startLine= document.getLineOfOffset(region.getOffset()); int endLine= document.getLineOfOffset(region.getOffset() + region.getLength()); return new LineRange(startLine, endLine - startLine + 1); }