From: aclement <aclement>
Date: Wed, 7 Dec 2005 17:10:28 +0000 (+0000)
Subject: addressing 118877
X-Git-Tag: V1_5_0RC1~48
X-Git-Url: https://source.dussan.org/?a=commitdiff_plain;h=3425506574d5bcd84e35c57434a7b9e2225b40f8;p=aspectj.git

addressing 118877
---

diff --git a/docs/progGuideDB/examples.xml b/docs/progGuideDB/examples.xml
index 12c6d1ccc..2847f13d2 100644
--- a/docs/progGuideDB/examples.xml
+++ b/docs/progGuideDB/examples.xml
@@ -541,12 +541,16 @@ public aspect ComparablePoint {
         </para>
 
         <para>
-          The method <literal>Object.hashCode</literal> returns an unique
-          integer, suitable for use as a hash table key. Different
-          implementations are allowed return different integers, but must
-          return distinct integers for distinct objects, and the same integer
-          for objects that test equal. But since the default implementation
-          of <literal>Object.equal</literal> returns <literal>true</literal>
+          The method <literal>Object.hashCode</literal> returns an 
+          integer, suitable for use as a hash table key.  It is not required
+          that two objects which are not equal (according to the 
+          <literal>equals</literal> method) return different integer
+          results from <literal>hashCode</literal> but it can
+          improve performance when the integer is used as a key into a 
+          data structure.  However, any two objects which are equal 
+          must return the same integer value from a call to 
+          <literal>hashCode</literal>.  Since the default implementation
+          of <literal>Object.equals</literal> returns <literal>true</literal>
           only when two objects are identical, we need to redefine both
           <function>equals</function> and <function>hashCode</function> to work
           correctly with objects of type <classname>Point</classname>. For