comparison dwtx/jface/text/source/projection/ProjectionSummary.d @ 138:b6bad70d540a

Regex instanceof changes
author Frank Benoit <benoit@tionex.de>
date Sun, 24 Aug 2008 02:26:23 +0200
parents 51e6e63f930e
children 893c017bcdc5
comparison
equal deleted inserted replaced
137:25170b5a8951 138:b6bad70d540a
188 188
189 createSummaries(monitor); 189 createSummaries(monitor);
190 190
191 } finally { 191 } finally {
192 192
193 if (fAnnotationModel instanceof ISynchronizable) { 193 if ( cast(ISynchronizable)fAnnotationModel ) {
194 ISynchronizable sync= cast(ISynchronizable) fAnnotationModel; 194 ISynchronizable sync= cast(ISynchronizable) fAnnotationModel;
195 sync.setLockObject(previousLockObject); 195 sync.setLockObject(previousLockObject);
196 } 196 }
197 fAnnotationModel= null; 197 fAnnotationModel= null;
198 198
205 205
206 private void removeSummaries(IProgressMonitor monitor) { 206 private void removeSummaries(IProgressMonitor monitor) {
207 IAnnotationModelExtension extension= null; 207 IAnnotationModelExtension extension= null;
208 List bags= null; 208 List bags= null;
209 209
210 if (fAnnotationModel instanceof IAnnotationModelExtension) { 210 if ( cast(IAnnotationModelExtension)fAnnotationModel ) {
211 extension= cast(IAnnotationModelExtension) fAnnotationModel; 211 extension= cast(IAnnotationModelExtension) fAnnotationModel;
212 bags= new ArrayList(); 212 bags= new ArrayList();
213 } 213 }
214 214
215 Iterator e= fAnnotationModel.getAnnotationIterator(); 215 Iterator e= fAnnotationModel.getAnnotationIterator();
216 while (e.hasNext()) { 216 while (e.hasNext()) {
217 Annotation annotation= cast(Annotation) e.next(); 217 Annotation annotation= cast(Annotation) e.next();
218 if (annotation instanceof AnnotationBag) { 218 if ( cast(AnnotationBag)annotation ) {
219 if (bags is null) 219 if (bags is null)
220 fAnnotationModel.removeAnnotation(annotation); 220 fAnnotationModel.removeAnnotation(annotation);
221 else 221 else
222 bags.add(annotation); 222 bags.add(annotation);
223 } 223 }
259 if (isCanceled(monitor)) 259 if (isCanceled(monitor))
260 return; 260 return;
261 } 261 }
262 262
263 if (additions.size() > 0) { 263 if (additions.size() > 0) {
264 if (fAnnotationModel instanceof IAnnotationModelExtension) { 264 if ( cast(IAnnotationModelExtension)fAnnotationModel ) {
265 IAnnotationModelExtension extension= cast(IAnnotationModelExtension) fAnnotationModel; 265 IAnnotationModelExtension extension= cast(IAnnotationModelExtension) fAnnotationModel;
266 if (!isCanceled(monitor)) 266 if (!isCanceled(monitor))
267 extension.replaceAnnotations(null, additions); 267 extension.replaceAnnotations(null, additions);
268 } else { 268 } else {
269 Iterator e1= additions.keySet().iterator(); 269 Iterator e1= additions.keySet().iterator();