Re: [abc-users] single statement match

From: Eric Bodden <eric.bodden_at_mail.mcgill.ca>
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

-- 
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