/** * Fires the document partitioning changed notification to all registered * document partitioning listeners. Uses a robust iterator. * * @param region the region in which partitioning has changed * * @see IDocumentPartitioningListenerExtension * @since 2.0 * @deprecated as of 3.0. Use * <code>fireDocumentPartitioningChanged(DocumentPartitioningChangedEvent)</code> * instead. */ @Deprecated protected void fireDocumentPartitioningChanged(IRegion region) { if (fDocumentPartitioningListeners == null) return; for (IDocumentPartitioningListener l : fDocumentPartitioningListeners) { try { if (l instanceof IDocumentPartitioningListenerExtension) ((IDocumentPartitioningListenerExtension)l).documentPartitioningChanged(this, region); else l.documentPartitioningChanged(this); } catch (Exception ex) { log(ex); } } }
/** * Fires the document partitioning changed notification to all registered * document partitioning listeners. Uses a robust iterator. * * @param region the region in which partitioning has changed * * @see IDocumentPartitioningListenerExtension * @since 2.0 * @deprecated as of 3.0. Use * <code>fireDocumentPartitioningChanged(DocumentPartitioningChangedEvent)</code> * instead. */ @Deprecated protected void fireDocumentPartitioningChanged(IRegion region) { if (fDocumentPartitioningListeners == null) return; for (IDocumentPartitioningListener l : fDocumentPartitioningListeners) { try { if (l instanceof IDocumentPartitioningListenerExtension) ((IDocumentPartitioningListenerExtension)l).documentPartitioningChanged(this, region); else l.documentPartitioningChanged(this); } catch (Exception ex) { log(ex); } } }
/** * Fires the document partitioning changed notification to all registered * document partitioning listeners. Uses a robust iterator. * * @param event the document partitioning changed event * * @see IDocumentPartitioningListenerExtension2 * @since 3.0 */ protected void fireDocumentPartitioningChanged(DocumentPartitioningChangedEvent event) { if (fDocumentPartitioningListeners == null) return; for (IDocumentPartitioningListener l : fDocumentPartitioningListeners) { try { if (l instanceof IDocumentPartitioningListenerExtension2) { IDocumentPartitioningListenerExtension2 extension2= (IDocumentPartitioningListenerExtension2)l; extension2.documentPartitioningChanged(event); } else if (l instanceof IDocumentPartitioningListenerExtension) { IDocumentPartitioningListenerExtension extension= (IDocumentPartitioningListenerExtension)l; extension.documentPartitioningChanged(this, event.getCoverage()); } else { l.documentPartitioningChanged(this); } } catch (Exception ex) { log(ex); } } }
/** * Fires the document partitioning changed notification to all registered * document partitioning listeners. Uses a robust iterator. * * @param event the document partitioning changed event * * @see IDocumentPartitioningListenerExtension2 * @since 3.0 */ protected void fireDocumentPartitioningChanged(DocumentPartitioningChangedEvent event) { if (fDocumentPartitioningListeners == null) return; for (IDocumentPartitioningListener l : fDocumentPartitioningListeners) { try { if (l instanceof IDocumentPartitioningListenerExtension2) { IDocumentPartitioningListenerExtension2 extension2= (IDocumentPartitioningListenerExtension2)l; extension2.documentPartitioningChanged(event); } else if (l instanceof IDocumentPartitioningListenerExtension) { IDocumentPartitioningListenerExtension extension= (IDocumentPartitioningListenerExtension)l; extension.documentPartitioningChanged(this, event.getCoverage()); } else { l.documentPartitioningChanged(this); } } catch (Exception ex) { log(ex); } } }