Oh, sorry - it was apparently too late already ;-) Please ignore my last mail.
Eric
On 22/01/2008, Eric Bodden <[EMAIL PROTECTED]> 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
_______________________________________________
aspectj-users mailing list
[email protected]
https://dev.eclipse.org/mailman/listinfo/aspectj-users
