Path: csiph.com!newsfeed.hal-mli.net!feeder3.hal-mli.net!newsfeed.hal-mli.net!feeder1.hal-mli.net!news.alt.net!news-in-01.newsfeed.easynews.com!easynews.com!easynews!news-out.news.tds.net!newsreading01.news.tds.net!53ab2750!not-for-mail
From: "Jan Burse" <jan.burse@1:261/38.remove-m2z-this>
Subject: Re: hashCode
Message-ID: <5027F2CA.56700.calajapr@time.synchro.net>
X-Comment-To: Jan Burse
Newsgroups: comp.lang.java.programmer
In-Reply-To: <5027F2CA.56699.calajapr@time.synchro.net>
References: <5027F2CA.56699.calajapr@time.synchro.net>
X-FTN-AREA: COMP.LANG.JAVA.PROGRAMMER
X-FTN-MSGID: 1:261/38 8ebd9ab7
X-FTN-REPLY: 1:261/38 8866eb9f
Content-Type: text/plain; charset=IBM437
Content-Transfer-Encoding: 8bit
X-Gateway: time.synchro.net [Synchronet 3.16a-Win32 NewsLink 1.98]
Lines: 17
Date: Sun, 12 Aug 2012 18:58:19 GMT
NNTP-Posting-Host: 69.21.70.65
X-Complaints-To: news@tds.net
X-Trace: newsreading01.news.tds.net 1344797899 69.21.70.65 (Sun, 12 Aug 2012 13:58:19 CDT)
NNTP-Posting-Date: Sun, 12 Aug 2012 13:58:19 CDT
Organization: tds.net
X-Received-Bytes: 1486
Xref: csiph.com comp.lang.java.programmer:17755

  To: Jan Burse
From: Jan Burse <janburse@fastmail.fm>

Jan Burse schrieb:
>     /* not implied and thus not required by the invariant */
>     if a.hashCode()==b.hashCode() then a.equals(b)
This is logically equivalent to what is formulated in the Javadoc by the so 
called contraposition:

        if !a.equals(b) then a.hashCode()!=b.hashCode()

http://en.wikipedia.org/wiki/Contraposition

--- BBBS/Li6 v4.10 Dada-1
 * Origin: Prism bbs (1:261/38)
--- Synchronet 3.16a-Win32 NewsLink 1.98
Time Warp of the Future BBS - telnet://time.synchro.net:24