RE: [abc] oopsla outline

Hi Ondrej/

> So, this seems to suggest future work in design of the tracematch
> language: allowing tracematches to quantify over fields in
> addition to just values. More generally, we may want to be
> able to quantify over arbitrary AspectJ patterns. (For
> example, one might want to write a tracematch to check
> whether some method is executed twice in a row, or something,
> and be able to quantify over the method.)
>

Can't you use "let" plus reflection to get the field? That would maybe
require thisJoinPoint to be available inside a pointcut. I am nut sure
if this is the case. Is it?

I am not sure if generally an abc-internal implementation of this could
do any better, because I reckon at some point yu have to use reflection
to get access to the field. (or you would have some other unique key to
identify fields, such as a "thisFieldIdentity").

Eric
Received on Thu Mar 02 13:54:12 2006