[PRL] AOP questions

[Doug Orleans]

Matthias Felleisen writes:
 > On Mar 29, 2005, at 10:57 PM, Doug Orleans wrote:
 > > P.S. Not all AOP methodologies are about dynamic join points,
 > > e.g. points in the program execution; some are about static join
 > > points, e.g. points in the program expression.  So I don't think it's
 > > accurate to say that "AOP insists on modeling evaluation as a series
 > > of execution states", because some AOP doesn't model execution at all.
 > 
 > It's fair to say that John should have written AspectJ (i.e., excluded 
 > HyperJ and friends).

Well, AspectJ has static join points too, namely intertype
declarations (formerly known as introductions).  An aspect can declare
fields and methods that belong to some other class(es), and can
declare inheritance relationships between other classes.  The sets of
classes are determined by static pointcuts, such as "A+ && !B+" for
all classes that are subtypes of A and not B.

--Doug