Problem Body.getLocals()

["Marco Bakera" <marco.bakera@uni-dortmund.de>]

Hey,

and thanks for help so far modifying the CFG. But there's another problem
thats confusing me.I have got this simple Jimpleprogram confusing me with
its internal representation in SOOT:

public class foo extends java.lang.Object
{
    public void doit()
    {
        int faintCandidate;
        int i;

        faintCandidate = 0;
        i = 0;
        goto label1;

     label0:
        faintCandidate = faintCandidate + 1;
        i = i + 1;

     label1:
        if i < 10 goto label0;

		i = 5;
    }
}

So i think it only has the two Locals 'i' and 'faintCandidate'. If i call
Body.getLocals() on this it get: [faintCandidate, i, i]

So whats going on here? Why are there two i's in there? %-)

Thanks for help,
Marco.

--
/X\arco                              ICQ#59397823
              . .
---------oOOo-(_)-oOOo--------> www.bakera.de <--