Mercurial > projects > dwt-addons
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(); |