net.cscott.jutil
public interface ReferenceUnique
(a==b)==(a.equals(b))
.
That is, two equal objects are always reference equal.
Tagging classes with ReferenceUnique allows
automated checkers to more accurately discrimate legitimate
uses of ==
on objects from unsafe uses.
Version: $Id: ReferenceUnique.java,v 1.2 2006-10-30 19:58:06 cananian Exp $