@Override public void replace(int offset, int length, String text) throws BadLocationException { if (hasActiveRewriteSession()) { fPendingRequests.add(new Request(offset, length, text)); return; } checkImplementation(); fDelegate.replace(offset, length, text); }
@Override public void replace(int offset, int length, String text) throws BadLocationException { if (hasActiveRewriteSession()) { fPendingRequests.add(new Request(offset, length, text)); return; } checkImplementation(); fDelegate.replace(offset, length, text); }
if (lineTracker != null) { try { lineTracker.replace(index, 1, indent);
@Override public void replace(int pos, int length, String text, long modificationStamp) throws BadLocationException { if ((0 > pos) || (0 > length) || (pos + length > getLength())) throw new BadLocationException(); DocumentEvent e= new DocumentEvent(this, pos, length, text); fireDocumentAboutToBeChanged(e); getStore().replace(pos, length, text); getTracker().replace(pos, length, text); fModificationStamp= modificationStamp; fNextModificationStamp= Math.max(fModificationStamp, fNextModificationStamp); e.fModificationStamp= fModificationStamp; fireDocumentChanged(e); }
@Override public void replace(int pos, int length, String text, long modificationStamp) throws BadLocationException { if ((0 > pos) || (0 > length) || (pos + length > getLength())) throw new BadLocationException(); DocumentEvent e= new DocumentEvent(this, pos, length, text); fireDocumentAboutToBeChanged(e); getStore().replace(pos, length, text); getTracker().replace(pos, length, text); fModificationStamp= modificationStamp; fNextModificationStamp= Math.max(fModificationStamp, fNextModificationStamp); e.fModificationStamp= fModificationStamp; fireDocumentChanged(e); }
/** * When called, this projection document is informed about a change of its * master document. If this projection document is affected it informs all * of its document listeners. * * @param masterEvent the master document event */ public void masterDocumentChanged(DocumentEvent masterEvent) { if ( !isUpdating() && masterEvent == fMasterEvent) { if (fSlaveEvent != null) { try { getTracker().replace(fSlaveEvent.getOffset(), fSlaveEvent.getLength(), fSlaveEvent.getText()); fireDocumentChanged(fSlaveEvent); } catch (BadLocationException e) { internalError(); } } else if (ensureWellFormedSegmentation(masterEvent.getOffset())) fMapping.projectionChanged(); } }
/** * When called, this projection document is informed about a change of its * master document. If this projection document is affected it informs all * of its document listeners. * * @param masterEvent the master document event */ public void masterDocumentChanged(DocumentEvent masterEvent) { if ( !isUpdating() && masterEvent == fMasterEvent) { if (fSlaveEvent != null) { try { getTracker().replace(fSlaveEvent.getOffset(), fSlaveEvent.getLength(), fSlaveEvent.getText()); fireDocumentChanged(fSlaveEvent); } catch (BadLocationException e) { internalError(); } } else if (ensureWellFormedSegmentation(masterEvent.getOffset())) fMapping.projectionChanged(); } }
getTracker().replace(event.getOffset(), event.getLength(), event.getText()); super.fireDocumentChanged(event);
getTracker().replace(event.getOffset(), event.getLength(), event.getText()); super.fireDocumentChanged(event);
getTracker().replace(event.getOffset(), event.getLength(), event.getText()); super.fireDocumentChanged(event);
getTracker().replace(event.getOffset(), event.getLength(), event.getText()); super.fireDocumentChanged(event);