Re: Bug#432541: eclipse-cdt FTBFS with gcj-4.2

[Tom Tromey <tromey@redhat.com>]

Andrew> To be clear: the two class loaders being checked are those of
Andrew>   interface org.eclipse.core.runtime.IPluginDescriptor
Andrew> and
Andrew>   class org.eclipse.core.runtime.Platform

Andrew> Tromey: are you quite sure we should be checking the class loader
Andrew> of the interface type instead of the class loader of the method we're
Andrew> invoking?

I'm pretty sure.  Here is the relevant spec:

http://java.sun.com/docs/books/jvms/second_edition/html/ConstantPool.doc.html#73492

Scroll down to section 5.4.3.4, "Interface Method Resolution".

As I read it, this describes checking the types resolved by the loader
of the calling class against the types resolved by the loader of the
interface.

For type safety you really have to do both checks, of course.
However, I believe that checking the types of the concrete class
against the interface it purports to implement is done when linking
that class.

Tom