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