Mercurial > projects > dwt-addons
comparison dwtx/jface/text/Position.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 |
---|---|
244 /* | 244 /* |
245 * @see java.lang.Object#equals(java.lang.Object) | 245 * @see java.lang.Object#equals(java.lang.Object) |
246 */ | 246 */ |
247 public bool equals(Object other) { | 247 public bool equals(Object other) { |
248 if (other instanceof Position) { | 248 if (other instanceof Position) { |
249 Position rp= (Position) other; | 249 Position rp= cast(Position) other; |
250 return (rp.offset is offset) && (rp.length is length); | 250 return (rp.offset is offset) && (rp.length is length); |
251 } | 251 } |
252 return super.equals(other); | 252 return super.equals(other); |
253 } | 253 } |
254 | 254 |