comparison dwtx/jface/text/TypedPosition.d @ 162:1a5b8f8129df

...
author Frank Benoit <benoit@tionex.de>
date Mon, 08 Sep 2008 00:51:37 +0200
parents 3678e4f1a766
children
comparison
equal deleted inserted replaced
161:f8d52b926852 162:1a5b8f8129df
202 } 202 }
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 override int opEquals(Object o) {
208 if ( cast(TypedPosition)o ) { 208 if ( cast(TypedPosition)o ) {
209 if (super.equals(o)) { 209 if (super.opEquals(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 }
214 return false; 214 return false;
216 216
217 /* 217 /*
218 * @see java.lang.Object#hashCode() 218 * @see java.lang.Object#hashCode()
219 */ 219 */
220 public override hash_t toHash() { 220 public override hash_t toHash() {
221 int type= fType is null ? 0 : fType.toHash(); 221 int type= fType is null ? 0 : .toHash(fType);
222 return super.toHash() | type; 222 return super.toHash() | type;
223 } 223 }
224 } 224 }