Re: [abc-users] Tracematch matching semantics

Oege is correct. I was wrong, I ran my example with something else (I
had an object bounded to the tracematch that's why) and thus gave the
wrong answer. Sorry about that.

Oege de Moor wrote:
>
> Hi Jon,
>
> Yes, that is the intended semantics: see
>
> http://abc.comlab.ox.ac.uk/papers#oopsla2005
>
> which spells out that semantics.
>
> Conceptually, at each event (before/after joinpoint), every suffix of
> the computation trace (restricted to the declared symbols) is matched
> against the pattern. So if you the trace "save save save", a match
> is found.
>
> Best wishes,
>
> -Oege
>
> On Wed, 10 Sep 2008, Jon Oldevik wrote:
Received on Thu Sep 11 2008 - 10:21:32 BST