[Soot-list] problems with Paddle's precision

[Raul Santelices]

An HTML attachment was scrubbed...
URL: http://mailman.CS.McGill.CA/pipermail/soot-list/attachments/20070117/846069ee/attachment.htm
-------------- next part --------------
public class Test extends java.lang.Object
{
/*Test.java*/
    private java.util.Properties conversionTable;

    static void main(java.lang.String[])
    {
        java.lang.String[] r0;
        java.util.Properties $r1, r2, r4;
        Test r3, $r5, $r6, $r7;

        r0 := @parameter0: java.lang.String[];
/*GlobalAllocNode 5 STRING_ARRAY_NODE in null in context null,*/
        $r1 = new java.util.Properties;
/*LocalAllocNode 1 new java.util.Properties <Test: void main(java.lang.String[])> type java.util.Properties in context null,*/
        specialinvoke $r1.<java.util.Properties: void <init>()>();
        r2 = $r1;
/*LocalAllocNode 1 new java.util.Properties <Test: void main(java.lang.String[])> type java.util.Properties in context null,*/
        $r5 = new Test;
/*LocalAllocNode 2 new Test <Test: void main(java.lang.String[])> type Test in context null,*/
        specialinvoke $r5.<Test: void <init>(java.util.Properties)>(r2);
        r3 = $r5;
/*LocalAllocNode 2 new Test <Test: void main(java.lang.String[])> type Test in context null,*/
        $r6 = new Test;
/*LocalAllocNode 3 new Test <Test: void main(java.lang.String[])> type Test in context null,*/
        specialinvoke $r6.<Test: void <init>(java.util.Properties)>(r2);
        r4 = r3.<Test: java.util.Properties conversionTable>;
/*LocalAllocNode 1 new java.util.Properties <Test: void main(java.lang.String[])> type java.util.Properties in context null,*/
        $r7 = new Test;
/*LocalAllocNode 4 new Test <Test: void main(java.lang.String[])> type Test in context null,*/
        specialinvoke $r7.<Test: void <init>(java.util.Properties)>(r2);
        return;
    }

    protected void <init>(java.util.Properties)
    {
        Test r0;
        java.util.Properties r1;

        r0 := @this: Test;
/*LocalAllocNode 2 new Test <Test: void main(java.lang.String[])> type Test in context null,LocalAllocNode 3 new Test <Test: void main(java.lang.String[])> type Test in context null,LocalAllocNode 4 new Test <Test: void main(java.lang.String[])> type Test in context null,*/
        r1 := @parameter0: java.util.Properties;
/*LocalAllocNode 1 new java.util.Properties <Test: void main(java.lang.String[])> type java.util.Properties in context null,*/
        specialinvoke r0.<java.lang.Object: void <init>()>();
        r0.<Test: java.util.Properties conversionTable> = r1;
/*LocalAllocNode 1 new java.util.Properties <Test: void main(java.lang.String[])> type java.util.Properties in context null,*/
        return;
    }
}
-------------- next part --------------
public class Test extends java.lang.Object
{
/*Test.java*/
    private java.util.Properties conversionTable;

    static void main(java.lang.String[])
    {
        java.lang.String[] args;
        java.util.Properties $r0, p, p2;
        Test foo, $r1;

        args := @parameter0: java.lang.String[];
/*GlobalAllocNode 6 STRING_ARRAY_NODE in null in context null,*/
        $r0 = new java.util.Properties;
/*LocalAllocNode 2 new java.util.Properties <Test: void main(java.lang.String[])> type java.util.Properties in context null,*/
        specialinvoke $r0.<java.util.Properties: void <init>()>();
        p = $r0;
/*LocalAllocNode 2 new java.util.Properties <Test: void main(java.lang.String[])> type java.util.Properties in context null,*/
        $r1 = new Test;
/*LocalAllocNode 3 new Test <Test: void main(java.lang.String[])> type Test in context null,LocalAllocNode 4 new Test <Test: void main(java.lang.String[])> type Test in context null,LocalAllocNode 5 new Test <Test: void main(java.lang.String[])> type Test in context null,*/
        specialinvoke $r1.<Test: void <init>(java.util.Properties)>(p);
        foo = $r1;
/*LocalAllocNode 3 new Test <Test: void main(java.lang.String[])> type Test in context null,LocalAllocNode 4 new Test <Test: void main(java.lang.String[])> type Test in context null,LocalAllocNode 5 new Test <Test: void main(java.lang.String[])> type Test in context null,*/
        $r1 = new Test;
/*LocalAllocNode 3 new Test <Test: void main(java.lang.String[])> type Test in context null,LocalAllocNode 4 new Test <Test: void main(java.lang.String[])> type Test in context null,LocalAllocNode 5 new Test <Test: void main(java.lang.String[])> type Test in context null,*/
        specialinvoke $r1.<Test: void <init>(java.util.Properties)>(p);
        p2 = foo.<Test: java.util.Properties conversionTable>;
/*LocalAllocNode 2 new java.util.Properties <Test: void main(java.lang.String[])> type java.util.Properties in context null,*/
        $r1 = new Test;
/*LocalAllocNode 3 new Test <Test: void main(java.lang.String[])> type Test in context null,LocalAllocNode 4 new Test <Test: void main(java.lang.String[])> type Test in context null,LocalAllocNode 5 new Test <Test: void main(java.lang.String[])> type Test in context null,*/
        specialinvoke $r1.<Test: void <init>(java.util.Properties)>(p);
        return;
    }

    protected void <init>(java.util.Properties)
    {
        Test this;
        java.util.Properties p;

        this := @this: Test;
/*LocalAllocNode 3 new Test <Test: void main(java.lang.String[])> type Test in context null,LocalAllocNode 4 new Test <Test: void main(java.lang.String[])> type Test in context null,LocalAllocNode 5 new Test <Test: void main(java.lang.String[])> type Test in context null,*/
        p := @parameter0: java.util.Properties;
/*LocalAllocNode 2 new java.util.Properties <Test: void main(java.lang.String[])> type java.util.Properties in context null,*/
        specialinvoke this.<java.lang.Object: void <init>()>();
        this.<Test: java.util.Properties conversionTable> = p;
/*LocalAllocNode 2 new java.util.Properties <Test: void main(java.lang.String[])> type java.util.Properties in context null,*/
        return;
    }
}