@Override public int getRangeCount() { return fDocument.getNumberOfLines(); }
/** * Create a line comparator for the given document. * * @param document */ public LineComparator(IDocument document) { this.document = document; this.hashes = new ArrayList<Integer>(Arrays.asList(new Integer[document.getNumberOfLines()])); }
/** * Create a line comparator for the given document. * * @param document the document */ public LineComparator(IDocument document) { fDocument= document; Integer[] nulls= new Integer[fDocument.getNumberOfLines()]; fHashes= new ArrayList<>(Arrays.asList(nulls)); }
/** * Create a line comparator for the given document. * * @param document the document */ public LineComparator(IDocument document) { fDocument= document; Integer[] nulls= new Integer[fDocument.getNumberOfLines()]; fHashes= new ArrayList<>(Arrays.asList(nulls)); }
public DocumentEquivalenceClass(IDocument document, IHashFunction hashFunction) { fDocument= document; Hash[] nulls= new Hash[fDocument.getNumberOfLines()]; fHashes= new ArrayList<>(Arrays.asList(nulls)); if (hashFunction == null) throw new NullPointerException("hashFunction"); //$NON-NLS-1$ fHashFunction= hashFunction; }
public DocumentEquivalenceClass(IDocument document, IHashFunction hashFunction) { fDocument= document; Object[] nulls= new Object[fDocument.getNumberOfLines()]; fHashes= new ArrayList(Arrays.asList(nulls)); if (hashFunction == null) throw new NullPointerException("hashFunction"); //$NON-NLS-1$ fHashFunction= hashFunction; }
public DocumentEquivalenceClass(IDocument document, IHashFunction hashFunction) { fDocument= document; Hash[] nulls= new Hash[fDocument.getNumberOfLines()]; fHashes= new ArrayList<>(Arrays.asList(nulls)); if (hashFunction == null) throw new NullPointerException("hashFunction"); //$NON-NLS-1$ fHashFunction= hashFunction; }
@Override public int getLineOfLastMouseButtonActivity() { if (fLastMouseButtonActivityLine >= fTextViewer.getDocument().getNumberOfLines()) fLastMouseButtonActivityLine= -1; return fLastMouseButtonActivityLine; }
@Override public int getLineOfLastMouseButtonActivity() { if (fLastMouseButtonActivityLine >= fTextViewer.getDocument().getNumberOfLines()) fLastMouseButtonActivityLine= -1; return fLastMouseButtonActivityLine; }
@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; }
@Override public int getLineOfLastMouseButtonActivity() { if (fLastMouseButtonActivityLine == -1) fLastMouseButtonActivityLine= toDocumentLineNumber(fLocation.y); else if (fTextViewer.getDocument() == null || fLastMouseButtonActivityLine >= fTextViewer.getDocument().getNumberOfLines()) fLastMouseButtonActivityLine= -1; return fLastMouseButtonActivityLine; }
public static int getInsertOffset(IDocument doc) { int offset = doc.getLength(); for (int i = doc.getNumberOfLines() - 1; i >= 0; i--) { try { if (doc.get(doc.getLineOffset(i), doc.getLineLength(i)).trim().length() > 0) { break; } offset = doc.getLineOffset(i); } catch (BadLocationException e) { } } return offset; }
@Override public int getLineOfLastMouseButtonActivity() { if (fLastMouseButtonActivityLine == -1) fLastMouseButtonActivityLine= toDocumentLineNumber(fLocation.y); else if (fTextViewer.getDocument() == null || fLastMouseButtonActivityLine >= fTextViewer.getDocument().getNumberOfLines()) fLastMouseButtonActivityLine= -1; return fLastMouseButtonActivityLine; }
private static void convertLineDelimiters(IDocument document, String defaultLineDelimiter) throws BadLocationException { int lines = document.getNumberOfLines(); for (int line = 0; line < lines; line++) { IRegion region = document.getLineInformation(line); String lineDelimiter = document.getLineDelimiter(line); if (lineDelimiter != null) document.replace(region.getOffset() + region.getLength(), lineDelimiter.length(), defaultLineDelimiter); } }
private void convertLineDelimiters(IDocument document) throws BadLocationException { int lines= document.getNumberOfLines(); for (int line= 0; line < lines; line++) { IRegion region= document.getLineInformation(line); String lineDelimiter= document.getLineDelimiter(line); if (lineDelimiter != null) document.replace(region.getOffset() + region.getLength(), lineDelimiter.length(), fLineDelimiter); } }
private void convertLineDelimiters(IDocument document) throws BadLocationException { int lines= document.getNumberOfLines(); for (int line= 0; line < lines; line++) { IRegion region= document.getLineInformation(line); String lineDelimiter= document.getLineDelimiter(line); if (lineDelimiter != null) document.replace(region.getOffset() + region.getLength(), lineDelimiter.length(), fLineDelimiter); } }
@Override protected void handleVisibleDocumentAboutToBeChanged(DocumentEvent event) { if (fHandleProjectionChanges && event instanceof ProjectionDocumentEvent && isProjectionMode()) { int deletedLines; try { deletedLines= event.getDocument().getNumberOfLines(event.getOffset(), event.getLength()); } catch (BadLocationException e1) { deletedLines= 0; } fDeletedLines= deletedLines; } }
@Override protected void handleVisibleDocumentAboutToBeChanged(DocumentEvent event) { if (fHandleProjectionChanges && event instanceof ProjectionDocumentEvent && isProjectionMode()) { int deletedLines; try { deletedLines= event.getDocument().getNumberOfLines(event.getOffset(), event.getLength()); } catch (BadLocationException e1) { deletedLines= 0; } fDeletedLines= deletedLines; } }
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); } }