[Soot-list] Compare Value instances for equality

[Marc-André Laverdière-Papineau]

Hello,

I think you are right. Some people told the list that reference equality 
was used in Soot for performance reasons, so checking for equals() was 
superfluous. You could dig in the archives for details.

I recall that there is and EquivTo interface that is implemented by a 
whole bunch of stuff (if not all the Value classes). That one has 
methods equivHashCode and equivTo that answers the closely related 
question "is this value equivalent to another" instead of if they are 
equals.

That being said, I have to ask the question: why do you need to check 
for equality in the first place?

Marc-André Laverdière-Papineau
Doctorant - PhD Candidate

On 04/27/2013 08:32 AM, Matteo Ceccarello wrote:
> Hi all,
>
> I just started working with SOOT. I'm trying to perform a data flow
> analysis using `soot.Value` instances as elements of the flow sets.
> However it seems that none of the classes that implement that interface
> override the method `equals`. Am I right?
>
> If so, how can I use `soot.Value` instances in my flow analysis?
>
> Thank you very much
>
> Matteo
>
> --
> Matteo Ceccarello, Computer Engineering student
> Universita' di Padova, Dipartimento di Ingegneria dell'Informazione,
> URL: http://www.dei.unipd.it/~ceccarel
> LinkedIn: http://it.linkedin.com/pub/matteo-ceccarello/60/322/931/
>
>
>
> _______________________________________________
> Soot-list mailing list
> Soot-list at sable.mcgill.ca
> http://mailman.cs.mcgill.ca/mailman/listinfo/soot-list
>