harpoon.Util
Interface ReferenceUnique

All Known Implementing Classes:
HClass, Linker, Temp, TempFactory, TreeFactory

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. HClass and Temp are good examples where this is true; HMethod and String are examples where it is not true.

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 2002/02/25 21:08:47 cananian Exp $
Author:
C. Scott Ananian <cananian@alumni.princeton.edu>
See Also:
HClass