[Soot-list] hash function for the instancekey

[Zhoulai]

Hello,

if I understand correctly, if two instancekeys, ik1, ik2, satisfy '
ik1.equals(ik2) ',  then the locals corresponding to ik1 and ik2 must-alias
inside some scope.

My naive question is about the hash value of instance keys: when two
instancekeys have different *hash* values, can we conclude that the
corresponding locals must-not alias? The reply should be negative from the
source code of Eric,  But when I read the " Objective representatives"
paper, I think  the author was insisting that instancekey can almost be
used as run-time objects in some extent.

So would you clarify pls?

Thanks.
Zell.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://mailman.cs.mcgill.ca/pipermail/soot-list/attachments/20120917/4827cda7/attachment.html