Re: [aspectj-users] infinite recursion warning with cflow

["Andy Clement" <andrew.clement@xxxxxxxxx>]

I am not against looking to add something like this.  It has just never been top of my priority list to look into.  Is there a paper you can point me to?

Andy.

2008/9/29 Eric Bodden <eric.bodden@xxxxxxxxxxxxxx>

Good question. Honestly I don't know. Pavel Avgustinov and Julian
Tibble have provided a great implementation in abc which produces
really fast code - in most situations even without expensive program
analyses. I guess it would be a non-trivial addition to the AspectJ
compiler but maybe a worthwhile one.

I can't speak for Pavel and Julian but my guess is that they would
certainly be willing to discuss a possible ajc-based implementation if
there's enough interest from the side of ajc users and developers.

Eric

2008/9/29 Eric Tanter <etanter@xxxxxxxxxxxxx>:

> Hi Eric, all,
>
> A naive question on this: what is the reason why tracematches don't make it
> into the AspectJ language? they seem to offer simple answer to many issues
> that pop up. Has this been discussed already?
>
> Cheers,
>
> -- Éric
>
>
> On Sep 29, 2008, at 10:43 , Eric Bodden wrote:
>
>> Hi Alex.
>>
>> Using the AspectBench Compiler you can write a tracematch that does
>> that. Using plain AspectJ that's hard to do. You would have to use a
>> combination of pieces of advice, if-pointcuts and counters.
>>
>> Eric
>>
>> 2008/9/29 Alex Villazon <alex.villazon@xxxxxxxxxxx>:
>>>
>>> Hi,
>>>  Is it possible to write an aspect that prints a message after a giving
>>> number of recursive invocations.. and warns that there is a potential
>>> infinite recursion?
>>>
>>>  Or is there any mean to check for example if there is a given sequence
>>> of
>>> calls in the control flow?
>>>
>>>  Can I write a pointcut that captures the control flow only when X.f was
>>> called 3 times before Y.g?
>>>
>>> Many thanks
>>>
>>> Alex
>>>
>>> _______________________________________________
>>> aspectj-users mailing list
>>> aspectj-users@xxxxxxxxxxx
>>> https://dev.eclipse.org/mailman/listinfo/aspectj-users
>>>
>>
>>
>>
>> --
>> Eric Bodden
>> Sable Research Group
>> McGill University, Montréal, Canada
>> _______________________________________________
>> aspectj-users mailing list
>> aspectj-users@xxxxxxxxxxx
>> https://dev.eclipse.org/mailman/listinfo/aspectj-users
>
> _______________________________________________
> aspectj-users mailing list
> aspectj-users@xxxxxxxxxxx
> https://dev.eclipse.org/mailman/listinfo/aspectj-users
>



--
Eric Bodden
Sable Research Group
McGill University, Montréal, Canada
_______________________________________________
aspectj-users mailing list
aspectj-users@xxxxxxxxxxx
https://dev.eclipse.org/mailman/listinfo/aspectj-users