Hi Pengcheng:

Your object form Law of Demeter checker in AspectJ 
(LoDC) can be used selectively as follows:

We expect a lot of change in the structure of the classes
"from Application to {X, Y, Z}" and
therefore we want to enforce the Law of Demeter for those classes.

Can the extension to DAJ that you are checking handle 
such an application? We would like to parameterize LoDC
by a strategy which says where the checks should be done.

-- Karl