Re: [abc-users] Tracematch trace output

From: Alan Teoh <alan.teoh07_at_imperial.ac.uk>
Date: Sun, 24 Feb 2008 23:01:38 +0000

Hi Eric,

I'm investigating the properties of tracematches, and I'm just asking
out of interest.
Thanks for the reply.

Eric Bodden wrote:
> Hi, Alan.
>
> As far as I know this trace was just produced using pen and paper and
> the implementation currently supports no such tracing. Do you have an
> actual use case where would need a trace or are you just asking out of
> interest?
>
> Eric
>
> On 24/02/2008, Alan Teoh <alan.teoh07_at_imperial.ac.uk> wrote:
>
>> Hi again,
>>
>> Is it possible for me to produce a trace output(perhaps via an argument
>> on the abc compiler) via tracematches like the one in the paper(Adding
>> Trace Matching with Free Variables to AspectJ)?
>> I'm talking about the one produced in page 10:
>>
>> Given tracematch
>> tracematch (X x) {
>> sym f before:
>> call (* f(..)) && target(x);
>> sym g after:
>> call (* g(..)) && target(x);
>> f g
>> {
>> System.out.println("fg!");
>> }
>> }
>>
>> And the following method calls
>> v.f(); v.h(); w.g(); w.f(); v.g();
>>
>> The trace is then as follows:
>>
>> e1 enter: call(void FG.f()) on v
>> e2 enter: execution(void FG.f()) on v
>> e3 exit: execution(void FG.f()) on v
>> e4 exit: call(void FG.f()) on v
>> e5 enter: call(void FG.h()) on v
>> e6 enter: execution(void FG.h()) on v
>> e7 exit: execution(void FG.h()) on v
>> e8 exit: call(void FG.h()) on v
>> e9 enter: call(void FG.g()) on v
>> e10 enter: execution(void FG.g()) on w
>> e11 exit: execution(void FG.g()) on w
>> e12 exit: call(void FG.g()) on w
>> e13 enter: call(void FG.f()) on w
>> e14 enter: execution(void FG.f()) on w
>> e15 exit: execution(void FG.f()) on w
>> e16 exit: call(void FG.f()) on w
>> e17 enter: call(void FG.g()) on v
>> e18 enter: execution(void FG.g()) on v
>> e19 exit: execution(void FG.g()) on v
>> e20 exit: call(void FG.g()) on v
>>
>> Or was that just a theoretical trace?
>> Thanks.
>>
>>
>>
>
>
>
Received on Sun Feb 24 2008 - 23:01:44 GMT

This archive was generated by hypermail 2.2.0 : Sun Feb 24 2008 - 23:40:10 GMT