protected void doFireDocumentChanged(DocumentEvent event){
  boolean changed=fDocumentPartitioningChangedEvent != null && !fDocumentPartitioningChangedEvent.isEmpty();
  Region change=changed ? fDocumentPartitioningChangedEvent.getCoverage() : null;
  doFireDocumentChanged(event,changed,change);
}

protected void doFireDocumentChanged ( DocumentEvent event ) { boolean changed = fDocumentPartitioningChangedEvent != null && ! fDocumentPartitioningChangedEvent . isEmpty ( ) ; Region change = changed ? fDocumentPartitioningChangedEvent . getCoverage ( ) : null ; doFireDocumentChanged ( event , changed , change ) ; }
notifies all listeners about the given document change . uses a robust iterator . < p / > executes all registered post notification replace operation .
