comparison dwtx/jface/text/reconciler/DirtyRegionQueue.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 f70d9508c95c
comparison
equal deleted inserted replaced
133:7d818bd32d63 134:51e6e63f930e
86 * 86 *
87 * @return the last DirtyRegion on the queue 87 * @return the last DirtyRegion on the queue
88 */ 88 */
89 private DirtyRegion getLastDirtyRegion() { 89 private DirtyRegion getLastDirtyRegion() {
90 int size= fDirtyRegions.size(); 90 int size= fDirtyRegions.size();
91 return (size is 0 ? null : (DirtyRegion) fDirtyRegions.get(size - 1)); 91 return (size is 0 ? null : cast(DirtyRegion) fDirtyRegions.get(size - 1));
92 } 92 }
93 93
94 /** 94 /**
95 * Returns the number of regions in the queue. 95 * Returns the number of regions in the queue.
96 * 96 *
113 * @return the next dirty region on the queue 113 * @return the next dirty region on the queue
114 */ 114 */
115 public DirtyRegion removeNextDirtyRegion() { 115 public DirtyRegion removeNextDirtyRegion() {
116 if (fDirtyRegions.size() is 0) 116 if (fDirtyRegions.size() is 0)
117 return null; 117 return null;
118 DirtyRegion dr= (DirtyRegion) fDirtyRegions.get(0); 118 DirtyRegion dr= cast(DirtyRegion) fDirtyRegions.get(0);
119 fDirtyRegions.remove(0); 119 fDirtyRegions.remove(0);
120 return dr; 120 return dr;
121 } 121 }
122 } 122 }