comparison dwtx/jface/text/source/AnnotationModel.d @ 157:7f75eaa8103a

volatile and cast Map.Entry
author Frank Benoit <benoit@tionex.de>
date Mon, 25 Aug 2008 19:06:44 +0200
parents f70d9508c95c
children 25f1f92fa3df
comparison
equal deleted inserted replaced
156:a9566845f1cb 157:7f75eaa8103a
475 } 475 }
476 476
477 if (annotationsToAdd !is null) { 477 if (annotationsToAdd !is null) {
478 Iterator iter= annotationsToAdd.entrySet().iterator(); 478 Iterator iter= annotationsToAdd.entrySet().iterator();
479 while (iter.hasNext()) { 479 while (iter.hasNext()) {
480 Map.Entry mapEntry= (Map.Entry) iter.next(); 480 Map.Entry mapEntry= cast(Map.Entry) iter.next();
481 Annotation annotation= cast(Annotation) mapEntry.getKey(); 481 Annotation annotation= cast(Annotation) mapEntry.getKey();
482 Position position= cast(Position) mapEntry.getValue(); 482 Position position= cast(Position) mapEntry.getValue();
483 addAnnotation(annotation, position, false); 483 addAnnotation(annotation, position, false);
484 } 484 }
485 } 485 }