Community
Participate
Working Groups
This code won't compile with 1.8: interface Common { } interface Allergies extends Common { } aspect Y { private boolean Common.instancesInvariant() { return false; } } privileged aspect AspectJMLRac_allergies_Allergies { before(final Allergies object$rac): execution(* Allergies+.*(..)) && this(object$rac) { boolean b = object$rac.instancesInvariant(); } }
The problems here appear to be due to some more strict visibility checking when interfaces are the targets for method invocations. Previously the JDT compiler seemed to let through methods targeting interfaces but now it is performing vis checks and the code here fails the check because we don't notice it is a privileged aspect making the call. I've added some smarts into the visibility checking (canBeSeenBy in the InterTypeMethodBinding). Leaving open until I've got 1.8.5 tag to close it against.
