The design and implementation of AspectC++

Abstract

Aspect-Oriented Programming (AOP) is a programming paradigm that supports the modular implementation of crosscutting concerns. Thereby, AOP improves the maintainability, reusability, and configurability of software in general. Although already popular in the Java domain, AOP is still not commonly used in conjunction with C/C++. For a broad adoption of AOP by the software industry, it is crucial to provide solid language and tool support. However, research and tool development for C++ is known to be an extremely hard and tedious task, as the language is overwhelmed with interacting features and hard to analyze. Getting AOP into the C++ domain is not just technical challenge. It is also the question of integrating AOP concepts with the philosophy of the C++ language, which is very different from Java. This paper describes the design and development of the AspectC++ language and weaver, which brings fully-fledged AOP support into the C++ domain.

Escaping the Bonds of the Legacy: Step-Wise Migration to a Type-Safe Language in Safety-Critical Embedded Systems

“…The generated CiAO configuration is used by CiAO's configuration tool to generate a CiAO variant tailored to the feature requirements of the applications at hand. The implementation language of CiAO is AspectC++ [15]. The AspectC++ weaver performs a sourceto-source translation of both the OS and the application code to apply the advice given by the aspects in the generated CiAO variant.…”

Generative software-based memory error detection and correction for operating system data structures

“…Besides this adaptation mechanism, aspect-oriented languages typically also provide an introspection mechanism, which allows the programmer of the rules to write generic actions that may depend on the target program's structure. Aspect-oriented language extensions are, for instance, available for Java (AspectJ [20]) and C++ (AspectC++ [21]). The latter is strongly focused on compile-time code adaptation and can exploit the C++ template mechanism for powerful code synthesis.…”

A reusable observer pattern implementation using package templates

“…AspectC++ [15] adds full-blown AOP support to the C++ language, including support for templates and non-OO programming. Contrary to our approach, the authors explicitly state as one of their goals to "not make any compromise regarding obliviousness and quantification", i.e.…”