net.cscott.jutil

Interface ReferenceUnique

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.2 2006-10-30 19:58:06 cananian Exp $

Author:

C. Scott Ananian