Inference rules for generic code migration of aspect-oriented programs

详细信息    查看全文

• 作者：Fernando Barden Rubbo^a ; ^{fbrubbo@inf.ufrgs.br} ; Eduardo Kessler Piveta^b ; ^{piveta@inf.ufsm.br} ; Daltro José ; Nunes^a ; ^{daltro@inf.ufrgs.br}
• 关键词：Parametric polymorphism ; Code migration ; Aspect-oriented programming
• 刊名：Science of Computer Programming
• 出版年：2013
• 出版时间：1 August, 2013
• 年：2013
• 卷：78
• 期：8
• 页码：1157-1175
• 全文大小：382 K

文摘

Several changes occurred in the AspectJ language to provide support for parametric polymorphism. Such changes aim to improve the source code type safety and to prepare the language to support generic code migration. Current approaches for this kind of migration focus only on object-oriented code. Therefore, they do not consider the use of aspects to encapsulate crosscutting concerns. We propose a collection of type constraint rules for the polymorphic version of AspectJ. These rules are used together with an existing constraint based algorithm to enable the conversion of non-generic code to add actual type parameters in both Java and AspectJ languages.