Advise Weaving in Énfasis

This paper describes the implementation of advice weaving in ÉNFASIS. Énfasis is a domain-specific framework designed to program fine-grained aspects and apply crosscutting on local variables. Applications of fine-grained aspects include data flow analysis, program comprehension, assertions, code coverage, among others. The ÉNFASIS framework uses byte code instrumentation to weave statically pieces of advice. We describe how ÉNFASIS join points are mapped to specific regions of byte code, how to implement advice, and how to expose the point cut context without using arguments between point cuts and pieces of advice, a novel capability in our framework not available in AspectJ-like languages.