/** * 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 void resetPositions(IDocument doc) { if (doc == null) return; try { doc.removePositionCategory(DIFF_RANGE_CATEGORY); } catch (BadPositionCategoryException e) { // Ignore } doc.addPositionCategory(DIFF_RANGE_CATEGORY); }
private void resetPositions(IDocument doc) { if (doc == null) return; try { doc.removePositionCategory(DIFF_RANGE_CATEGORY); } catch (BadPositionCategoryException e) { // Ignore } doc.addPositionCategory(DIFF_RANGE_CATEGORY); }
/** * Flushes the active rewrite session. */ protected final void flushRewriteSession() { fActiveRewriteSession= null; // remove all position belonging to the partitioner position category try { fDocument.removePositionCategory(fPositionCategory); } catch (BadPositionCategoryException x) { } fDocument.addPositionCategory(fPositionCategory); fIsInitialized= false; }
private void resetPositions(IDocument doc) { if (doc == null) return; try { doc.removePositionCategory(DIFF_RANGE_CATEGORY); } catch (BadPositionCategoryException e) { // Ignore } doc.addPositionCategory(DIFF_RANGE_CATEGORY); }
/** * 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); }
@Override public void connect(IDocument document, boolean delayInitialization) { Assert.isNotNull(document); Assert.isTrue(!document.containsPositionCategory(fPositionCategory)); fDocument= document; fDocument.addPositionCategory(fPositionCategory); fIsInitialized= false; if (!delayInitialization) checkInitialization(); }
@Override public void connect(IDocument document) { Assert.isNotNull(document); Assert.isTrue(!document.containsPositionCategory(fPositionCategory)); fDocument= document; fDocument.addPositionCategory(fPositionCategory); initialize(); }
@Override public void connect(IDocument document, boolean delayInitialization) { Assert.isNotNull(document); Assert.isTrue(!document.containsPositionCategory(fPositionCategory)); fDocument= document; fDocument.addPositionCategory(fPositionCategory); fIsInitialized= false; if (!delayInitialization) checkInitialization(); }
@Override public void connect(IDocument document) { Assert.isNotNull(document); Assert.isTrue(!document.containsPositionCategory(fPositionCategory)); fDocument= document; fDocument.addPositionCategory(fPositionCategory); initialize(); }
/** * 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); }
public CppStyleMessageConsole(CppStyleConsolePatternMatchListener listener) { super(CppStyleConstants.CONSOLE_NAME, null); this.getDocument().addPositionCategory(ERROR_MARKER_CATEGORY); this.listener = listener; addPatternMatchListener(listener); runUI(new Runnable() { @Override public void run() { err.setColor(new Color(getStandardDisplay(), new RGB(255, 0, 0))); }; }); }
/** * 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); } }
private void registerPositionUpdater(int start, int length) { fBaseDocument.addPositionCategory(RANGE_CATEGORY); fRange= new Position(start, length); try { fBaseDocument.addPosition(RANGE_CATEGORY, fRange); } catch (BadPositionCategoryException ex) { CompareUIPlugin.log(ex); } catch (BadLocationException ex) { CompareUIPlugin.log(ex); } }
private void registerPositionUpdater(int start, int length) { fBaseDocument.addPositionCategory(RANGE_CATEGORY); fRange= new Position(start, length); try { fBaseDocument.addPosition(RANGE_CATEGORY, fRange); } catch (BadPositionCategoryException ex) { CompareUIPlugin.log(ex); } catch (BadLocationException ex) { CompareUIPlugin.log(ex); } }