[abc-dev] Valid combinations of primitive pointcuts

 
-----BEGIN PGP SIGNED MESSAGE-----
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
again?

Thank you a lot,
Eric

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

-----BEGIN PGP SIGNATURE-----
Version: PGP 8.0.3

iQA/AwUBQlemm8wiFCm7RlWCEQI+CgCfdmjddU0pq1R4DiCaXATA0yqZJz0An1cS
+ZcVIrqWcqZQxdxuewfeA3pM
=Dxfj
-----END PGP SIGNATURE-----
Received on Sat Apr 9 10:55:53 2005