/** * Installs this position manager in the given document. The position manager stays * active until <code>uninstall</code> or <code>dispose</code> * is called. * * @param document the document to be installed on */ public void install(IDocument document) { fDocument= document; fDocument.addPositionCategory(fCategory); fDocument.addPositionUpdater(fPositionUpdater); }
/** * Installs this position manager in the given document. The position manager stays * active until <code>uninstall</code> or <code>dispose</code> * is called. * * @param document the document to be installed on */ public void install(IDocument document) { fDocument= document; fDocument.addPositionCategory(fCategory); fDocument.addPositionUpdater(fPositionUpdater); }
private static void resetExtraPositions(IDocument document) { try { document.removePositionCategory(MarkerUtils.SONARLINT_EXTRA_POSITIONS_CATEGORY); } catch (BadPositionCategoryException e1) { // Ignore } document.addPositionCategory(MarkerUtils.SONARLINT_EXTRA_POSITIONS_CATEGORY); document.addPositionUpdater(EXTRA_POSITIONS_UPDATER); }
/** * Installs those updaters which the formatter needs to keep track of the partitions. * @since 3.0 */ private void addPartitioningUpdater() { fPartitioningUpdater= new NonDeletingPositionUpdater(PARTITIONING); fDocument.addPositionCategory(PARTITIONING); fDocument.addPositionUpdater(fPartitioningUpdater); }
/** * Installs those updaters which the formatter needs to keep track of the partitions. * @since 3.0 */ private void addPartitioningUpdater() { fPartitioningUpdater= new NonDeletingPositionUpdater(PARTITIONING); fDocument.addPositionCategory(PARTITIONING); fDocument.addPositionUpdater(fPartitioningUpdater); }
/** * Puts <code>document</code> into the set of managed documents. This * involves registering the document listener and adding our position * category. * * @param document the new document */ private void manageDocument(IDocument document) { if (!fDocuments.contains(document)) { fDocuments.add(document); document.addPositionCategory(getCategory()); document.addPositionUpdater(fUpdater); document.addDocumentListener(fDocumentListener); } }
/** * Puts <code>document</code> into the set of managed documents. This * involves registering the document listener and adding our position * category. * * @param document the new document */ private void manageDocument(IDocument document) { if (!fDocuments.contains(document)) { fDocuments.add(document); document.addPositionCategory(getCategory()); document.addPositionUpdater(fUpdater); document.addDocumentListener(fDocumentListener); } }
/** * Start managing the given document. * * @param document The document */ private void manageDocument(IDocument document) { if (document != null) { document.addPositionCategory(getPositionCategory()); document.addPositionUpdater(fPositionUpdater); document.addDocumentListener(this); } }
/** * Start managing the given document. * * @param document The document */ private void manageDocument(IDocument document) { if (document != null) { document.addPositionCategory(getPositionCategory()); document.addPositionUpdater(fPositionUpdater); document.addDocumentListener(this); } }
void connectPositionUpdater(IDocument document) { document.addPositionCategory(DIFF_RANGE_CATEGORY); if (this.fViewer.fPositionUpdater == null) this.fViewer.fPositionUpdater= this.fViewer.new ChildPositionUpdater(DIFF_RANGE_CATEGORY); else document.removePositionUpdater(this.fViewer.fPositionUpdater); document.addPositionUpdater(this.fViewer.fPositionUpdater); }
/** * Start managing the given document. * * @param document The document */ private void manageDocument(IDocument document) { if (document != null) { document.addPositionCategory(getPositionCategory()); document.addPositionUpdater(fPositionUpdater); document.addDocumentListener(this); } }
/** * Start managing the given document. * * @param document * The document */ private void manageDocument(IDocument document) { if (document != null) { document.addPositionCategory(getPositionCategory()); document.addPositionUpdater(fPositionUpdater); document.addDocumentListener(this); } }
/** * Called before document changes occur. It must be followed by a call to postReplace(). * * @param document the document on which to track the reference position. * @param offset the offset * @throws BadLocationException if the offset describes an invalid range in this document * */ public void preReplace(IDocument document, int offset) throws BadLocationException { fPosition.setOffset(offset); try { document.addPositionCategory(CATEGORY); document.addPositionUpdater(fPositionUpdater); document.addPosition(CATEGORY, fPosition); } catch (BadPositionCategoryException e) { // should not happen JavaPlugin.log(e); } }
private void ensurePositionCategoryInstalled(final IDocument document, LinkedModeModel model) { if (!document.containsPositionCategory(getCategory())) { document.addPositionCategory(getCategory()); fUpdater= new InclusivePositionUpdater(getCategory()); document.addPositionUpdater(fUpdater); model.addLinkingListener(new ILinkedModeListener() { @Override public void left(LinkedModeModel environment, int flags) { ensurePositionCategoryRemoved(document); } @Override public void suspend(LinkedModeModel environment) {} @Override public void resume(LinkedModeModel environment, int flags) {} }); } }
private void ensurePositionCategoryInstalled(final IDocument document, LinkedModeModel model) { if (!document.containsPositionCategory(getCategory())) { document.addPositionCategory(getCategory()); fUpdater= new InclusivePositionUpdater(getCategory()); document.addPositionUpdater(fUpdater); model.addLinkingListener(new ILinkedModeListener() { /* * @see org.eclipse.jface.text.link.ILinkedModeListener#left(org.eclipse.jface.text.link.LinkedModeModel, int) */ public void left(LinkedModeModel environment, int flags) { ensurePositionCategoryRemoved(document); } public void suspend(LinkedModeModel environment) {} public void resume(LinkedModeModel environment, int flags) {} }); } }
private void ensurePositionCategoryInstalled(final IDocument document, LinkedModeModel model) { if (!document.containsPositionCategory(getCategory())) { document.addPositionCategory(getCategory()); fUpdater= new InclusivePositionUpdater(getCategory()); document.addPositionUpdater(fUpdater); model.addLinkingListener(new ILinkedModeListener() { @Override public void left(LinkedModeModel environment, int flags) { ensurePositionCategoryRemoved(document); } @Override public void suspend(LinkedModeModel environment) {} @Override public void resume(LinkedModeModel environment, int flags) {} }); } }
@Override public void inputDocumentChanged(IDocument oldDocument, IDocument newDocument) { fDocumentChanging= false; fCachedRedrawState= true; if (newDocument != null) { newDocument.addPositionCategory(fPositionCategory); newDocument.addPositionUpdater(fPositionUpdater); newDocument.addDocumentPartitioningListener(this); newDocument.addDocumentListener(this); fViewer.addTextListener(this); setDocumentToDamagers(newDocument); setDocumentToRepairers(newDocument); processDamage(new Region(0, newDocument.getLength()), newDocument); } }
private void ensurePositionCategoryInstalled(final IDocument document, LinkedModeModel model) { if (!document.containsPositionCategory(getCategory())) { document.addPositionCategory(getCategory()); fUpdater= new InclusivePositionUpdater(getCategory()); document.addPositionUpdater(fUpdater); model.addLinkingListener(new ILinkedModeListener() { /* * @see org.eclipse.jface.text.link.ILinkedModeListener#left(org.eclipse.jface.text.link.LinkedModeModel, int) */ @Override public void left(LinkedModeModel environment, int flags) { ensurePositionCategoryRemoved(document); } @Override public void suspend(LinkedModeModel environment) {} @Override public void resume(LinkedModeModel environment, int flags) {} }); } }
public void inputDocumentChanged(IDocument oldDocument, IDocument newDocument) { fDocumentChanging= false; fCachedRedrawState= true; if (newDocument != null) { newDocument.addPositionCategory(fPositionCategory); newDocument.addPositionUpdater(fPositionUpdater); newDocument.addDocumentPartitioningListener(this); newDocument.addDocumentListener(this); fViewer.addTextListener(this); setDocumentToDamagers(newDocument); setDocumentToRepairers(newDocument); processDamage(new Region(0, newDocument.getLength()), newDocument); } }
@Override public void inputDocumentChanged(IDocument oldDocument, IDocument newDocument) { fDocumentChanging= false; fCachedRedrawState= true; if (newDocument != null) { newDocument.addPositionCategory(fPositionCategory); newDocument.addPositionUpdater(fPositionUpdater); newDocument.addDocumentPartitioningListener(this); newDocument.addDocumentListener(this); fViewer.addTextListener(this); setDocumentToDamagers(newDocument); setDocumentToRepairers(newDocument); processDamage(new Region(0, newDocument.getLength()), newDocument); } }