[Jastadd] Question on types such as "wildcards.& java.lang.Integer& java.lang.String"

From: Eric Bodden <eric.bodden_at_ec-spride.de>
Date: Fri, 18 Jan 2013 13:54:10 +0100

Hi all.

We are having another small problem with Soot's JastAdd frontend. When
parsing the following code, we get an exception "couldn't find class:
wildcards.& java.lang.Integer& java.lang.String":

public class SootWildcardTest {
        
    void foo() {
            Integer cursor = 42;
        Object o = (cursor != null ? cursor : "null");
    }

}


The problems seems to be that the type() attribute on the node for the
expression "cursor != null ? cursor : "null"" returns an LUBType
"wildcards.& java.lang.Integer& java.lang.String". My question is: why
are such types not automatically reduced (here to java.lang.Object)
and what can I do to reduce them to a "ground" type?

Cheers,
Eric

-- 
Eric Bodden, Ph.D., http://sse.ec-spride.de/ http://bodden.de/
Head of Secure Software Engineering Group at EC SPRIDE
Tel: +49 6151 16-75422    Fax: +49 6151 16-72051
Room 3.2.14, Mornewegstr. 30, 64293 Darmstadt

Received on Fri Jan 18 2013 - 13:55:04 CET