Abstract:
Statically typed AOP 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 the type relaxed weaving, that allows such advice applications while preserving type safety. This paper discusses language design issues to support the type relaxed weaving in AOP languages.
Reference:
On Type Restriction of Around Advice and Aspect Interference (Hidehiko Masuhara), In Proceedings of the 3rd International Workshop on Aspects, Dependencies and Interactions (ADI'08), 2008.
Bibtex Entry:
@inproceedings{masuhara2008adi,
author = {Hidehiko Masuhara},
title = {On Type Restriction of Around Advice and Aspect Interference},
booktitle = {Proceedings of the 3rd International Workshop on Aspects, Dependencies and Interactions (ADI'08)},
year = 2008,
location = {Paphos, Cyprus},
month = jul,
url = {https://web.archive.org/web/20080723204002/http://gateway.comp.lancs.ac.uk/computing/aosd-europe//adi08},
pdf = {adi2008.pdf},
keywords = {AspectJ},
abstract = {Statically typed AOP 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 the type relaxed weaving, that allows such advice applications while preserving type safety. This paper discusses language design issues to support the type relaxed weaving in AOP languages.}
}