The best way to statically check style rules in AspectJ is
to make the abstract syntax tree P of the program under consideration
available to the AspectJ programmer.
P is processed by aspects in a distinct part of the program
that is marked "static". Aspects are very convenient to process P
especially with the AspectJ extensions that DAJ provides.

This is another reason why a title like:
"Checking the Law of Demeter using Aspects:
Towards Statically Executable Advice" is better than
a title that stresses statically executable advice.

-- Karl