diff dwtx/jface/text/TextViewer.d @ 160:3678e4f1a766

toHash, toString
author Frank Benoit <benoit@tionex.de>
date Wed, 27 Aug 2008 02:07:22 +0200
parents 7926b636c282
children f8d52b926852
line wrap: on
line diff
--- a/dwtx/jface/text/TextViewer.d	Wed Aug 27 01:57:58 2008 +0200
+++ b/dwtx/jface/text/TextViewer.d	Wed Aug 27 02:07:22 2008 +0200
@@ -1226,8 +1226,8 @@
         /*
          * @see java.lang.Object#hashCode()
          */
-        public int hashCode() {
-            return fStateMask << 16 | fContentType.hashCode();
+        public override hash_t toHash() {
+            return fStateMask << 16 | fContentType.toHash();
         }
 
         /**
@@ -1363,7 +1363,7 @@
             Assert.isLegal(!isConnected());
             fUpdaterDocument= document;
             try {
-                fUpdaterCategory= SELECTION_POSITION_CATEGORY + hashCode();
+                fUpdaterCategory= SELECTION_POSITION_CATEGORY + toHash();
                 fUpdater= new NonDeletingPositionUpdater(fUpdaterCategory);
                 fUpdaterDocument.addPositionCategory(fUpdaterCategory);
                 fUpdaterDocument.addPositionUpdater(fUpdater);
@@ -1792,7 +1792,7 @@
         fVerifyListener= new TextVerifyListener();
         fDocumentCommand= new DocumentCommand();
         fVerifyKeyListenersManager= new VerifyKeyListenersManager();
-        MARK_POSITION_CATEGORY=Format("__mark_category_{}", hashCode()); //$NON-NLS-1$
+        MARK_POSITION_CATEGORY=Format("__mark_category_{}", toHash()); //$NON-NLS-1$
         fMarkPositionUpdater= new DefaultPositionUpdater(MARK_POSITION_CATEGORY);
         fDocumentRewriteSessionListener= new DocumentRewriteSessionListener();
     }