Type Relaxed Weaving

By Hidehiko Masuhara, Atsushi Igarashi, and Manabu Toyama. In Proceedings of the 9th International Conference on Aspect-Oriented Software Development (AOSD'10), pages 121-132, Rennes and Saint Malo, France, March 2010.


Statically typed aspect-oriented programming languages restrict application of around advice only to the join points that have conforming types. Though the restriction guarantees type safety, it can prohibit application of advice that is useful, yet does not cause runtime type errors. To this problem, we present a novel weaving mechanism, called type relaxed weaving, that allows such advice applications while preserving type safety. We formalized the mechanism, and implemented as an AspectJ compatible complier, called RelaxAJ.