comparison dwtx/jface/text/TypedPosition.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
205 * @see java.lang.Object#equals(java.lang.Object) 205 * @see java.lang.Object#equals(java.lang.Object)
206 */ 206 */
207 public bool equals(Object o) { 207 public bool equals(Object o) {
208 if (o instanceof TypedPosition) { 208 if (o instanceof TypedPosition) {
209 if (super.equals(o)) { 209 if (super.equals(o)) {
210 TypedPosition p= (TypedPosition) o; 210 TypedPosition p= cast(TypedPosition) o;
211 return (fType is null && p.getType() is null) || fType.equals(p.getType()); 211 return (fType is null && p.getType() is null) || fType.equals(p.getType());
212 } 212 }
213 } 213 }
214 return false; 214 return false;
215 } 215 }