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