[Soot-list] array problem

[Eric Bodden]

This might have to do with the fact that Spark collapses the points-to
sets for all array elements into one. I think you have to use the
points-to set of the array instead of the one of the array element.

Eric

On 04/04/07, Peng Li <lipeng360 at gmail.com> wrote:
> Hi,
> the code is as following,
> ....
> public static Color[] colors = { Color.WHITE, Color.BLACK };
> ....
> private void drawSurface()
>     {
>         AlphaColorJButton button_color1 = new AlphaColorJButton(colors[0]);
>     }
> When I use Spark to get the PointsToSet for the variable colors[0]. I
> found I got empty.
>
> If I use the following code, it is no problem for spark to find the
> pointstoset for color
>
> ....
> public static Color color = Color.WHITE;
> ....
> private void drawSurface()
>     {
>         AlphaColorJButton button_color1 = new AlphaColorJButton(color);
>     }
>
>
> So, I think it is the problem of the array. I have tried to turn on
> "-W" and ''-w", but it seems not helpful for result, I still got empty
> PointsToSet for the parameter of AlphaColorJButton. Could anybody give
> some suggestions?
>
> Looking forward to hearing from you.
> Cheers
> P
> _______________________________________________
> Soot-list mailing list
> Soot-list at sable.mcgill.ca
> http://mailman.cs.mcgill.ca/mailman/listinfo/soot-list
>


-- 
Eric Bodden
Sable Research Group
McGill University, Montréal, Canada