Hi Pengcheng: thank you for the updates. In /proj/adaptive/www/demeter-method/LawOfDemeter/check-with-AspectJ/demeterj-test-simple/gen I get: Violation Found at A.java:21:18 check collections (Vector) Violation Found at A.java:21:18 Violation Found at D.java:30:17 done I think that the violation in D should not be printed. It does not seem to be a violation (collection case). Please check. -- Karl