Mercurial > projects > dwt-addons
comparison dwtx/jface/text/Region.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 | b6bad70d540a |
comparison
equal
deleted
inserted
replaced
133:7d818bd32d63 | 134:51e6e63f930e |
---|---|
195 /* | 195 /* |
196 * @see java.lang.Object#equals(java.lang.Object) | 196 * @see java.lang.Object#equals(java.lang.Object) |
197 */ | 197 */ |
198 public bool equals(Object o) { | 198 public bool equals(Object o) { |
199 if (o instanceof IRegion) { | 199 if (o instanceof IRegion) { |
200 IRegion r= (IRegion) o; | 200 IRegion r= cast(IRegion) o; |
201 return r.getOffset() is fOffset && r.getLength() is fLength; | 201 return r.getOffset() is fOffset && r.getLength() is fLength; |
202 } | 202 } |
203 return false; | 203 return false; |
204 } | 204 } |
205 | 205 |