comparison dwtx/jface/text/TypedPosition.d @ 138:b6bad70d540a

Regex instanceof changes
author Frank Benoit <benoit@tionex.de>
date Sun, 24 Aug 2008 02:26:23 +0200
parents 51e6e63f930e
children 3678e4f1a766
comparison
equal deleted inserted replaced
137:25170b5a8951 138:b6bad70d540a
203 203
204 /* 204 /*
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 ( cast(TypedPosition)o ) {
209 if (super.equals(o)) { 209 if (super.equals(o)) {
210 TypedPosition p= cast(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 }