Re: [aspectj-users] Generics(?) causes class not be lt-weaved

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

Oh, sorry - it was apparently too late already ;-) Please ignore my last mail.

Eric

On 22/01/2008, Eric Bodden <eric.bodden@xxxxxxxxxxxxxx> wrote:
> > Then I have two classes for the test:
> >
> > public abstract class AbstractFooTest<TYPE> {
> >     protected abstract AbstractFoo<TYPE> getFoo();
> > }
> >
> > public class FooTest extends AbstractFooTest<Integer> {
> >
> >     protected Foo getFoo() {return null;}
>
> How can this type-check at all? If FooTest is of type
> AbstractFooTest<Integer>, then the method getFoo() surely should have
> a return type Integer, shouldn't it? Probably the compiler gets
> confused by an actually ill-typed program?
>
> Eric
>
> --
> Eric Bodden
> Sable Research Group
> McGill University, Montréal, Canada
>


-- 
Eric Bodden
Sable Research Group
McGill University, Montréal, Canada