Re: Phantom classes and analysis

[Patrick LAM <plam@sable.mcgill.ca>]

On Wed, 22 Jan 2003, 'Ondrej LHOTAK' wrote:

> 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.

That's right; typing won't work if Soot can't resolve all of the classes
involved.  You can disable typing with -p jb no-typing.  I don't know what
else will break if you do that, but you certainly need to disable typing
to have a chance of making stuff work for you.

pat