Re: [aspectj-users] Use of generics intertypes

["Andy Clement" <andrew.clement@xxxxxxxxx>]

Whoops!! spot the deliberate mistake, I meant:

 aspect Goo extends Foo<A> {}
 aspect Boo extends Foo<B> {}

On 14/12/2007, Andy Clement <andrew.clement@xxxxxxxxx> wrote:
> abstract aspect Foo<T> {
>   declare parents: T implements Serializable;
> }
>
> aspect Goo<A> extends Foo<A> {}
> aspect Boo<B> extends Foo<B> {}
>
> is the way you would achieve that - we don't take patterns for type
> variables or type parameters, we try to stick with java's rules where
> we can.
>
>
> Andy.
>
> On 14/12/2007, neil loughran <loughran@xxxxxxxxxxxxxxxx> wrote:
> >
> > Following on from last email.  Is there anyway to pass multiple types as
> > parameters?
> >
> > e.g. something like
> >
> > aspect Foo<A || B> { .... }
> >
> > abstract aspect Foo<T> {
> >   declare parents: T implements Serializable;
> > }
> >
> >
> > I'm wanting to achieve
> >
> > aspect Foo{
> >   declare parents: (A || B) implements Serializable;
> > }
> >
> >
> > > -----Original Message-----
> > > From: aspectj-users-bounces@xxxxxxxxxxx [mailto:aspectj-users-
> > > bounces@xxxxxxxxxxx] On Behalf Of Andy Clement
> > > Sent: 12 December 2007 10:46
> > > To: aspectj-users@xxxxxxxxxxx
> > > Subject: Re: [aspectj-users] Use of generics intertypes
> > >
> > > When i first implemented generics support I didn't think we would be
> > > able to manage it due to limitations in how we were extending the JDT
> > > compiler.  But I now believe we can do it - and I would like to at
> > > some point.
> > >
> > > Andy.
> > >
> > > On 12/12/2007, neil loughran <loughran@xxxxxxxxxxxxxxxx> wrote:
> > > > Thanks Andy,
> > > >
> > > > Is this something planned for the future?
> > > >
> > > > Cheers
> > > > Neil
> > > >
> > > > > -----Original Message-----
> > > > > From: aspectj-users-bounces@xxxxxxxxxxx [mailto:aspectj-users-
> > > > > bounces@xxxxxxxxxxx] On Behalf Of Andy Clement
> > > > > Sent: 12 December 2007 10:36
> > > > > To: aspectj-users@xxxxxxxxxxx
> > > > > Subject: Re: [aspectj-users] Use of generics intertypes
> > > > >
> > > > > > Cannot make inter-type declarations on type variables, use an
> > > interface
> > > > > and
> > > > > > declare parents public void T.setName() { }
> > > > >
> > > > > you cannot (currently) make itds on type variables like this:
> > > > >
> > > > > >     public void T.setName() {... } // error
> > > > >
> > > > > but you can:
> > > > >
> > > > > interface Marker {}
> > > > >
> > > > > public void Marker.setName { ... }
> > > > >
> > > > > declare parents:  T implements Marker;
> > > > >
> > > > > But you need to be careful in this area, it does still have a few bugs
> > > > > I'm afraid...
> > > > >
> > > > > Andy.
> > > > >
> > > > >
> > > > > On 12/12/2007, neil loughran <loughran@xxxxxxxxxxxxxxxx> wrote:
> > > > > > Folks,
> > > > > >
> > > > > > I'm investigating the usage of generics in AspectJ and I am really
> > > > > liking
> > > > > > how it is implemented.  However, one problem I've come across is
> > > that of
> > > > > > generic introductions.
> > > > > >
> > > > > > For example, given the abstract aspect below
> > > > > >
> > > > > > abstract aspect Foo<T,S> {
> > > > > >
> > > > > >     declare parents: T implements Serializable;
> > > > > >     declare parents: S implements Serializable;
> > > > > >
> > > > > >     public void T.setName() {... } // error
> > > > > >
> > > > > > }
> > > > > >
> > > > > > And the concrete aspect
> > > > > >
> > > > > > aspect Test extends Foo<Person,Student> {
> > > > > >
> > > > > > }
> > > > > >
> > > > > > I get the following error:
> > > > > >
> > > > > > Cannot make inter-type declarations on type variables, use an
> > > interface
> > > > > and
> > > > > > declare parents public void T.setName() { }
> > > > > >
> > > > > >
> > > > > > But I'm not entirely sure what this means.  Can anyone advise
> > > (sic)...?
> > > > > I'm
> > > > > > unsure why my original code doesn't work.
> > > > > >
> > > > > > Regards
> > > > > > Neil Loughran
> > > > > >
> > > > > >
> > > > > >
> > > > > >
> > > > > > _______________________________________________
> > > > > > aspectj-users mailing list
> > > > > > aspectj-users@xxxxxxxxxxx
> > > > > > https://dev.eclipse.org/mailman/listinfo/aspectj-users
> > > > > >
> > > > > _______________________________________________
> > > > > aspectj-users mailing list
> > > > > aspectj-users@xxxxxxxxxxx
> > > > > https://dev.eclipse.org/mailman/listinfo/aspectj-users
> > > >
> > > > _______________________________________________
> > > > aspectj-users mailing list
> > > > aspectj-users@xxxxxxxxxxx
> > > > https://dev.eclipse.org/mailman/listinfo/aspectj-users
> > > >
> > > _______________________________________________
> > > aspectj-users mailing list
> > > aspectj-users@xxxxxxxxxxx
> > > https://dev.eclipse.org/mailman/listinfo/aspectj-users
> >
> > _______________________________________________
> > aspectj-users mailing list
> > aspectj-users@xxxxxxxxxxx
> > https://dev.eclipse.org/mailman/listinfo/aspectj-users
> >
>