comparison dwtx/jface/text/Position.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
59 import dwtx.jface.text.IRegion; // packageimport 59 import dwtx.jface.text.IRegion; // packageimport
60 import dwtx.jface.text.IInformationControlExtension2; // packageimport 60 import dwtx.jface.text.IInformationControlExtension2; // packageimport
61 import dwtx.jface.text.IDocumentExtension4; // packageimport 61 import dwtx.jface.text.IDocumentExtension4; // packageimport
62 import dwtx.jface.text.IDocumentExtension2; // packageimport 62 import dwtx.jface.text.IDocumentExtension2; // packageimport
63 import dwtx.jface.text.IDocumentPartitionerExtension2; // packageimport 63 import dwtx.jface.text.IDocumentPartitionerExtension2; // packageimport
64 import dwtx.jface.text.Assert; // packageimport
65 import dwtx.jface.text.DefaultInformationControl; // packageimport 64 import dwtx.jface.text.DefaultInformationControl; // packageimport
66 import dwtx.jface.text.IWidgetTokenOwnerExtension; // packageimport 65 import dwtx.jface.text.IWidgetTokenOwnerExtension; // packageimport
67 import dwtx.jface.text.DocumentClone; // packageimport 66 import dwtx.jface.text.DocumentClone; // packageimport
68 import dwtx.jface.text.DefaultUndoManager; // packageimport 67 import dwtx.jface.text.DefaultUndoManager; // packageimport
69 import dwtx.jface.text.IFindReplaceTarget; // packageimport 68 import dwtx.jface.text.IFindReplaceTarget; // packageimport
242 } 241 }
243 242
244 /* 243 /*
245 * @see java.lang.Object#equals(java.lang.Object) 244 * @see java.lang.Object#equals(java.lang.Object)
246 */ 245 */
247 public bool equals(Object other) { 246 public override int opEquals(Object other) {
248 if ( cast(Position)other ) { 247 if ( auto rp = cast(Position)other ) {
249 Position rp= cast(Position) other;
250 return (rp.offset is offset) && (rp.length is length); 248 return (rp.offset is offset) && (rp.length is length);
251 } 249 }
252 return super.equals(other); 250 return super.opEquals(other);
253 } 251 }
254 252
255 /** 253 /**
256 * Returns the length of this position. 254 * Returns the length of this position.
257 * 255 *