Re: Method not found although apparently exists

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

On Fri, Mar 07, 2003 at 10:13:11PM -0000, Eric Bodden wrote:
> > I believe CHA should work in the presence of phantom classes. 
> > But then, I didn't write CHA, and I haven't seen your exceptions, so 
> > you know more about it than I do.
> 
> I think we already had that: Whenever I have phantom classes and apply
> CHA, I get a Type Error(12):

Right, but this is not directly related to CHA, or to phantom classes.
This error means that there is not enough information about the type
hierarchy to even construct the Jimple, which happens before CHA even
sees the Jimple. If there is a limited number of phantom classes, and
they do not prevent the construction of Jimple, then both the typing
system (used in construction of Jimple) and CHA should succeed. Of
course, complete hierarchy information (no phantom classes) guarantees
that there is enough hierarchy infromation to construct the Jimple.

Ondrej