12345678910111213141516171819202122232425262728293031 |
-
- public class Code2 {
- public static void main(String []argv) {
- new Bar().foo();
- }
- }
- interface Common { }
-
- interface Allergies extends Common {
- default public void foo() {
- }
- }
-
- class Bar implements Allergies { }
-
- aspect Y {
- private boolean Common.instancesInvariant() {
- return false;
- }
- }
-
- privileged aspect AspectJMLRac_allergies_Allergies {
- before(final Allergies object$rac): execution(* Allergies+.*(..)) && this(object$rac) {
- Runnable r = new Runnable() {
- public void run() {
- boolean b = object$rac.instancesInvariant();
- }
- };
- boolean b = object$rac.instancesInvariant();
- }
- }
|