RE: [abc] oopsla outline

> Is the reason that most of our tracematches cannot be
> implemented in PQL that there is no way to implement anything
> like filtering? i.e. there is no way to say "an event, with
> this particular binding, does not occur"?

No, since you can always explicitly negate. Filtering does not yield
more expressiveness.

LOR cannot be implemented because one cannot bind a thread (i.e. the
result of Thread.currentThread()) to a variable and match on it. So I
guess what it lacks most is something like let().

Eric
Received on Tue Mar 07 22:20:56 2006