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