/** * Factory method to create the document adapter to be used by this viewer. * * @return the document adapter to be used */ protected IDocumentAdapter createDocumentAdapter() { return new DefaultDocumentAdapter(); }
@Override public String getLine(int line) { IDocument document= getDocumentForRead(); try { return doGetLine(document, line); } catch (BadLocationException x) { repairLineInformation(document); try { return doGetLine(document, line); } catch (BadLocationException x2) { } } SWT.error(SWT.ERROR_INVALID_ARGUMENT); return null; }
@Override public void resumeForwardingDocumentChanges() { fIsForwarding= true; fDocumentClone= null; fOriginalContent= null; fOriginalLineDelimiters= null; fireTextSet(); }
@Override public void documentChanged(DocumentEvent event) { // check whether the given event is the one which was remembered if (fEvent == null || event != fEvent) return; if (isPatchedEvent(event) || (event.getOffset() == 0 && event.getLength() == fRememberedLengthOfDocument)) { fLineDelimiter= null; fireTextSet(); } else { if (event.getOffset() < fRememberedLengthOfFirstLine) fLineDelimiter= null; fireTextChanged(); } }
@Override public int getLineAtOffset(int offset) { IDocument document= getDocumentForRead(); try { return document.getLineOfOffset(offset); } catch (BadLocationException x) { repairLineInformation(document); try { return document.getLineOfOffset(offset); } catch (BadLocationException x2) { } } SWT.error(SWT.ERROR_INVALID_ARGUMENT); return -1; }
@Override public void documentAboutToBeChanged(DocumentEvent event) { fRememberedLengthOfDocument= fDocument.getLength(); try { fRememberedLengthOfFirstLine= fDocument.getLineLength(0); } catch (BadLocationException e) { fRememberedLengthOfFirstLine= -1; } fEvent= event; rememberEventData(fEvent); fireTextChanging(); }
@Override public int getLineCount() { return getDocumentForRead().getNumberOfLines(); }
@Override public void documentChanged(DocumentEvent event) { // check whether the given event is the one which was remembered if (fEvent == null || event != fEvent) return; if (isPatchedEvent(event) || (event.getOffset() == 0 && event.getLength() == fRememberedLengthOfDocument)) { fLineDelimiter= null; fireTextSet(); } else { if (event.getOffset() < fRememberedLengthOfFirstLine) fLineDelimiter= null; fireTextChanged(); } }
@Override public int getLineAtOffset(int offset) { IDocument document= getDocumentForRead(); try { return document.getLineOfOffset(offset); } catch (BadLocationException x) { repairLineInformation(document); try { return document.getLineOfOffset(offset); } catch (BadLocationException x2) { } } SWT.error(SWT.ERROR_INVALID_ARGUMENT); return -1; }
@Override public void documentAboutToBeChanged(DocumentEvent event) { fRememberedLengthOfDocument= fDocument.getLength(); try { fRememberedLengthOfFirstLine= fDocument.getLineLength(0); } catch (BadLocationException e) { fRememberedLengthOfFirstLine= -1; } fEvent= event; rememberEventData(fEvent); fireTextChanging(); }
@Override public int getLineCount() { return getDocumentForRead().getNumberOfLines(); }
@Override public String getLine(int line) { IDocument document= getDocumentForRead(); try { return doGetLine(document, line); } catch (BadLocationException x) { repairLineInformation(document); try { return doGetLine(document, line); } catch (BadLocationException x2) { } } SWT.error(SWT.ERROR_INVALID_ARGUMENT); return null; }
@Override public int getOffsetAtLine(int line) { IDocument document= getDocumentForRead(); try { return document.getLineOffset(line); } catch (BadLocationException x) { repairLineInformation(document); try { return document.getLineOffset(line); } catch (BadLocationException x2) { } } SWT.error(SWT.ERROR_INVALID_ARGUMENT); return -1; }
@Override public int getCharCount() { return getDocumentForRead().getLength(); }
/** * Factory method to create the document adapter to be used by this viewer. * * @return the document adapter to be used */ protected IDocumentAdapter createDocumentAdapter() { return new DefaultDocumentAdapter(); }
@Override public void resumeForwardingDocumentChanges() { fIsForwarding= true; fDocumentClone= null; fOriginalContent= null; fOriginalLineDelimiters= null; fireTextSet(); }
@Override public int getOffsetAtLine(int line) { IDocument document= getDocumentForRead(); try { return document.getLineOffset(line); } catch (BadLocationException x) { repairLineInformation(document); try { return document.getLineOffset(line); } catch (BadLocationException x2) { } } SWT.error(SWT.ERROR_INVALID_ARGUMENT); return -1; }
@Override public int getCharCount() { return getDocumentForRead().getLength(); }
@Override public String getTextRange(int offset, int length) { try { return getDocumentForRead().get(offset, length); } catch (BadLocationException x) { SWT.error(SWT.ERROR_INVALID_ARGUMENT); return null; } }
@Override public String getTextRange(int offset, int length) { try { return getDocumentForRead().get(offset, length); } catch (BadLocationException x) { SWT.error(SWT.ERROR_INVALID_ARGUMENT); return null; } }