RE: Phantom classes and analysis

["Eric Bodden" <eric@bodden.de>]

Hi again!

Ok, now I made a combination of this "isJ2ME = true" and hardcosing of
"allowsPhantomRefs = true". But now I get another exception:

soot.jimple.toolkits.typing.TypeException: Type Error(12)
        at
soot.jimple.toolkits.typing.TypeVariable.error(TypeVariable.java:532)
        at soot.jimple.toolkits.typing.TypeNode.lca(TypeNode.java:329)
        at
soot.jimple.toolkits.typing.TypeVariable.fixApprox(TypeVariable.java:654
)
        at
soot.jimple.toolkits.typing.TypeVariable.computeApprox(TypeVariable.java
:553)
        at
soot.jimple.toolkits.typing.TypeResolver.compute_approximate_types(TypeR
esolver.java:878)
        at
soot.jimple.toolkits.typing.TypeResolver.compute_array_depth(TypeResolve
r.java:360)
        at
soot.jimple.toolkits.typing.TypeResolver.resolve_step_1(TypeResolver.jav
a:259)
        at
soot.jimple.toolkits.typing.TypeResolver.resolve(TypeResolver.java:181)
        at
soot.jimple.toolkits.typing.TypeAssigner.internalTransform(TypeAssigner.
java:59)
        at soot.BodyTransformer.transform(BodyTransformer.java:58)
        at soot.BodyTransformer.transform(BodyTransformer.java:80)
        at soot.jimple.JimpleBody.applyPhaseOptions(JimpleBody.java:118)
        at
soot.coffi.CoffiMethodSource.getBody(CoffiMethodSource.java:108)
        at soot.SootMethod.getBodyFromMethodSource(SootMethod.java:89)
        at soot.SootMethod.retrieveActiveBody(SootMethod.java:305)
        at analysis.ToolKit.extractLineNumber(ToolKit.java:106)
        ...

I had a look at TypeNode.lca but I don't hava a clue, what's going wrong
there. Any suggestions?

Thanks,
Eric