What are inter-type declarations, and why q&o doesn´t encompass them and the others two do?
Fernando, “Inter-type declarations” (formerly known as “introductions”) are an AspectJ term that denotes the ability of aspects to add method, field, “extends” and “implements” declarations to existing types. In AspectJ this can only be done if you name the target types and the introduced members explicitly, which is quite limiting. I would rephrase Gregor’s statement as referring specifically to AspectJ, not to aspects in general. Other languages let you use meta-variables as the names of base langueage entities that are to be introduced and they allow universally quantified pointcuts that bind these metavariables. Thus they support quantification. Look for instance at LogicAJ, http://roots.iai.uni-bonn.de/research/logicaj Personally I think quantification and obliviouisness describes two importants ingredients for any useful approach to modularizing CCCs. Guenter __________________________________________________ AOSD Discuss mailing list – discuss@xxxxxxxx To unsubscribe go to http:
