Re: [abc-users] capturing aspects

From: Eric Bodden <>
Date: Sun, 27 Jul 2008 14:08:02 -0400

Should be fixed now.

Sorry for the wait.

2008/7/23 Amjad Nusayr <>:
> Eric, could you please tell notify me when the addParameterToMethod(..) is
> fixed, and yes, since my last problem Julian informed me to enable the
> -debug doValidate.
> Thanks again
> Amjad
> Eric Bodden wrote:
>>> The block pointcut is my own creation that represents a basic block.
>>> I tested the program using just the execution pointcut, and everything
>>> went
>>> well.
>> Oh, I kind of missed that you were using an extended version of abc.
>> Anyway, it seems like the method addParameterToMethod(...) requires
>> that the first statement of any non-static method is an identity
>> statement of the form "v = @this;". I think we decided that this is a
>> too strong requirement: We said that *if* there is an identity
>> statement *then* it must be the first statement but it is legal to
>> have no identity statement at all.
>> So I guess there is two things that need to be done here: Firstly
>> somebody of us should fix addParameterToMethod(...) accordingly.
>> Julian or Pavel, could you look into this? I am on a conference right
>> now and have no access to appropriate tools.
>> Secondly, Amjad you should make sure that you actually generate
>> correct woven code. You can check a JimpleBody by calling validate()
>> on that body. If you enable the "-debug doValidate" option then abc
>> should do this automatically for you.
>> Eric

Eric Bodden
Sable Research Group
McGill University, Montréal, Canada
Received on Sun Jul 27 2008 - 19:08:06 BST

This archive was generated by hypermail 2.2.0 : Mon Jul 28 2008 - 18:40:12 BST