/** * Informs all registered damagers about the document on which they will work. * * @param document the document on which to work */ protected void setDocumentToDamagers(IDocument document) { if (fDamagers != null) { Iterator<IPresentationDamager> e= fDamagers.values().iterator(); while (e.hasNext()) { IPresentationDamager damager= e.next(); damager.setDocument(document); } } }
/** * Informs all registered damagers about the document on which they will work. * * @param document the document on which to work */ protected void setDocumentToDamagers(IDocument document) { if (fDamagers != null) { Iterator<IPresentationDamager> e= fDamagers.values().iterator(); while (e.hasNext()) { IPresentationDamager damager= e.next(); damager.setDocument(document); } } }
protected IRegion check(String before, int start, int replaceLength, String text) throws Exception { Document doc = createDocument(before); damager.setDocument(doc); doc.addDocumentListener(this); doc.replace(start, replaceLength, text); return lastRegion; }
protected IRegion check(String before, int start, int replaceLength, String text) throws Exception { Document doc = createDocument(before); damager.setDocument(doc); doc.addDocumentListener(this); doc.replace(start, replaceLength, text); return lastRegion; }