net.cscott.jutil
public interface ReferenceUnique
ReferenceUnique is a property indicating that, for
all instances of a class, (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.1 2003/03/20 01:59:48 cananian Exp $