Re: [abc-users] single statement match

From: Eric Bodden <>
Date: Mon, 18 Aug 2008 09:03:58 -0400

> I would be happy if you can give me some pointers on how to create one. I
> can use it as a part of my thesis.

Well, that's not that easy, actually. The problem is that certainly
you don't want a pointcut that matches *every* statement because that
would be kind of pointless. Instead, I guess, you want a pointcut that
is generic in the sense that it can take a certain pattern and that
pattern is matched against the statement, so that you can filter out
certain *kinds* of statements (e.g. all assignments to local
variables). Coming up with such a pattern language is highly
non-trivial and it's certainly nothing you can do in a day or two. I
am currently working on something along these lines but it will take
some time to get this right.

> by the way, do you have the source code for the arrayPT extension, it seems
> that the web site is not working.

It should be in the extension abc.eaj in the abc source code. The
website's working fine for me.


Eric Bodden
Sable Research Group
McGill University, Montréal, Canada
Received on Mon Aug 18 2008 - 14:04:03 BST

This archive was generated by hypermail 2.2.0 : Mon Aug 18 2008 - 14:20:11 BST