comparison dwtx/jface/text/DocumentPartitioningChangedEvent.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 75302ef3f92f
comparison
equal deleted inserted replaced
133:7d818bd32d63 134:51e6e63f930e
201 * 201 *
202 * @param partitioning the partitioning 202 * @param partitioning the partitioning
203 * @return the changed region of the given partitioning or <code>null</code> 203 * @return the changed region of the given partitioning or <code>null</code>
204 */ 204 */
205 public IRegion getChangedRegion(String partitioning) { 205 public IRegion getChangedRegion(String partitioning) {
206 return (IRegion) fMap.get(partitioning); 206 return cast(IRegion) fMap.get(partitioning);
207 } 207 }
208 208
209 /** 209 /**
210 * Returns the set of changed partitionings. 210 * Returns the set of changed partitionings.
211 * 211 *
251 251
252 int offset= -1; 252 int offset= -1;
253 int endOffset= -1; 253 int endOffset= -1;
254 Iterator e= fMap.values().iterator(); 254 Iterator e= fMap.values().iterator();
255 while (e.hasNext()) { 255 while (e.hasNext()) {
256 IRegion r= (IRegion) e.next(); 256 IRegion r= cast(IRegion) e.next();
257 257
258 if (offset < 0 || r.getOffset() < offset) 258 if (offset < 0 || r.getOffset() < offset)
259 offset= r.getOffset(); 259 offset= r.getOffset();
260 260
261 int end= r.getOffset() + r.getLength(); 261 int end= r.getOffset() + r.getLength();