Hi John:

Andrej Popovici, an advanced PhD student at ETH Zurich,  
popovici@inf.ethz.ch
has a very good use of traversals for implementing persistence
in a better way (e.g. for EJB).
See also his paper at AOSD 2002 on a different topic: Dynamic AOP 
with turning aspects on and off at run-time.

He needs to express pointcuts involving traversals in the following
form: when we call a method foo on an object that is in the scope of the traversal
t that starts at object x then we need to call some advice.

Andrej would like to use DAJ for this purpose.
In your current implementation of DAJ, how can we simulate:
traversal(t)
and crossing(e)

This should be in the DAJ User's Guide?

-- Karl