Sciweavers

Share
AOSD
2003
ACM

A case for statically executable advice: checking the law of demeter with AspectJ

8 years 10 months ago
A case for statically executable advice: checking the law of demeter with AspectJ
We define a generic join point model for checking the Law of Demeter (LoD). Join points are trees, pointcuts are predicates over join points, and advice is checked statically similar to how declare warning is checked in AspectJ. We illustrate how the joint point form is mapped to the object and class forms of LoD, and provide an implementation in AspectJ that approximates LoD’s class form by dynamically checking a particular execution using only the join points’ static part. The paper proposes two ways to extend AspectJ to provide access to lexical join points directly. The first proposes statically executable advice and pointcut designators over lexical join points. The second proposes statically executable ice over the exposed abstract syntax tree of the program and using Demeter style traversals to mirror AspectJ pointcuts.
Karl J. Lieberherr, David H. Lorenz, Pengcheng Wu
Added 05 Jul 2010
Updated 05 Jul 2010
Type Conference
Year 2003
Where AOSD
Authors Karl J. Lieberherr, David H. Lorenz, Pengcheng Wu
Comments (0)
books