Mercurial > projects > dwt-addons
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 } |