SCoPE: An AspectJ Compiler for Supporting User-Defined Analysis-Based Pointcuts

This paper proposes an approach called SCoPE, which supports user-defined analysis-based pointcuts in Aspect-Oriented Programming (AOP) languages. The advantage of the authors' approach is better integration with existing AOP languages than previous approaches. Instead of extending the language, SCoPE allows the programmer to write a pointcut that analyzes a program by using a conditional (if) pointcut with introspective reflection libraries. A compilation scheme automatically eliminates runtime tests for such a pointcut. The approach also makes effects of aspects visible to the analysis, which is essential for determining proper aspect interactions.