comparison dwtx/jface/text/presentation/PresentationReconciler.d @ 134:51e6e63f930e

Regex fix for casts
author Frank Benoit <benoit@tionex.de>
date Sun, 24 Aug 2008 01:46:20 +0200
parents 7d818bd32d63
children 6dcb0baaa031
comparison
equal deleted inserted replaced
133:7d818bd32d63 134:51e6e63f930e
247 247
248 String text= e.getText(); 248 String text= e.getText();
249 int length= text is null ? 0 : text.length(); 249 int length= text is null ? 0 : text.length();
250 250
251 if (fViewer instanceof ITextViewerExtension5) { 251 if (fViewer instanceof ITextViewerExtension5) {
252 ITextViewerExtension5 extension= (ITextViewerExtension5) fViewer; 252 ITextViewerExtension5 extension= cast(ITextViewerExtension5) fViewer;
253 return extension.widgetRange2ModelRange(new Region(e.getOffset(), length)); 253 return extension.widgetRange2ModelRange(new Region(e.getOffset(), length));
254 } 254 }
255 255
256 IRegion visible= fViewer.getVisibleRegion(); 256 IRegion visible= fViewer.getVisibleRegion();
257 IRegion region= new Region(e.getOffset() + visible.getOffset(), length); 257 IRegion region= new Region(e.getOffset() + visible.getOffset(), length);
386 public IPresentationDamager getDamager(String contentType) { 386 public IPresentationDamager getDamager(String contentType) {
387 387
388 if (fDamagers is null) 388 if (fDamagers is null)
389 return null; 389 return null;
390 390
391 return (IPresentationDamager) fDamagers.get(contentType); 391 return cast(IPresentationDamager) fDamagers.get(contentType);
392 } 392 }
393 393
394 /* 394 /*
395 * @see IPresentationReconciler#getRepairer(String) 395 * @see IPresentationReconciler#getRepairer(String)
396 */ 396 */
397 public IPresentationRepairer getRepairer(String contentType) { 397 public IPresentationRepairer getRepairer(String contentType) {
398 398
399 if (fRepairers is null) 399 if (fRepairers is null)
400 return null; 400 return null;
401 401
402 return (IPresentationRepairer) fRepairers.get(contentType); 402 return cast(IPresentationRepairer) fRepairers.get(contentType);
403 } 403 }
404 404
405 /** 405 /**
406 * Informs all registered damagers about the document on which they will work. 406 * Informs all registered damagers about the document on which they will work.
407 * 407 *
409 */ 409 */
410 protected void setDocumentToDamagers(IDocument document) { 410 protected void setDocumentToDamagers(IDocument document) {
411 if (fDamagers !is null) { 411 if (fDamagers !is null) {
412 Iterator e= fDamagers.values().iterator(); 412 Iterator e= fDamagers.values().iterator();
413 while (e.hasNext()) { 413 while (e.hasNext()) {
414 IPresentationDamager damager= (IPresentationDamager) e.next(); 414 IPresentationDamager damager= cast(IPresentationDamager) e.next();
415 damager.setDocument(document); 415 damager.setDocument(document);
416 } 416 }
417 } 417 }
418 } 418 }
419 419
424 */ 424 */
425 protected void setDocumentToRepairers(IDocument document) { 425 protected void setDocumentToRepairers(IDocument document) {
426 if (fRepairers !is null) { 426 if (fRepairers !is null) {
427 Iterator e= fRepairers.values().iterator(); 427 Iterator e= fRepairers.values().iterator();
428 while (e.hasNext()) { 428 while (e.hasNext()) {
429 IPresentationRepairer repairer= (IPresentationRepairer) e.next(); 429 IPresentationRepairer repairer= cast(IPresentationRepairer) e.next();
430 repairer.setDocument(document); 430 repairer.setDocument(document);
431 } 431 }
432 } 432 }
433 } 433 }
434 434