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

2008-09-29 Thread Eric Bodden
This is the paper in which tracematches were introduced: http://abc.comlab.ox.ac.uk/papers#oopsla2005 This second paper explains things one needs to do in a compiler in order to get an efficient implementation. http://abc.comlab.ox.ac.uk/papers#oopsla2007 Note that I am not an author of either of

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

2008-09-29 Thread Andy Clement
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 <[EMAIL PROTECTED]> > Good question. Honestly I don't know. Pavel Avgustinov and Julian > Tibble have provided a g

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

2008-09-29 Thread Eric Bodden
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 worthwhil

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

2008-09-29 Thread Eric Tanter
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. Us

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

2008-09-29 Thread Eric Bodden
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 <[EMAIL PROTECTED]>: > Hi, > Is it possible to write an asp

[aspectj-users] infinite recursion warning with cflow

2008-09-29 Thread Alex Villazon
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