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 > >> > >>___________________
