Re: Phantom classes and analysis

["'Ondrej LHOTAK'" <olhotak@sable.mcgill.ca>]

I believe Type Error(12) occurs when for some type used in your program,
not all of its superclasses are available. They are required in order
for Soot to be able to computer declared types to local variables. 

Ondrej

On Wed, Jan 22, 2003 at 05:34:26PM -0000, Eric Bodden wrote:
> 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
>