|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
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.
HClass
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |