[abc-dev] Valid combinations of primitive pointcuts

From: Eric Bodden <eric@bodden.de>
Date: Sat Apr 09 2005 - 10:55:40 BST

Hash: SHA1

Hi, abc team.

In my tool I am generating pointcuts, well actually boolean
combinations of those. One task I have to do is not to filter out
invalid combinations of primitive pointcuts, such as e.g. call(*
A.foo()) && call(* A.bar()), which is obviously not valid, since no
calls to different methods can occur at the same joinpoint.

So my question would be: Has your team by chance already compiled
such a list and if so, could I get a copy of or link to it? If not,
would you be interested in such a document? It might help to improve
AspectJ's semantic analysis, which IMO should not allow such
pointcuts either.

Also I remember that there was a mapping going on from actual AspectJ
pointcuts to abc's internal representation. Where can I find this

Thank you a lot,

- --
Eric Bodden
Chair I2 for Programming Languages and Program Analysis
RWTH Aachen University

Version: PGP 8.0.3

Received on Sat Apr 9 10:55:53 2005

This archive was generated by hypermail 2.1.8 : Mon Apr 11 2005 - 12:20:05 BST